Publikationer

Følg med i de senest publicerede videnskabelige artikler fra Institut for Biologi. Oversigten viser Instituttets publikationer med de nyeste øverst:

Sortér efter: Dato | Forfatter | Titel

Nielsen, M. & Thomas, W. (red.) (1998). Computer Science Logic: 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23-29, 1997 Selected Papers. Springer. Lecture Notes in Computer Science Bind 1414 https://doi.org/10.1007/BFb0028003

Nielsen, T. K., Bösenberg, U., Gosalawit, R., Dornheim, M., Cerenius, Y., Besenbacher, F. & Jensen, T. R. (2010). A Reversible Nanoconfined Chemical Reaction. A C S Nano, 4(7), 3903.

Jensen, T. R., Nielsen, T. K., Filinchuk, Y., Jørgensen, J.-E., Cerenius, Y., MacA. Gray, E. & J. Webb, C. (2010). Versatile in situ powder X-ray diffraction cells for solid-gas investigations. Journal of Applied Crystallography, 43, 1456-1463. https://doi.org/10.1107/S0021889810038148

Callini, E., Pasquini, L., Rude, L. H., Nielsen, T. K., Jensen, T. R. & Bonetti, E. (2010). Hydrogen storage and phase transformations in Mg-Pd Nanoparticles. Journal of Applied Physics, 108(7), 073513-073513-7.

Nielsen, M. & Thomas, W. (red.) (1997). Preliminary Proceedings of the Annual Conference of the European Association for Computer Science Logic, CSL '97: Aarhus, Denmark, August 23-29, 1997. Department of Computer Science, Aarhus University.

Sobkowiak, A., Ångström, J., Nielsen, T. K., Cerenius, Y., Jensen, T. R. & Sahlberg, M. (2011). Hydrogen absorption and desorption properties of a novel ScNiAl alloy. Applied Physics A: Materials Science & Processing, 104, 235-238. https://doi.org/10.1007/s00339-010-6116-z

Landa, A., Richter, B., Johansen, R. L., Minkkila, A. & Jørgensen, K. A. (2007). Bisoxazoline-Lewis Acid-Catalyzed Direct-Electron Demand oxo-Hetero-Diels-Alder Reactions of N-Oxy-pyridine Aldehyde and Ketone Derivatives. Journal of Organic Chemistry, 72(1), 240-245.

Cheng, A., Larsen, K. G. & Nielsen, M. (red.) (1996). Programme and Abstracts of the BRICS Autumn School on Verification: Aarhus, Denmark, October 28 - November 1, 1996. (s. ii+18). Department of Computer Science, Aarhus University.

Nielsen, M. & Schmidt, E. M. (red.) (1982). Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July 12-16, 1982. Springer. Lecture Notes in Computer Science Bind 140 https://doi.org/10.1007/BFb0012751

Hansen, M. N., Farjami, E., Kristiansen, M., Clima, L., Pedersen, S. U., Daasbjerg, K., Ferapontova, E. & Gothelf, K. V. (2010). Synthesis and Application of a Triazene-Ferrocene Modifier for Immobilization and Characterization of Oligonucleotides at Electrodes. Journal of Organic Chemistry, 75, 2474-2481.

Alemán, J., Richter, B. & Jørgensen, K. A. (2007). Organocatalytic Highly Enantioselective α-Arylation of β-Ketoesters. Angewandte Chemie International Edition, 46, 5515-5519.

Alemán, J., Reyes, E., Richter, B., Overgaard, J. & Jørgensen, K. A. (2007). Organocatalytic Asymmetric ‘‘anti-Michael'' Reaction of β-Ketoesters. Chemical Communications, 3921-3923.

Franke, P. T., Richter, B. & Jørgensen, K. A. (2008). Organocatalytic Asymmetric Synthesis of Functionalized 3,4-Dihydropyran Derivatives. Chemistry: A European Journal, 14, 6317-6321. https://doi.org/10.1002/chem.200800850

Albrecht, L., Richter, B., Crawczyk, H. & Jørgensen, K. A. (2008). Enantioselective Organocatalytic Approach to α-Methylene-δ-Lactones and δ-Lactams. Journal of Organic Chemistry, 73(21), 8337-8343.

Rude, L. H., Filinchuk, Y. & Jensen, T. R. (2010). Anion substitution in Ca(BH4)2-CaI2; The structure of three new compounds. Poster-session præsenteret på 40th Danish Crystallography and 3rd DanScatt meeting, København, Danmark.

