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

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.

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

Jensen, K. (Ed.) (2002). Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, August 28-30, 2002. Department of Computer Science, Aarhus University.

Jensen, K. (Ed.) (2001). Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, August 29-31, 2001. Department of Computer Science, Aarhus University.

Jensen, K. (Ed.) (1999). Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN: Aarhus, Denmark, 13-15 October 1999. Department of Computer Science, Aarhus University.

Jensen, K. (Ed.) (1998). Workshop on Practical Use of Coloured Petri Nets and Design/CPN: Aarhus, Denmark, June 10-12, 1998. Department of Computer Science, Aarhus University.

Jensen, K. (Ed.) (2000). Practical Use of High-level Petri Net. Workshop Proceedings. Department of Computer Science, Aarhus University.

Jensen, K. & Schmidt, E. M. (1986). Pascal Semantics by a Combination of Denotational Semantics and High-level Petri Nets. In G. Rozenberg (Ed.), Advances in Petri Nets 1985 (Vol. 222, pp. 297-329). Springer. https://doi.org/10.1007/BFb0016218

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

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

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

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. (Ed.) (1985). 6th European Workshop on Applications and Theory of Petri Nets. Proceedings: Held in Espoo, Finland in June 1985.

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

Jensen, K. (Ed.) (1992). Application and Theory of Petri Nets. Springer. Lecture Notes in Computer Science Vol. 616 https://doi.org/10.1007/3-540-55676-1

Jensen, K. (Ed.) (2004). Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, October 8-11, 2004. Department of Computer Science, Aarhus University.

Jensen, K. (1987). Coloured Petri Nets: A way to describe and analyse real-world systems - without drowning in unnecessary details. In Proceedings of the fifth International Conference on Systems Engineering (pp. 395-401). IEEE.

Jensen, J. L., Schougaard, K. R., Kjærgaard, M. B. & Toftkjær, T. (2010). PerPos: a Translucent Positioning Middleware Supporting Adaptation of Internal Positioning Processes. Lecture Notes in Computer Science, 6452, 232-251. https://doi.org/10.1007/978-3-642-16955-7_12

Jensen, C. S., Pedersen, T. B. & Thomsen, C. (2010). Multidimensional Databases and Data Warehousing. Morgan & Claypool Publishers. Synthesis Lectures on Data Management Vol. 1 No. 9 https://doi.org/10.2200/S00299ED1V01Y201009DTM009

Jensen, C. S. (2010). Elements of a Spatial Web. Lecture Notes in Computer Science, 6488, 21-21. https://doi.org/10.1007/978-3-642-17616-6_3

Jensen, K., Donatelli, S. & Koutny, M. (Eds.) (2010). Transactions on Petri Nets and Other Models of Concurrency IV: ToPNoC. Springer. Lecture Notes in Computer Science Vol. 6550 https://doi.org/10.1007/978-3-642-18222-8

Jensen, S. H., Madsen, M. & Møller, A. (2011). Modeling the HTML DOM and Browser API in Static Analysis of JavaScript Web Applications. In Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering. ESEC/FSE '11 (pp. 59-69). Association for Computing Machinery. https://doi.org/10.1145/2025113.2025125

Jensen, J. L. (2012). Supporting Seamful Development of Positioning Applications through Model Based Translucent Middleware. Department of Computer Science, Aarhus University.

Jensen, C. S. (2011). Internettet - nu med en geografisk dimension. Villum Fonden. Årsskrift, 40-43. http://www.vkr-fondene.dk/C12576AB0041A865/0/15EDF4537CEFF469C125798E0045AC0E/$file/VeluxAarsskrift2011-DK-web.pdf

Jensen, C. S. (2011). On the Querying for Places on the Mobile Web. Lecture Notes in Computer Science, 6612, 4-4. https://doi.org/10.1007/978-3-642-20291-9_3

