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

Vynne, C., Gosling, J., Maney, C., Dinerstein, E., Lee, A. T. L., Burgess, N. D., Fernández, N., Fernando, S., Jhala, H., Jhala, Y., Noss, R. F., Proctor, M. F., Schipper, J., González-Maya, J. F., Joshi, A. R., Olson, D., Ripple, W. J. & Svenning, J. C. (2022). An ecoregion-based approach to restoring the world's intact large mammal assemblages. Ecography, 2022(4). https://doi.org/10.1111/ecog.06098
Perry, S. F. & Wang, T. (2022). A new model for sodium uptake in the zebrafish gill. Acta Physiologica, 234(3), Article e13787. https://doi.org/10.1111/apha.13787
Lundgren, E. J., Ramp, D., Middleton, O. S., Wooster, E. I. F., Kusch, E., Balisi, M., Ripple, W. J., Hasselerharm, C. D., Sanchez, J. N., Mills, M. & Wallach, A. D. (2022). A novel trophic cascade between cougars and feral donkeys shapes desert wetlands. Journal of Animal Ecology, 91(12), 2348-2357. https://doi.org/10.1111/1365-2656.13766
Lammers , A., Bushi, S. N., Zweers, H., Bilde, T., Schramm, A., Garbeva, P. & Lalk, M. (2022). Antimicrobial volatiles emitted by members of the nest microbiome of social spiders. FEMS Microbiology Letters, 369(1), Article fnac088. https://doi.org/10.1093/femsle/fnac088
Feng, X., Enquist, B. J., Park, D. S., Boyle, B., Breshears, D. D., Gallagher, R. V., Lien, A., Newman, E. A., Burger, J. R., Maitner, B. S., Merow, C., Li, Y., Huynh, K. M., Ernst, K., Baldwin, E., Foden, W., Hannah, L., Jørgensen, P. M., Kraft, N. J. B. ... López-Hoffman, L. (2022). A review of the heterogeneous landscape of biodiversity databases: Opportunities and challenges for a synthesized biodiversity knowledge base. Global Ecology and Biogeography, 31(7), 1242-1260. https://doi.org/10.1111/geb.13497
Williams, C., Kirby, A., Marghoub, A., Kever, L., Ostashevskaya-Gohstand, S., Bertazzo, S., Moazen, M., Abzhanov, A., Herrel, A., Evans, S. & Vickaryous, M. (2022). A review of the osteoderms of lizards (Reptilia: Squamata). Biological Reviews, 97(1), 1-19. https://doi.org/10.1111/brv.12788
Khan, C., Blount, D., Parham, J., Holmberg, J., Hamilton, P., Charlton, C., Christiansen, F., Johnston, D., Rayment, W., Dawson, S., Vermeulen, E., Rowntree, V., Groch, K., Levenson, J. J. & Bogucki, R. (2022). Artificial intelligence for right whale photo identification: from data science competition to worldwide collaboration. Mammalian Biology, 102(3), 1025-1042. https://doi.org/10.1007/s42991-022-00253-3
Nguyen-Ngoc, L., Dao, H. V., Lund-Hansen, L. C., Vo, T. S. & Smith, W. O. (2022). A special issue on the 100th Anniversary of Institute of Oceanography, Vietnam Academy of Science and Technology. Regional Studies in Marine Science, 56, Article 102669. https://doi.org/10.1016/j.rsma.2022.102669
Kolyaie, S. (2022). Assessing Arctic vegetation across scales: Insight from remote sensing data. [PhD dissertation, Aarhus University]. Aarhus Universitet.
Dubos, N., Préau, C., Lenormand, M., Papuga, G., Monsarrat, S., Denelle, P., Louarn, M. L., Heremans, S., May, R., Roche, P. & Luque, S. (2022). Assessing the effect of sample bias correction in species distribution models. Ecological Indicators, 145, Article 109487. https://doi.org/10.1016/j.ecolind.2022.109487
Mapelli, F., Barbato, M., Chouaia, B., Riva, V., Daffonchio, D. & Borin, S. (2022). Bacterial community structure and diversity along the halocline of Tyro deep-sea hypersaline anoxic basin. Annals of Microbiology, 72(1), Article 7. https://doi.org/10.1186/s13213-022-01667-7
Nazario, E. C., Cade, D. E., Bierlich, K. C., Czapanskiy, M. F., Goldbogen, J. A., Kahane-Rapport, S. R., van der Hoop, J. M., San Luis, M. T. & Friedlaender, A. S. (2022). Baleen whale inhalation variability revealed using animal-borne video tags. PeerJ, 10, Article e13724. https://doi.org/10.7717/peerj.13724
Videsen, S. K. A. (2022). Behavioral ecology of humpback whales. [PhD dissertation, Aarhus University]. Aarhus Universitet.
Koma, Z., Seijmonsbergen, A. C., Grootes, M. W., Nattino, F., Groot, J., Sierdsema, H., Foppen, R. P. B. & Kissling, W. D. (2022). Better together? Assessing different remote sensing products for predicting habitat suitability of wetland birds. Diversity and Distributions, 28(4), 685-699. https://doi.org/10.1111/ddi.13468
Apablaza, H., Solís, M., Conejera, D., Fonseca, A., Cid, J., Tarifeño-Saldivia, E., Valenzuela, S., Emhart, V. & Fernández, M. (2022). bHLH Transcription Factors Undergo Alternative Splicing During Cold Acclimation in a Eucalyptus hybrid. Plant Molecular Biology Reporter, 40(2), 310-326. https://doi.org/10.1007/s11105-021-01313-7
Gomes, A., Christensen, J., Gründger, F., Kjeldsen, K. U., Rysgaard, S. & Vergeynst, L. (2022). Biodegradation of water-accommodated aromatic oil compounds by Arctic marine bacteria. Abstract from XIV Portuguese Conference on Polar Sciences, Faro, Portugal.
Perino, A., Pereira, H. M., Felipe-Lucia, M., Kim, H. J., Kühl, H. S., Marselle, M. R., Meya, J. N., Meyer, C., Navarro, L. M., van Klink, R., Albert, G., Barratt, C. D., Bruelheide, H., Cao, Y., Chamoin, A., Darbi, M., Dornelas, M., Eisenhauer, N., Essl, F. ... Bonn, A. (2022). Biodiversity post-2020: Closing the gap between global targets and national-level implementation. Conservation Letters, 15(2), Article e12848. https://doi.org/10.1111/conl.12848
Møllebjerg, A. & Meyer, R. L. (2022). Biofouling Control in Water Filtration Systems. In Antibiofilm Strategies: Current and Future Applications to Prevent, Control and Eradicate Biofilms (pp. 521–551). Springer. https://doi.org/10.1007/978-3-031-10992-8_20
Kuliński, K., Rehder, G., Asmala, E., Alena Bartosova, A., Carstensen, J., Gustafsson, B. G., Hall, P., Humborg, C., Jilbert, T., Jürgens, K., Meier, H. E. M., Müller-Karulis, B., Naumann, M., Olesen, J. E., Savchuk, O. P., Schramm, A., Slomp, C. P., Sofiev, M., Anna, S. ... Undeman, E. (2022). Biogeochemical functioning of the Baltic Sea. Earth System Dynamics, 13(1), 633-685. https://doi.org/10.5194/esd-13-633-2022
Arranz, P., Christiansen, F., Glarou, M., Gero, S., Visser, F., Oudejans, M. G., Aguilar de Soto, N. & Sprogis, K. (2022). Body Condition and Allometry of Free-Ranging Short-Finned Pilot Whales in the North Atlantic. Sustainability, 14(22), Article 14787. https://doi.org/10.3390/su142214787
Russell, G., Colefax, A., Christiansen, F., Russell, G., Fowler, Z. & Cagnazzi, D. (2022). Body condition and migration timing of east Australian humpback whales. Marine Ecology Progress Series, 692, 169-183. https://doi.org/10.3354/meps14075
Selbach, C., Mouritsen, K. N., Poulin, R., Sures, B. & Smit, N. J. (2022). Bridging the gap: aquatic parasites in the One Health concept. Trends in Parasitology, 38(2), 109-111. https://doi.org/10.1016/j.pt.2021.10.007
Rodríguez-González, P. M., Abraham, E., Aguiar, F., Andreoli, A., Baležentienė, L., Berisha, N., Bernez, I., Bruen, M., Bruno, D., Camporeale, C., Čarni, A., Chilikova-Lubomirova, M., Corenblit, D., Ćušterevska, R., Doody, T., England, J., Evette, A., Francis, R., Garófano-Gómez, V. ... Dufour, S. (2022). Bringing the margin to the focus: 10 challenges for riparian vegetation science and management. WIREs Water, 9(5), Article e1604. https://doi.org/10.1002/wat2.1604
Scholz, V. V. (2022). Cable bacteria in vegetated aquatic systems. [PhD dissertation, Aarhus University]. Aarhus Universitet.
Boukens, B. J. D., Joyce, W., Kristensen, D. L., Hooijkaas, I., Jongejan, A., Wang, T. & Jensen, B. (2022). Catecholamines are key modulators of ventricular repolarization patterns in the ball python (Python regius). Journal of General Physiology, 154(2), Article e202012761. https://doi.org/10.1085/jgp.202012761
Davoli, M., Ghoddousi, A., Sabatini, F. M., Fabbri, E., Caniglia, R. & Kuemmerle, T. (2022). Changing patterns of conflict between humans, carnivores and crop-raiding prey as large carnivores recolonize human-dominated landscapes. Biological Conservation, 269, Article 109553. https://doi.org/10.1016/j.biocon.2022.109553
Van Limbergen, T., Roegiers, I. H., Bonné, R., Mare, F., Haeldermans, T., Joos, B., Nouwen, O., Manca, J. V., Vangronsveld, J. & Thijs, S. (2022). Characterisation of Two Wood-Waste and Coffee Bean Husk Biochars for the Removal of Micropollutants from Water. Frontiers in Environmental Science, 10, Article 814267. https://doi.org/10.3389/fenvs.2022.814267
Lundgren, E. J., Moeller, K. T., Clyne, M. O., Middleton, O. S., Mahoney, S. M. & Kwapich, C. L. (2022). Cicada nymphs dominate American black bear diet in a desert riparian area. Ecology and Evolution, 12(3), Article e8577. https://doi.org/10.1002/ece3.8577
Pacherres, C. O., Ahmerkamp, S., Koren, K., Richter, C. & Holtappels, M. (2022). Ciliary flows in corals ventilate target areas of high photosynthetic oxygen production. Current Biology, 32(19), 4150-4158.e3. https://doi.org/10.1016/j.cub.2022.07.071
Lindén, E., te Beest, M., Aubreu, I., Moritz, T., Sundqvist, M. K., Barrio, I. C., Boike, J., Bryant, J. P., Bråthen, K. A., Buchwal, A., Bueno, C. G., Currier, A., Egelkraut, D. D., Forbes, B. C., Hallinger, M., Heijmans, M., Hermanutz, L., Hik, D. S., Hofgaard, A. ... Olofsson, J. (2022). Circum-Arctic distribution of chemical anti-herbivore compounds suggests biome-wide trade-off in defence strategies in Arctic shrubs. Ecography, 2002(11), Article e06166. https://doi.org/10.1111/ecog.06166
Wardiatno, Y., Aini, N. K., Mashar, A., Zairion , Z., Funch, P., Hastuti , Y. P. & Sangaji, U. (2022). Citizen Science Approach for Indonesian Horseshoe Crab Conservation. In International Horseshoe Crab Conservation and Research Efforts: 2007- 2020 (pp. 497-509). Springer. https://doi.org/10.1007/978-3-030-82315-3_28