Publications

The most recently published scientific articles from the Department of Biology. The overview shows the Department's publications with the latest at the top:

Sort by: Date | Author | Title

Nielsen, M. & Simpson, D. (2000). Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26-30, 2000 Proceedings. Springer. Lecture Notes in Computer Science Vol. 1825 https://doi.org/10.1007/3-540-44988-4

van Emde Boas, P., Wiedermann, J. & Nielsen, M. (Eds.) (1999). Automata, Languages and Programming: 26th International Colloquium, ICALP'99 Prague, Czech Republic, July 11-15, 1999 Proceedings. Springer. Lecture Notes in Computer Science Vol. 1644 https://doi.org/10.1007/3-540-48523-6

Nielsen, M. & Thomas, W. (Eds.) (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 Vol. 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. (Eds.) (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. (Eds.) (1996). Programme and Abstracts of the BRICS Autumn School on Verification: Aarhus, Denmark, October 28 - November 1, 1996. (pp. ii+18). Department of Computer Science, Aarhus University.

Nielsen, M. & Schmidt, E. M. (Eds.) (1982). Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July 12-16, 1982. Springer. Lecture Notes in Computer Science Vol. 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 presented at 40th Danish Crystallography and 3rd DanScatt meeting, København, Denmark.

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 from ACS Fall 2010 National meeting and exposition, Boston, United States.

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 presented at iNANO Autumn school 2009, Silkeborg, Denmark.

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 from 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 presented at SEA-EU-NET 2010 - Sharing the Benefits of Joint Research. Budapest Conference, Hungary.

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 presented at 5th IBS meeting Crete 2011, Heraklion, Greece.

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 presented at 2nd Danscatt meeting, Lyngby, Denmark.

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

Bomholdt Ravnsbæk, D., Filinchuk, Y., Cerenius, Y. & Jensen, T. R. (2010). Alkali zinc borohydrides as potential hydrogen storage materials. Poster session presented at MAXlab user meeting 2010, Lund, Sweden.

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.

Displaying results 18851 to 18900 out of 56296

378

Sort by: Date | Author | Title