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

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), Artikel 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), Artikel 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, Artikel 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. [Ph.d.-afhandling, Aarhus Universitet]. 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), Artikel 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), Artikel 151205. https://doi.org/10.1016/j.scitotenv.2021.151205
Agersnap, S. (2022). Analysis of coastal marine biodiversity using environmental DNA metabarcoding. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.
Cadiz Escobar, M. I., Hansen, M. M., Fox, A. D. & Sørensen, I. H. (2022). Analyzing the demographic history of Melanitta fusca using whole-genome sequencing data. Poster-session præsenteret på Finnish Society for Bioinformatics: Bioinformatics Day 2002, Espoo, Finland.
Vynne, C., Gosling, J., Maney, C., Dinerstein, E., Lee, A. T. L., Burgess, N. D., Fernández, N., Fernando, S., Jhala, H., Jhala, Y., Noss, R. F., Proctor, M. F., Schipper, J., González-Maya, J. F., Joshi, A. R., Olson, D., Ripple, W. J. & Svenning, J. C. (2022). An ecoregion-based approach to restoring the world's intact large mammal assemblages. Ecography, 2022(4). https://doi.org/10.1111/ecog.06098
Perry, S. F. & Wang, T. (2022). A new model for sodium uptake in the zebrafish gill. Acta Physiologica, 234(3), Artikel e13787. https://doi.org/10.1111/apha.13787
Lundgren, E. J., Ramp, D., Middleton, O. S., Wooster, E. I. F., Kusch, E., Balisi, M., Ripple, W. J., Hasselerharm, C. D., Sanchez, J. N., Mills, M. & Wallach, A. D. (2022). A novel trophic cascade between cougars and feral donkeys shapes desert wetlands. Journal of Animal Ecology, 91(12), 2348-2357. https://doi.org/10.1111/1365-2656.13766
Lammers , A., Bushi, S. N., Zweers, H., Bilde, T., Schramm, A., Garbeva, P. & Lalk, M. (2022). Antimicrobial volatiles emitted by members of the nest microbiome of social spiders. FEMS Microbiology Letters, 369(1), Artikel fnac088. https://doi.org/10.1093/femsle/fnac088
Von Oppen, J. (2022). Arctic shrubs between macro- and microclimate: lessons across scales from Western Greenland. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.
Feng, X., Enquist, B. J., Park, D. S., Boyle, B., Breshears, D. D., Gallagher, R. V., Lien, A., Newman, E. A., Burger, J. R., Maitner, B. S., Merow, C., Li, Y., Huynh, K. M., Ernst, K., Baldwin, E., Foden, W., Hannah, L., Jørgensen, P. M., Kraft, N. J. B. ... López-Hoffman, L. (2022). A review of the heterogeneous landscape of biodiversity databases: Opportunities and challenges for a synthesized biodiversity knowledge base. Global Ecology and Biogeography, 31(7), 1242-1260. https://doi.org/10.1111/geb.13497
Williams, C., Kirby, A., Marghoub, A., Kever, L., Ostashevskaya-Gohstand, S., Bertazzo, S., Moazen, M., Abzhanov, A., Herrel, A., Evans, S. & Vickaryous, M. (2022). A review of the osteoderms of lizards (Reptilia: Squamata). Biological Reviews, 97(1), 1-19. https://doi.org/10.1111/brv.12788
Khan, C., Blount, D., Parham, J., Holmberg, J., Hamilton, P., Charlton, C., Christiansen, F., Johnston, D., Rayment, W., Dawson, S., Vermeulen, E., Rowntree, V., Groch, K., Levenson, J. J. & Bogucki, R. (2022). Artificial intelligence for right whale photo identification: from data science competition to worldwide collaboration. Mammalian Biology, 102(3), 1025-1042. https://doi.org/10.1007/s42991-022-00253-3
Nguyen-Ngoc, L., Dao, H. V., Lund-Hansen, L. C., Vo, T. S. & Smith, W. O. (2022). A special issue on the 100th Anniversary of Institute of Oceanography, Vietnam Academy of Science and Technology. Regional Studies in Marine Science, 56, Artikel 102669. https://doi.org/10.1016/j.rsma.2022.102669
Kolyaie, S. (2022). Assessing Arctic vegetation across scales: Insight from remote sensing data. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.
Dubos, N., Préau, C., Lenormand, M., Papuga, G., Monsarrat, S., Denelle, P., Louarn, M. L., Heremans, S., May, R., Roche, P. & Luque, S. (2022). Assessing the effect of sample bias correction in species distribution models. Ecological Indicators, 145, Artikel 109487. https://doi.org/10.1016/j.ecolind.2022.109487
Mapelli, F., Barbato, M., Chouaia, B., Riva, V., Daffonchio, D. & Borin, S. (2022). Bacterial community structure and diversity along the halocline of Tyro deep-sea hypersaline anoxic basin. Annals of Microbiology, 72(1), Artikel 7. https://doi.org/10.1186/s13213-022-01667-7
Nazario, E. C., Cade, D. E., Bierlich, K. C., Czapanskiy, M. F., Goldbogen, J. A., Kahane-Rapport, S. R., van der Hoop, J. M., San Luis, M. T. & Friedlaender, A. S. (2022). Baleen whale inhalation variability revealed using animal-borne video tags. PeerJ, 10, Artikel e13724. https://doi.org/10.7717/peerj.13724
Videsen, S. K. A. (2022). Behavioral ecology of humpback whales. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.
Koma, Z., Seijmonsbergen, A. C., Grootes, M. W., Nattino, F., Groot, J., Sierdsema, H., Foppen, R. P. B. & Kissling, W. D. (2022). Better together? Assessing different remote sensing products for predicting habitat suitability of wetland birds. Diversity and Distributions, 28(4), 685-699. https://doi.org/10.1111/ddi.13468
Apablaza, H., Solís, M., Conejera, D., Fonseca, A., Cid, J., Tarifeño-Saldivia, E., Valenzuela, S., Emhart, V. & Fernández, M. (2022). bHLH Transcription Factors Undergo Alternative Splicing During Cold Acclimation in a Eucalyptus hybrid. Plant Molecular Biology Reporter, 40(2), 310-326. https://doi.org/10.1007/s11105-021-01313-7
Gomes, A., Christensen, J., Gründger, F., Kjeldsen, K. U., Rysgaard, S. & Vergeynst, L. (2022). Biodegradation of water-accommodated aromatic oil compounds by Arctic marine bacteria. Abstract fra XIV Portuguese Conference on Polar Sciences, Faro, Portugal.
Perino, A., Pereira, H. M., Felipe-Lucia, M., Kim, H. J., Kühl, H. S., Marselle, M. R., Meya, J. N., Meyer, C., Navarro, L. M., van Klink, R., Albert, G., Barratt, C. D., Bruelheide, H., Cao, Y., Chamoin, A., Darbi, M., Dornelas, M., Eisenhauer, N., Essl, F. ... Bonn, A. (2022). Biodiversity post-2020: Closing the gap between global targets and national-level implementation. Conservation Letters, 15(2), Artikel e12848. https://doi.org/10.1111/conl.12848
Møllebjerg, A. & Meyer, R. L. (2022). Biofouling Control in Water Filtration Systems. I Antibiofilm Strategies: Current and Future Applications to Prevent, Control and Eradicate Biofilms (s. 521–551). Springer. https://doi.org/10.1007/978-3-031-10992-8_20