Publications

Search for publications at Department of Computer Science

Below you find a complete list of publications published and edited by scientists at the Department of Computer Science

Sort by: Date | Author | Title

Jerrum, M. & Skyum, S. (1984). Families of Fixed Degree Graphs for Processor Interconnection. I E E E Transactions on Computers, C-33(2), 190-194. https://doi.org/10.1109/TC.1984.1676410

Jeronimo, G., Perrucci, D. & Tsigaridas, E. (2011). On the minimum of a polynomial function on a basic closed semialgebraic set and applications. arxiv.org. http://arxiv.org/abs/1112.0544

Jeronimo, G., Perrucci, D. & Tsigaridas, E. (2013). On the minimum of a polynomial function on a basic closed semialgebraic set and applications. S I A M Journal on Optimization, 23(1), 241-255. https://doi.org/10.1137/110857751

Jepsen, S. C., Worm, T., Christensen, H. B., Hviid, J. & Sandig, L. M. (2021). Experience Report: A Systematic Process For Gathering Quality Attribute Requirements for Industry 4.0 Middleware. In Proceedings - 2021 IEEE 25th International Enterprise Distributed Object Computing Conference Workshops, EDOCW 2021 (pp. 166-175). IEEE. https://doi.org/10.1109/EDOCW52865.2021.00046

Jensen et. al, K. (1991). Design/CPN. A Reference Manual. Department of Computer Science, Aarhus University. http://www.daimi.au.dk/designCPN/man/

Jensen, K. & Podelski, A. (Eds.) (2005). Special section on: Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2004: Barcelona, Spain, March 29 - April 2, 2004, Proceedings. Part of ETAPS 2004. Theoretical Computer Science, 345(1), 1-170. https://doi.org/10.1016/j.tcs.2005.07.034

Jensen, K. & Podelski, A. (Eds.) (2004). Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004,Barcelona, Spain, March 29 - April 2, 2004 : proceedings. Springer. Lecture Notes in Computer Science Vol. 2988 https://doi.org/10.1007/b96393

Jensen, M. & Søgaard, M. (2004). Refocusing the Contextual Turn: The Forgotten Construction of Meaning at the Interface. In Ikke angivet (pp. 185-188). Association for Computing Machinery.

Jensen, K. & Podelski, A. (Eds.) (2006). Special Section on "Tools and Algorithms for the Construction and Analysis of Systems". International Journal on Software Tools for Technology Transfer, 8(3), 177-299. https://doi.org/10.1007/s10009-006-0221-5

Jensen, A. N., Lauritzen, N. & Roune, B. H. (2007). Maximal lattice free bodies, test sets and the Frobenius problem. arxiv.org. http://arxiv.org/abs/0705.4439

Jensen, K., Kristensen, L. M. & Wells, L. M. (2007). Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. International Journal on Software Tools for Technology Transfer, 9(3/4), 213-254. https://doi.org/10.1007/s10009-007-0038-x

Jensen, H., Jensen, M. Ø. J., Ringgaard, S., Smerup, M. H., Sørensen, T. S., Wierup, P., Hasenkam, J. M. & Nielsen, S. L. (2008). Geometric Culprits of Papillary Muscle Displacement in Functional Ischemic Mitral Regurgitation Assessed by 3D Magnetic Resonance Imaging. Poster session presented at PhD Day, Aarhus Universitet, Århus, Denmark.

Jensen, H., Jensen, M. Ø. J., Ringgaard, S., Smerup, M. H., Sørensen, T. S., Kim, W. Y., Sloth, E., Wierup, P., Hasenkam, J. M. & Nielsen, S. L. (2007). Geometric Determinants of Chronic Functional Ischemic Mitral Regurgitation - Insights from 3D Cardiac Magnetic Resonance Imaging. Abstract from 4th Biennial Meeting of The Society for Heart Valve Disease, New York, United States.

Jensen, K. (2007). Special Section on Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 9(3-4), 209-411. https://doi.org/10.1007/s10009-007-0039-9

