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

Jensen, K. (red.) (2000). Practical Use of High-level Petri Net. Workshop Proceedings. Department of Computer Science, Aarhus University.
Pacheco, J. P., Iglesias, C., Meerhoff, M., Fosalba, C., Goyenola, G., Teixeira-de Mello, F., García, S., Gelós, M. & García-Rodríguez, F. (2010). Phytoplankton community structure in five subtropical shallow lakes with different trophic status (Uruguay): a morphology-based approach. Hydrobiologia, 646(1), 187-197. https://doi.org/10.1007/s10750-010-0180-4
Kazerouni, A. M., Friis, H. & Svendsen, J. B. (2010). Active silica sources in the Sele formation and quartz cementation in mudstone-Examples from the Siri Canyon, Danish North Sea. Poster-session præsenteret på Nordic mineralogic Network , 5th annual meeting, Tallinn, Estland.
Kazerouni, A. M., Friis, H. & Hansen, J. P. V. (2010). Diagenetic alteration process of chlorite in Tyr Member sandstone, Siri Canyon, Danish North Sea. Poster-session præsenteret på Nordic Mineralogical Network, 5th annual meeting, Tallinn, Estland.
Jensen, K. (1998). An Introduction to the Practical Use of Coloured Petri Nets. I W. Reisig & G. Rozenberg (red.), Lecture on Petri Nets II: Applications (s. 237-292). Springer. https://doi.org/10.1007/3-540-65307-4_50
Huber, P., Jensen, A. M., Jepsen, L. O. & Jensen, K. (1985). Towards Reachability Trees for High-level Petri Nets. I G. Rozenberg, H. J. Genrich & G. Roucairol (red.), Advances in Petri Nets 1984, Proceedings (s. 215-233). Springer. https://doi.org/10.1007/3-540-15204-0_13
Jensen, K. (1985). The Design of a Program Package for an Introductory Petri Net Course. I G. Rozenberg, H. Genrich & G. Roucairol (red.), Advances in Petri Nets 1984 (Bind 188, s. 259-266). Springer. https://doi.org/10.1007/3-540-15204-0_15
Jensen, K. (1987). Coloured Petri Nets. I W. Brauer, W. Reisig & G. Rozenberg (red.), Petri Nets: Central Models and Their Properties: Advances in Petri Nets 1986, Part I (Bind 254, s. 248-299). Springer. https://doi.org/10.1007/BFb0046842
Jensen, K. (1987). Computer Tools for Construction, Modification and Analysis of Petri Nets. I W. Brauer, W. Reisig & G. Rozenberg (red.), Petri Nets: Applications and Relationships to Other Models of Concurrency (Bind 255/Part II, s. 4-19). Springer. https://doi.org/10.1007/3-540-17906-2_20
Jensen, K. & Feldbrugge, F. (1987). Petri Net Tool Overview 1986. I W. Brauer, W. Reisig & G. Rozenberg (red.), Petri Nets: Applications and Relationships to Other Models of Concurrency (Bind 255/Part II, s. 20-61). Springer. https://doi.org/10.1007/3-540-17906-2
Huber, P., Jensen, K. & Shapiro, R. M. (1991). Hierarchies in Coloured Petri Nets. I G. Rozenberg (red.), Advances in Petri Nets 1990 (s. 313-341). Springer. https://doi.org/10.1007/3-540-53863-1_30
Jensen, K. (1991). Coloured Petri Nets: A High-level Language for System Design and Analysis. I G. Rozenberg (red.), Advances in Petri Nets 1990 (s. 342-416). Springer. https://doi.org/10.1007/3-540-53863-1_31
Hayashi, Y., Pedersen, H., Wang, J., Scott-Fordsmand, J. J., Sutherland, D. & Heckmann, L.-H. (2010). Earthworm nano‐ecotoxicology: Towards an integrated approach in toxicity testing of metal nanoparticles. Poster-session præsenteret på SETAC Europe 20th Annual Meeting: Science and Technology for Environmental Protection, Seville, Spanien.
Nielsen, L. P. (2007). Kvælstoffjernelse i Skjern Å. I I. Nielsen & H.-H. Schierup (red.), Skjern Å (1 udg., s. 138-147). Aarhus Universitetsforlag.
Bennett, J. R. & Hansen, B. (2000). The taxonomy and biology of Strobilanthes cernue Blume (Acenthaceae). Oxford Plant Systematics, 8, 4-7.
Gorczyca, I., Suski, T., Kaminska, A., Staszczak, G., Schenk, H. P. D., Christensen, N. E. & Svane, A. (2010). In-clustering effects in InAlN and InGaN revealed by high pressure studies. Physica Status Solidi. A: Applications and Materials Science, 207(6), 1369-1371. https://doi.org/10.1002/pssa.200983491
Jensen, K. (1994). An Introduction to the Theoretical Aspects of Coloured Petri nets. I J. W. D. Bakker, W.-P. D. Roever & G. Rozenberg (red.), A Decade of Concurrency Reflections and Perspectives (Bind 803, s. 230-272). Springer. https://doi.org/10.1007/3-540-58043-3
Jensen, K. (1997). A Brief Introduction to Coloured Petri Nets. I E. Brinksma (red.), Tools and Algorithms for the Construction and Analysis of Systems (Bind 1217, s. 203-208). Springer. https://doi.org/10.1007/BFb0035389
Jensen, K. (1992). Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts. Springer. Monographs in theoretical computer science: an EATCS series
Grønbæk, K. (1990). Supporting Active User Involvment in Prototyping. Scandinavian Journal of Information Systems, 2(1).
Bødker, S., Grønbæk, K. & Trigg, R. (1991). Open-Ended Interaction in Cooperative Pro-to-typing: A Video-based Analysis. Scandinavian Journal of Information Systems, 3, 63 - 86.
Grønbæk, K., Madsen, O. L., Sloth, L. & Hem, J. A. (1994). Cooperative Hypermedia Systems: A Dexter-based architecture. Association for Computing Machinery. Communications, 37(2), 64 - 74. https://doi.org/10.1145/175235.175240
Grønbæk, K. & Trigg, R. H. (1994). Hypermedia System: Design Applying Dexter Model. Association for Computing Machinery. Communications, 37(2), 26-29. https://doi.org/10.1145/175235.175236
Halasz, F., Schwartz, M., Grønbæk, K. (red.) & Trigg, R. H. (red.) (1994). The Dexter hypertext reference model. Association for Computing Machinery. Communications, 37(2), 30-39. https://doi.org/10.1145/175235.175237
Mølmer, K. (2010). Rydberg blockade schemes for entanglement of atoms and light. American Physical Society. Bulletin, (5).

Sortér efter: Dato | Forfatter | Titel