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

Kristensen, L. M., Gallasch, G. E., Ouyang, C. & Billington, J. (2004). Experimenting with Progress Mappings for the Sweep-Line Analysis of the Internet Open Trading Protocol. In K. Jensen (Ed.), 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools (PB-570 of Daimi Reports ed., pp. 19-38). Department of Computer Science, University of Aarhus.
Kristensen, L. M., Jørgensen, J. B. & Jensen, K. (2004). Application of Coloured Petri Nets in System Development. In J. Desel, W. Reisig & G. Rozenberg (Eds.), Lectures on Concurrency and Petri Nets (pp. 626-685). Springer. https://doi.org/10.1007/b98282
Kristensen, L. M. & Mailund, T. (2002). A Compositional Sweep-Line State Space Exploration Method. In Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems (2529 of Lecture Notes in Computer Science ed., Vol. 2529, pp. 327-343). Springer.
Kristensen, L. M. & Mailund, T. (2002). A Generalised Sweep-Line Method for Safety Properties. In FME 2002: Formal Methods - Getting IT Right (Lecture Notes in Computer Science ed., Vol. 2391, pp. 549-567). Springer.
Kristensen, L. M. & Mailund, T. (2003). Efficient Path Finding with the Sweep-Line Method using External Storage. In Proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003: Formal Methods and Software Engineering (2885 of Lecture Notes in Computer Science ed., Vol. 2885/2003, pp. 319-337). Springer.
Kristensen, L. M., Mailund, T., Billington, J. & Gallasch, G. E. (2004). Exploiting Equivalence Reduction and the Sweep-Line Method for Detecting Terminal States. IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans, 34(1), 23-38.
Kristensen, L. M., Mitchell, B., Zhang, L. & Jensen, K. (Ed.) (2004). Formal Specification and State Space Analysis of an Operational Planning Process. In Proc. of 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools (PB-570 of Daimi Reports ed., pp. 1-18). Department of Computer Science, University of Aarhus.
Kristensen, L. M. & Nielsen, K.-D. (2004). On the Application of Zone Flooding in a Traffic Warning System. Daimi Report Series (DAIMI PB), (PB-573).
Kristensen, L. M. & Petrucci, L. (2004). An Approach to Distributed State Space Exploration for Coloured Petri Nets. In J. Cortadella & W. Reisig (Eds.), 25th International Conference on Application and Theory of Petri Nets: Lecture Notes in Computer Science (3099 i Lecture Notes in Computer Science ed., Vol. Tool Papers, pp. 474-483). Springer.
Kristensen, L. M., Zhang, L., Mitchell, B., Janczura, C., Gallasch, G. E. & Mechlenborg, P. (2004). COAST - An Operational Planning Tool for Course of Action Development and Analysis. Paper presented at 9th International Command and Control Research and Technology Symposium (ICCRTS), København, Denmark.
Krogh, P. G. & Grønbæk, K. (2001). Roomware and intelligent Buildings - buildings and objects become computer interfaces! In P. Bille (Ed.), Architectural Research and Information Technology (pp. 63-68). Aarhus School of Architecture. http://www.pervasive.dk/publications/files/Roomware.pdf
Krukow, K. & Twigg, A. (2004). Distributed Approximation of Fixed-Points in Trust Structures. BRICS Report Series, (RS-04-16).
Kyng, M., Büscher, M. & Mogensen, P. H. (2004). Integrated Conceptual Framework. Palcom External Reports, (11).
Lahire, P., Arévalo, G., Astudillo, H., Black, A. P., Ernst, E., Huchard, M., Oplustil, T., Sakkinen, M. & Valtchev, P. (Eds.) (2004). MASPEGHI 2004 - Mechanisms for Specialization, Generalization, and Inheritance. In B. M. Østvold & J. Malenfant (Eds.), Object-Oriented Technology. ECOOP 2004 Workshop Reader: ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports (pp. 101-117). Springer. https://doi.org/10.1007/978-3-540-30554-5_11
Lambov, B. Z. (2003). A Two Layer Approach to the Computability and Complexity of Real Functions. In Computability and Complexity in Analysis 2003 (302 of Informatic Berichte ed., pp. 279-302). Fern-Universität Hagen.
Larsen, R. D. & Bouvin, N. O. (2004). HyperPeer: Searching for resemblance in a P2P network. In Fifteenth ACM conference on Hypertext & Hypermedia (pp. 268-269). Association for Computing Machinery. https://doi.org/10.1145/1012807.1012873
Lee, J. (2004). Reverse Code Generation for Java Program Model Checking. Paper presented at 6th school on MOdeling and VErifying parallel Processes (MOVEP '04), Bruxelles, Belgium.
Lindstrøm, B. & Haider, S. (2001). Equivalent Coloured Petri Net Models of a Class of Timed Influence Nets with Logic. In K. Jensen (Ed.), Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (pp. 35-55). Department of Computer Science, Aarhus University.
Lindstrøm, B. & Wells, L. M. (2002). Annotating Coloured Petri Nets. In K. Jensen (Ed.), Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, August 28-30, 2002 (pp. 39-58). Department of Computer Science, University of Aarhus.
Lindstrøm, B., Wells, L., Silva, M. (Ed.), Giva, A. (Ed.) & Colom, J. M. (Ed.) (2002). Towards a Monitoring Framework for Discrete-Event System Simulations. In Ikke angivet (pp. 127-134). IEEE Computer Society Press.
Lorentsen, L. & Kristensen, L. M. (2001). Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method. In A. Valmari & A. Yakoviev (Eds.), Proceedings of Second International Conference on Application of Concurrency to System Design (ACSD'01) (Vol. ACSD, pp. 211-220). IEEE Computer Society Press.
Lorentsen, L., Tuovinen, A.-P. & Xu, J. (2002). Modelling Feature Interaction Patterns in Nokia Mobile Phones using Coloured Petri Nets and Design/CPN. In Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24-30, 2002 Proceedings (pp. 15 - 45). Springer. https://doi.org/10.1007/3-540-48068-4_18
Lorenz, D. H., Ernst, E. & Aksit, M. (Ed.) (2003). Aspects and Polymorphism in AspectJ. In Proc. of AOSD'03: Proceedings of the 2nd international conference on Aspect-oriented software development (pp. 150-157). Association for Computing Machinery. https://doi.org/10.1145/643603.643619
Ludvigsen, M. (2002). Playful Interaction. Paper presented at IRIS 2002 Jamboree/review at the International Conference on Ubiquitous Computing, Göteborg, Sweden.
Lund, H. H., Mayoh, B. H. & Perram, J. (2001). Seventh Scandinavian Conference on Artificial Intelligence. In Frontiers in Artificial Intelligence and Applications (66 ed.). IOS Press.
Lyngsø, R. B., Pedersen, C. N. S., Eades, P. (Ed.) & Takaoka, T. (Ed.) (2001). Complexity of Comparing Hidden Markov Models. In Ikke angivet (2223 of Lecture Notes in Computer Science ed., pp. 416-428). Springer.
Lyngsø, R. B. & Pedersen, C. N. S. (2002). The Consensus String Problem and the Complexity of Comparing Hidden Markov Models. Journal of Computer and System Sciences, 65(3), 545-569.
Løvbjerg, M., Krink, T., Fogel, D. B. (Ed.), Yao, X. (Ed.), Greenwood, G. (Ed.), Iba, H. (Ed.), Marrow, P. (Ed.) & Shackleton, M. (Ed.) (2002). Extending Particle Swarm Optimisers with Self-Organized Criticality. In Proceedings of the 2002 Congress on Evolutionary Computation : CEC'02 (Vol. 2, pp. 1588-1593). IEEE Press.
MacIntyre, B., Mynatt, E. D., Voida, S., Hansen, K. M., Tullio, J. & Corso, G. M. (2001). Support for Multitasking and background Awareness Using Interactive Peripheral Displays. In J. Marks & E. D. Mynatt (Eds.), Proceedings of the 14th annual ACM symposium on User interface software and technology (pp. 41-50). Association for Computing Machinery. https://doi.org/10.1145/502348.502355
MacIntyre, B., Mynatt, E. D., Voida, S., Hansen, K. M. & Tullio, J. (2001). Hypermedia in the Kimura System: Using Spatial, Temporal & Navigational Relationships to Support Multitasking and Background Awareness. In Proceedings of the 12th ACM Conference on Hypertext and Hypermedia (pp. 6-8). Association for Computing Machinery. https://doi.org/10.1145/504216.504222
Madsen, B. A., Nielsen, J. M. & Skjernaa, B. (2002). On the Number of Maximal Bipartite Subgraphs of a Graph. BRICS Report Series, (RS-02-17).
Madsen, B. A. & Rossmanith, P. (2004). Maximum Exact Satisfiability: NP-completeness Proofs and Exact Algorithms. BRICS Report Series, (RS-04-19).
Mailund, T. & Pedersen, C. N. S. (2004). QDist - Quartet Distance between Evolutionary Trees. Bioinformatics, 20(10), 1636-1637.
Mailund, T. & Pedersen, C. N. S. (2004). QuickJoin - Fast Neighbour-Joining Tree Reconstruction. Bioinformatics, 20(17), 3261-3262.
Mamykina, L., Bardram, J. E., Korhonen, I., Mynatt, E. & Pratt, W. (2004). HCI and homecare: Connecting families and clinicians. In Extended abstracts of the 2004 conference on Human factors and computing systems (pp. 1715-1716). Association for Computing Machinery.
Mayoh, B. H., Shafazand, H. (Ed.) & Tjoa, A. M. (Ed.) (2002). Evolution of Cooperation in Multiagent Systems. In Proceeding of EurAsia-ICT 2002: Information and Communication Technology (2510 of Lecture Notes in Computer Science ed., pp. 701-710). Springer.
Miltersen, P. B., Rajasekaran, S. (Ed.), Pardalos, P. M. (Ed.), Reif, J. H. (Ed.) & Rolim, J. D. P. (Ed.) (2001). Derandomizing complexity classes. In Handbook on Randomized Computing: Combinatorial Optimization, Vol. 9 (chapter 19 ed., Vol. II, chapter 19, pp. 843-935). Kluwer Academic Publishers (Springer).
Miltersen, P. B., Radhakrishnan, J. & Wegener, I. (2003). On converting CNF to DNF. In B. Rovan & P. Vojtás (Eds.), Mathematical Foundations of Computer Science 2003: 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings (pp. 612-621). Springer. https://doi.org/10.1007/978-3-540-45138-9_55
Mogensen, P. H. (2001). Interactive Workspaces: Demo. Paper presented at Nordic Interactive Conference, Cobenhagen, Denmark.
Mogensen, P. H., Grønbæk, K., Christensen, M. & Ørbæk, P. (2001). Open 3D spatial Hypermedia as Roomware Components for Interactive Workspaces. In K. Grønbæk (Ed.), Conference on Hypertext and Hypermedia: Proceedings of the 12th ACM conference on Hypertext and Hypermedia (Vol. Session: Presentations, pp. Demo). Society for Industrial and Applied Mathematics.
Mogensen, P. (2001). Workspace - distributed work support through spatial computing environments. Paper presented at Disappearing Computer Jamboree, Zürich, Switzerland.
Mortensen, K. H. (2001). Efficient Data-Structures and Algorithms for a Coloured Petri Nets Simulator. In K. Jensen (Ed.), Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (pp. 57-75). Department of Computer Science, Aarhus University.
Mortensen, K. H., Schougaard, K. R., Schultz, U. P., Markopoulos, P. (Ed.), Eggen, B. (Ed.) & Aarts (Ed.) (2004). Distance-Based Access Modifiers Applied to Safety in Home Networks. In Ambient Intelligence: Second European Symposium (3295 i Lecture Notes in Computer Science ed., pp. 315-326). Springer.
Mortensen, K. H., Schougaard, K. S. F. & Schultz, U. P. (2003). A Programming Language Approach to Safety in Home Networks. Center for Pervasive Computing Publications, CfPC-2003-PB-53.
Mosses, P. D. (2002). Action Semantics and ASF+SDF: System demonstration. Electronic Notes in Theoretical Computer Science, 65(3).

Sort by: Date | Author | Title

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
Schmitz, O. J., Sylvén, M., Atwood, T. B., Bakker, E. S., Berzaghi, F., Brodie, J. F., Cromsigt, J. P. G. M., Davies, A. B., Leroux, S. J., Schepers, F. J., Smith, F. A., Stark, S., Svenning, J. C., Tilker, A. & Ylänne, H. (2023). Trophic rewilding can expand natural climate solutions. Nature Climate Change, 13(4), 324–333. https://doi.org/10.1038/s41558-023-01631-6
Sâm, L. Ý. N., Baker, W. J., Bellot, S., Dransfield, J., Eiserhardt, W. L. & Henderson, A. (2023). Truongsonia (Arecaceae: Arecoideae: Truongsonieae)—a new palm genus and tribe from Vietnam. Phytotaxa, 613(3), 201-212. https://doi.org/10.11646/phytotaxa.613.3.1
Mikkelsen, P. S. (2023). Tusind dage med SIRIUS. (4 ed.) Xsirius Books.
Abraham, A. J., Duvall, E., Ferraro, K., Webster, A. B., Doughty, C. E., le Roux, E. & Ellis-Soto, D. (2023). Understanding anthropogenic impacts on zoogeochemistry is essential for ecological restoration. Restoration Ecology, 31(3), Article e13778. https://doi.org/10.1111/rec.13778
Donfrancesco, V., Allen, B. L., Appleby, R., Behrendorff, L., Conroy, G., Crowther, M. S., Dickman, C. R., Doherty, T., Fancourt, B. A., Gordon, C. E., Jackson, S. M., Johnson, C. N., Kennedy, M. S., Koungoulos, L., Letnic, M., Leung, L. K. P., Mitchell, K. J., Nesbitt, B., Newsome, T. ... Cairns, K. M. (2023). Understanding conflict among experts working on controversial species: A case study on the Australian dingo. Conservation Science and Practice, 5(3), Article e12900. https://doi.org/10.1111/csp2.12900
Pos, E., de Souza Coelho, L., de Andrade Lima Filho, D., Salomão, R. P., Amaral, I. L., de Almeida Matos, F. D., Castilho, C. V., Phillips, O. L., Guevara, J. E., de Jesus Veiga Carim, M., López, D. C., Magnusson, W. E., Wittmann, F., Irume, M. V., Martins, M. P., Sabatier, D., da Silva Guimarães, J. R., Molino, J. F., Bánki, O. S. ... ter Steege, H. (2023). Unraveling Amazon tree community assembly using Maximum Information Entropy: a quantitative analysis of tropical forest ecology. Scientific Reports, 13(1), Article 2859. https://doi.org/10.1038/s41598-023-28132-y
Bonte, D., Rose, C., Bastiaensen, T., Jesper Bechsgaard, J., Bilde, T., Dahirel, M., De Wolf, K., Thylys, H., Uytterschaut, T. & Vanthournout, B. (2023). Urbanization impacts short- but not long-distance natal dispersal in a common orb web spider. Oikos, 2023(12), Article e10278. https://doi.org/10.1111/oik.10278
Hsu, Y. H. H., Pintacuda, G., Liu, R., Nacu, E., Kim, A., Tsafou, K., Petrossian, N., Crotty, W., Suh, J. M., Riseman, J., Martin, J. M., Biagini, J. C., Mena, D., Ching, J. K. T., Malolepsza, E., Li, T., Singh, T., Ge, T., Egri, S. B. ... Wellcome Trust Case Control Consortium (2023). Using brain cell-type-specific protein interactomes to interpret neurodevelopmental genetic signals in schizophrenia. iScience, 26(5), Article 106701. https://doi.org/10.1016/j.isci.2023.106701
Wich, S. A., Bonnin, N., Hutschenreiter, A., Piel, A. K., Chitayat, A., Stewart, F. A., Pintea, L. & Kerby, J. T. (2023). Using Drones to Determine Chimpanzee Absences at the Edge of Their Distribution in Western Tanzania. Remote Sensing, 15(8), Article 2019. https://doi.org/10.3390/rs15082019
Davison, C. W., Assmann, J. J., Normand, S., Rahbek, C. & Morueta-Holme, N. (2023). Vegetation structure from LiDAR explains the local richness of birds across Denmark. Journal of Animal Ecology, 92(7), 1332-1344. https://doi.org/10.1111/1365-2656.13945
Montes, C. A., Ortiz, N. V., Arias, C. A. & Chaparro, T. R. (2023). Vertical flow wetlands as the core for the sustainable treatment of coffee wastewater in small communities in Colombia: preliminary results . Water science and technology : a journal of the International Association on Water Pollution Research, 88(8), 1974-1981. https://doi.org/10.2166/wst.2023.328
Panyadee, P., Wangpakapattanawong, P., Inta, A. & Balslev, H. (2023). Very High Food Plant Diversity among Ethnic Groups in Northern Thailand. Diversity, 15(1), Article 120. https://doi.org/10.3390/d15010120
Nachtsheim, D. A., Johnson, M., Schaffeld, T., van Neer, A., Madsen, P. T., Findlay, C. R., Rojano-Doñate, L., Teilmann, J., Mikkelsen, L., Baltzer, J., Ruser, A., Siebert, U. & Schnitzler, J. G. (2023). Vessel noise exposures of harbour seals from the Wadden Sea. Scientific Reports, 13, Article 6187. https://doi.org/10.1038/s41598-023-33283-z
Rysgaard, S. (2023). Water masses along west Greenland and their implication for glacier melt. Abstract from Arctic International Technical Conference, Nuuk, Ecuador.
Nielsen, L. (2023). Water Uptake of Airborne Primary Bioaerosols. [PhD dissertation, Aarhus University]. Aarhus Universitet.
Pulido, F., Castagneyrol, B., Rodríguez-Sánchez, F., Cáceres, Y., Pardo, A., Moracho, E., Kollmann, J., Valladares, F., Ehrlén, J., Jump, A. S., Svenning, J. C. & Hampe, A. (2023). Widespread latitudinal asymmetry in the performance of marginal populations: A meta-analysis. Global Ecology and Biogeography, 32(6), 842-854. https://doi.org/10.1111/geb.13665
Catalán, N., Anton-Pardo, M., Freixa, A., Rodríguez-Lozano, P., Bartrons, M., Bernal, S., Genua-Olmedo, A., Mendoza-Lera, C., Onandía, G., Benito, X., Sánchez-Montoya, M. M., Cañedo-Argüelles Iglesias, M., Pastor, A. & Lupon, A. (2023). Women in limnology: From a historical perspective to a present-day evaluation. WIREs Water, 10(1), Article e1616. https://doi.org/10.1002/wat2.1616
Irschick, D. J., Christiansen, F., Hammerschlag, N., Martin, J., Madsen, P. T., Wyneken, J., Brooks, A., Gleiss, A., Fossette, S., Siler, C., Gamble, T., Fish, F., Siebert, U., Patel, J., Xu, Z., Kalogerakis, E., Medina, J., Mukherji, A., Mandica, M. ... Lauder, G. (2022). 3D visualization processes for recreating and studying organismal form. iScience, 25(9), Article 104867. https://doi.org/10.1016/j.isci.2022.104867
Baker, W. J., Bailey, P., Barber, V., Barker, A., Bellot, S., Bishop, D., Botigué, L. R., Brewer, G., Carruthers, T., Clarkson, J. J., Cook, J., Cowan, R. S., Dodsworth, S., Epitawalage, N., Françoso, E., Gallego, B., Johnson, M. G., Kim, J. T., Leempoel, K. ... Forest, F. (2022). A Comprehensive Phylogenomic Platform for Exploring the Angiosperm Tree of Life. Systematic Biology, 71(2), 301-319. https://doi.org/10.1093/sysbio/syab035
Zhang, Y., Wang, L., He, Y., Huang, N., Li, W., Xu, S., Zhou, Q., Song, W., Duan, W., Wang, X., Muhammad, S., Nath, B., Zhu, L., Tang, F., Du, H., Wang, L. & Niu, Z. (2022). A Continuous Change Tracker Model for Remote Sensing Time Series Reconstruction. Remote Sensing, 14(9), Article 2280. https://doi.org/10.3390/rs14092280
Shartau, R. B., Harter, T. S., Baker, D. W., Aboagye, D. L., Allen, P. J., Val, A. L., Crossley, D. A., Kohl, Z. F., Hedrick, M. S., Damsgaard, C. & Brauner, C. J. (2022). Acute CO2 tolerance in fishes is associated with air breathing but not the Root effect, red cell βNHE, or habitat. Comparative Biochemistry and Physiology -Part A : Molecular and Integrative Physiology, 274, Article 111304. https://doi.org/10.1016/j.cbpa.2022.111304
Aagaard, A. (2022). Adaptation and plasticity in a social spider species with low genetic diversity. [PhD dissertation, Aarhus University]. Aarhus Universitet.
Whitehead, D. A., Ayres, K. A., Gayford, J. H., Ketchum, J. T., Galván-Magana, F. & Christiansen, F. (2022). Aerial photogrammetry of whale sharks (Rhincodon typus) in the Bay of La Paz, using an unoccupied aerial vehicle. Marine Biology, 169(7), Article 94. https://doi.org/10.1007/s00227-022-04085-0
Fang, Z., Brandt, M., Wang, L. & Fensholt, R. (2022). A global increase in tree cover extends the growing season length as observed from satellite records. Science of the Total Environment, 806(Part 3), Article 151205. https://doi.org/10.1016/j.scitotenv.2021.151205