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

Christensen, S., Jensen, K., Mailund, T., Weber, H. (Ed.), Ehrig, H. (Ed.) & Reisig, W. (Ed.) (2001). State Space Methods for Timed Petri Nets. In Proc. of 2nd Int. Coll. on Petri Net Technologies for Modelling Communication Based Systems: DFG Research Group "Petri Net Technology" (pp. 33-42). DFG-Forschergruppe Petri Net Technologie.
Christensen, S., Kristensen, L. M., Aalst, W. M. P. V. D. (Ed.), Colom, J.-M. (Ed.), Kordon, F. (Ed.), Kotsis, G. (Ed.) & Moldt, D. (Ed.) (2003). State Space Analysis of Hierarchical Coloured Petri Nets. LINCOM Studies in Computer Science: LSCS 01: Petri Net Approaches for Modelling and Validation, (1), 1-16.
Christensen, S., Kristensen, L. M., Mailund, T., Margaria, T. (Ed.) & Yi, W. (Ed.) (2001). A Sweep-Line Method for State Space Exploration. In Lecture Notes in Computer Science (Lecture Notes in Computer Science 2031 ed., Vol. 2031, pp. 450-464). Springer.
Clemensen, J., Larsen, S. B. & Bardram, J. E. (2004). Developing Pervasive e-Health for Moving Experts from Hospital to Home. In Ikke angivet (pp. 441-448). International Association for Development, IADIS.
Clemensen, J., Larsen, S. B. & Ejskjær, N. (2004). Connecting Home and Clinican, Treatment of Diabetic Foot Ulcers at Home. In The CHI2004 workshop on HCI and Homecare: Connecting Families and Clinicians
Corry, A. V. (2001). Patterns in Software Development. (DAIMI PhD Dissertation PD-01-1 ed.) Department of Computer Science.
Cramer, R. & Damgård, I. B. (2001). Secure Distributed Linear Algebra in a Constant Number of Rounds. In J. Killian (Ed.), Advances in Cryptology - CRYPTO 2001: 21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 19-23, 2001 Proceedings (pp. 119-137). Springer. https://doi.org/10.1007/3-540-44647-8_7
Cramer, R., Damgård, I. B. & Fehr, S. (2001). On the Cost of Reconstructing a Secret or VSS with Optimal Reconstruction. In J. Killian (Ed.), Advances in Cryptology - CRYPTO 2001: 21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 19-23, 2001 Proceedings (pp. 503-524). Springer. https://doi.org/10.1007/3-540-44647-8_30
Cramer, R., Damgård, I. B. & Nielsen, J. B. (2001). Multiparty Computation from Threshold Homomorphic Encryption. In B. Pfitzmann (Ed.), Advances in Cryptology - EUROCRYPT 2001: International Conference on the Theory and Application of Cryptographic Techniques Innsbruck, Austria, May 6-10, 2001 Proceedings (pp. 280-300). Springer. https://doi.org/10.1007/3-540-44987-6_18
Crazzolara, F., Winskel, G., Agrawal, M. (Ed.) & Seth, A. (Ed.) (2002). Composing Strand Spaces. In Ikke angivet (2556 of Lecture Notes in Computer Science ed., Vol. 2556/2002, pp. 97-108). Springer.
Crazzolara, F. & Winskel, G. (2001). Events in Security Protocols. In Proceedings of the 8th ACM conference on Computer and Communications Security (pp. 96-105). Association for Computing Machinery.
Crazzolara, F., Winskel, G., Charpentier, M. (Ed.) & Sanders, B. (Ed.) (2001). Petri Nets in Cryptographic Protocols. In Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01) (Vol. 15th International Parallel and Distributed Processing Symposium (IPDPS'01) Workshops, pp. 149). IEEE Press.
Crepeau, C., Legare, F. & Salvail, L. (2001). How to Convert a Flavor of Quantum Bit Commitment. In Advances in cryptology - EUROCRYPT 2001: Lecture Notes in Computer Science 2045 (Vol. 2045, pp. 60-77). Springer. http://www.cki.au.dk/publication.html
Cryan, M. & Miltersen, P. B. (2001). On pseudorandom generators in NC0. In J. Sgall, A. Pultr & P. Kolman (Eds.), Mathematical Foundations of Computer Science 2001: Lecture Notes in Computer Science (Lecture Notes in Computer Science 2136 ed., Vol. 2136/2001, pp. 272-284). Springer.
Crépeau, C., Dumais, P., Mayers, D. & Salvail, L. (2003). Computational Collapse of Quantum State with Application to Oblivious Transfer. BRICS Report Series, (RS-03-37).
Crépeau, C., Dumais, P., Mayers, D., Salvail, L. & Naor, M. (Ed.) (2004). Computational Collapse of Quantum State with Application to Oblivious Transfer. In Ikke angivet (2951 i Lecture Notes in Computer Science ed., pp. 374-393). Springer.
Crépeau, C., Dumais, P., Mayers, D. & Salvail, L. (2003). On the Computational Collapse of Quantum Information. BRICS Report Series, (RS-03-3).
Damgård, I. B. & Cramer, R. (2004). Secret-Key Zero-Knowlegde and Non-interactive Verifiable Exponentiation. In M. Naor (Ed.), Theory of Cryptography: First Theory of Cryptography Conference, TCC 2004, Cambridge, MA, USA, February 19-21, 2004. Proceedings (pp. 223-237). Springer. https://doi.org/10.1007/978-3-540-24638-1_13
Damgård, I. B., Fehr, S., Morozov, K. & Salvail, L. (2004). Unfair Noisy Channels and Oblivious Transfer. In M. Naor (Ed.), Theory of Cryptography: First Theory of Cryptography Conference, TCC 2004, Cambridge, MA, USA, February 19-21, 2004. Proceedings (pp. 355-373). Springer. https://doi.org/10.1007/978-3-540-24638-1_20
Damgård, I. B., Fehr, S. & Salvail, L. (2004). Zero-Knowledge Proofs and String Commitments Withstanding Quantum Attacks. In M. Franklin (Ed.), Advances in Cryptology - CRYPTO 2004: 24th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 2004. Proceedings (pp. 254-272). Springer. https://doi.org/10.1007/978-3-540-28628-8_16
Damgård, I. B. & Frandsen, G. S. (2003). Efficient Algorithms for gcd and Cubic Residuosity in the Ring of Eisenstein Integers. In A. Lingas & B. J. Nilsson (Eds.), Fundamentals of Computation Theory (pp. 109-117). Springer. https://doi.org/10.1007/978-3-540-45077-1_11
Damgård, I. B. & Fujisaki, E. (2002). A Statistically-Hiding Integer Commitment Scheme Based on Groups with Hidden Order. In Y. Zheng (Ed.), Advances in Cryptology - ASIACRYPT 2002: 8th International Conference on the Theory and Application of Cryptology and Information Security Queenstown, New Zealand, December 1-5, 2002 Proceedings (pp. 77-85). Springer. https://doi.org/10.1007/3-540-36178-2_8
Damgård, I. B. & Groth, J. (2003). Non-interactive and Reusable Non-malleable Commitment Schemes. In Proceedings of the thirty-fifth annual ACM symposium on Theory of computing (pp. 426-437). Association for Computing Machinery. https://doi.org/10.1145/780542.780605
Damgård, I. B., Groth, J., Salomonsen, G. & Gritzalis, D. (Ed.) (2002). The Theory and Implementation of Electronic Voting Systems. In Secure Electronic Voting (Vol. 7, pp. 77-100). Kluwer Academic Publishers.
Damgård, I. B. & Jurik, M. J. (2001). A Generalisation, a Simplification and some Applications of Paillier's Probabilistic Public-Key System. In K. Kim (Ed.), Public Key Cryptography: 4th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2001 Cheju Island, Korea, February 13-15, 2001 Proceedings (pp. 119-136). Springer. https://doi.org/10.1007/3-540-44586-2_9
Damgård, I. B. & Jurik, M. J. (2003). A Length-Flexible Threshold Cryptosystem with Applications. In R. Safavi-Naini & J. Seberry (Eds.), Information Security and Privacy: 8th Australasian Conference, ACISP 2003 Wollongong, Australia, July 9–11, 2003 Proceedings (pp. 350-364). Springer. https://doi.org/10.1007/3-540-45067-X_30
Damgård, I. B. & Jurik, M. J. (2002). Client/Server Tradeoffs for On-line Elections. In D. Naccache & P. Pailier (Eds.), Public Key Cryptography: 5th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2002 Paris, France, February 12-14, 2002 Proceedings (pp. 125-140). Springer. https://doi.org/10.1007/3-540-45664-3_9
Damgård, I. B. & Jurik, M. J. (2003). Scalable Key-Escrow. BRICS Report Series, (RS-03-22).
Damgård, I. B. & Koprowski, M. (2002). Generic Lower Bounds for Root Extraction and Signature Schemes in General Groups. In L. R. Knudsen (Ed.), Advances in Cryptology - EUROCRYPT 2002: International Conference on the Theory and Applications of Cryptographic Techniques Amsterdam, The Netherlands, April 28 - May 2, 2002 Proceedings (pp. 256-271). Springer. https://doi.org/10.1007/3-540-46035-7_17
Damgård, I. B. & Koprowski, M. (2001). Practical Threshold RSA Signatures Without a Trusted Dealer. In B. Pfitzmann (Ed.), Advances in Cryptology - EUROCRYPT 2001: International Conference on the Theory and Application of Cryptographic Techniques Innsbruck, Austria, May 6-10, 2001 Proceedings (pp. 152-165). Springer. https://doi.org/10.1007/3-540-44987-6_10
Damgård, I. B. & Nielsen, J. B. (2002). Expanding Pseudorandom Functions: or: From Known-Plaintext Security to Chosen-Plaintext Security. In M. Yung (Ed.), Advances in Cryptology - CRYPTO 2002: 22nd Annual International Cryptology Conference Santa Barbara, California, USA, August 18-22, 2002 Proceedings (pp. 449-464). Springer. https://doi.org/10.1007/3-540-45708-9_29
Damgård, I. B. & Nielsen, J. B. (2002). Perfect Hiding and Perfect Binding Universally Composable Commitment Schemes with Constant Expansion Factor. In M. Yung (Ed.), Advances in Cryptology - CRYPTO 2002: 22nd Annual International Cryptology Conference Santa Barbara, California, USA, August 18-22, 2002 Proceedings (pp. 581-596). Springer. https://doi.org/10.1007/3-540-45708-9_37
Damgård, I. B. & Nielsen, J. B. (2003). Universally Composable Efficient Multiparty Computation from Threshold Homomorphic Encryption. In D. Boneh (Ed.), Advances in Cryptology - CRYPTO 2003: 23rd Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 2003. Proceedings (pp. 247-264). Springer. https://doi.org/10.1007/978-3-540-45146-4_15
Damgård, I. B., Pedersen, T. B. & Salvail, L. (2004). On the Key-Uncertainty of Quantum Ciphers and the Computational Security of One-way Quantum Transmission. In C. Cachin & J. Camenisch (Eds.), Advances in Cryptology - EUROCRYPT 2004: International Conference on the Theory and Applications of Cryptographic Techniques, Interlaken, Switzerland, May 2-6, 2004. Proceedings (pp. 91-108). Springer. https://doi.org/10.1007/978-3-540-24676-3_6
Damian, D. & Danvy, O. (2001). A Simple CPS Transformation of Control-Flow Information. BRICS Report Series, (RS-01-55).
Damm, C. H. & Hansen, K. M. (2002). Distributing Knight. Using Type-Based Publish/Subscribe for Building Distributed Collaboration Tools. In K. Østerbye (Ed.), Proceedings of the Nordic workshop on Software Development Tools and Techniques: NWPER 2002 (pp. 155-158) http://www.it-c.dk/people/kasper/NWPER2002/papers/damm.pdf
Danvy, O. (2003). A Journey from Interpreters to Compilers and Virtual Machines. In F. Pfenning & Y. Smaragdakis (Eds.), Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003. Proceedings (pp. 117). Springer. https://doi.org/10.1007/978-3-540-39815-8_7
Danvy, O. (2002). A New One-Pass Transformation into Monadic Normal Form. BRICS Report Series, (RS-02-52).
Danvy, O. (2003). A New One-Pass Transformation into Monadic Normal Form. In G. Hedin (Ed.), Compiler Construction: 12th International Conference, CC 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings (pp. 77-89). Springer. https://doi.org/10.1007/3-540-36579-6_6
Danvy, O. (2004). From Reduction-Based to Reduction-Free Normalization. BRICS Report Series, (RS-04-30).
Danvy, O. (2004). On Evaluation Contexts, Continuations, and the Rest of the Computation. In Ikke angivet (CSR-04-1 of Technical Reports ed., pp. 13-23). School of Computer Science, University of Birmingham.
Danvy, O. (Ed.) (2003). Special Issue of Higher-Order and Symbolic Computation: Partial Evaluation and Semantics-Based Program Manipulation. In P. Thiemann (Ed.), Higher-Order and Symbolic Computation: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2002) (Vol. 16(4), pp. 295-401). Springer.
Danvy, O., Henglein, F. (Ed.), Mairson, H. (Ed.) & Pettorossi, A. (Ed.) (2003). Special issue of Higher-Order and Symbolic Computation: - in memory of Bob Paige. Springer.

Sort by: Date | Author | Title

Martínez Villar, M., Germil, M., Pavón-Peláez, C., Tomasco, I. H., Bilde, T., Toft, S. & Albo, M. J. (2023). Lack of Female Preference for Nuptial Gifts May Have Led to Loss of the Male Sexual Trait. Evolutionary Biology, 50(3), 318-331. https://doi.org/10.1007/s11692-023-09606-3
Post, E., Kaarlejärvi, E., Macias-Fauria, M., Watts, D. A., Bøving, P. S., Cahoon, S. M. P., Conor Higgins, R., John, C., Kerby, J. T., Pedersen, C., Post, M. & Sullivan, P. F. (2023). Large herbivore diversity slows sea ice associated decline in arctic tundra diversity. Science, 380(6651), 1282-1287. https://doi.org/10.1126/science.add2679
Walker, T. W. N., Schrodt, F., Allard, P. M., Defossez, E., Jassey, V. E. J., Schuman, M. C., Alexander, J. M., Baines, O., Baldy, V., Bardgett, R. D., Capdevila, P., Coley, P. D., van Dam, N. M., David, B., Descombes, P., Endara, M. J., Fernandez, C., Forrister, D., Gargallo-Garriga, A. ... Peñuelas, J. (2023). Leaf metabolic traits reveal hidden dimensions of plant form and function. Science Advances, 9(35), Article eadi4029. https://doi.org/10.1126/sciadv.adi4029
Arias, C. A., Vera-Puerto, I. L. & Chaparro, T. R. (2023). Lecciones aprendidas. In K. Cross, K. Tondera, A. Rizzo, L. Andrews, B. Pucher, D. Istenič, N. Karres & R. McDonald (Eds.), Soluciones basadas en la naturaleza para el tratamiento de aguas residuales (pp. 332-337). IWA Publishing. https://doi.org/10.2166/9781789063035
Barfod, A. S., Pasgaard, M. & Svenning, J.-C. (2023). Livet på land: livet på land kræver gennemgribende samfundsforandringer. In S. Hildebrandt (Ed.), Det Bæredygtige Danmark. : med Verdensmålene mod 2030 (pp. 395-416). Djøf Forlag.
El-Saadi, M. I., Brzezinski, K., Hinz, A., Phillips, L., Wong, A., Gerber, L., Overgaard, J. & MacMillan, H. A. (2023). Locust gut epithelia do not become more permeable to fluorescent dextran and bacteria in the cold. Journal of Experimental Biology, 226(16), Article jeb246306. https://doi.org/10.1242/jeb.246306
Xu, S., Marcon, A., Bertelsen, R. J., Benediktsdottir, B., Brandt, J., Engemann, K., Frohn, L. M., Geels, C., Gislason, T., Heinrich, J., Holm, M., Janson, C., Markevych, I., Modig, L., Orru, H., Schlünssen, V., Sigsgaard, T. & Johannessen, A. (2023). Long-term exposure to low-level air pollution and greenness and mortality in Northern Europe: The Life-GAP project. Environment International, 181, Article 108257. https://doi.org/10.1016/j.envint.2023.108257
Bundgaard, A., Gruszczyk, A. V., Prag, H. A., Williams, C., McIntyre, A., Ruhr, I. M., James, A. M., Galli, G. L. J., Murphy, M. P. & Fago, A. (2023). Low production of mitochondrial reactive oxygen species after anoxia and reoxygenation in turtle hearts. Journal of Experimental Biology, 226(9), Article jeb245516. https://doi.org/10.1242/jeb.245516
ter Steege, H., Pitman, N. C. A., do Amaral, I. L., de Souza Coelho, L., de Almeida Matos, F. D., de Andrade Lima Filho, D., Salomão, R. P., Wittmann, F., Castilho, C. V., Guevara, J. E., Veiga Carim, M. D. J., Phillips, O. L., Magnusson, W. E., Sabatier, D., Revilla, J. D. C., Molino, J. F., Irume, M. V., Martins, M. P., da Silva Guimarães, J. R. ... Melgaço, K. (2023). Mapping density, diversity and species-richness of the Amazon tree flora. Communications Biology, 6(1), Article 1130. https://doi.org/10.1038/s42003-023-05514-6
Klein, J., Vestbo, S., Funch, P. & Anna, T. (2023). Marine Hitchhikers and Nested Holobionts: Is the Aquarium Trade Creating Weedy Sponge Invaders? In N. Bubandt, A. O. Andersen & R. Cypher (Eds.), Rubber Boots Methods for the Anthropocene: Doing Fieldwork in Multispecies Worlds (pp. 249-275). University of Minnesota Press.
Petersson Sjögren, M., Alsved, M., Šantl-Temkiv, T., Bjerring Kristensen, T. & Löndahl, J. (2023). Measurement report: Atmospheric fluorescent bioaerosol concentrations measured during 18 months in a coniferous forest in the south of Sweden. Atmospheric Chemistry and Physics, 23(9), 4977-4992. https://doi.org/10.5194/acp-23-4977-2023
Zhai, S., Zhang, D., Liu, W., Wang, B., Liang, B., Liu, C., Zeng, R., Hou, Y., Cheng, H. Y. & Wang, A. (2023). Microbial electrochemical technologies assisted nitrogen recovery from different wastewater sources: Performance, life cycle assessment, and challenges. Resources, Conservation & Recycling, 194, Article 107000. https://doi.org/10.1016/j.resconrec.2023.107000
Rysgaard, S. (2023). Microbial life in Arctic sea ice. Abstract from Tara Polar Drift, Paris, France.
Mueller, P., Kutzbach, L., Mozdzer, T. J., Jespersen, E., Barber, D. C. & Eller, F. (2023). Minerogenic salt marshes can function as important inorganic carbon stores. Limnology and Oceanography, 68(4), 942-952. https://doi.org/10.1002/lno.12322
Olsen, B. E., Normand, S., Svenning, J.-C., Timmermann, K., Kragh, T., Kaae, B. C., Madsen, N. & Strange, N. (2023). Mod robuste økosystemer: Anbefalinger til en dansk lov om biodiversitet. Biodiversitetsrådet.
Safi, A. U. R., Bendixen, E., Rahman, H., Khattak, B., Wu, W., Ullah, W., Khan, N., Ali, F., Yasin, N. & Qasim, M. (2023). Molecular identification and differential proteomics of drug resistant Salmonella Typhi. Diagnostic Microbiology and Infectious Disease, 105(4), Article 115883. https://doi.org/10.1016/j.diagmicrobio.2022.115883
Peripato, V., Levis, C., Moreira, G. A., Gamerman, D., Ter Steege, H., Pitman, N. C. A., de Souza, J. G., Iriarte, J., Robinson, M., Junqueira, A. B., Trindade, T. B., de Almeida, F. O., Moraes, C. D. P., Lombardo, U., Tamanaha, E. K., Maezumi, S. Y., Ometto, J. P. H. B., Braga, J. R. G., Campanharo, W. A. ... Aragão, L. E. O. C. (2023). More than 10,000 pre-Columbian earthworks are still hidden throughout Amazonia. Science, 382(6666), 103-109. https://doi.org/10.1126/science.ade2541
Bernard, C., Santos, G. S., Deere, J. A., Rodriguez-Caro, R., Capdevila, P., Kusch, E., Gascoigne, S. J. L., Jackson, J. & Salguero-Gómez, R. (2023). MOSAIC - A Unified Trait Database to Complement Structured Population Models. Scientific Data, 10(1), Article 335. https://doi.org/10.1038/s41597-023-02070-w
Hu, Y., Wei, F., Fu, B., Wang, S., Wang, L. & Chen, Y. (2023). Multifaceted characteristics of aridity changes and causal mechanisms in Chinese drylands. Progress in Physical Geography: Earth and Environment, 47(3), 438-453. https://doi.org/10.1177/03091333221129867
Knudsen, L., Heines, M., Colo, L., Ngcobo, S. & Pasgaard, M. (2023). My Mabopane: Opportunities of Photovoice to Support Inclusive Urban Green Space Engagement and Planning. In A. Osman, J. Nagle & S. Tripathi (Eds.), The Urban Ecologies of Divided Cities: UEDC 2022 (pp. 93-96). Springer. https://doi.org/10.1007/978-3-031-27308-7_16
Delavaux, C. S., Crowther, T. W., Zohner, C. M., Robmann, N. M., Lauber, T., van den Hoogen, J., Kuebbing, S., Liang, J., de-Miguel, S., Nabuurs, G. J., Reich, P. B., Abegg, M., Adou Yao, Y. C., Alberti, G., Almeyda Zambrano, A. M., Alvarado, B. V., Alvarez-Dávila, E., Alvarez-Loayza, P., Alves, L. F. ... Maynard, D. S. (2023). Native diversity buffers against severity of non-native tree invasions. Nature, 621(7980), 773-781. https://doi.org/10.1038/s41586-023-06440-7
Magalhães, A. R., Codeço, C. T., Svenning, J. C., Escobar, L. E., Van de Vuurst, P. & Gonçalves-Souza, T. (2023). Neglected tropical diseases risk correlates with poverty and early ecosystem destruction. Infectious Diseases of Poverty, 12(1), Article 32. https://doi.org/10.1186/s40249-023-01084-1
Li, L., Teng, S. N., Zhang, Y., Li, Y., Wang, H., Santana, J., Reino, L., Abades, S., Svenning, J. C. & Xu, C. (2023). Neighbourhood landscape context shapes local species richness patterns across continents. Global Ecology and Biogeography, 32(6), 867-880. https://doi.org/10.1111/geb.13668
Kalusová, V., Chytrý, M., Večeřa, M., Svenning, J. C., Biurrun, I., Kintrová, K., Agrillo, E., Carli, E., Ecker, K., Garbolino, E., Šibíková, M., Šilc, U. & Axmanová, I. (2023). Neophyte invasions in European heathlands and scrub. Biological Invasions, 25(6), 1739–1765. https://doi.org/10.1007/s10530-023-03005-7
Ávila-Thieme, M. I., Kusch, E., Corcoran, D., Castillo, S. P., Valdovinos, F. S., Navarrete, S. A. & Marquet, P. A. (2023). NetworkExtinction: An R package to simulate extinction propagation and rewiring potential in ecological networks. Methods in Ecology and Evolution, 14(8), 1952-1966. https://doi.org/10.1111/2041-210X.14126