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

Mayoh, B. H. (1986). A Uniform Model for the Growth of Biological Organisms: Cooperating Sequential Processes. In G. Rozenberg & A. Salomaa (Eds.), The Book of L (pp. 291-302). Springer.

Berstel, J. & Nielsen, M. (1976). The growth range equivalence problem for DOL systems is decidable. In A. Lindenmayer & G. Rozenberg (Eds.), Automata, Languages, Development: at the crossroads of biology, mathematics and computer science (pp. 161-178). North-Holland.

Melchjorsen, J., Rintahaka, J., Søby, S., Horan, K. A., Poltajainen, A., Østergaard, L., Paludan, S. R. & Matikainen, S. (2010). Early innate recognition of herpes simplex virus in human primary macrophages is mediated via the MDA5/MAVS-dependent and MDA5/MAVS/RNA polymerase III-independent pathways. Journal of Virology, 84(21), 11350-8. https://doi.org/10.1128/JVI.01106-10

Ringbom, Å., Hale, J., Heinemeier, J., Lindroos, A. & Lancaster, L. (2006). Murbruksdatering i klassisk arkeologi. Fossa, 2.

Nielsen, M. & Valencia, F. D. (2004). Notes on Timed Concurrent Constraint Programming. In J. Desel, W. Reisig & G. Rozenberg (Eds.), Lectures on Concurrency and Petri Nets: Advances in Petri Nets (pp. 137-159). Springer. https://doi.org/10.1007/978-3-540-27755-2_20

Nielsen, M. & Krukow, K. K. (2003). Towards a Formal Notion of Trust. In Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (pp. 4-7). Association for Computing Machinery. https://doi.org/10.1145/888251.888253

Nielsen, K. H. (2010). Confidentiality vs. publicity: Emerging tensions in military-science collaborations during the Cold War. Abstract from 4th International Conference of the European Society for the History of Science, Barcelona, Spain.

Andersen, M. V. (2010). Reactivity and Thermal Stability in the Mg(BH4)2-ZnCl2 System. Poster session presented at 40th Danish Crystallography and 3rd DanScatt meeting, København, Denmark.

Cao, T., Mosegaard Arnbjerg, L. & Jensen, T. R. (2010). Powder X-ray diffraction study af alkali alanates. Poster session presented at 40th Danish Crystallography and 3rd DanScatt meeting, København, Denmark.

Teruel, M., Sørensen, J. G., Loeschcke, V., Cabrero, J., Perfectti, F. & Camacho, J. P. M. (2010). Level of heat shock proteins decreases in individuals carrying B-chromosomes in the grasshopper Eyprepocnemis plorans. Cytogenetic and Genome Research, 132, 94-99. https://doi.org/10.1159/000319621

van Aardt, W. J. & Weber, R. E. (2010). Respiration and hemoglobin function in the giant African bullfrog Pyxicephalus adspersus Tschudi (Anura: Pyxicephalidae) during rest, exercise and dormancy. African Journal of Herpetology, 59(2), 173-190. https://doi.org/10.1080/21564574.2010.521197

Simon, M. J., Nuuttila, H., Reyes-Zamudio, M. M., Ugarte, F., Verfuss, U. & Evans, P. G. H. (2010). Passive acoustic monitoring of bottlenose dolphin and harbour porpoise, in Cardigan Bay, Wales, with implications for habitat use and partitioning. Journal of the Marine Biological Association of the United Kingdom, 90(8), 1539-1545. https://doi.org/10.1017/S0025315409991226

Nielsen, M. & Thiagarajan, P. S. (2002). Regular Event Structures and Finite Petri Nets: The Conflict-Free Case. In J. Esparza & C. Lakos (Eds.), Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24-30, 2002 Proceedings (pp. 467-488). Springer. https://doi.org/10.1007/3-540-48068-4_20

Møller, J. V., Olesen, C. E., Winther, A.-M. L. & Nissen, P. (2010). What can be learned about the function of a single protein from its various X-ray structures: the example of the sarcoplasmic calcium pump. In Methods in Molecular Biology: Membrane Protein Structure Determination Methods and Protocols (Vol. 654, Part 2, pp. 119-140). Humana Press.

Møller, J. V., Olesen, C. E., Winther, A.-M. L. & Nissen, P. (2010). The sarcoplasmic Ca2+-ATPase: design of a perfect chemi-osmotic pump. Quarterly Reviews of Biophysics, 43(4), 501-566.

Winther, A.-M. L., Liu, H., Sonntag, Y., Olesen, C. E., le Maire, M., Søhoel, H., Olsen, C. E., Christensen, S. B., Nissen, P. & Møller, J. V. (2010). Critical roles of hydrophobicity and orientation of side chains for inactivation of sarcoplasmic reticulum Ca2+-ATPase with thapsigargin and thapsigargin analogs. Journal of Biological Chemistry, 285(37), 28883-92.

