Aarhus University Seal

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

Gerhardy, P. (2005). The Role of Quantifier Alternations in Cut Elimination. Notre Dame Journal of Formal Logic, 46(2), 165-171.
Hernest, M.-D. & Kohlenbach, U. (2005). A complexity analysis of functional interpretations. Theoretical Computer Science, 338(1-3), 200-246.
Kohlenbach, U. (2005). Higher Order Reverse Mathematics. In S. G. Simpson (Ed.), Reverse Mathematics 2001 (pp. 281-295). A K Peters.
Kohlenbach, U. (2005). Some Logical Metatheorems with Applications in Functional Analysis. Transactions of the American Mathematical Society, 357(1), 89-128.
Bennedsen, J. & Caspersen, M. E. (2005). Revealing the programming process. In W. Dann, T. L. Naps, P. T. Tymann & D. Baldwin (Eds.), Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2005 (St. Louis, Missouri, USA, February 23-27, 2005) (pp. 186-190). Association for Computing Machinery. https://doi.org/10.1145/1047124.1047413
Danvy, O. (2005). From Reduction-based to Reduction-free Normalization. Electronic Notes in Theoretical Computer Science, 124(2), 79-100.
Allender, E., Bürgisser, P., Kjeldgaard-Pedersen, J. & Miltersen, P. B. (2005). On the Complexity of Numerical Analysis. Electronic Colloquium on Computational Complexity, (TR05-037), 1-12.
Zhao, Y., Nielsen, J. B., Deng, R. H. & Feng, D. (2005). Generic yet Practical ZK Arguments from any Public-Coin HVZK. Electronic Colloquium on Computational Complexity, (TR05-162), 1-16.
Cattani, G. L. & Winskel, G. (2005). Profunctors, open maps and bisimulation. Mathematical Structures in Computer Science, 15(3), 553-614.
Lambov, B. Z. (2005). RealLib: an Efficient Implementation of Exact Real Arithmetic. In T. Grubba, P. Hertling, H. Tsuiki & K. Weihrauch (Eds.), econd International Conference on Computability and Complexity in Analysis, CCA 2005 Proceedings (Kyoto, Japan, August 25-29, 2005) (pp. 169-175)
Lambov, B. Z. (2005). Complexity and Intensionality in a Type-1 Framework for Computable Analysis. In C.-H. L. Ong (Ed.), Computer Science Logic, 19th International Workshop, CSL 2005 Proceedings, 14th Annual Conference of the EACSL (Oxford, UK, August 22-25, 2005) (pp. 442-461). Springer LNCS.
Lambov, B. Z. (2005). Rates of Convergence of Recursively Defined Sequences. Electronic Notes in Computer Science, 120, 125-133.
Allan, C., Avgustinov, P., Christensen, A. S., Hendren, L. J., Kuzins, S., Lhoták, J., Lhoták, O., de Moor, O., Sereni, D., Sittampalam, G. & Tibble, J. (2005). abc: The AspectBench Compiler for AspectJ. In R. Glück & M. R. Lowry (Eds.), Generative Programming and Component Engineering, 4th International Conference, GPCE 2005 Proceedings (Tallinn, Estonia, September 29 - October 1, 2005) (pp. 10-16)
Allan, C., Avgustinov, P., Christensen, A. S., Dufour, B., Goard, C., Hendren, L. J., Kuzins, S., Lhoták, J., Lhoták, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J. & Verbrugge, C. (2005). abc the aspectBench compiler for aspectJ a workbench for aspect-oriented programming language and compilers research. In R. Johnson & R. P. Gabriel (Eds.), Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005 (San Diego, CA, USA, October 16-20, 2005) (pp. 88-89). Association for Computing Machinery.
Avgustinov, P., Christensen, A. S., Hendren, L. J., Kuzins, S., Lhoták, J., Lhoták, O., de Moor, O., Sereni, D., Sittampalam, G. & Tibble, J. (2006). abc: An Extensible AspectJ Compiler. In A. Rashid & M. Aksit (Eds.), Transactions on Aspect-Oriented Software Development I (pp. 87-98). Springer LNCS. https://doi.org/10.1007/11687061_9
Gerhardy, P. (2006). A Quantitative Version of Kirk's Fixed Point Theorem for Asymptotic Contractions. Journal of Mathematical Analysis and Applications, 316(1), 339-345.
Krukow, K. K., Nielsen, M. & Sassone, V. (2005). A Framework for Concrete Reputation-Systems. BRICS Report Series, (BRICS RS-05-23), 1-48.
Christensen, H. B. (2005). Implications of perspective in teaching objects first and object design. In 10th annual SIGCSE conference on Innovation and technology in computer science education, ITiCSE '05 Proceedings (Caparica, Portugal, June 27-29, 2005) (pp. 94-98). Association for Computing Machinery. https://doi.org/10.1145/1067445.1067474
Christensen, H. B. (2005). TS-05: 150 lines of java with high architectural complexity. In 10th annual SIGCSE conference on Innovation and technology in computer science education, ITiCSE '05 Proceedings (Caparica, Portugal, June 27-29, 2005) (pp. 396-396). Association for Computing Machinery. https://doi.org/10.1145/1067445.1067599
Bergin, J., Wallingford, E., Caspersen, M. E., Goldweber, M. & Kolling, M. (Eds.) (2005). Teaching polymorphism early. In 10th annual SIGCSE conference on Innovation and technology in computer science education, ITiCSE '05 Proceedings (Caparica, Portugal, June 27-29, 2005) (pp. 342-343). Association for Computing Machinery. https://doi.org/10.1145/1067445.1067541
Bennedsen, J. & Caspersen, M. E. (2005). An investigation of potential success factors for an introductory model-driven programming course. In The 2005 international workshop on Computing education research, ICER '05 Proceedings (Seattle, WA, USA, October 1-2, 2005) (pp. 155-163). Association for Computing Machinery. https://doi.org/10.1145/1089786.1089801
Hansen, L. K., Pedersen, P. D. & Eriksson, E. (2005). Rethinking information handling: designing for information offload. In O. W. Bertelsen, N. O. Bouvin, P. G. Krogh & M. Kyng (Eds.), 4th Decennial Conference on Critical Computing: Between sense and sensibility, CC 2005 Proceedings (Aarhus, Denmark August 20-24, 2005) (pp. 161-164). Association for Computing Machinery. https://doi.org/10.1145/1094562.1094589
Bertelsen, O. W. & Zander, P.-O. (2005). Obstacles to Design in Volunteer Based Organisations. In Proceedings of the 5th Danish Human-Computer Interaction Research Symposium (pp. 93-98). Copenhagen Business School.
Bertelsen, O. W., Bødker, S., McEwan, T., Procter, R. & Svanæs, D. (2006). HCI Knowledge - Fit for Transfer, Share or Co-Construction. In The 19th British HCI Group Annual Conference, Napier University. (pp. 341-343)
Ciolfi, L., Cooke, M., Bertelsen, O. W. & Bannon, L. J. (2005). Understanding and Designing for Aesthetic Experience. In L. MacKinnon, O. Bertelsen & N. Bryan-Kinns (Eds.), The 19th British HCI Group Annual Conference (pp. 289-291). The British Computer Society.
Bertelsen, O. W., Marti, P. & Shapiro, D. (2006). Workshop on Ambient Computing in a Critical, Quality of Life Perspective Aarhus, Denmark, 21 August 2005 - as part of the Fourth Aarhus Conference. In The 4th decennial conference on Critical computing: between sense and sensibility 2005, Aarhus, Denmark
Nielsen, C. K., Andersen, T. V., Riis, E., Petersson, A. & Broeng, J. (2005). Investigations of the coupling between the core mode and cladding modes in a double clad Yb-doped photonic crystal fiber. In Proceedings of the 2004 Photonics West Conference SPIE - International Society for Optical Engineering.
Olshansky, S. J. & Rattan, S. (2005). What determines longevity: metabolic rate or stability? Discovery Medicine, 5, 359-362.
Olshansky, S. J. & Rattan, S. (2005). At the heart of aging: is it metabolic rate or stability? Biogerontology, 6, 291-295.
Høyer, B. & Gulamhusein, A. (2005). Udvaskning og immobilisering af arsen i jord - laboratoriestudie. In ATV Vintermøde om jord- og grundvandsforurening (pp. 467-478). ATV.
Johannsen, M. & Jørgensen, K. A. (1998). Allylic Amination. Chemical Reviews, 98, 1689.

