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

Liu, L.-L., Yin, M.-Q., Guo, X., Wang, J.-W., Cai, Y.-F., Wang, C., Yu, X., Du, N., Brix, H., Eller, F., Lambertini, C. & Guo, W. (2022). Cryptic lineages and potential introgression in a mixed‐ploidyspecies (Phragmites australis) across temperate China. Journal of Systematics and Evolution, 60(2), 398-410. https://doi.org/10.1111/jse.12672
Silva, F., Coward, F., Davies, K., Elliott, S., Jenkins, E., Newton, A. C., Riris, P., Vander Linden, M., Bates, J., Cantarello, E., Contreras, D. A., Crabtree, S. A., Crema, E. R., Edwards, M., Filatova, T., Fitzhugh, B., Fluck, H., Freeman, J., Klein Goldewijk, K. ... Williams, A. (2022). Developing Transdisciplinary Approaches to Sustainability Challenges: The Need to Model Socio-Environmental Systems in the Longue Durée. Sustainability, 14(16), Article 10234. https://doi.org/10.3390/su141610234
Crossley, J. L., Lawrence, T., Tull, M., Elsey, R. M., Wang, T. & Crossley, D. A. (2022). Developmental oxygen preadapts ventricular function of juvenile American alligators, Alligator mississippiensis. American journal of physiology. Regulatory, integrative and comparative physiology, 323(5), R739-R748. https://doi.org/10.1152/ajpregu.00059.2022
Estes, E. R., Berti, D., Findlay, A. J., Hochella, M. F., Shaw, T. J., Yücel, M., De Carlo, E. H. & Luther, G. W. (2022). Differential Behavior of Metal Sulfides in Hydrothermal Plumes and Diffuse Flows. ACS Earth and Space Chemistry, 6(6), 1429-1442. https://doi.org/10.1021/acsearthspacechem.1c00377
Flensburg, S. B., Garm, A. L. & Funch, P. (2022). Diurnal rhythms and light regulated behaviour in the demosponge Tethya wilhelma. Poster session presented at 11th World Sponge Conference, Leiden, Netherlands.
Wei, F., Wang, S., Fu, B., Wang, L., Zhang, W., Wang, L., Pan, N. & Fensholt, R. (2022). Divergent trends of ecosystem-scale photosynthetic efficiency between arid and humid lands across the globe. Global Ecology and Biogeography, 31(9), 1824-1837. https://doi.org/10.1111/geb.13561
Fashing, P. J., Nguyen, N., Demissew, S., Gizaw, A., Atickem, A., Mekonnen, A., Nurmi, N. O., Kerby, J. T. & Stenseth, N. C. (2022). Ecology, evolution, and conservation of Ethiopia’s biodiversity. Proceedings of the National Academy of Sciences (PNAS), 119(50), Article e2206635119. https://doi.org/10.1073/pnas.2206635119
Colon, C. P., Botton, M. L., Funch, P., Hoffgaard, E. E., Mandeep, K. & Mansfield, K. (2022). Ecology of Juvenile American Horseshoe Crabs (Limulus polyphemus) at Plumb Beach, Jamaica Bay, New York. In International Horseshoe Crab Conservation and Research Efforts: 2007- 2020: Conservation of Horseshoe Crabs Species Globally (pp. 669-690). Springer. https://doi.org/10.1007/978-3-030-82315-3_40
Aguilar, L., Pérez, L. M., Gallegos, Á., Fores, E., Arias, C. A., Bosch, C., Verdum, M., Jove, P., de Pablo, J. & Morató, J. (2022). Effect of aeration on nitrogen removal-associated microbial community in an innovative vertical cork-based constructed wetland for winery wastewater treatment. Ecological Engineering, 185, Article 106781. https://doi.org/10.1016/j.ecoleng.2022.106781
Baden, S., Fredriksen, S., Christie, H., Eriander, L., Gustafsson, C., Holmer, M., Olesen, B., Thormar, J. & Boström, C. (2022). Effects of depth and overgrowth of ephemeral macroalgae on a remote subtidal NE Atlantic eelgrass (Zostera marina) community. Marine Pollution Bulletin, 177, Article 113497. https://doi.org/10.1016/j.marpolbul.2022.113497
Vera-Puerto, I., Campal, J., Martínez, S., Cortés-Rico, L., Coy, H., Tan, S., Arias, C. A., Baquero-Rodríguez, G. & Rosso, D. (2022). Effects of Environmental Conditions and Bed Configuration on Oxygen Transfer Efficiency in Aerated Constructed Wetlands. Water (Switzerland), 14(20), Article 3284. https://doi.org/10.3390/w14203284
Zuquim, G., Benchimol, M., Tonon, R., Peres, C. A. & Storck-Tonon, D. (2022). Effects of forest degradation on Amazonian ferns in a land-bridge island system as revealed by non-specialist inventories. Ecological Solutions and Evidence, 3(1), Article e12123. https://doi.org/10.1002/2688-8319.12123
Yin, M., Liu, L., Wu, Y., Sheng, W., Ma, X., Du, N., Zhu, P., Wang, C., Cui, Z., Brix, H., Eller, F. & Guo, W. (2022). Effects of litter species and genetic diversity on plant litter decomposition in coastal wetland. Ecological Indicators, 144, Article 109439. https://doi.org/10.1016/j.ecolind.2022.109439
Hylén, A., Bonaglia, S., Robertson, E., Marzocchi, U., Kononets, M. & Hall, P. O. J. (2022). Enhanced benthic nitrous oxide and ammonium production after natural oxygenation of long-term anoxic sediments. Limnology and Oceanography, 67(2), 419-433. https://doi.org/10.1002/lno.12001
Venkataraman, V. V., Miller, C., Foxfoot, I., Lin, B., Petrie, Z. L., Simberloff, R. A., Bernardo, O., Redon, N., Hohn, T. I., Kerby, J. T., Nguyen, N. & Fashing, P. J. (2022). Epizoochorous seed dispersal by an Afroalpine savanna primate. Biotropica, 54(2), 358-369. https://doi.org/10.1111/btp.13057
Panyadee, P., Meunrew, J., Balslev, H. & Inta, A. (2022). Ethnobotany and Ecosystem Services in a Tidal Forest in Thailand. Sustainability, 14(10), Article 6322. https://doi.org/10.3390/su14106322
Hersh, T. A., Gero, S., Rendell, L., Cantor, M., Weilgart, L., Amano, M., Dawson, S. M., Slooten, E., Johnson, C. M., Kerr, I., Payne, R., Rogan, A., Antunes, R., Andrews, O., Ferguson, E. L., Hom-Weaver, C. A., Norris, T. F., Barkley, Y. M., Merkens, K. P. ... Whitehead, H. (2022). Evidence from sperm whale clans of symbolic marking in non-human cultures. Proceedings of the National Academy of Sciences (PNAS), 119(37), Article e2201692119. https://doi.org/10.1073/pnas.2201692119
Milsom, W. K., Kinkead, R., Hedrick, M. S., Gilmour, K., Perry, S., Gargaglioni, L. & Wang, T. (2022). Evolution of vertebrate respiratory central rhythm generators. Respiratory Physiology and Neurobiology, 295, Article 103781. https://doi.org/10.1016/j.resp.2021.103781
Méndez-Quintas, E., Santonja, M., Pérez-González, A., Díaz-Rodríguez, M. & Domínguez, A. S. (2022). Exploring the formation processes on open-air palaeolithic sites: A late Middle Pleistocene Acheulean assemblage at Arbo site (Miño River basin, Spain). Journal of Archaeological Science: Reports, 43, Article 103453. https://doi.org/10.1016/j.jasrep.2022.103453
Findlay, C. R., Hastie, G. D., Farcas, A., Merchant, N. D., Risch, D. & Wilson, B. (2022). Exposure of individual harbour seals (Phoca vitulina) and waters surrounding protected habitats to acoustic deterrent noise from aquaculture. Aquatic Conservation: Marine and Freshwater Ecosystems, 32(5), 766-780. https://doi.org/10.1002/aqc.3800