Mortensen, E. L. K., Wang, T., Malte, H., Raubenheimer, D. & Mayntz, D. (2010). Maternal preconceptional nutrition leads to variable fat deposition and gut dimensions of adult offspring mice (C57BL/6JBom). International Journal of Obesity, 34, 1618-1624. https://doi.org/10.1038/ijo.2010.91

Gregersen, N., Buttenschøn, H. N., Atli Dahl, H., Foldager, L., Kristensen, A. S., Woldby, D., Koefoed, P., Wang, AG., Joensen, S., Kruse, TA., Børglum, A. & Mors, O. (2010). Markers on chromosome 19p13 associated with panic disorder. XVIIIth World Congress on Psychiatric Genetics. Book of abstracts., 288-289.

Ley, M. B. & Jensen, T. R. (2010). Novel borohydrides and in situ decomposition studies. Poster session presented at iNANO Auturm School 2010, Denmark.

Nielsen, A. E. B. & Mølmer, K. (2010). Topological matter with collective encoding and Rydberg blockade. Physical Review A, 82(5), 052326. https://doi.org/10.1103/PhysRevA.82.052326

Ogilby, P. R. (2010). Singlet oxygen: there is still something new under the sun, and it is better than ever. Photochemical & Photobiological Sciences, 9, 1543-1560.

Breitenbach, T., Ogilby, P. R. & Lambert, J. D. C. (2010). Effect of intracellular photosensitized singlet oxygen production on the electrophysiological properties of cultured rat hippocampal neurons. Photochemical & Photobiological Sciences, 9, 1621-1633.

Dantola, M. L., Denofrio, M. P., Zurbano, B., Gimenez, C. S., Ogilby, P. R., Lorente, C. & Thomas, A. H. (2010). Mechanism of photooxidation of folic acid sensitized by unconjugated pterins. Photochemical & Photobiological Sciences, 9, 1604-1612.

Bech, C. W., Bouvin, N. O., Petersen, M. G. & Grønbæk, K. (2004). En åben portal til blended learning. In M. Georgsen & J. Bennedsen (Eds.), Fleksibel læring og undervisning: - erfaringer, konsekvenser og muligheder med ikt (Vol. 1, pp. 259-273). Aalborg Universitetsforlag.

Laidre, K. L., Heide-Jørgensen, M. P., Heagerty, P., Cossio, A., Bergström, B. & Simon, M. J. (2010). Spatial associations between large baleen whales and their prey in West Greenland. Marine Ecology Progress Series, 402, 269-284.

Simon, M. J., Stafford, K. M., Beedholm, K., Lee, C. M. & Madsen, P. T. (2010). Singing behvaior of fin whales in the Davis Strait with implications for mating, migration and foraging. Acoustical Society of America. Journal, 128(5), 3200-3210.

Jurdzinski, M. & Nielsen, M. (2000). Hereditary History Preserving Bisimilarity Is Undecidable. In H. Reichel & S. Tison (Eds.), STACS 2000: 17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17-19, 2000 Proceedings (pp. 358-369). Springer. https://doi.org/10.1007/3-540-46541-3_30

Hune, T. & Nielsen, M. (1998). Timed bisimulation and open maps. In L. Brim, J. Gruska & J. Zlatuska (Eds.), Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS'98 Brno, Czech Republic, August 24-28, 1998 Proceedings (pp. 378-387). Springer. https://doi.org/10.1007/BFb0055787

Pedersen, K., Wiechec, E., Madsen, B. E., Overgaard, J. & Hansen, L. L. (2010). A simple way to evaluate self-designed probes for tumor specific Multiplex Ligation-dependent Probe Amplification (MLPA). BMC Research Notes, 3(1), 179.

Wojdacz, T. K., Møller, T. H., Thestrup, B. B., Kristensen, L. S. & Hansen, L. L. (2010). Limitations and advantages of MS-HRM and bisulfite sequencing for single locus methylation studies. Expert Review of Molecular Diagnostics, 10(5), 575-580.

Nielsen, M. (1998). Reasoning about the past. In L. Brim, J. Gruska & J. Zlatuska (Eds.), Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS'98 Brno, Czech Republic, August 24-28, 1998 Proceedings (pp. 117-128). Springer. https://doi.org/10.1007/BFb0055761

Nielsen, M. & Sassone, V. (1998). Petri nets and other models of concurrency. In W. Reisig & G. Rozenberg (Eds.), Lectures on Petri Nets I: Basic Models: Advances in Petri Nets (pp. 587-642). Springer. https://doi.org/10.1007/3-540-65306-6_23

Winskel, G. & Nielsen, M. (1997). Presheaves as transition systems. In POMIV '96 Proceedings of the DIMACS workshop on Partial order methods in verification (pp. 129-140). American Mathematical Society.

Bjælde, O. E. & Das, S. (2010). Dark Matter Decaying into a Fermi Sea of Neutrinos. Physical Review D, 82(4), 043504. https://doi.org/10.1103/PhysRevD.82.043504

Basbøll, A. & Bjælde, O. E. (2010). Decaying neutrinos: The long way to isotropy. Physical Review D, 81(12), 123503. https://doi.org/10.1103/PhysRevD.81.123503