Jensen, H., Jensen, M. Ø. J., Ringgaard, S., Smerup, M. H., Sørensen, T. S., Wierup, P., Hasenkam, J. M. & Nielsen, S. L. (2008). Geometric Culprits of Papillary Muscle Displacement in Functional Ischemic Mitral Regurgitation assessed by 3D Magnetic Resonance Imaging. Heart Surgery Forum, 11(Suppl. 1), 358.

Jensen, H., Jensen, M. Ø. J., Ringgaard, S., Smerup, M. H., Sørensen, T. S., Wierup, P., Hasenkam, J. M. & Nielsen, S. L. (2008). Geometric Culprits of Papillary Muscle Displacement in Functional Ischemic Mitral Regurgitation assessed by 3D Magnetic Resonance Imaging. Poster session presented at 18th World Congress - World Society of Cardio-Thoracic Surgeon, Kos, Greece.

Jensen, H., Jensen, M. Ø. J., Ringgaard, S., Smerup, M. H., Sørensen, T. S., Wierup, P., Hasenkam, J. M. & Nielsen, S. L. (2008). Geometric culprits of papillary muscle displacement in functional ischemic mitral regurgitation assessed by 3D magnetic resonance imaging. Abstract from The 57th Annual Meeting of the Scandinavian Society of Thoracic Surgery and the 28th Annual Meeting of Scandinavian Society of Extra Corporeal Technology, København, Denmark.

Jensen, S. H., Møller, A. & Thiemann, P. (2009). Type Analysis for JavaScript. Lecture Notes in Computer Science, 5673, 238–255. https://doi.org/10.1007/978-3-642-03237-0_17

