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

Danvy, O. (2004). Sur un Exemple de Patrick Greussay. BRICS Report Series, (RS-04-41).
Danvy, O., Damian, D. & Taha, W. (Ed.) (2001). Static Transition Compression. In Semantics, Applications, and Implementation of Program Generation (Vol. 2196 of Lecture Notes in Computer Science, pp. 92-107). Springer.
Danvy, O. & Goldberg, M. (2001). There and Back Again. BRICS Report Series, (RS-01-39).
Danvy, O. & Goldberg, M. (2002). There and Back Again. In Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (pp. 230-234). Association for Computing Machinery. https://doi.org/10.1145/581478.581500
Danvy, O., Grobauer, B. & Rhiger, M. (2001). A Unifying Approach to Goal-Directed Evaluation. New Generation Computing, 20(1), 53-74. https://doi.org/10.1007/BF03037259
Danvy, O. & López, P. E. M. (2003). Tagging, Encoding, and Jones Optimality. In P. Degano (Ed.), Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings (pp. 335-347). Springer. https://doi.org/10.1007/3-540-36575-3_23
Danvy, O. & Nielsen, L. R. (2002). A First-Order One-Pass CPS Transformation. In M. Nielsen & U. Engberg (Eds.), Foundations of Software Science and Computer Structures: 5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings (pp. 367-393). Springer. https://doi.org/10.1007/3-540-45931-6_8
Danvy, O. & Nielsen, L. R. (2003). A First-Order One-Pass CPS Transformation. Theoretical Computer Science, 308(1), 239-257.
Danvy, O. & Nielsen, L. R. (2001). A Higher-Order Colon Translation. In H. Kuchen & K. Ueda (Eds.), Functional and Logic Programming: 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings (pp. 78-91). Springer. https://doi.org/10.1007/3-540-44716-4_5
Danvy, O. & Nielsen, L. R. (2004). CPS Transformation of Beta-Redexes. BRICS Report Series, (RS-04-39).
Danvy, O. & Nielsen, L. R. (2002). On One-Pass CPS Transformations. BRICS Report Series, (RS-02-3).
Danvy, O. & Nielsen, L. R. (2004). Refocusing in Reduction Semantics. BRICS Report Series, (RS-04-26).
Danvy, O. & Nielsen, L. R. (2001). Syntactic Theories in Practice. BRICS Report Series, (RS-01-31).
Danvy, O. & Nielsen, L. R. (2002). Syntactic Theories in Practice. BRICS Report Series, (RS-02-4).
Danvy, O. & Rhiger, M. (2001). A Simple Take on Typed Abstract Syntax in Haskell-like Languages. In H. Kuchen & K. Ueda (Eds.), Functional and Logic Programming: 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings (pp. 343-358). Springer. https://doi.org/10.1007/3-540-44716-4_22
Danvy, O., Rhiger, M. & Rose, K. H. (2001). Normalization by Evaluation with Typed Abstract Syntax. BRICS Report Series, (RS-01-16).
Danvy, O. & Schultz, U. P. (2002). Lambda-Lifting in Quadratic Time. In Z. Hu & M. Rodríguez-Artalejo (Eds.), Functional and Logic Programming: 6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings (pp. 134-151). Springer. https://doi.org/10.1007/3-540-45788-7_8
Danvy, O. & Schultz, U. P. (2004). Lambda-lifting in Quadratic Time. Journal of Functional and Logic Programming (JFLP), 2004(1).
Doh, K., Mosses, P. D., van den Brand, M. (Ed.) & Parigot, D. (Ed.) (2001). Composing Programming Languages by Combining Action-Semantics Modules. In Ikke angivet (44(2) of Elec. Notes in Theoretical Comp. Sci ed., Vol. 44, pp. 87-109). Pergamon Press.
Doh, K. & Mosses, P. D. (2003). Composing Programming Languages by Combining Action-Semantics Modules. Science of Computer Programming, 47(1), 3-36.
Ernst, E. (2004). Delegation by First-Class Methods. In K. Østerbye (Ed.), Proceedings of 11th Nordic Workshop on Programming and Software Development Tools and Techniques (NWPER'04) (pp. 109-124). Turku Center for Computer Science.
Ernst, E. & Cardelli, L. (Ed.) (2003). Higher-Order Hierarchies. In ECOOP 2003 -- Object-Oriented Programming: Lecture Notes in Computer Science (pp. 109-156). Springer. https://doi.org/10.1007/b11832
Ernst, E. (2002). Method Mixins. Daimi Report Series (DAIMI PB), (557).
Ernst, E. (2002). Safe Dynamic Multiple Inheritance. Nordic Journal of Computing, 9(3), 191-208.
Ernst, E. (2003). Separation of Concerns. In Proceedings of Software Engineering Properties of Languages for Aspect Technologies 2003 Datalogisk Institut, Aarhus Universitet.
Ernst, E. (2004). Simple, eh?. Paper presented at Software-engineering Properties of Languages for Aspect Technologies (SPLAT'04), Lancaster, United Kingdom.
Ernst, E. (2004). The Expression Problem, Scandinavian Style. In MASPEGHI 2004 (ISRN I3S/RR-2004-15-FR ed.). Laboratoire I3S, Sophia Antipolis.
Filinski, A., Rohde, H. K. & Walukiewicz, I. (Ed.) (2004). A Denotational Account of Untyped Normalization by Evaluation. In Foundations of Software Science and Computation Structures: Proceedings of the 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 (2987 ed., Vol. Lecture Notes in Computer Science, pp. 167-181). Springer.
Fjuk, A., Berge, O., Bennedsen, J. & Caspersen, M. E. (2004). Learning Object-Orientation through ICT-mediated Apprenticeship. In Proceedings of the IEEE International Conference on Advanced Learning Technologies (pp. 380-384). IEEE Computer Society Press. https://doi.org/10.1109/ICALT.2004.1357441
Frandsen, G. S. & Shparlinski, I. E. (2004). On Reducing a System of Equations to a Single Equation. In 2004 International Symposium on Symbolic and Algebraic Computation (pp. 163-166). Association for Computing Machinery. https://doi.org/10.1145/1005285.1005310
Gal, A. & Miltersen, P. B. (2003). The Cell Probe Complexity of Succinct Data Structures. In J. C. M. Baeten, J. K. Lenstra, J. Parrow & G. J. Wöeginger (Eds.), Automata, Languages and Programming: 30th International Colloquium, ICALP 2003 Eindhoven, The Netherlands, June 30 - July 4, 2003 Proceedings (pp. 442-453). Springer. https://doi.org/10.1007/3-540-45061-0_28
Gerhardy, P., Baaz, M. (Ed.) & Makowsky, J. A. (Ed.) (2003). Refined Complexity Analysis of Cut Elimination. In Ikke angivet (2803 of Lecture Notes in Computer Science ed., pp. 212-225). Springer.
Gerhardy, P. & Kohlenbach, U. (2003). Extracting Herbrand Disjunctions by Functional Interpretation. BRICS Report Series, (RS-03-32).
Gerhardy, P. & Kohlenbach, U. (2004). Strongly Uniform Bounds from Semi-Constructive Proofs. BRICS Report Series, (RS-04-31).
Goldberg, M. & Torgersen, M. (2002). How to Circumvent Church Numerals. Nordic Journal of Computing, 9(1), 1-12.
Grønbæk, K., Whitehead, J., De Bra, P., Larsen, D., Leggett, J. & Schraefel, M. (2002). Seven Issues Revisited. In Conference on Hypertext and Hypermedia: Proceedings of the thirteenth ACM conference on Hypertext and hypermedia (pp. 171). Association for Computing Machinery.
Grønbæk, K., Gundersen, K. K., Mogensen, P. H. & Ørbæk, P. (2001). Interactive Room Support for Complex and Distributed Design Projects. In M. Hirose (Ed.), Human-Computer Interaction: INTERACT'01 (pp. 407-414). Ohmsha.
Grønbæk, K., Kristensen, J. F., Ørbæk, P. & Eriksen, M. A. (2003). Augmenting Physical Material with Hypermedia Structures. New Review of Hypermedia and Multimedia, 9(1), 5-34. https://doi.org/10.1080/13614560410001725293
Grønbæk, K., Kristensen, J. F., Ørbæk, P. & Eriksen, M. A. (2003). Physical Hypermedia: Organising Collections of Mixed Physical and Digital Material. In Proceedings of the fourteenth ACM conference on Hypertext and Hypermedia (pp. 10-19). Association for Computing Machinery. https://doi.org/10.1145/900051.900056
Grønbæk, K., Krogh, P. G. & Kyng, M. (2001). Intelligent Buildings and pervasive computing - research perspectives and discussions. In P. Bille (Ed.), Architectural Research and Information Technology (pp. 33-40). Aarhus School of Architecture.
Grønbæk, K., Vestergaard, P. P. & Ørbæk, P. (2002). Towards Geo-spatial Hypermedia: Concepts and Prototype Implementation. In J. Blustein (Ed.), Proceedings of the 13th ACM Conference on Hypertext and Hypermedia (pp. 117-126). Association for Computing Machinery. https://doi.org/10.1145/513338.513370
Hagerup, T., Miltersen, P. B. & Pagh, R. (2001). Deterministic Dictionaries. Journal of Algorithms, 41, 69-85.
Hagerup, T., Miltersen, P. B. & Pagh, R. (2001). Deterministic Dictionaries. J. Algorithms, 41(1), 69-85.
Hansen, K. A. (2004). Constant Width Planar Computation Characterizes ACC0. In V. Diekert & M. Habib (Eds.), STACS 2004: 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004. Proceedings (pp. 44-55). Springer. https://doi.org/10.1007/978-3-540-24749-4_5
Hansen, K. A. & Miltersen, P. B. (2004). Some Meet-in-the-middle Circuit Lower Bounds. In J. Fiala, V. Koubek & J. Kratochvil (Eds.), Mathematical Foundations of Computer Science 2004: 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004. Proceedings (pp. 334-345). Springer. https://doi.org/10.1007/978-3-540-28629-5_24
Hansen, K. A., Miltersen, P. B. & Vinay, V. (2002). Circuits on Cylinders. Electronic Colloquium on Computational Complexity, (TR02-066).

Sort by: Date | Author | Title

Gonzalez-Flo, E., Ortiz, A., A. Arias, C., Díez-Montero, R., Kohlheb, N., Schauser, U. H., García, J. & Gregersen, P. K. S. (2023). Sludge Treatment Wetland for Treating Microalgae Digestate Grown in Agricultural Runoff: A Technical, Economic, and Environmental Assessment. Water, 15(12), Article 2159. https://doi.org/10.3390/w15122159
Alexander, G. J. & Wang, T. (2023). Snake foraging ecology and digestive physiology: Integrative biology and evolving paradigms. In D. Penning (Ed.), Snakes: Morphology, Function, and Ecology (pp. 313-342). Nova Science Publishers. https://doi.org/10.52305/YHUZ3307
Cirtwill, A. R., Kaartinen, R., Rasmussen, C., Redr, D., Wirta, H., Olesen, J. M., Tiusanen, M., Ballantyne, G., Cunnold, H., Stone, G. N., Schmidt, N. M. & Roslin, T. (2023). Stable pollination service in a generalist high Arctic community despite the warming climate. Ecological Monographs, 93(1), Article e1551. https://doi.org/10.1002/ecm.1551
Kettisen, K., Nyblom, M., Smeds, E., Fago, A. & Bülow, L. (2023). Structural and oxidative investigation of a recombinant high-yielding fetal hemoglobin mutant. Frontiers in Molecular Biosciences, 10, Article 1133985. https://doi.org/10.3389/fmolb.2023.1133985
Pearce, E. A., Mazier, F., Normand, S., Fyfe, R., Andrieu, V., Bakels, C., Balwierz, Z., Bińka, K., Boreham, S., Borisova, O. K., Brostrom, A., de Beaulieu, J. L., Gao, C., González-Sampériz, P., Granoszewski, W., Hrynowiecka, A., Kołaczek, P., Kuneš, P., Magri, D. ... Svenning, J. C. (2023). Substantial light woodland and open vegetation characterized the temperate forest biome before Homo sapiens. Science Advances, 9(45), Article eadi9135. https://doi.org/10.1126/sciadv.adi9135
Daussin, A., Vannier, P., Mater, É., Šantl-Temkiv, T., Cockell, C. & Marteinsson, V. Þ. (2023). Survival of Icelandic airborne microbes towards simulated atmospheric stress factors. Extremophiles, 27(2), Article 17. https://doi.org/10.1007/s00792-023-01302-6
Tougaard, J., Beedholm, K. & Madsen, P. P. T. (2023). Temporary Threshold Shift in Porpoise Hearing: Effect of Experimental Protocol. In A. N. Popper, J. A. Sisneros, A. Hawkins & F. Thomsen (Eds.), The Effects of Noise on Aquatic Life: Principles and Practical Considerations Springer. https://doi.org/10.1007/978-3-031-10417-6_166-1
Aalkjær, C. & Wang, T. (2023). The cardiovascular challenges in giraffes. Journal of Muscle Research and Cell Motility, 44(2), 53-60. https://doi.org/10.1007/s10974-022-09626-0
Šímová, I., Ordonez, A. & Storch, D. (2023). The dynamics of the diversity–energy relationship during the last 21,000 years. Global Ecology and Biogeography, 32(5), 707-718. https://doi.org/10.1111/geb.13649
Schlafer, S., K. Johnsen, K., Jørgensen, M.-R., Kjærbølling, I., Schramm, A. & Meyer, R. L. (2023). The effect of an enzyme-containing lozenge on dental biofilm accumulation: A clinical pilot study. Abstract from ORCA: 70th Congress of the European Organization for Caries Research, Egmond aan Zee, Netherlands.
Ma, H., Crowther, T. W., Mo, L., Maynard, D. S., Renner, S. S., van den Hoogen, J., Zou, Y., Liang, J., de-Miguel, S., Nabuurs, G. J., Reich, P. B., Niinemets, Ü., Abegg, M., Adou Yao, Y. C., Alberti, G., Almeyda Zambrano, A. M., Alvarado, B. V., Alvarez-Dávila, E., Alvarez-Loayza, P. ... Zohner, C. M. (2023). The global biogeography of tree leaf form and habit. Nature Plants, 9(11), 1795–1809. https://doi.org/10.1038/s41477-023-01543-5
Sands, C. J., Zwerschke, N., Bax, N., Barnes, D. K. A., Moreau, C., Downey, R., Moreno, B., Held, C. & Paulsen, M. (2023). The Growing Potential of Antarctic Blue Carbon. Oceanography, 36(1), 16-17. https://doi.org/10.5670/oceanog.2023.s1.5
Kristensen, J. A. & Breuning-Madsen, H. (2023). The landscape and soil fertility around the Jelling Monuments. In A. Pedersen (Ed.), Jelling – Monuments and Landscape, Publications from the National Museum: Studies in Archaeology & History (Vol. Vol. 20:4 1-2).
Gao, H., Hamp, T., Ede, J., Schraiber, J. G., McRae, J., Singer-Berk, M., Yang, Y., Dietrich, A. S. D., Fiziev, P. P., Kuderna, L. F. K., Sundaram, L., Wu, Y., Adhikari, A., Field, Y., Chen, C., Batzoglou, S., Aguet, F., Lemire, G., Reimers, R. ... Farh, K. K. H. (2023). The landscape of tolerated genetic variation in humans and primates. Science (New York, N.Y.), 380(6648), Article abn8197. https://doi.org/10.1126/science.abn8197
Schiøtt, S. (2023). The marine ecosystem of Ilulissat Icefjord, Greenland. [PhD dissertation, Aarhus University].
Hoehler, T. M., Mankel, D. J., Girguis, P. R., McCollom, T. M., Kiang, N. Y. & Jørgensen, B. B. (2023). The metabolic rate of the biosphere and its components. Proceedings of the National Academy of Sciences (PNAS), 120(25), Article e2303764120. https://doi.org/10.1073/pnas.2303764120
Bellvert, A., Adrián-Serrano, S., Macías-Hernández, N., Toft, S., Kaliontzopoulou, A. & Arnedo, M. A. (2023). The Non-Dereliction in Evolution: Trophic Specialisation Drives Convergence in the Radiation of Red Devil Spiders (Araneae: Dysderidae) in the Canary Islands. Systematic Biology, 72(5), 998-1012. https://doi.org/10.1093/sysbio/syad046
Hoegh-Guldberg, O. (Ed.), Northrop, E. (Ed.), Ashford, O. S., Chopin, T., Cross, J., Quesada, C. M. D., Gaines, S., Geirs, T., Gösling, S., Haugan, P., Hemer, M., Howard, J., Huang, C., Humpe, A., Kitch, G., Koweek, D., Krause-Jensen, D., Lovelock, C. E., Matthews, K. ... Tyedmers, P. (2023). The ocean as a solution to climate change: Updated opportunities for action. World Resources Institute. https://doi.org/10.1007/978-3-031-16277-0_17
Marghoub, A., Kéver, L., Williams, C. J. A., Abzhanov, A., Vickaryous, M., Herrel, A., Evans, S. E. & Moazen, M. (2023). The role of cranial osteoderms on the mechanics of the skull in scincid lizards. Anatomical Record, 306(10), 2415-2424. https://doi.org/10.1002/ar.25168
Mantoani, M. C., Martins, J. A., Martins, L. D., Carotenuto, F., Šantl-Temkiv, T., Morris, C. E., Rodrigues, F. & Gonçalves, F. L. T. (2023). Thirty-Five Years of Aerosol–PBAP in situ Research in Brazil: The Need to Think outside the Amazonian Box. Climate, 11(1), Article 17. https://doi.org/10.3390/cli11010017
Zhou, P., Ye, S., Xie, L., Krauss, K. W., Pei, L., Chapman, S. K., Brix, H., Laws, E. A., Yuan, H., Yang, S., Ding, X. & Xie, S. (2023). Tidal restriction likely has greater impact on the carbon sink of coastal wetland than climate warming and invasive plant. Plant and Soil, 492(1-2), 135-156. https://doi.org/10.1007/s11104-023-06160-x
Martín-Hernanz, S., Nogales, M., Valente, L., Fernández-Mazuecos, M., Pomeda-Gutiérrez, F., Cano, E., Marrero, P., Olesen, J. M., Heleno, R. & Vargas, P. (2023). Time-calibrated phylogenies reveal mediterranean and pre-mediterranean origin of the thermophilous vegetation of the Canary Islands. Annals of Botany, 131(4), 667-684. https://doi.org/10.1093/aob/mcac160
Zhang, L., Wang, H., Gessner, J., Congiu, L., Haxton, T. J., Jeppesen, E., Svenning, J. C. & Xie, P. (2023). To save sturgeons, we need river channels around hydropower dams. Proceedings of the National Academy of Sciences (PNAS), 120(13), Article e2217386120. https://doi.org/10.1073/pnas.2217386120
Brown, K. A., Bunting, M. J., Carvalho, F., de Bello, F., Mander, L., Marcisz, K., Mottl, O., Reitalu, T. & Svenning, J. C. (2023). Trait-based approaches as ecological time machines: Developing tools for reconstructing long-term variation in ecosystems. Functional Ecology, 37(10), 2552-2569. https://doi.org/10.1111/1365-2435.14415
Lu, K., Jähnig, S. C., Wu, H., Xie, Z., Chen, X. & He, F. (2023). Trait-based approach of aquatic insects to track recovery of wetland ecosystems in Northeast China. Ecological Indicators, 155, Article 111012. https://doi.org/10.1016/j.ecolind.2023.111012
Timóteo, S., Albrecht, J., Rumeu, B., Norte, A. C., Traveset, A., Frost, C. M., Marchante, E., López-Núñez, F. A., Peralta, G., Memmott, J., Olesen, J. M., Costa, J. M., da Silva, L. P., Carvalheiro, L. G., Correia, M., Staab, M., Blüthgen, N., Farwig, N., Hervías-Parejo, S. ... Heleno, R. (2023). Tripartite networks show that keystone species can multitask. Functional Ecology, 37(2), 274-286. https://doi.org/10.1111/1365-2435.14206