Aarhus University Seal

Publications

The most recently published scientific articles from the Department of Biology. The overview shows the Department's publications with the latest at the top:

Sort by: Date | Author | Title

Jensen, K. (Ed.) (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 presented at Nordic mineralogic Network , 5th annual meeting, Tallinn, Estonia.
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 presented at Nordic Mineralogical Network, 5th annual meeting, Tallinn, Estonia.
Jensen, K. (1998). An Introduction to the Practical Use of Coloured Petri Nets. In W. Reisig & G. Rozenberg (Eds.), Lecture on Petri Nets II: Applications (pp. 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. In G. Rozenberg, H. J. Genrich & G. Roucairol (Eds.), Advances in Petri Nets 1984, Proceedings (pp. 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. In G. Rozenberg, H. Genrich & G. Roucairol (Eds.), Advances in Petri Nets 1984 (Vol. 188, pp. 259-266). Springer. https://doi.org/10.1007/3-540-15204-0_15
Jensen, K. (1987). Coloured Petri Nets. In W. Brauer, W. Reisig & G. Rozenberg (Eds.), Petri Nets: Central Models and Their Properties: Advances in Petri Nets 1986, Part I (Vol. 254, pp. 248-299). Springer. https://doi.org/10.1007/BFb0046842
Jensen, K. (1987). Computer Tools for Construction, Modification and Analysis of Petri Nets. In W. Brauer, W. Reisig & G. Rozenberg (Eds.), Petri Nets: Applications and Relationships to Other Models of Concurrency (Vol. 255/Part II, pp. 4-19). Springer. https://doi.org/10.1007/3-540-17906-2_20
Jensen, K. & Feldbrugge, F. (1987). Petri Net Tool Overview 1986. In W. Brauer, W. Reisig & G. Rozenberg (Eds.), Petri Nets: Applications and Relationships to Other Models of Concurrency (Vol. 255/Part II, pp. 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. In G. Rozenberg (Ed.), Advances in Petri Nets 1990 (pp. 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. In G. Rozenberg (Ed.), Advances in Petri Nets 1990 (pp. 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 presented at SETAC Europe 20th Annual Meeting: Science and Technology for Environmental Protection, Seville, Spain.
Nielsen, L. P. (2007). Kvælstoffjernelse i Skjern Å. In I. Nielsen & H.-H. Schierup (Eds.), Skjern Å (1 ed., pp. 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. In J. W. D. Bakker, W.-P. D. Roever & G. Rozenberg (Eds.), A Decade of Concurrency Reflections and Perspectives (Vol. 803, pp. 230-272). Springer. https://doi.org/10.1007/3-540-58043-3
Jensen, K. (1997). A Brief Introduction to Coloured Petri Nets. In E. Brinksma (Ed.), Tools and Algorithms for the Construction and Analysis of Systems (Vol. 1217, pp. 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. (Ed.) & Trigg, R. H. (Ed.) (1994). The Dexter hypertext reference model. Association for Computing Machinery. Communications, 37(2), 30-39. https://doi.org/10.1145/175235.175237

Sort by: Date | Author | Title