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

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. I K. Jensen (red.), 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools (PB-570 of Daimi Reports udg., s. 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. I J. Desel, W. Reisig & G. Rozenberg (red.), Lectures on Concurrency and Petri Nets (s. 626-685). Springer. https://doi.org/10.1007/b98282
Kristensen, L. M. & Mailund, T. (2002). A Compositional Sweep-Line State Space Exploration Method. I 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 udg., Bind 2529, s. 327-343). Springer.
Kristensen, L. M. & Mailund, T. (2002). A Generalised Sweep-Line Method for Safety Properties. I FME 2002: Formal Methods - Getting IT Right (Lecture Notes in Computer Science udg., Bind 2391, s. 549-567). Springer.
Kristensen, L. M. & Mailund, T. (2003). Efficient Path Finding with the Sweep-Line Method using External Storage. I Proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003: Formal Methods and Software Engineering (2885 of Lecture Notes in Computer Science udg., Bind 2885/2003, s. 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. I E E E Transactions on Systems, Man and Cybernetics, Part A: Systems & Humans, 34(1), 23-38.
Kristensen, L. M., Mitchell, B., Zhang, L. & Jensen, K. (red.) (2004). Formal Specification and State Space Analysis of an Operational Planning Process. I Proc. of 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools (PB-570 of Daimi Reports udg., s. 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. I J. Cortadella & W. Reisig (red.), 25th International Conference on Application and Theory of Petri Nets: Lecture Notes in Computer Science (3099 i Lecture Notes in Computer Science udg., Bind Tool Papers, s. 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. Afhandling præsenteret på 9th International Command and Control Research and Technology Symposium (ICCRTS), København, Danmark.
Krogh, P. G. & Grønbæk, K. (2001). Roomware and intelligent Buildings - buildings and objects become computer interfaces! I P. Bille (red.), Architectural Research and Information Technology (s. 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. (red.) (2004). MASPEGHI 2004 - Mechanisms for Specialization, Generalization, and Inheritance. I B. M. Østvold & J. Malenfant (red.), Object-Oriented Technology. ECOOP 2004 Workshop Reader: ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports (s. 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. I Computability and Complexity in Analysis 2003 (302 of Informatic Berichte udg., s. 279-302). Fern-Universität Hagen.
Larsen, R. D. & Bouvin, N. O. (2004). HyperPeer: Searching for resemblance in a P2P network. I Fifteenth ACM conference on Hypertext & Hypermedia (s. 268-269). Association for Computing Machinery. https://doi.org/10.1145/1012807.1012873
Lee, J. (2004). Reverse Code Generation for Java Program Model Checking. Afhandling præsenteret på 6th school on MOdeling and VErifying parallel Processes (MOVEP '04), Bruxelles, Belgien.
Lindstrøm, B. & Haider, S. (2001). Equivalent Coloured Petri Net Models of a Class of Timed Influence Nets with Logic. I K. Jensen (red.), Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (s. 35-55). Department of Computer Science, Aarhus University.
Lindstrøm, B. & Wells, L. M. (2002). Annotating Coloured Petri Nets. I K. Jensen (red.), Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, August 28-30, 2002 (s. 39-58). Department of Computer Science, University of Aarhus.
Lindstrøm, B., Wells, L., Silva, M. (red.), Giva, A. (red.) & Colom, J. M. (red.) (2002). Towards a Monitoring Framework for Discrete-Event System Simulations. I Ikke angivet (s. 127-134). IEEE Computer Society Press.
Lorentsen, L. & Kristensen, L. M. (2001). Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method. I A. Valmari & A. Yakoviev (red.), Proceedings of Second International Conference on Application of Concurrency to System Design (ACSD'01) (Bind ACSD, s. 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. I Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24-30, 2002 Proceedings (s. 15 - 45). Springer. https://doi.org/10.1007/3-540-48068-4_18
Lorenz, D. H., Ernst, E. & Aksit, M. (red.) (2003). Aspects and Polymorphism in AspectJ. I Proc. of AOSD'03: Proceedings of the 2nd international conference on Aspect-oriented software development (s. 150-157). Association for Computing Machinery. https://doi.org/10.1145/643603.643619
Ludvigsen, M. (2002). Playful Interaction. Afhandling præsenteret på IRIS 2002 Jamboree/review at the International Conference on Ubiquitous Computing, Göteborg, Sverige.
Lund, H. H., Mayoh, B. H. & Perram, J. (2001). Seventh Scandinavian Conference on Artificial Intelligence. I Frontiers in Artificial Intelligence and Applications (66 udg.). IOS Press.
Lyngsø, R. B., Pedersen, C. N. S., Eades, P. (red.) & Takaoka, T. (red.) (2001). Complexity of Comparing Hidden Markov Models. I Ikke angivet (2223 of Lecture Notes in Computer Science udg., s. 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. (red.), Yao, X. (red.), Greenwood, G. (red.), Iba, H. (red.), Marrow, P. (red.) & Shackleton, M. (red.) (2002). Extending Particle Swarm Optimisers with Self-Organized Criticality. I Proceedings of the 2002 Congress on Evolutionary Computation : CEC'02 (Bind 2, s. 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. I J. Marks & E. D. Mynatt (red.), Proceedings of the 14th annual ACM symposium on User interface software and technology (s. 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. I Proceedings of the 12th ACM Conference on Hypertext and Hypermedia (s. 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. I Extended abstracts of the 2004 conference on Human factors and computing systems (s. 1715-1716). Association for Computing Machinery.
Mayoh, B. H., Shafazand, H. (red.) & Tjoa, A. M. (red.) (2002). Evolution of Cooperation in Multiagent Systems. I Proceeding of EurAsia-ICT 2002: Information and Communication Technology (2510 of Lecture Notes in Computer Science udg., s. 701-710). Springer.
Miltersen, P. B., Rajasekaran, S. (red.), Pardalos, P. M. (red.), Reif, J. H. (red.) & Rolim, J. D. P. (red.) (2001). Derandomizing complexity classes. I Handbook on Randomized Computing: Combinatorial Optimization, Vol. 9 (chapter 19 udg., Bind II, chapter 19, s. 843-935). Kluwer Academic Publishers (Springer).
Miltersen, P. B., Radhakrishnan, J. & Wegener, I. (2003). On converting CNF to DNF. I B. Rovan & P. Vojtás (red.), Mathematical Foundations of Computer Science 2003: 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings (s. 612-621). Springer. https://doi.org/10.1007/978-3-540-45138-9_55
Mogensen, P. H. (2001). Interactive Workspaces: Demo. Afhandling præsenteret på Nordic Interactive Conference, Cobenhagen, Danmark.
Mogensen, P. H., Grønbæk, K., Christensen, M. & Ørbæk, P. (2001). Open 3D spatial Hypermedia as Roomware Components for Interactive Workspaces. I K. Grønbæk (red.), Conference on Hypertext and Hypermedia: Proceedings of the 12th ACM conference on Hypertext and Hypermedia (Bind Session: Presentations, s. Demo). Society for Industrial and Applied Mathematics.
Mogensen, P. (2001). Workspace - distributed work support through spatial computing environments. Afhandling præsenteret på Disappearing Computer Jamboree, Zürich, Schweiz.
Mortensen, K. H. (2001). Efficient Data-Structures and Algorithms for a Coloured Petri Nets Simulator. I K. Jensen (red.), Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (s. 57-75). Department of Computer Science, Aarhus University.
Mortensen, K. H., Schougaard, K. R., Schultz, U. P., Markopoulos, P. (red.), Eggen, B. (red.) & Aarts (red.) (2004). Distance-Based Access Modifiers Applied to Safety in Home Networks. I Ambient Intelligence: Second European Symposium (3295 i Lecture Notes in Computer Science udg., s. 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ér efter: Dato | Forfatter | Titel

Nguanchoo, V., Wangpakapattanawong, P., Balslev, H. & Inta, A. (2022). Hmong Medicinal Plant Knowledge Transmission and Retention in Social Modernity. Human Ecology, 50(3), 419-433. https://doi.org/10.1007/s10745-022-00326-4
Parthasarathy, B., Müller, M., Bilde, T. & Schneider, J. M. (2022). Hunger state and not personality determines task participation in a spider society. Animal Behaviour, 190, 143-152. https://doi.org/10.1016/j.anbehav.2022.06.002
Dugal, L., Thomas, L., Jensen, M. R., Sigsgaard, E. E., Simpson, T., Jarman, S., Thomsen, P. F. & Meekan, M. (2022). Individual haplotyping of whale sharks from seawater environmental DNA. Molecular Ecology Resources, 22(1), 56-65. https://doi.org/10.1111/1755-0998.13451
Prendin, A. L., Normand, S., Carrer, M., Bjerregaard Pedersen, N., Matthiesen, H., Westergaard‐Nielsen, A., Elberling, B., Treier, U. A. & Hollesen, J. (2022). Influences of summer warming and nutrient availability on Salix glauca L. growth in Greenland along an ice to sea gradient. Scientific Reports, 12(1), Artikel 3077. https://doi.org/10.1038/s41598-022-05322-8
Hirtle, N. O., Stepanuk, J. E. F., Heywood, E. I., Christiansen, F. & Thorne, L. H. (2022). Integrating 3D models with morphometric measurements to improve volumetric estimates in marine mammals. Methods in Ecology and Evolution, 13(11), 2478-2490. https://doi.org/10.1111/2041-210X.13962
Guasch, H., Bernal, S., Bruno, D., Almroth, B. C., Cochero, J., Corcoll, N., Cornejo, D., Gacia, E., Kroll, A., Lavoie, I., Ledesma, J. L. J., Lupon, A., Margenat, H., Morin, S., Navarro, E., Ribot, M., Riis, T., Schmitt-Jansen, M., Tlili, A. & Martí, E. (2022). Interactions between microplastics and benthic biofilms in fluvial ecosystems: Knowledge gaps and future trends. Freshwater Science, 41(3), 442-458. https://doi.org/10.1086/721472
Counsell, C. W. W., Coleman, R. R., Lal, S. S., Bowen, B. W., Franklin, E. C., Neuheimer, A. B., Powell, B. S., Toonen, R. J., Donahue, M. J., Hixon, M. A. & McManus, M. A. (2022). Interdisciplinary analysis of larval dispersal for a coral reef fish: opening the black box. Marine Ecology Progress Series, 684, 117-132. https://doi.org/10.3354/meps13971
Noer, N. K., Ørsted, M., Schiffer, M., Hoffmann, A. A., Bahrndorff, S. & Kristensen, T. N. (2022). Into the wild - a field study on the evolutionary and ecological importance of thermal plasticity in ectotherms across temperate and tropical regions. Philosophical Transactions of the Royal Society B: Biological Sciences, 377(1846), Artikel 20210004. https://doi.org/10.1098/rstb.2021.0004
Stief, P., Schauberger, C., Lund, M. B., Greve, A., Abed, R. M. M., Al-Najjar, M. A. A., Attard, K., Bonaglia, S., Deutzmann, J. S., Franco-Cisterna, B., García-Robledo, E., Holtappels, M., John, U., Maciute, A., Magee, M. J., Pors, R., Santl-Temkiv, T., Scherwass, A., Sevilgen, D. S. ... Kamp, A. (2022). Intracellular nitrate storage by diatoms can be an important nitrogen pool in freshwater and marine ecosystems. Communications Earth & Environment, 3(1), Artikel 154. https://doi.org/10.1038/s43247-022-00485-8
Houstin, A., Zitterbart, D. P., Heerah, K., Eisen, O., Planas-Bielsa, V., Fabry, B. & Le Bohec, C. (2022). Juvenile emperor penguin range calls for extended conservation measures in the Southern Ocean. Royal Society Open Science, 9(8), Artikel 211708. https://doi.org/10.1098/rsos.211708
Weber, P. L., Pesch, C., Hermansen, C., Møldrup, P., Greve, M. H., Arthur, E., Norgaard, T. & de Jonge, L. W. (2022). Kan gletsjermel forbedre grønlandsk landbrugsjord?. Poster-session præsenteret på Grønne Sammen – Den Grønne Festival, Viborg, Danmark.
McHuron, E. A., Adamczak, S., Arnould, J. P. Y., Ashe, E., Booth, C., Don Bowen, W., Christiansen, F., Chudzinska, M., Costa, D. P., Fahlman, A., Farmer, N. A., Fortune, S. M. E., Gallagher, C. A., Keen, K. A., Madsen, P. T., McMahon, C. R., Nabe-Nielsen, J., Noren, D. P., Noren, S. R. ... Williams, R. (2022). Key questions in marine mammal bioenergetics. Conservation Physiology, 10(1), Artikel coac055. https://doi.org/10.1093/conphys/coac055
Tyrrell, P., Amoke, I., Betjes, K., Broekhuis, F., Buitenwerf, R., Carroll, S., Hahn, N., Haywood, D., Klaassen, B., Løvschal, M., Macdonald, D., Maiyo, K., Mbithi, H., Mwangi, N., Ochola, C., Odire, E., Ondrusek, V., Ratemo, J., Pope, F. ... Wall, J. (2022). Landscape Dynamics (landDX) an open-access spatial-temporal database for the Kenya-Tanzania borderlands. Scientific Data, 9, Artikel 8. https://doi.org/10.1038/s41597-021-01100-9
Scoma, A., Khor, W. C., Coma, M., Heyer, R., Props, R., Bouts, T., Benndorf, D., Li, D., Zhang, H. & Rabaey, K. (2022). Lignocellulose Fermentation Products Generated by Giant Panda Gut Microbiomes Depend Ultimately on pH Rather than Portion of Bamboo: A Preliminary Study. Microorganisms, 10(5), Artikel 978. https://doi.org/10.3390/microorganisms10050978
Figueiredo, F. O. G., André, T., Moulatlet, G. M., Saka, M. N., Araujo, M. H. T., Tuomisto, H., Zuquim, G., Emílio, T., Balslev, H., Borchsenius, F., Campos, J. V., Silveira, M., Rodrigues, D. J. & Costa, F. R. C. (2022). Linking high diversification rates of rapidly growing Amazonian plants to geophysical landscape transformations promoted by Andean uplift. Botanical Journal of the Linnean Society, 199(1), 36-52. https://doi.org/10.1093/botlinnean/boab097
Marca-Zevallos, M. J., Moulatlet, G. M., Sousa, T. R., Schietti, J., Coelho, L. D. S., Ramos, J. F., Lima Filho, D. D. A., Amaral, I. L., de Almeida Matos, F. D., Rincón, L. M., Cardenas Revilla, J. D., Pansonato, M. P., Gribel, R., Barbosa, E. M., Miranda, I. P. D. A., Bonates, L. C. D. M., Guevara, J. E., Salomão, R. P., Ferreira, L. V. ... Costa, F. R. C. (2022). Local hydrological conditions influence tree diversity and composition across the Amazon basin. Ecography, 2022(11), Artikel e06125. https://doi.org/10.1111/ecog.06125
Merl, T., Rasmussen, M. R., Koch, L. R., Søndergaard, J. V., Bust, F. F. & Koren, K. (2022). Measuring soil pH at in situ like conditions using optical pH sensors (pH-optodes). Soil Biology and Biochemistry, 175, Artikel 108862. https://doi.org/10.1016/j.soilbio.2022.108862
Méndez, L., Viana, D. S., Alzate, A., Kissling, W. D., Eiserhardt, W. L., Rozzi, R., Rakotoarinivo, M. & Onstein, R. E. (2022). Megafrugivores as fading shadows of the past: extant frugivores and the abiotic environment as the most important determinants of the distribution of palms in Madagascar. Ecography, 2022(2), Artikel e05885. https://doi.org/10.1111/ecog.05885
Herschend, J., Ernst, M., Koren, K., Melnik, A. V., da Silva, R. R., Røder, H. L., Damholt, Z. B. V., Hägglund, P., Svensson, B., Sørensen, S. J., Kühl, M., Dorrestein, P. C. & Burmølle, M. (2022). Metabolic Profiling of Interspecies Interactions During Sessile Bacterial Cultivation Reveals Growth and Sporulation Induction in Paenibacillus amylolyticus in Response to Xanthomonas retroflexus. Frontiers in cellular and infection microbiology, 12, Artikel 805473. https://doi.org/10.3389/fcimb.2022.805473
Chakraborty, A., Rattray, J. E., Drake, S. S., Matthews, S., Li, C., Jørgensen, B. B. & Hubert, C. R. J. (2022). Metabolic responses of thermophilic endospores to sudden heat-induced perturbation in marine sediment samples. Frontiers in Microbiology, 13, Artikel 958417. https://doi.org/10.3389/fmicb.2022.958417
Pellerin, A., Lotem, N., Walter Anthony, K., Eliani Russak, E., Hasson, N., Røy, H., Chanton, J. P. & Sivan, O. (2022). Methane production controls in a young thermokarst lake formed by abrupt permafrost thaw. Global change biology, 28(10), 3206-3221. https://doi.org/10.1111/gcb.16151
Šantl-Temkiv, T., Amato, P., Casamayor, E. O., Lee, P. K. H. & Pointing, S. B. (2022). Microbial ecology of the atmosphere. FEMS Microbiology Reviews, 46(4), Artikel fuac009. https://doi.org/10.1093/femsre/fuac009
Wang, A., Wang, B., Guo, Z., Cai, W. & Liu, W. (2022). Microbial electrochemical communication in carbon and electron flow for CO2 methanation. I Z. J. Ren & K. Pagilla (red.), Pathways to Water Sector Decarbonization, Carbon Capture and Utilization (s. 227-247). IWA Publishing. https://doi.org/10.2166/9781789061796_0227