Sort by: Date | Author | Title

Nieto-Lugilde, D., Lenoir, J., Abdulhak, S., Aeschimann, D., Dullinger, S., Gégout, J.-C., Guisan, A., Pauli, H., Renaud, J., Theurillat, J.-P., Thuiller, W., Van Es, J., Vittoz, P., Willner, W., Wohlgemuth, T., Zimmermann, N. E. & Svenning, J.-C. (2012). Large-scale biotic interaction effects - tree cover interacts with shade toler-ance to affect distribution patterns of herb and shrub species across the Alps.
Sauer, P., Glombitza, C. & Kallmeyer, J. (2012). Leaching of organic acids from macromolecular organic matter by non-supercritical CO2. Abstract from EGU General Assembly, Vienna, Austria.
Sauer, P., Alawi, M., Glombitza, C. & Kallmeyer, J. (2012). Liberation of microbial substrates from macromolecular organic matter by non‐supercritical CO2. Abstract from AGU Fall Meeting 2012, San Francisco, United States.
Skommer, J., Helbo, S., Henty, K. & Brittain, T. (2012). Ligand binding, reactivity and biological activity of a distal pocket mutant of neuroglobin. International Journal of Biological Macromolecules, 51(3), 284-90. https://doi.org/10.1016/j.ijbiomac.2012.05.020
Nixon, S. L., Cockell, C. S. & Tranter, M. (2012). Limitations to a microbial iron cycle on Mars. Planetary and Space Science, 72(1), 116-128. https://doi.org/10.1016/j.pss.2012.04.003
Deibel, D., Parrish, C. C., Grønkjær, P., Munk, P. & Gissel Nielsen, T. (2012). Lipid class and fatty acid content of the leptocephalus larva of tropical eels. Lipids, 47(6), 623-634. https://doi.org/10.1007/s11745-012-3670-5
Risgaard-Petersen, N. & Nielsen, L. P. (2012). Long distance electron transmission in marine sediment. Abstract from Electron transfer at the microbe-mineral interface, Norwich, United Kingdom.
Levi, P. S., Riis, T. & Baattrup-Pedersen, A. (2012). Macrophytes influence transient storage of managed lowland streams. Abstract from Society for Freshwater Science, Louisville, Kentucky, United States.
Mangelsdorf, K., Glombitza, C., Vieth, A., Vu, T. & Horsfield, B. (2012). Maturation related release of potential substrates from coals for deep microbial ecosystems. Abstract from The deep-sea and sub-seafloor frontiers conference, Sitges (Barcelona), Spain.
Srithi, K., Trisonthi, C., Wangpakapattanawong , P. & Balslev, H. (2012). Medicinal plants used in Hmong women’s healthcare in northern Thailand. Journal of Ethnopharmacology, 139, 119–135. https://doi.org/10.1016/j.jep.2011.10.028
Rasmussen, C., Carrión, A., Castro-Urgal, R., Chamorro, S., Gonzalez, V. H., Griswold, T. L., Herrera, H. W., McMullen, C. K., Olesen, J. M. & Traveset, A. (2012). Megachile timberlakei Cockerell (Hymenoptera, Megachilidae): Yet another bee species from the Galápagos Archipelago. Pan-Pacific Entomologist, 88, 98-102.
Overgaard, J. & Wang, T. (2012). Metabolic Transitions During Feast and Famine in Spiders. In M. D. McCue (Ed.), Comparative Physiology of Fasting, Starvation and Food Limitation (pp. 53-68). Springer. https://doi.org/10.1007/978-3-642-29056-5_5
Temkiv, T. S., Finster, K. & Gosewinkel, U. B. (2012). Metagenomics of clouds and atmosphere. In Encyclopedia of Metagenomics Springer Science+Business Media.
Nigro, L. M., Harris, K., Orcutt, B., Hyde, A., Clayton-Luce, S., Becker, K. & Teske, A. (2012). Microbial communities at the borehole observatory on the Costa Rica Rift flank (Ocean Drilling Program Hole 896A). Frontiers in Microbiology, 3, 1-11. https://doi.org/10.3389/fmicb.2012.00232
Tranter, M., montross, SN., Skidmore, M., Kivimaki, A.-L. & Parkes, JR. (2012). Microbial driver of chemical weathering in glaciated systems. Geology.
Funch, P. (2012). Micrognathozoa. In McGraw Hill Encyclopedia of Science & Technology, 11th Edition (pp. 87-88). McGraw-Hill. http://0-www.accessscience.com.library.hct.ac.ae/abstract.aspx?id=900166&referURL=/content/Micrognathozoa/900166
Ndayishimiye, J., Greve, M., Stoffelen, P., Bigendako, M. J., De Cannière, C., Svenning, J.-C. & Bogaert, J. (2012). Modelling the spatial distribution of endemic Caesalpinioideae in Central Africa, a contribution to the evaluation of actual protected areas in the region. International Journal of Biodiversity and Conservation, 4(3), 118-129. https://doi.org/10.5897/IJBC11.150
Campbell, K. L., Signore, A. V., Harada, M. & Weber, R. E. (2012). Molecular and physicochemical characterization of hemoglobin from the high-altitude Taiwanese brown-toothed shrew (Episoriculus fumidus). Journal of Comparative Physiology B: Biochemical, Systems, and Environmental Physiology, 2012(182). https://doi.org/10.1007/s00360-012-0659-6
Hansen, M. M., Olivieri, I., Waller, D. M. & Eg Nielsen, E. (2012). Monitoring adaptive genetic responses to environmental change. Molecular Ecology, 21, 1311-1329.
García, M. B., Pardo, I., Pata, M. P., Camarero, J. J., García-González, R., Errea, P., Gómez, D., Pironon, S., Aldezábal, A., Olesen, J. M., Roquet, C. & Lavergne, S. (2012). Monitorización de la biodiversidad vegetal y sus distintos componentes en un parque nacional de montaña. In L. Ramírez & B. Asensio (Eds.), Proyectos de investigación en parques nacionales: 2008-2011 (pp. 219-234). Ministerio de Agricultura, Alimentación y Medio Ambiente.
Nielsen, M. G. & Larsen, R. B. (2012). Myrer i Danmark. Natur og Museum, (3), 1-34.
Clausen, K. K., Fælled, C. C. & Clausen, P. (2012). Når ålegræsset forsvinder følger fuglene med. Poster session presented at Temadag om Vildtforskningen i Danmark, Aarhus, Denmark.
Molina, V., Fernández, C., Levipan, H., Ulloa, O., Dalsgaard, T., Thamdrup, B. & Revsbech, N. P. (2012). Natural ammonium oxidizer´s response to chemical changes in the permanent and seasonal oxygen minimum zones of Chile. Poster session presented at 14th International Symposium on Microbial Ecology, København, Denmark.
Olesen, J. M. (2012). Netværk. Aarhus Universitetsforlag. Tænkepauser - viden til hverdagen Vol. 2
Glombitza, C., Bernard, S., Mangelsdorf, K., Schreiber, A., Steffens, M. & Kögel-Knabner, I. (2012). New insights into gas shale fabrics using selective chemical degradation combined with STXM. Abstract from 3rd EAGE Shale Workshop, Barcelona, Spain.
Helbo, S. & Fago, A. (2012). Nitrite reductase activities and O2 binding of myoglobins from whales with different diving capacities. Abstract from XVII International Conference on Oxygen Binding and Sensing Proteins, Parma, Italy.
Helbo, S. & Fago, A. (2012). Nitrite reductase activities of myoglobins from five whale species with distinct diving capacities. Abstract from Seventh International Conference on the Biology, Chemistry and Therapeutic Application of Nitric Oxide, Edinburgh, United Kingdom. https://doi.org/10.1016/j.niox.2012.04.126