Rude, L. H., Filinchuk, Y., Besenbacher, F., Jensen, T. R., Hauback, B. & Sørby, M. (2010). The effect of anion substitution in metal borohydrides: ACS nano focus article. Abstract fra ACS Fall 2010 National meeting and exposition, Boston, USA.

Nielsen, M. & Valencia, F. D. (2003). Temporal constraint programming: A framework for discrete-timed systems. Association for Logic Programming Newsletter, 15(4).

Rude, L. H., Filinchuk, Y., Hauback, B. & Jensen, T. R. (2010). Anion Substitution - A strategy to improve existing hydrogen storage materials. Poster-session præsenteret på iNANO Autumn school 2009, Silkeborg, Danmark.

Rude, L. H., Arnbjerg, L. M., Cerenius, Y. & Jensen, T. R. (2010). Tailoring the properties of lithium tetrahydridoboranate by anion substitution: Abstract for the Maxlab annual report 2010. Abstract fra Tailoring the properties of lithium tetrahydridoboranate by anion substitution.

Østensen, R. H., Silvotti, R., Charpinet, S., Oreiro, R., Handler, G., Green, E. M., Bloemen, S., Heber, U., Gänsicke, B. T., Mash, T. R., Kurtz, D. W., Telting, J. H., Reed, M. D., Kawaler, S. D., Aerts, C., Rodríguez-Lopez, C., Vuckovic, M., Ottosen, T. A., Liimets, T. ... Quintana, E. V. (2010). First Kepler results on compact pulsators - I. Survey target selection and the first pulsators. Royal Astronomical Society. Monthly Notices, 409(4), 1470-1486. https://doi.org/10.1111/j.1365-2966.2010.17366.x

Midtgaard, J. (2012). Control-flow analysis of functional programs. A C M Computing Surveys, 44(3), 10:1 - 10:33. https://doi.org/10.1145/2187671.2187672

Nielsen, M. (1999). Bisimulation and Open Maps for Timed Transition Systems. Fundamenta Informaticae, 38(1-2), 61-77.

Balslev, H., Pedersen, D. & Barfod, A. S. (2010). Ecosystem services provided by palms in SE Asia. Poster-session præsenteret på SEA-EU-NET 2010 - Sharing the Benefits of Joint Research. Budapest Conference, Ungarn.

Alvarado, A. A., Calvo, L. M., Duno, R., Pedersen, D. & Balslev, H. (2011). Diversity and composition of palm communities (Arecaceae) in Quintana Roo Mexico. Poster-session præsenteret på 5th IBS meeting Crete 2011, Heraklion, Grækenland.

Bösenberg, U., Pistidda, C., Minella, C. B., Llamas Jansa, I., Bomholdt Ravnsbæk, D., Dornheim, M., Bellost von Colbe, J. M., Jensen, T. R. & Gutfleisch, O. (2008). Investigation of sorption reactions in reactive hydride composites with combined in-situ XRD and Raman spectroscopy.

Bomholdt Ravnsbæk, D., Nielsen, T. K., Mosegaard, L., Rude, L. H., Soerensen, L. H., Larsen, O. G., Filinchuk, Y. & Jensen, T. R. (2009). Novel materials for hydrogen storage; synthesis and characterization.

Bomholdt Ravnsbæk, D. (2009). Nanomaterilaer til en ren energirevolution.

Mosegaard, L., Ravnsbæk, D., Cerenius, Y. & Jensen, T. R. (2008). In situ SR-PXD study of the formation and decomposition of potassium alanates.

Lee, J. Y., Bomholdt Ravnsbæk, D., Cerenius, Y., Kim, Y., Lee, Y. S., Shim, J. H., Jensen, T. R. & Cho, Y. W. (2009). In situ observation of the eutectic melting of the LiBH4-Ca(BH₄)₂ system.

Bomholdt Ravnsbæk, D., Cerenius, Y. & Jensen, T. R. (2009). Novel alkali-scandium borohydrides for hydrogen storage.

Bomholdt Ravnsbæk, D., Rude, L. H., Cerenius, Y. & Jensen, T. R. (2009). Investigation of anion substitution in NaBH₄.

Bomholdt Ravnsbæk, D., Filinchuk, Y., Cerenius, Y., Jakobsen, H. J., Besenbacher, F., Skibsted, J. & Jensen, T. R. (2009). A series of novel alkali zinc borohydrides for hydrogen storage. Poster-session præsenteret på 2nd Danscatt meeting, Lyngby, Danmark.

