Aarhus Universitets segl

Publikationer

Følg med i de senest publicerede videnskabelige artikler fra Institut for Biologi. Oversigten viser Instituttets publikationer med de nyeste øverst:

Sortér efter: Dato | Forfatter | Titel

Christensen, S., Jensen, K., Mailund, T., Weber, H. (red.), Ehrig, H. (red.) & Reisig, W. (red.) (2001). State Space Methods for Timed Petri Nets. I Proc. of 2nd Int. Coll. on Petri Net Technologies for Modelling Communication Based Systems: DFG Research Group "Petri Net Technology" (s. 33-42). DFG-Forschergruppe Petri Net Technologie.
Christensen, S., Kristensen, L. M., Aalst, W. M. P. V. D. (red.), Colom, J.-M. (red.), Kordon, F. (red.), Kotsis, G. (red.) & Moldt, D. (red.) (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. (red.) & Yi, W. (red.) (2001). A Sweep-Line Method for State Space Exploration. I Lecture Notes in Computer Science (Lecture Notes in Computer Science 2031 udg., Bind 2031, s. 450-464). Springer.
Clemensen, J., Larsen, S. B. & Bardram, J. E. (2004). Developing Pervasive e-Health for Moving Experts from Hospital to Home. I Ikke angivet (s. 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. I 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 udg.) Department of Computer Science.
Cramer, R. & Damgård, I. B. (2001). Secure Distributed Linear Algebra in a Constant Number of Rounds. I J. Killian (red.), Advances in Cryptology - CRYPTO 2001: 21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 19-23, 2001 Proceedings (s. 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. I J. Killian (red.), Advances in Cryptology - CRYPTO 2001: 21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 19-23, 2001 Proceedings (s. 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. I B. Pfitzmann (red.), Advances in Cryptology - EUROCRYPT 2001: International Conference on the Theory and Application of Cryptographic Techniques Innsbruck, Austria, May 6-10, 2001 Proceedings (s. 280-300). Springer. https://doi.org/10.1007/3-540-44987-6_18
Crazzolara, F., Winskel, G., Agrawal, M. (red.) & Seth, A. (red.) (2002). Composing Strand Spaces. I Ikke angivet (2556 of Lecture Notes in Computer Science udg., Bind 2556/2002, s. 97-108). Springer.
Crazzolara, F. & Winskel, G. (2001). Events in Security Protocols. I Proceedings of the 8th ACM conference on Computer and Communications Security (s. 96-105). Association for Computing Machinery.
Crazzolara, F., Winskel, G., Charpentier, M. (red.) & Sanders, B. (red.) (2001). Petri Nets in Cryptographic Protocols. I Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01) (Bind 15th International Parallel and Distributed Processing Symposium (IPDPS'01) Workshops, s. 149). IEEE Press.
Crepeau, C., Legare, F. & Salvail, L. (2001). How to Convert a Flavor of Quantum Bit Commitment. I Advances in cryptology - EUROCRYPT 2001: Lecture Notes in Computer Science 2045 (Bind 2045, s. 60-77). Springer. http://www.cki.au.dk/publication.html
Cryan, M. & Miltersen, P. B. (2001). On pseudorandom generators in NC0. I J. Sgall, A. Pultr & P. Kolman (red.), Mathematical Foundations of Computer Science 2001: Lecture Notes in Computer Science (Lecture Notes in Computer Science 2136 udg., Bind 2136/2001, s. 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. (red.) (2004). Computational Collapse of Quantum State with Application to Oblivious Transfer. I Ikke angivet (2951 i Lecture Notes in Computer Science udg., s. 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. I M. Naor (red.), Theory of Cryptography: First Theory of Cryptography Conference, TCC 2004, Cambridge, MA, USA, February 19-21, 2004. Proceedings (s. 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. I M. Naor (red.), Theory of Cryptography: First Theory of Cryptography Conference, TCC 2004, Cambridge, MA, USA, February 19-21, 2004. Proceedings (s. 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. I M. Franklin (red.), Advances in Cryptology - CRYPTO 2004: 24th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 2004. Proceedings (s. 254-272). Springer. https://doi.org/10.1007/978-3-540-28628-8_16
Damgård, I. B. & Fujisaki, E. (2002). A Statistically-Hiding Integer Commitment Scheme Based on Groups with Hidden Order. I Y. Zheng (red.), 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 (s. 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. I Proceedings of the thirty-fifth annual ACM symposium on Theory of computing (s. 426-437). Association for Computing Machinery. https://doi.org/10.1145/780542.780605
Damgård, I. B., Groth, J., Salomonsen, G. & Gritzalis, D. (red.) (2002). The Theory and Implementation of Electronic Voting Systems. I Secure Electronic Voting (Bind 7, s. 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. I K. Kim (red.), Public Key Cryptography: 4th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2001 Cheju Island, Korea, February 13-15, 2001 Proceedings (s. 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. I R. Safavi-Naini & J. Seberry (red.), Information Security and Privacy: 8th Australasian Conference, ACISP 2003 Wollongong, Australia, July 9–11, 2003 Proceedings (s. 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. I D. Naccache & P. Pailier (red.), Public Key Cryptography: 5th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2002 Paris, France, February 12-14, 2002 Proceedings (s. 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. I L. R. Knudsen (red.), Advances in Cryptology - EUROCRYPT 2002: International Conference on the Theory and Applications of Cryptographic Techniques Amsterdam, The Netherlands, April 28 - May 2, 2002 Proceedings (s. 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. I B. Pfitzmann (red.), Advances in Cryptology - EUROCRYPT 2001: International Conference on the Theory and Application of Cryptographic Techniques Innsbruck, Austria, May 6-10, 2001 Proceedings (s. 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. I M. Yung (red.), Advances in Cryptology - CRYPTO 2002: 22nd Annual International Cryptology Conference Santa Barbara, California, USA, August 18-22, 2002 Proceedings (s. 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. I M. Yung (red.), Advances in Cryptology - CRYPTO 2002: 22nd Annual International Cryptology Conference Santa Barbara, California, USA, August 18-22, 2002 Proceedings (s. 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. I D. Boneh (red.), Advances in Cryptology - CRYPTO 2003: 23rd Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 2003. Proceedings (s. 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. I C. Cachin & J. Camenisch (red.), Advances in Cryptology - EUROCRYPT 2004: International Conference on the Theory and Applications of Cryptographic Techniques, Interlaken, Switzerland, May 2-6, 2004. Proceedings (s. 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. I K. Østerbye (red.), Proceedings of the Nordic workshop on Software Development Tools and Techniques: NWPER 2002 (s. 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. I F. Pfenning & Y. Smaragdakis (red.), Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003. Proceedings (s. 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. I G. Hedin (red.), 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 (s. 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. I Ikke angivet (CSR-04-1 of Technical Reports udg., s. 13-23). School of Computer Science, University of Birmingham.
Danvy, O. (red.) (2003). Special Issue of Higher-Order and Symbolic Computation: Partial Evaluation and Semantics-Based Program Manipulation. I P. Thiemann (red.), Higher-Order and Symbolic Computation: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2002) (Bind 16(4), s. 295-401). Springer.
Danvy, O., Henglein, F. (red.), Mairson, H. (red.) & Pettorossi, A. (red.) (2003). Special issue of Higher-Order and Symbolic Computation: - in memory of Bob Paige. Springer.

Sortér efter: Dato | Forfatter | Titel

Zhao, M., Li, P., Song, W., Chu, X., Eller, F., Wang, X., Liu, J., Xiao, L., Wei, S., Li, X. & Han, G. (2023). Inundation depth stimulates plant-mediated CH4 emissions by increasing ecosystem carbon uptake and plant height in an estuarine wetland. Functional Ecology, 37(3), 536-550. https://doi.org/10.1111/1365-2435.14258
Fløjgaard, C., Buitenwerf, R. & Ejrnæs, R. (2023). Kortlægning af tætheder af store planteædere i helårsgræsningsprojekter. Aarhus University, DCE - Danish Centre for Environment and Energy. Fagligt notat fra DCE – Nationalt Center for Miljø og Energi (2020-...) Bind 2323 Nr. 5 https://dce.au.dk/fileadmin/dce.au.dk/Udgivelser/Notater_2023/N2023_05.pdf
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), Artikel eadi4029. https://doi.org/10.1126/sciadv.adi4029
Arias, C. A., Vera-Puerto, I. L. & Chaparro, T. R. (2023). Lecciones aprendidas. I K. Cross, K. Tondera, A. Rizzo, L. Andrews, B. Pucher, D. Istenič, N. Karres & R. McDonald (red.), Soluciones basadas en la naturaleza para el tratamiento de aguas residuales (s. 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. I S. Hildebrandt (red.), Det Bæredygtige Danmark. : med Verdensmålene mod 2030 (s. 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), Artikel 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, Artikel 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), Artikel 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), Artikel 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? I N. Bubandt, A. O. Andersen & R. Cypher (red.), Rubber Boots Methods for the Anthropocene: Doing Fieldwork in Multispecies Worlds (s. 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, Artikel 107000. https://doi.org/10.1016/j.resconrec.2023.107000
Rysgaard, S. (2023). Microbial life in Arctic sea ice. Abstract fra Tara Polar Drift, Paris, Frankrig.
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), Artikel 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), Artikel 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. I A. Osman, J. Nagle & S. Tripathi (red.), The Urban Ecologies of Divided Cities: UEDC 2022 (s. 93-96). Springer. https://doi.org/10.1007/978-3-031-27308-7_16