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. 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. (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

Fashing, P. J., Nguyen, N., Demissew, S., Gizaw, A., Atickem, A., Mekonnen, A., Nurmi, N. O., Kerby, J. T. & Stenseth, N. C. (2022). Ecology, evolution, and conservation of Ethiopia’s biodiversity. Proceedings of the National Academy of Sciences (PNAS), 119(50), Artikel e2206635119. https://doi.org/10.1073/pnas.2206635119
Colon, C. P., Botton, M. L., Funch, P., Hoffgaard, E. E., Mandeep, K. & Mansfield, K. (2022). Ecology of Juvenile American Horseshoe Crabs (Limulus polyphemus) at Plumb Beach, Jamaica Bay, New York. I International Horseshoe Crab Conservation and Research Efforts: 2007- 2020: Conservation of Horseshoe Crabs Species Globally (s. 669-690). Springer. https://doi.org/10.1007/978-3-030-82315-3_40
Aguilar, L., Pérez, L. M., Gallegos, Á., Fores, E., Arias, C. A., Bosch, C., Verdum, M., Jove, P., de Pablo, J. & Morató, J. (2022). Effect of aeration on nitrogen removal-associated microbial community in an innovative vertical cork-based constructed wetland for winery wastewater treatment. Ecological Engineering, 185, Artikel 106781. https://doi.org/10.1016/j.ecoleng.2022.106781
Baden, S., Fredriksen, S., Christie, H., Eriander, L., Gustafsson, C., Holmer, M., Olesen, B., Thormar, J. & Boström, C. (2022). Effects of depth and overgrowth of ephemeral macroalgae on a remote subtidal NE Atlantic eelgrass (Zostera marina) community. Marine Pollution Bulletin, 177, Artikel 113497. https://doi.org/10.1016/j.marpolbul.2022.113497
Vera-Puerto, I., Campal, J., Martínez, S., Cortés-Rico, L., Coy, H., Tan, S., Arias, C. A., Baquero-Rodríguez, G. & Rosso, D. (2022). Effects of Environmental Conditions and Bed Configuration on Oxygen Transfer Efficiency in Aerated Constructed Wetlands. Water (Switzerland), 14(20), Artikel 3284. https://doi.org/10.3390/w14203284
Zuquim, G., Benchimol, M., Tonon, R., Peres, C. A. & Storck-Tonon, D. (2022). Effects of forest degradation on Amazonian ferns in a land-bridge island system as revealed by non-specialist inventories. Ecological Solutions and Evidence, 3(1), Artikel e12123. https://doi.org/10.1002/2688-8319.12123
Yin, M., Liu, L., Wu, Y., Sheng, W., Ma, X., Du, N., Zhu, P., Wang, C., Cui, Z., Brix, H., Eller, F. & Guo, W. (2022). Effects of litter species and genetic diversity on plant litter decomposition in coastal wetland. Ecological Indicators, 144, Artikel 109439. https://doi.org/10.1016/j.ecolind.2022.109439
Hylén, A., Bonaglia, S., Robertson, E., Marzocchi, U., Kononets, M. & Hall, P. O. J. (2022). Enhanced benthic nitrous oxide and ammonium production after natural oxygenation of long-term anoxic sediments. Limnology and Oceanography, 67(2), 419-433. https://doi.org/10.1002/lno.12001
Venkataraman, V. V., Miller, C., Foxfoot, I., Lin, B., Petrie, Z. L., Simberloff, R. A., Bernardo, O., Redon, N., Hohn, T. I., Kerby, J. T., Nguyen, N. & Fashing, P. J. (2022). Epizoochorous seed dispersal by an Afroalpine savanna primate. Biotropica, 54(2), 358-369. https://doi.org/10.1111/btp.13057
Panyadee, P., Meunrew, J., Balslev, H. & Inta, A. (2022). Ethnobotany and Ecosystem Services in a Tidal Forest in Thailand. Sustainability, 14(10), Artikel 6322. https://doi.org/10.3390/su14106322
Hersh, T. A., Gero, S., Rendell, L., Cantor, M., Weilgart, L., Amano, M., Dawson, S. M., Slooten, E., Johnson, C. M., Kerr, I., Payne, R., Rogan, A., Antunes, R., Andrews, O., Ferguson, E. L., Hom-Weaver, C. A., Norris, T. F., Barkley, Y. M., Merkens, K. P. ... Whitehead, H. (2022). Evidence from sperm whale clans of symbolic marking in non-human cultures. Proceedings of the National Academy of Sciences (PNAS), 119(37), Artikel e2201692119. https://doi.org/10.1073/pnas.2201692119
Milsom, W. K., Kinkead, R., Hedrick, M. S., Gilmour, K., Perry, S., Gargaglioni, L. & Wang, T. (2022). Evolution of vertebrate respiratory central rhythm generators. Respiratory Physiology and Neurobiology, 295, Artikel 103781. https://doi.org/10.1016/j.resp.2021.103781
Méndez-Quintas, E., Santonja, M., Pérez-González, A., Díaz-Rodríguez, M. & Domínguez, A. S. (2022). Exploring the formation processes on open-air palaeolithic sites: A late Middle Pleistocene Acheulean assemblage at Arbo site (Miño River basin, Spain). Journal of Archaeological Science: Reports, 43, Artikel 103453. https://doi.org/10.1016/j.jasrep.2022.103453
Findlay, C. R., Hastie, G. D., Farcas, A., Merchant, N. D., Risch, D. & Wilson, B. (2022). Exposure of individual harbour seals (Phoca vitulina) and waters surrounding protected habitats to acoustic deterrent noise from aquaculture. Aquatic Conservation: Marine and Freshwater Ecosystems, 32(5), 766-780. https://doi.org/10.1002/aqc.3800
Izadi, S., Aguilar de Soto, N., Constantine, R. & Johnson, M. (2022). Feeding tactics of resident Bryde's whales in New Zealand. Marine Mammal Science, 38(3), 1104-1117. https://doi.org/10.1111/mms.12918
Christiansen, F., Uhart, M. M., Bejder, L., Clapham, P., Ivashchenko, Y., Tormosov, D., Lewin, N. & Sironi, M. (2022). Fetal growth, birth size and energetic cost of gestation in southern right whales. Journal of Physiology, 600(9), 2245-2266. https://doi.org/10.1113/JP282351
Thomsen, E. M., Sonne, A., Bertelsen, M., Vermeulen, E., Ganswindt, A., Wang, T. & Ochala, J. (2022). Fine-regulation of myosin relaxed states in vertebrate muscle. The FASEB Journal, 36(S1). https://doi.org/10.1096/fasebj.2022.36.S1.R4611
Menail, H. A., Cormier, S. B., Ben Youssef, M., Jørgensen, L. B., Vickruck, J. L., Morin, P., Boudreau, L. H. & Pichaud, N. (2022). Flexible Thermal Sensitivity of Mitochondrial Oxygen Consumption and Substrate Oxidation in Flying Insect Species. Frontiers in Physiology, 13, Artikel 897174. https://doi.org/10.3389/fphys.2022.897174
Mikkelsen, P. S. (2022). Gael Hamke Bugt - Young Sund. (1 udg.) Xsirius Books.
Ivy, C. M., Wearing, O. H., Natarajan, C., Schweizer, R. M., Gutiérrez-Pinto, N., Velotta, J. P., Campbell-Staton, S. C., Petersen, E. E., Fago, A., Cheviron, Z. A., Storz, J. F. & Scott, G. R. (2022). Genetic variation in haemoglobin is associated with evolved changes in breathing in high-altitude deer mice. Journal of Experimental Biology, 225(2), Artikel jeb243595. https://doi.org/10.1242/jeb.243595
Liu, S., Tengstedt, A. N. B., Jacobsen, M. W., Pujolar, J. M., Jónsson, B., Lobón-Cervià, J., Bernatchez, L. & Hansen, M. M. (2022). Genome-wide methylation in the panmictic European eel (Anguilla anguilla). Molecular Ecology, 31(16), 4286-4306. https://doi.org/10.1111/mec.16586
Lembrechts, J. J., van den Hoogen, J., Aalto, J., Ashcroft, M. B., De Frenne, P., Kemppinen, J., Kopecký, M., Luoto, M., Maclean, I. M. D., Crowther, T. W., Bailey, J. J., Haesen, S., Klinges, D. H., Niittynen, P., Scheffers, B. R., Van Meerbeek, K., Aartsma, P., Abdalaze, O., Abedi, M. ... Lenoir, J. (2022). Global maps of soil temperature. Global Change Biology, 28(9), 3110-3144. https://doi.org/10.1111/gcb.16060
Tietje, M., Antonelli, A., Baker, W. J., Govaerts, R., Smith, S. A. & Eiserhardt, W. L. (2022). Global variation in diversification rate and species richness are unlinked in plants. Proceedings of the National Academy of Sciences (PNAS), 119(27), Artikel e2120662119. https://doi.org/10.1073/pnas.2120662119