Bomholdt Ravnsbæk, D., Filinchuk, Y., Cerny, R. & Jensen, T. R. (2010). Novel metal borohydrides; Crystal structures, Thermal decomposition and Reactivity. Poster-session præsenteret på 40th Danish crystallograpers meeting & 3rd Danscatt meeting, Copenhagen, Danmark.

Bomholdt Ravnsbæk, D., Filinchuk, Y., Cerenius, Y. & Jensen, T. R. (2010). Alkali zinc borohydrides as potential hydrogen storage materials. Poster-session præsenteret på MAXlab user meeting 2010, Lund, Sverige.

Bomholdt Ravnsbæk, D., Rude, L. H., Soerensen, L. H., Cao, T., Filsø, U., Andersen, M. V., Jepsen, L. H., Filinchuk, Y. & Jensen, T. R. (2010). Novel materials for hydrogen storage; synthesis and characterization.

Svenning, J.-C., Sandel, B., Fløjgaard, C. & Forchhammer, M. C. (2010). Økoinformatik: økologi i en syndflod af data. Aktuel Naturvidenskab, 34-37.

Cheng, A. & Nielsen, M. (1998). Open maps, behavioural equivalences, and congruences 1. Theoretical Computer Science, 190(1), 87-112. https://doi.org/10.1016/S0304-3975(97)00085-6

Joyal, A., Nielsen, M. & Winskel, G. (1996). Bisimulation from Open Maps. Information and Computation, 127(2), 164-185. https://doi.org/10.1006/inco.1996.0057

Sassone, V., Nielsen, M. & Winskel, G. (1996). Models for concurrency: towards a classification. Theoretical Computer Science, 170(1-2), 297-348. https://doi.org/10.1016/S0304-3975(96)80710-9

Nielsen, M. & Winskel, G. (1996). Petri nets and bisimulation. Theoretical Computer Science, 153(1-2), 211-244. https://doi.org/10.1016/0304-3975(95)00122-0

Nielsen, M., Rozenberg, G. & Thiagarajan, P. S. (1992). Elementary transition systems. Theoretical Computer Science, 96(1), 3-33. https://doi.org/10.1016/0304-3975(92)90180-N

Nielsen, M., Plotkin, G. & Winskel, G. (1981). Petri nets, event structures and domains, part I. Theoretical Computer Science, 13(1), 85-108. https://doi.org/10.1016/0304-3975(81)90112-2

Nielsen, M. & Clausen, C. (1995). Games and logics for a noninterleaving bisimulation. Nordic Journal of Computing, 2(2), 221-249.

Nielsen, M., Rozenberg, G. & Thiagarajan, P. S. (1995). Transition-Systems, Event Structures, and Unfoldings. Information and Computation, 118(2), 191-207. https://doi.org/10.1006/inco.1995.1062

Nielsen, M. (1974). On the decidability of some equivalence problems for DOL-systems. Information and Computation, 25(2), 166-193. https://doi.org/10.1016/S0019-9958(74)90857-2

Ravnsbæk, D., Filinchuk, Y., Cerny, R. & Jensen, T. R. (2010). Powder diffraction methods for studies of borohydride-based energy storage materials. Zeitschrift für Kristallographie - Crystalline Materials, 255, 557-569. https://doi.org/10.1524/zkri.2010.1357

Bomholdt Ravnsbæk, D., Frommen, C., Reed, D., Filinchuk, Y., Sørby, M., Hauback, B., Jakobsen, H. J., Book, D., Besenbacher, F., Skibsted, J. & Jensen, T. R. (2011). Structural studies of lithium zinc borohydride by neutron powder diffraction, Raman and NMR Spectroscopy. Journal of Alloys and Compounds, 509S, S698-S704.

Ezparza, J. & Nielsen, M. (1994). Decidability in Petri Nets - a Survey. Bulletin of the European Association for Theoretical Computer Science, 52, 244-262.

Ezparza, J. & Nielsen, M. (1994). Decidability issues for Petri Nets. Information Processing and Cybernetics, 30(3), 143-160.

Knudsen, H. (2010). Videnskabens mand: Fysiologen, formidleren og forskningsaktivisten Poul Brandt Rehberg. Aarhus Universitetsforlag.

Viser resultater 18851 til 18900 ud af 56399

378