Jensen, C. S., Li, K.-J. & Winter, S. (2011). The other 87%: a report on The Second International Workshop on Indoor Spatial Awareness (San Jose, California - November 2, 2010). SIGSPATIAL Special, 3(1), 10-12. https://doi.org/10.1145/1966478.1966483

Jensen, K., Kristensen, L. M. & Mailund, T. (2012). The sweep-line state space exploration method. Theoretical Computer Science, 429, 169–179. https://doi.org/10.1016/j.tcs.2011.12.036

Jensen, S. H., Jonsson, P. A. & Møller, A. (2012). Remedying the Eval that Men Do. In M. Heimdahl & Z. Su (Eds.), 2012 International Symposium on Software Testing and Analysis (ISSTA) : Proceedings (pp. 34-44). Association for Computing Machinery. https://doi.org/10.1145/2338965.2336758

Jensen, C. S., Ofek, E. & Tanin, E. (2012). Highlights from ACM SIGSPATIAL GIS 2011: the 19th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems: (Chicago, Illinois - November 1 - 4, 2011). SIGSPATIAL Special, 4(1), 2-4. https://doi.org/10.1145/2189403.2189404

Jensen, K., Donatelli, S. & Kleijn , J. (Eds.) (2012). Transactions on Petri Nets and Other Models of Concurrency V: ToPNoC. Springer. Lecture Notes in Computer Science Vol. 6900 https://doi.org/10.1007/978-3-642-29072-5

Jensen, K., Aalst, W. M. V. D., Marsan, M. A., Franceschinis, G., Kleijn , J. & Kristensen, L. M. (Eds.) (2012). Transactions on Petri Nets and Other Models of Concurrency VI: ToPNoC. Springer. Lecture Notes in Computer Science Vol. 7400 https://doi.org/10.1007/978-3-642-35179-2

Jensen, S. H. (2013). Static Analysis for JavaScript. Datalogisk Institut, Aarhus Universitet.

Jensen, C. S. (2012). Data management on the spatial web. Proceedings of the VLDB Endowment, 5(12), 1696-1696 . http://dl.acm.org/citation.cfm?id=2367504

Jensen, C. S., Thomsen, J. R. & Yiu, M. L. (2012). Effective caching of shortest paths for location-based services. In Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data (pp. 313-324 ). Association for Computing Machinery. https://doi.org/10.1145/2213836.2213872

Jensen, C. S. (2012). Foreword. In The Knowledge Grid : toward Cyber-Physical Society (2. ed., pp. 5). World Scientific.

Jensen, K., Aalst, W. M. V. D., Balbo, G., Koutny, M. & Wolf, K. (Eds.) (2013). Transactions on Petri Nets and Other Models of Concurrency VII: ToPNoC. Springer VS. Lecture Notes in Computer Science Vol. 7480 https://doi.org/10.1007/978-3-642-38143-0

Jensen, C. S., Jerma, C., Lu, J., Tanin, E. & Zhou, X. (Eds.) (2013). The 2013 IEEE 29th International Conference on Data Engineering. IEEE Communications Society. https://doi.org/10.1109/ICDE.2013.6544799

Jensen, M. M., Rasmussen, M. & Grønbæk, K. (2013). Exploring Opponent Formats: Game Mechanics for Computer-Supported Physical Games. In J. C. Anacleto, E. W. G. Clua, F. S. Correa da Silva, S. Fels & H. S. Yang (Eds.), Entertainment Computing - ICEC 2013: 12th International Conference, ICEC 2013, São Paulo, Brazil, October 16-18, 2013. Proceedings (Vol. 8215, pp. 48-60). Springer VS. https://doi.org/10.1007/978-3-642-41106-9_6

Jensen, C. S., Møller, A. & Su, Z. (2013). Server Interface Descriptions for Automated Testing of JavaScript Web Applications. In B. Meyer, L. Baresi & M. Mezini (Eds.), Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2013 (pp. 510-520 ). Association for Computing Machinery. https://doi.org/10.1145/2491411.2491421

Displaying results 2301 to 2350 out of 5627

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University