Cheng, A. & Nielsen, M. (1996). Open maps, behavioural equivalences, and congruences. In H. Kirchner (Ed.), Trees in Algebra and Programming - CAAP '96: 21st International Colloquium Linköping, Sweden, April 22-24, 1996 Proceedings (pp. 257-271). Springer. https://doi.org/10.1007/3-540-61064-2_42

Klarlund, N., Nielsen, M. & Sunesen, K. (1996). Automated logical verification based on trace abstractions. In PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing (pp. 101-110). Association for Computing Machinery. https://doi.org/10.1145/248052.248069

Bally, M., Bailey, K., Sugihara, K., Grieshaber, D., Voros, J. & Stadler, B. (2010). Liposome and Lipid Bilayer Arrays Towards Biosensing Applications. Small, 6(22), 2481-2497.

Stadler, B., Price, A. D. & Zelikin, A. N. (2011). A Critical Look at multilayered Polymer Capsules in Biomedicine: Drug Carriers, Artificial organelles, and Cell Mimic. Advanced Functional Materials, 21(1), 14-28.

Hosta-Rigau, L., Chandrawati, R., Saveriades, E., Odermatt, P. D., Postma, A., Ercole, F., Breheney, K., Wark, K. L., Stadler, B. & Caruso, F. (2010). Noncovalent Liposome Linkage and Miniaturization of Capsosomes for Drug Delivery. Biomacromolecules, 11, 3548-3555.

Sunesen, K. & Nielsen, M. (1996). Behavioural equivalence for infinite systems - Partially decidable! In J. Billington & W. Reisig (Eds.), Application and Theory of Petri Nets 1996: 17th International Conference Osaka, Japan, June 24-28, 1996 Proceedings (pp. 460-479). Springer. https://doi.org/10.1007/3-540-61363-3_25

Nielsen, M. & Cheng, A. (1995). Observing behaviour categorically. In P. S. Thiagarajan (Ed.), Foundations of Software Technology and Theoretical Computer Science: 15th Conference Bangalore, India, December 18-20, 1995 Proceedings (pp. 263-278). Springer. https://doi.org/10.1007/3-540-60692-0_54

Herrmann, R., Greilich, S., Grzanka, L. & Bassler, N. (2011). Amorphous track predictions in ‘libamtrack’ for alanine relative effectiveness in ion beams. Radiation Measurements, 46(12), 1551-1553. https://doi.org/10.1016/j.radmeas.2011.05.066

Nielsen, M., Priese, L. & Sassone, V. (1995). Characterizing behavioural congruences for Petri nets. In I. Lee & S. A. Smolka (Eds.), CONCUR '95: Concurrency Theory: 6th International Conference Philadelphia, PA, USA, August 21-24, 1995 Proceedings (pp. 175-189). Springer. https://doi.org/10.1007/3-540-60218-6_13

Nielsen, M. & Clausen, C. (1994). Bisimulation for models in concurrency. In B. Jonsson & J. Parrow (Eds.), CONCUR '94: Concurrency Theory: 5th International Conference Uppsala, Sweden, August 22-25, 1994 Proceedings (pp. 385-400). Springer. https://doi.org/10.1007/BFb0015021

Sarup, P. M., Sørensen, J. G., Kristensen, T. N., Hoffmann, A. A., Loeschcke, V., Paige, K. N. & Sørensen, P. (2011). Candidate Genes Detected in Transcriptome Studies are Strongly Dependent on Genetic Background. PLoS One, 6(1), 1-5. https://doi.org/10.1371/journal.pone.0015644

Nielsen, M. & Clausen, C. (1994). Bisimulations, games, and logic. In J. Karhumäki, H. Maurer & G. Rozenberg (Eds.), Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto Salomaa Graz, Austria, June 10-11, 1994 Proceedings (pp. 289-306). Springer. https://doi.org/10.1007/3-540-58131-6_54

Nielsen, M., Sassone, V. & Winskel, G. (1994). Relationships between models of concurrency. In J. W. de Bakker, W. .-P. de Roever & G. Rozenberg (Eds.), A Decade of Concurrency Reflections and Perspectives: REX School/Symposium Noordwijkerhout, The Netherlands June 1-4, 1993 Proceedings (pp. 425-476). Springer. https://doi.org/10.1007/3-540-58043-3_25

Joyal, A., Nielsen, M. & Winskel, G. (1993). Bisimulation and open maps. In Proceedings of Eighth Annual IEEE Symposium on Logic in Computer Science, 1993. LICS '93., (pp. 418-427). IEEE Computer Society Press. https://doi.org/10.1109/LICS.1993.287566

Avid, O., Toker, J., Rajput, J., Strasser, D., Heber, O., Schwalm, D., Zajfman, D. & Andersen, L. H. (2010). Search for dimer emission from photoexcited Al₄^-. Physical Review A, 82(3), 035201. https://doi.org/10.1103/PhysRevA.82.035201

Displaying results 18951 to 19000 out of 56296

380