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

Mosses, P. D. (2004). Exploiting Labels in Structural Operational Semantics. Fundamenta Informaticae, 60, 17-31.
Mosses, P. D., Haddad, H. (Ed.), Omicini, A. (Ed.), Wainwright, R. L. (Ed.) & Liebrock, L. M. (Ed.) (2004). Exploiting Labels in Structural Operational Semantics. In Ikke angivet (pp. 1476-1481). Association for Computing Machinery.
Mosses, P. D., Karsai, G. (Ed.) & Visser, E. (Ed.) (2004). Modular Language Descriptions. In Ikke angivet (3286 i Lecture Notes in Computer Science ed., pp. 489-490). Springer.
Mosses, P. D. (2004). Modular Structural Operational Semantics. Journal of Logical and Algebraic Methods in Programming, 60-61, 195-228.
Mosses, P. D., Kirchner, H. (Ed.) & Ringeissen, C. (Ed.) (2002). Pragmatics of Modular SOS. In Ikke angivet (2422 of Lecture Notes in Computer Science ed., pp. 49-72). Springer.
Mosses, P. D., Bjørner, D. (Ed.), Broy, M. (Ed.) & Zamulin, A. V. (Ed.) (2001). The Varieties of Programming Language Semantics (and Their Uses). In Perspectives of System Informatics: Lecture Notes in Computer Science (Vol. 2244, pp. 165-190). Springer.
Møller, A. (2002). Document Structure Description 2.0. BRICS Notes Series, (NS-02-7).
Møller, A. & Schwartzbach, M. I. (2001). The Pointer Assertion Logic Engine. In M. L. Sofia (Ed.), Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (Vol. 36(5), pp. 221-231). Association for Computing Machinery. https://doi.org/10.1145/381694.378851
Møller, A. & Schwartzbach, M. I. (2001). The XML Revolution. BRICS Notes Series, (NS-01-8).
Møller-Nielsen, P. & Gejl Kristensen, J. (2004). Room #1. (Strandgade 10, 1. sal): Virtual reality and Visual Art. Paper presented at Den Gyldne, Charlottenborg Udstillingsbygning, Charlottenborg, København, Denmark.
Nielsen, J. B. (2002). A Threshold Pseudorandom Function Construction and Its Applications. In M. Yung (Ed.), Advances in Cryptology — CRYPTO 2002: 22nd Annual International Cryptology Conference Santa Barbara, California, USA, August 18–22, 2002 Proceedings (pp. 43-59). Springer. https://doi.org/10.1007/3-540-45708-9_26
Nielsen, J. B. (2002). Separating Random Oracle Proofs from Complexity Theoretic Proofs: The Non-Committing Encryption Case. In M. Yung (Ed.), Advances in Cryptology — CRYPTO 2002: 22nd Annual International Cryptology Conference Santa Barbara, California, USA, August 18–22, 2002 Proceedings (pp. 191-214). Springer. https://doi.org/10.1007/3-540-45708-9_8
Nielsen, M., Paun, G., Rozenberg, G. & Salomaa, A. (Eds.) (2001). Current Trends in Theoretical Computer Science Entering the 21st Century: Concurrency. World Scientific.
Nielsen, M. (2001). Modelling with Partial Orders - Why and Why Not? In F. Orejas, P. G. Spirakis & J. van Leeuwen (Eds.), Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8-12, 2001 Proceedings (pp. 61-63). Springer. https://doi.org/10.1007/3-540-48224-5_5
Nielsen, M., Krukow, K., Karhumäki, J. (Ed.), Maurer, H. A. (Ed.), Paun, G. (Ed.) & Rozenberg, G. (Ed.) (2004). On the Formal Modeling of Trust in Reputation-Based Systems. In Theory Is Forever, Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday (pp. 192-204). Springer. https://doi.org/10.1007/978-3-540-27812-2_18
Nielsen, M., Palamidessi, C. & Valencia Posso, F. D. (2002). A Calculus for Temporal Concurrent Constraint Programming. Electronic Notes in Theoretical Computer Science, (1), A-59.
Nielsen, M., Palamidessi, C. & Valencia, F. D. (2002). On the Expressive Power of Temporal Concurrent Constraint Programming Languages. In Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming (pp. 156-167). Association for Computing Machinery. https://doi.org/10.1145/571157.571173
Nielsen, M., Palamidessi, C. & Valencia, F. D. (2002). Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. Nordic Journal of Computing, 9(2), 145-188.
Nielsen, M., Sassone, V. & Srba, J. (2001). Properties of Distributed Timed-Arc Petri Nets. In R. Hariharan, V. Vinay & M. Mukund (Eds.), FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference Bangalore, India, December 13-15, 2001 Proceedings (pp. 280-291). Springer. https://doi.org/10.1007/3-540-45294-X_24
Nielsen, M., Sassone, V. & Srba, J. (2001). Towards a Notion of Distributed Time for Petri Nets. In J.-M. Colom & M. Koutny (Eds.), Applications and Theory of Petri Nets 2001: 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings (pp. 23-31). Springer. https://doi.org/10.1007/3-540-45740-2_3
Nielsen, M. & Valencia, F. D. (2001). Temporal Concurrent Constraint Programming: Applications and Behavior. BRICS Report Series, (RS-01-48).
Nielsen, M. & Valencia Posso, F. D. (2002). Temporal Concurrent Constraint Programming: Applications and Behavior. In W. Brauer, H. Ehrig, J. Karhumäki & A. Salomaa (Eds.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (pp. 298-324). Springer. https://doi.org/10.1007/3-540-45711-9_17
Nielsen, M. B., Brodersen, A. T. & Skala, V. (Ed.) (2004). Inverse Rendering of Polished Materials under Constant Complex Uncontrolled Illumination. In Journal of WSCG (pp. 309-316). UNION Agency - Science Press, Plzen, Czech Republic.
Nielsen, M. B., Kramp, G., Grønbæk, K., Bubak, M. (Ed.), van Albada, G. D. (Ed.), Sloot, P. M. A. (Ed.) & Dongarra, J. (Ed.) (2004). Mobile Augmented Reality Support for Architects Based on Feature Tracking Techniques. In Computational Science - ICCS 2004, 4th International Conference, Kraków, Poland, June 6-9, 2004, Part III (3038 i Lecture Notes in Computer Science ed., pp. 921-928)
Nielsen, M. B., Museth, K. & Seipel, S. (Ed.) (2004). An Optimized, Grid Independent, Narrow Band Data Structure for High Resolution Level Sets. In SIGRAD'04: Svenska föreningen för grafisk databehandling (13 of Linköping Elec. Conf. Proc ed., Vol. 13, pp. 59-60). Linköping Electronic Conference Proceedings.
Nielsen, M. B. & Museth, K. (2004). Dynamic Tubular Grid: An Efficient Data Structure and Algorithms for High Resolution Level Sets. Linköping Electronic Articles in Computer and Information Science, (Vol. 9 (2004), No. 001).
Nygaard, M. & Winskel, G. (2003). Domain Theory for Concurrency. BRICS Report Series, (RS-03-43).
Nygaard, M. & Winskel, G. (2004). Domain Theory for Concurrency. Theoretical Computer Science, 316(1), 153-190.
Nygaard, M., Winskel, G., Amadio, R. (Ed.) & Lugiez, D. (Ed.) (2003). Full Abstraction for HOPLA. In G. Goos, J. van Leeuwen & J. Hartmanis (Eds.), Lecture Notes in Computer Science: Concur 2003 - Concurrency Theory (Vol. 2761. Mobility, pp. 383-398). Springer.
Nygaard, M., Winskel, G., Brim, L. (Ed.), Jancar, P. (Ed.), Kretínsky, M. (Ed.) & Kucera, A. (Ed.) (2002). HOPLA: A Higher-Order Process Language. In Lecture Notes in Computer Science: Proceedings of the 13th International Conference on Concurrency Theory (Vol. 2421, pp. 434-448). Springer.
Nygaard, M., Winskel, G. & Plotkin, G. (Ed.) (2002). Linearity in Process Languages. In Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science (LICS'02) (pp. 433-446). IEEE Press.
Nørregaard, P., Dindler, C., Fritsch, J., Iversen, O. S., Nielsen, C. & Andersen, J. (2003). NetWorking News - A Method for Engaging Children Actively In Design. In Proceedings for the 26th Information Systems Research Seminar in Scandinavia (IRIS 26)
Pagh, R. & Pagter, J. (2001). Optimal Time-Space Trade-Offs for Non-Comparison-Based Sorting. BRICS Report Series, (RS-01-2), 20-20.
Pagh, R., Pagter, J. I. & Eppstein, D. (Ed.) (2002). Optimal Time-Space Trade-Offs for Non-Comparison-Based Sorting. In Symposium on Discrete Algorithm: Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms (pp. 9-18). Association for Computing Machinery.
Pagter, J. I. (2001). Time-Space Trade-Offs. (BRICS Dissertation Series DS-01-2 ed.) Aarhus Universitet.
Paterlini, S. & Krink, T. (2004). High Performance Clustering with Differential Evolution. In Ikke angivet (pp. 2004-2011). IEEE Press.
Pedersen, C. N. S., Scharling, T., Guigó, R. (Ed.) & Gusfield, D. (Ed.) (2002). Comparative Methods for Gene Structure Prediction in Homologous Sequences. In Ikke angivet (2452 of Lecture Notes in Computer Science ed., Vol. 2452/2002, pp. 220-234). Springer.
Petersen, M. G. (2004). Remarkable Computing - the Challenge of Designing for the Home. In CHI '04 extended abstracts on Human factors in computing systems (pp. 1445-1449). Association for Computing Machinery. https://doi.org/10.1145/985921.986086
Petersen, M. G., Ludvigsen, M., Jensen, H. F. & Thomsen, A. (2004). Embracing Values in Designing Domestic Technologies. In D. Reed, G. Baxter & M. Blythe (Eds.), Proccedings of ECCE-12: Living and Working with Technology (pp. 107-114). EACE.
Petrucci, L., Billington, J., Kristensen, L. M. & Qureshi, Z. H. (2003). Developing a Formal Specification for the Mission Systems of a Maritime Surveillance Aircraft. In Proceedings of the Third International Conference on Application of Concurrency to System Design (pp. 92-101). IEEE Computer Society Press.
Ratzer, A. V., Wells, L. M., Lassen, H. M., Laursen, M., Qvortrup, J. F., Stissing, M. S., Westergaard, M., Christensen, S., Jensen, K., Aalst, W. M. P. V. D. (Ed.) & Best, E. (Ed.) (2003). CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. In W. V. D. Aalst & E. Best (Eds.), Applications and Theory of Petri Nets 2003 (Vol. 2679, pp. 450-462). Springer.
Sandvad, E. S., Grønbæk, K., Sloth, L. & Knudsen, J. L. (2001). A Metro Map Metaphor for Guided Tours on the Web: The Webwise Guided Tour System. In Proceedings of the 10th international conference on World wide web (pp. 326-333). Association for Computing Machinery. https://doi.org/10.1145/371920.372079
Schultz, U. P. (2004). A Unification of Inheritance and Automatic Program Specialization. In Lecture Notes in Computer Science: Generative Programming and Component Engineering (Vol. 3286/2004, pp. 244-265). Springer.
Schultz, U. P. (2001). Object-oriented program specialization: Aspects into Aspects - or maybe not? In European Conference on Object Oriented Programming: Object-Oriented Technology. ECOOP 2001 Workshop Reader ECOOP 2001 Workshops, Panel, and Posters. Workshop on Generative Programming. WGP'01 (pp. 4). Springer.
Schultz, U. P., Danvy, O. (Ed.) & Filinski, A. (Ed.) (2001). Partial Evaluation for Class-Based Object-Oriented Languages. In Lecture Notes In Computer Science: Proceedings of the Second Symposium on Programs as Data Objects (Lecture Notes in Computer Science 2053 ed., Vol. 2053, pp. 173-197). Springer.

Sort by: Date | Author | Title

Vuorinen, K. E. M., Austrheim, G., Tremblay, J. P., Myers-Smith, I. H., Hortman, H. I., Frank, P., Barrio, I. C., Dalerum, F., Björkman, M. P., Björk, R. G., Ehrich, D., Sokolov, A., Sokolova, N., Ropars, P., Boudreau, S., Normand, S., Prendin, A. L., Schmidt, N. M., Pacheco-Solana, A. ... Speed, J. D. M. (2022). Growth rings show limited evidence for ungulates' potential to suppress shrubs across the Arctic. Environmental Research Letters, 17(3), Article 034013. https://doi.org/10.1088/1748-9326/ac5207
Guo, W. Y., Serra-Diaz, J. M., Schrodt, F., Eiserhardt, W. L., Maitner, B. S., Merow, C., Violle, C., Anand, M., Belluau, M., Bruun, H. H., Byun, C., Catford, J. A., Cerabolini, B. E. L., Chacón-Madrigal, E., Ciccarelli, D., Cornelissen, J. H. C., Dang-Le, A. T., de Frutos, A., Dias, A. S. ... Svenning, J. C. (2022). High exposure of global tree diversity to human pressure. Proceedings of the National Academy of Sciences (PNAS), 119(25), Article e2026733119. https://doi.org/10.1073/pnas.2026733119
Vickaryous, M., Williams, C., Willan, G., Kirby, A., Herrel, A., Kever, L., Moazen, M., Marghoub, A., Rai, S., Abzhanov, A. & Evans, S. (2022). Histological Diversity And Evolution Of Lizard Osteoderms. The FASEB Journal, 36(S1). https://doi.org/10.1096/fasebj.2022.36.S1.R3199
Nguanchoo, V., Wangpakapattanawong, P., Balslev, H. & Inta, A. (2022). Hmong Medicinal Plant Knowledge Transmission and Retention in Social Modernity. Human Ecology, 50(3), 419-433. https://doi.org/10.1007/s10745-022-00326-4
Parthasarathy, B., Müller, M., Bilde, T. & Schneider, J. M. (2022). Hunger state and not personality determines task participation in a spider society. Animal Behaviour, 190, 143-152. https://doi.org/10.1016/j.anbehav.2022.06.002
Dugal, L., Thomas, L., Jensen, M. R., Sigsgaard, E. E., Simpson, T., Jarman, S., Thomsen, P. F. & Meekan, M. (2022). Individual haplotyping of whale sharks from seawater environmental DNA. Molecular Ecology Resources, 22(1), 56-65. https://doi.org/10.1111/1755-0998.13451
Prendin, A. L., Normand, S., Carrer, M., Bjerregaard Pedersen, N., Matthiesen, H., Westergaard‐Nielsen, A., Elberling, B., Treier, U. A. & Hollesen, J. (2022). Influences of summer warming and nutrient availability on Salix glauca L. growth in Greenland along an ice to sea gradient. Scientific Reports, 12(1), Article 3077. https://doi.org/10.1038/s41598-022-05322-8
Hirtle, N. O., Stepanuk, J. E. F., Heywood, E. I., Christiansen, F. & Thorne, L. H. (2022). Integrating 3D models with morphometric measurements to improve volumetric estimates in marine mammals. Methods in Ecology and Evolution, 13(11), 2478-2490. https://doi.org/10.1111/2041-210X.13962
Guasch, H., Bernal, S., Bruno, D., Almroth, B. C., Cochero, J., Corcoll, N., Cornejo, D., Gacia, E., Kroll, A., Lavoie, I., Ledesma, J. L. J., Lupon, A., Margenat, H., Morin, S., Navarro, E., Ribot, M., Riis, T., Schmitt-Jansen, M., Tlili, A. & Martí, E. (2022). Interactions between microplastics and benthic biofilms in fluvial ecosystems: Knowledge gaps and future trends. Freshwater Science, 41(3), 442-458. https://doi.org/10.1086/721472
Counsell, C. W. W., Coleman, R. R., Lal, S. S., Bowen, B. W., Franklin, E. C., Neuheimer, A. B., Powell, B. S., Toonen, R. J., Donahue, M. J., Hixon, M. A. & McManus, M. A. (2022). Interdisciplinary analysis of larval dispersal for a coral reef fish: opening the black box. Marine Ecology Progress Series, 684, 117-132. https://doi.org/10.3354/meps13971
Noer, N. K., Ørsted, M., Schiffer, M., Hoffmann, A. A., Bahrndorff, S. & Kristensen, T. N. (2022). Into the wild - a field study on the evolutionary and ecological importance of thermal plasticity in ectotherms across temperate and tropical regions. Philosophical Transactions of the Royal Society B: Biological Sciences, 377(1846), Article 20210004. https://doi.org/10.1098/rstb.2021.0004
Stief, P., Schauberger, C., Lund, M. B., Greve, A., Abed, R. M. M., Al-Najjar, M. A. A., Attard, K., Bonaglia, S., Deutzmann, J. S., Franco-Cisterna, B., García-Robledo, E., Holtappels, M., John, U., Maciute, A., Magee, M. J., Pors, R., Santl-Temkiv, T., Scherwass, A., Sevilgen, D. S. ... Kamp, A. (2022). Intracellular nitrate storage by diatoms can be an important nitrogen pool in freshwater and marine ecosystems. Communications Earth & Environment, 3(1), Article 154. https://doi.org/10.1038/s43247-022-00485-8
Houstin, A., Zitterbart, D. P., Heerah, K., Eisen, O., Planas-Bielsa, V., Fabry, B. & Le Bohec, C. (2022). Juvenile emperor penguin range calls for extended conservation measures in the Southern Ocean. Royal Society Open Science, 9(8), Article 211708. https://doi.org/10.1098/rsos.211708
Weber, P. L., Pesch, C., Hermansen, C., Møldrup, P., Greve, M. H., Arthur, E., Norgaard, T. & de Jonge, L. W. (2022). Kan gletsjermel forbedre grønlandsk landbrugsjord?. Poster session presented at Grønne Sammen – Den Grønne Festival, Viborg, Denmark.
McHuron, E. A., Adamczak, S., Arnould, J. P. Y., Ashe, E., Booth, C., Don Bowen, W., Christiansen, F., Chudzinska, M., Costa, D. P., Fahlman, A., Farmer, N. A., Fortune, S. M. E., Gallagher, C. A., Keen, K. A., Madsen, P. T., McMahon, C. R., Nabe-Nielsen, J., Noren, D. P., Noren, S. R. ... Williams, R. (2022). Key questions in marine mammal bioenergetics. Conservation Physiology, 10(1), Article coac055. https://doi.org/10.1093/conphys/coac055
Tyrrell, P., Amoke, I., Betjes, K., Broekhuis, F., Buitenwerf, R., Carroll, S., Hahn, N., Haywood, D., Klaassen, B., Løvschal, M., Macdonald, D., Maiyo, K., Mbithi, H., Mwangi, N., Ochola, C., Odire, E., Ondrusek, V., Ratemo, J., Pope, F. ... Wall, J. (2022). Landscape Dynamics (landDX) an open-access spatial-temporal database for the Kenya-Tanzania borderlands. Scientific Data, 9, Article 8. https://doi.org/10.1038/s41597-021-01100-9
Scoma, A., Khor, W. C., Coma, M., Heyer, R., Props, R., Bouts, T., Benndorf, D., Li, D., Zhang, H. & Rabaey, K. (2022). Lignocellulose Fermentation Products Generated by Giant Panda Gut Microbiomes Depend Ultimately on pH Rather than Portion of Bamboo: A Preliminary Study. Microorganisms, 10(5), Article 978. https://doi.org/10.3390/microorganisms10050978
Figueiredo, F. O. G., André, T., Moulatlet, G. M., Saka, M. N., Araujo, M. H. T., Tuomisto, H., Zuquim, G., Emílio, T., Balslev, H., Borchsenius, F., Campos, J. V., Silveira, M., Rodrigues, D. J. & Costa, F. R. C. (2022). Linking high diversification rates of rapidly growing Amazonian plants to geophysical landscape transformations promoted by Andean uplift. Botanical Journal of the Linnean Society, 199(1), 36-52. https://doi.org/10.1093/botlinnean/boab097
Marca-Zevallos, M. J., Moulatlet, G. M., Sousa, T. R., Schietti, J., Coelho, L. D. S., Ramos, J. F., Lima Filho, D. D. A., Amaral, I. L., de Almeida Matos, F. D., Rincón, L. M., Cardenas Revilla, J. D., Pansonato, M. P., Gribel, R., Barbosa, E. M., Miranda, I. P. D. A., Bonates, L. C. D. M., Guevara, J. E., Salomão, R. P., Ferreira, L. V. ... Costa, F. R. C. (2022). Local hydrological conditions influence tree diversity and composition across the Amazon basin. Ecography, 2022(11), Article e06125. https://doi.org/10.1111/ecog.06125
Merl, T., Rasmussen, M. R., Koch, L. R., Søndergaard, J. V., Bust, F. F. & Koren, K. (2022). Measuring soil pH at in situ like conditions using optical pH sensors (pH-optodes). Soil Biology and Biochemistry, 175, Article 108862. https://doi.org/10.1016/j.soilbio.2022.108862
Méndez, L., Viana, D. S., Alzate, A., Kissling, W. D., Eiserhardt, W. L., Rozzi, R., Rakotoarinivo, M. & Onstein, R. E. (2022). Megafrugivores as fading shadows of the past: extant frugivores and the abiotic environment as the most important determinants of the distribution of palms in Madagascar. Ecography, 2022(2), Article e05885. https://doi.org/10.1111/ecog.05885