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 University.
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

Campbell, K., Matero, I., Bellas, C., Turpin-Jelfs, T., Anhaus, P., Graeve, M., Fripiat, F., Tranter, M., Landy, J. C., Sanchez-Baracaldo, P., Leu, E., Katlein, C., Mundy, C. J., Rysgaard, S., Tedesco, L., Haas, C. & Nicolaus, M. (2022). Monitoring a changing Arctic: Recent advancements in the study of sea ice microbial communities. AMBIO, 51(2), 318–332. https://doi.org/10.1007/s13280-021-01658-z
Knudsen, S. W., Hesselsøe, M., Thaulow, J., Agersnap, S., Hansen, B. K., Jacobsen, M. W., Bekkevold, D., Jensen, S. K. S., Møller, P. R. & Andersen, J. H. (2022). Monitoring of environmental DNA from nonindigenous species of algae, dinoflagellates and animals in the North East Atlantic. Science of the Total Environment, 821, Article 153093. https://doi.org/10.1016/j.scitotenv.2022.153093
Mortensen, J., Rysgaard, S., Winding, M. H. S., Juul-Pedersen, T., Arendt, K. E., Lund, H., Stuart-Lee, A. E. & Meire, L. (2022). Multidecadal Water Mass Dynamics on the West Greenland Shelf. Journal of Geophysical Research: Oceans, 127(7), Article e2022JC018724. https://doi.org/10.1029/2022JC018724
Liu, J., Pellerin, A., Wang, J., Rickard, D., Antler, G., Zhao, J., Wang, Z., Jørgensen, B. B. & Ono, S. (2022). Multiple sulfur isotopes discriminate organoclastic and methane-based sulfate reduction by sub-seafloor pyrite formation. Geochimica et Cosmochimica Acta, 316, 309-330. https://doi.org/10.1016/j.gca.2021.09.026
Wang, B., Liu, W., Zhang, Y. & Wang, A. (2022). Natural solar intermittent-powered electromethanogenesis towards green carbon reduction. Chemical Engineering Journal, 432, Article 134369. https://doi.org/10.1016/j.cej.2021.134369
Castellar, J. A. C., Torrens, A., Buttiglieri, G., Monclús, H., Arias, C. A., Carvalho, P. N., Galvao, A. & Comas, J. (2022). Nature-based solutions coupled with advanced technologies: An opportunity for decentralized water reuse in cities. Journal of Cleaner Production, 340, Article 130660. https://doi.org/10.1016/j.jclepro.2022.130660
Cardini, U., Marin-Guirao, L., Montilla, L. M., Marzocchi, U., Chiavarini, S., Rimauro, J., Quero, G. M., Petersen, J. M. & Procaccini, G. (2022). Nested interactions between chemosynthetic lucinid bivalves and seagrass promote ecosystem functioning in contaminated sediments. Frontiers in Plant Science, 13, Article 918675. https://doi.org/10.3389/fpls.2022.918675
Campbell, K., Lange, B. A., Landy, J. C., Katlein, C., Nicolaus, M., Anhaus, P., Matero, I., Gradinger, R., Charette, J., Duerksen, S., Tremblay, P., Rysgaard, S., Tranter, M., Haas, C. & Michel, C. (2022). Net heterotrophy in High Arctic first-year and multi-year spring sea ice. Elementa, 10(1), Article 00040. https://doi.org/10.1525/elementa.2021.00040
Kristensen, L., Malte, C. L., Malte, H., Wang, T. & Williams, C. J. A. (2022). Obesity prolongs induction times in reptiles. Comparative Biochemistry and Physiology -Part A : Molecular and Integrative Physiology, 271, Article 111255. https://doi.org/10.1016/j.cbpa.2022.111255
Mayer, M., Olsen, K., Schulz, B., Matzen, J., Nowak, C., Thomsen, P. F., Hansen, M. M., Vedel-Smith, C. & Sunde, P. (2022). Occurrence and Livestock Depredation Patterns by Wolves in Highly Cultivated Landscapes. Frontiers in Ecology and Evolution, 10, Article 783027. https://doi.org/10.3389/fevo.2022.783027
Ciannelli, L., Neuheimer, A. B., Stige, L. C., Frank, K. T., Durant, J. M., Hunsicker, M., Rogers, L. A., Porter, S., Ottersen, G. & Yaragina, N. A. (2022). Ontogenetic spatial constraints of sub-arctic marine fish species. Fish and Fisheries, 23(2), 342-357. https://doi.org/10.1111/faf.12619
Weber, R. E., Damsgaard, C., Fago, A., Val, A. L. & Moens, L. (2022). Ontogeny of hemoglobin‑oxygen binding and multiplicity in the obligate air-breathing fish Arapaima gigas. Comparative Biochemistry and Physiology - Part A: Molecular & Integrative Physiology, 268, Article 111190. https://doi.org/10.1016/j.cbpa.2022.111190
Trujillo, W., Rivera-Rondón, C. A., Jácome, J., García, N., Eiserhardt, W. L. & Balslev, H. (2022). Palm functional trait responses to local environmental factors in the Colombian Amazon. Journal of Tropical Ecology, 38(1), 39-47. https://doi.org/10.1017/S0266467421000493
Kealy, R. A., Goldstein, J., Riisgård, H. U., Brewer, J. R., Solovyeva, V. & Funch, P. (2022). Particle capture and transport in the demosponge Halichondria panicea: Speed talk and poster. Abstract from 11th World Sponge Symposium, Leiden, Netherlands.
Zilius, M., Daunys, D., Bartoli, M., Marzocchi, U., Bonaglia, S., Cardini, U. & Castaldelli, G. (2022). Partitioning benthic nitrogen cycle processes among three common macrofauna holobionts. Biogeochemistry, 157(2), 193-213. https://doi.org/10.1007/s10533-021-00867-8
Escobar, S., Helmstetter, A. J., Montúfar, R., Couvreur, T. L. P. & Balslev, H. (2022). Phylogenomic relationships and historical biogeography in the South American vegetable ivory palms (Phytelepheae). Molecular Phylogenetics and Evolution, 166, Article 107314. https://doi.org/10.1016/j.ympev.2021.107314
Eiserhardt, W. L., Bellot, S., Cowan, R. S., Dransfield, J., Hansen, L. E. S. F., Heyduk, K., Rabarijaona, R. N., Rakotoarinivo, M. & Baker, W. J. (2022). Phylogenomics and generic limits of Dypsidinae (Arecaceae), the largest palm radiation in Madagascar. Taxon, 71(6), 1170-1195. https://doi.org/10.1002/tax.12797
Vroom, R. J. E., van den Berg, M., Pangala, S. R., van der Scheer, O. E. & Sorrell, B. K. (2022). Physiological processes affecting methane transport by wetland vegetation – A review. Aquatic Botany, 182, Article 103547. https://doi.org/10.1016/j.aquabot.2022.103547
Van Limbergen, T., Bonné, R., Hustings, J., Valcke, R., Thijs, S., Vangronsveld, J. & Manca, J. V. (2022). Plant microbial fuel cells from the perspective of photovoltaics: Efficiency, power, and applications. Renewable and Sustainable Energy Reviews, 169, Article 112953. https://doi.org/10.1016/j.rser.2022.112953