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, 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, 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, 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

Jensen, C. S., Prasad, M. R. & Møller, A. (2013). Automated Testing with Targeted Event Sequence Generation. In M. Pezzè & M. Harman (Eds.), International Symposium on Software Testing and Analysis (ISSTA), 2013: Proceedings (pp. 67-77). Association for Computing Machinery. https://doi.org/10.1145/2483760.2483777

Jensen, C. S., Jermaine, C. & Zhou, X. (Eds.) (2013). Proceedings of the 29th IEEE International Conference on Data Engineering, (ICDE). IEEE. http://ieeexplore.ieee.org.ez.statsbiblioteket.dk:2048/xpl/mostRecentIssue.jsp?punumber=6530811

Jensen, C. S. (2013). Querying the Web with Local Intent. Abstract from International Conference on Mobile Data Management, Milan, Italy. https://doi.org/10.1109/MDM.2013.101

Jensen, M. M., Grønbæk, K., Rasmussen, M. K., Thomassen, N., Andersen, J. & Nielsen, J. (2013). Interactive football training based on rebounders with hit position sensing and audio/light feedback. Abstract from International Symposium on Computer Science in Sports, Istanbul, Turkey.

Jensen, M. M., Rasmussen, M. K. & Grønbæk, K. (2014). Design sensitivities for interactive sport-training games. In R. Wakkary & S. Harrison (Eds.), Proceedings of the 2014 Conference on Designing Interactive Systems, DIS '14 (pp. 685-694). Association for Computing Machinery. https://doi.org/10.1145/2598510.2598560

Jensen, M. M., Grønbæk, K., Thomassen, N., Andersen, J. & Nielsen, J. (2014). Interactive Football-Training Based on Rebounders with Hit Position Sensing and Audio-Visual Feedback. International Journal of Computer Science in Sport, 13(1, part 2), 57-68. http://iacss.org/fileadmin/user_upload/IJCSS_FullPaper/Vol13_2014_Ed1/IJCSS-Volume13_2014_Edition1_Jensen.pdf

Jensen, C. S. (Ed.), Jermaine, C., Zhou, X. (Ed.), Kotagiri, R. (Ed.) & Ooi, B. C. (Ed.) (2013). Message from the ICDE 2013 Program Committee and General. In 2013 IEEE 29th International Conference on Data Engineering (ICDE), : Australia, April 8–11, 2013 (pp. i-ii). IEEE Communications Society. http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6530811

Jensen, M. M. & Mueller, F. F. (2014). Running with technology: Where are we heading? In T. Leong (Ed.), Proceedings of the 26th Australian Computer-Human Interaction Conference on Designing Futures: the Future of Design (pp. 527-530). Association for Computing Machinery. https://doi.org/10.1145/2686612.2686696

Jensen, M. M., Rasmussen, M. K., Mueller, F. F. & Grønbæk, K. (2015). Designing training games for soccer. interactions, 22(2), 36-39. https://doi.org/10.1145/2724582

Jensen, M. M., Rasmussen, M. K., Mueller, F. F. & Grønbæk, K. (2015). Keepin' it Real: Challenges when Designing Sports-Training Games. In B. Begole & J. Kim (Eds.), Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems: CHI '15 (pp. 2003-2012). Association for Computing Machinery. https://doi.org/10.1145/2702123.2702243

Jensen, K. & Kristensen, L. M. (2015). Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems. Communications of the A C M, 58(6), 61-70 . https://doi.org/10.1145/2663340

Jensen, C. S., Møller, A., Raychev, V., Dimitrov, D. & Vechev, M. (2015). Stateless Model Checking of Event-Driven Applications. In OOPSLA 2015 : Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (pp. 57-73). Association for Computing Machinery. https://doi.org/10.1145/2814270.2814282

Jensen, E. B. V. & Rasmusson, A. (2014). Rotational integral geometry and local stereology - with a view to image analysis. In V. Schmidt (Ed.), Stochastic Geometry, Spatial Statistics and Random Fields: Models and Algorithms (pp. 233-255). Springer Publishing Company. https://doi.org/10.1007/978-3-319-10064-7_8

Jensen, M. M. & Grønbæk, K. (2016). Design Strategies for Balancing Exertion Games: A Study of Three Approaches. In DIS 2016 - Proceedings of the 2016 ACM Conference on Designing Interactive Systems: Fuse (pp. 936-946). Association for Computing Machinery. https://doi.org/10.1145/2901790.2901843

Jensen, M. M., Thiel, S. K., Hoggan, E. & Bødker, S. (2018). Physical Versus Digital Sticky Notes in Collaborative Ideation. Computer Supported Cooperative Work: CSCW: An International Journal, 27(3-6), 609-645. https://doi.org/10.1007/s10606-018-9325-1, https://doi.org/10.1007/s10606-018-9325-1

Jensen, M. M., Rädle, R., Klokmose, C. N. & Bødker, S. (2018). Remediating a design tool: Implications of digitizing sticky notes. In R. Mandryk & M. Hancock (Eds.), CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (Vol. 2018-April, pp. 1-12). Article 224 Association for Computing Machinery. https://doi.org/10.1145/3173574.3173798

Jensen, K. E., Pedersen, C., Tsirogiannis, C., Mortensen, P. B. & Svenning, J.-C. (2018). Experiencing Childhood Closer to Green Space is Linked to Lower Schizophrenia Risk. Early Intervention in Psychiatry, 12(S1), 19-19. Article Talk 3.

Jensen, M. M. & Aagaard, J. (2018). A Postphenomenological Method for HCI Research. In Proceedings of the 30th Australian Computer-Human Interaction Conference, OzCHI 2018: OzCHI 2018 (pp. 242-251). Association for Computing Machinery. https://doi.org/10.1145/3292147.3292170

Jensen, S. Q., Fender, A. & Müller, J. (2018). Inpher: Inferring physical properties of virtual objects from mid-air interaction. In R. Mandryk & M. Hancock (Eds.), Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (Vol. 2018-April). Article 530 Association for Computing Machinery. https://doi.org/10.1145/3173574.3174104

Jensen, C. (Ed.), Lind Olsen, E. (Ed.), Mikkelsen, G. L., Syberg , L., Nielsen, L. L., Hansen, M. A. E., Hjortlund, M., Madsen, O. L., Høngaard Andersen, P. & Duvold, T. (2018). The future market for cybersecurity in Denmark.

Jensen, K. & Nielsen, M. (2019). Carl Adam Petri: a tribute from Aarhus. In W. Reisig & G. Rozenberg (Eds.), Carl Adam Petri: ideas, personality, impact (pp. 81-84). Springer. https://doi.org/10.1007/978-3-319-96154-5_10

Jensen, A. H., Lauridsen, F., Zardbani, F., Idreos, S. & Karras, P. (2021). Revisiting Multidimensional Adaptive Indexing [Experiment Analysis]. In Y. Velegrakis, D. Zeinalipour-Yazti, P. K. Chrysanthis & F. Guerra (Eds.), Proceedings of the 24th International Conference on Extending Database Technology, EDBT 2021, Nicosia, Cyprus, March 23 - 26, 2021 (pp. 469-474). openproceedings.org. https://doi.org/10.5441/002/edbt.2021.53

Jensen, K. (1980). Net Modeller i Systembeskrivelse: Summary of Ph. D. thesis. Aarhus Universitetsforlag.

Jensen, J. M. (2017). Reference free phasing and representation of complex variation.

Displaying results 2401 to 2450 out of 5776

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University