Jensen, K., Christensen, S., Ravn, K., Ratzer, A., Munck, S., Mortensen, K., Lund, K., Lassen, H. M., Jacecek, P., Andersen, P., Jensen, M., Mackay, W. E. & Beaudouin-Lafon, M. (2001). CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets: ETAPS Tool Demonstration Related to TACAS. In T. Margaria & W. Yi (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (pp. 574-577). Springer. https://doi.org/10.1007/3-540-45319-9_39

Jensen, K. & Rozenberg, G. (Eds.) (1991). High-level Petri Nets: Theory and Applications. Springer.

Jensen, K. & Feldbrugge, F. (1991). Computer Tools for High-level Petri Nets. In K. Jensen & G. Rozenberg (Eds.), High-level Petri Nets. Theory and Application (Vol. Advances in Petri Nets 1991, pp. 691-717). Springer.

Jensen, K., Huber, P. & Shapiro, R. M. (1990). Design/CPN Extensions. (II ed.) Meta Software Corporation.

Jensen, K. (1985). An Introduction to High-level Petri Nets. In Proceedings of the 1985 International Symposium on Circuits and Systems: Kyoto 85 (pp. 723-726). IEEE.

Jensen, K. (1983). High-level Petri Nets. In A. Pagnoni & G. Rozenberg (Eds.), Applications and Theory of Petri Nets: Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, September 27-30, 1982 (Vol. 66, pp. 166-180). Springer.

Jensen, K. & Kyng, M. (1982). Petri Nets and Semantics of System Descriptions. In C. Girault & W. Reisig (Eds.), Application and Theory of Petri Nets: Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets (pp. 64 - 71). Springer.

Jensen, K. (1981). How to Find Invariants for Coloured Petri Nets. In J. Gruska & M. Chytil (Eds.), Mathematical Foundations of Computer Science 1981 (Vol. 118, pp. 327-338). Springer. https://doi.org/10.1007/3-540-10856-4_100

Jensen, K. (1980). A Method to Compare the Descriptive Power of Different Types of Petri Nets. In P. Dembinski (Ed.), Mathematical Foundations of Computer Science 1980 (Vol. 88, pp. 348-361). Springer. https://doi.org/10.1007/BFb0022516

Jensen, K., Kyng, M. & Madsen, O. L. (1979). A Petri Net Definition of a System Description Language. In G. Kahn (Ed.), Semantics of Concurrent Computation (pp. 348 - 368). Springer. https://doi.org/10.1007/BFb0022479

Jensen, K. (1978). Extended and Hyper Petri nets. Aarhus Universitetsforlag. DAIMI TR No. 5

Jensen, K. & Kristensen, L. M. (2009). Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer. https://doi.org/10.1007/b95112

Jensen, K. (1981). Coloured Petri Nets and the Invariant Method. Theoretical Computer Science, 14(3), 317-336. https://doi.org/10.1016/0304-3975(81)90049-9

Jensen, K., Jensen, A. M., Jepsen, L. O. & Huber, P. (1986). Reachability Trees for High-level Petri Nets. Theoretical Computer Science, 45(3), 261-292. https://doi.org/10.1016/0304-3975(86)90046-0

Jensen, K. & Emerson, E. A. (Ed.) (1996). Condensed State Spaces for Symmetrical Coloured Petri Nets. Formal Methods in System Design, 9(1/2), 7-40. https://doi.org/10.1007/BF00625967

Jensen, K., Aalst, W. M. P. V. D. & Billington, J. (Eds.) (2008). Transactions on Petri Nets and Other Models of concurrency I: ToPNoC. Springer. Lecture Notes in Computer Science Vol. 5100 https://doi.org/10.1007/978-3-540-89287-8

Jensen, K. & Wil M.P. van der, A. (Eds.) (2009). Transactions on Petri Nets and Other Models of Concurrency II: ToPNoC : Special Issue on Concurrency in Process-Aware Information Systems. Springer. Lecture Notes in Computer Science Vol. 5460 https://doi.org/10.1007/978-3-642-00899-3

Jensen, K., Billington, J. & Koutny, M. (Eds.) (2009). Transactions on Petri Nets and Other Models of Concurrency III: ToPNoC. Springer. Lecture Notes in Computer Science Vol. 5800 https://doi.org/10.1007/978-3-642-04856-2

Jensen, K. (1997). Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 3, Practical Use. Springer. Monographs in theoretical computer science: an EATCS series

Jensen, K. (1997). Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol 1, Basic Concepts. (2. ed., 2. corr. printing ed.) Springer. Monographs in theoretical computer science: an EATCS series

Jensen, K. (1995). Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods. Springer. Monographs in theoretical computer science: an EATCS series

Jensen, K. (Ed.) (1998). Special Section on Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2(2), 95-191. https://doi.org/10.1007/s100090050020

Jensen, K. (Ed.) (2001). Special Section on Practical Use of High-level Petri Nets. International Journal on Software Tools for Technology Transfer, 3(4), 369-430. https://doi.org/10.1007/s100090100066

Jensen, K. (Ed.) (2008). Special Section on Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 10(1), 1-110. https://doi.org/10.1007/s10009-007-0056-8

Jensen, H., Jensen, M. Ø. J., Smerup, M. H., Ringgaard, S., Sørensen, T. S., Andersen, N. T., Wierup, P., Hasenkam, J. M. & Nielsen, S. L. (2010). Three-dimensional assessment of papillary muscle displacement in a porcine model of ischemic mitral regurgitation. Journal of Thoracic and Cardiovascular Surgery, 140(6), 1312-1318. https://doi.org/10.1016/j.jtcvs.2009.12.042

Jensen, S. H., Møller, A. & Thiemann, P. (2010). Interprocedural Analysis with Lazy Propagation. Lecture Notes in Computer Science, 6337, 320-339. https://doi.org/10.1007/978-3-642-15769-1_20

Jensen, K., Kyng, M. & Madsen, O. L. (1979). Delta Semantics Defined By Petri Nets. Aarhus Universitetsforlag.

Jensen, K. & Kyng, M. (1980). Epsilon. A System Description Language. Department of Computer Science, Aarhus University.

Jensen, K. (Ed.) (2008). Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, October 20-22, 2008. Department of Computer Science, Aarhus University. DAIMI PB No. 588

Jensen, K. (Ed.) (2009). Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, October 19-21, 2009. Department of Computer Science, Aarhus University.

Jensen, K. (Ed.) (2007). Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, October 22-24, 2007. Department of Computer Science, Aarhus University. DAIMI PB No. 584

Jensen, K. (Ed.) (2006). Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, October 24-26, 2006. Department of Computer Science, Aarhus University.

Displaying results 2351 to 2400 out of 5797

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University