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

Joyal, A., Nielsen, M. & Winskel, G. (1993). Bisimulation and open maps. In Proceedings of Eighth Annual IEEE Symposium on Logic in Computer Science, 1993. LICS '93., (pp. 418-427). IEEE Computer Society Press. https://doi.org/10.1109/LICS.1993.287566

Jowhari, H. (2012). Efficient Communication Protocols for Deciding Edit Distance. Lecture Notes in Computer Science, 7501, 648-658 . https://doi.org/10.1007/978-3-642-33090-2_56

Jørgensen, J. B. & Moldt, D. (Ed.) (2004). CPN Models as Enhancements to a Traditional Software Specification for an Elevator Controller. In Ikke angivet (PB-571 of Daimi Reports ed., pp. 99-116). Aarhus University.

Jørgensen, J. B., Aalst, W. M. P. V. D. (Ed.) & Best, E. (Ed.) (2003). Coloured Petri Nets in Development of a Pervasive Health Care System. In Ikke angivet (2679 of Lecture Notes in Computer Science ed., Vol. 2679/2003, pp. 256-275). Springer.

Jørgensen, J. B. & Jensen, K. (Ed.) (2002). Coloured Petri Nets in UML-Based Software Development: Designing Middleware for Pervasive Healthcare. In Ikke angivet (DAIMI PB-560 ed., pp. 61-80). Department of Computer Science, University of Aarhus.

Jørgensen, J. B., Bossen, C., Benyon, D. (Ed.), Moody, P. (Ed.), Gruen, D. (Ed.) & McAra-McWilliam, I. (Ed.) (2004). Context-descriptive Prototypes and Their Application to Medicine Administration. In Ikke angivet (pp. 297-306). Society for Industrial and Applied Mathematics.

Jørgensen, J. B. & Bossen, C. (2004). Executable Use Cases: Requirements for a Pervasive Health Care System. I E E E Software, 21(2), 34-41.

Jørgensen, J. B., Bossen, C., Giese, H. (Ed.) & Kruger, I. (Ed.) (2004). Executable Use Cases as Links Between Application Domain Requirements and Machine Specifications. In Proceedings of the 26th International Conference on Software Engineering: 3rd Workshop on Scenarios and State Machines: Models, Algorithms, and Tools IEEE.

Jørgensen, J. B., Bossen, C. & Wieringa, R. (Ed.) (2003). Requirements Engineering for a Pervasive Health Care System. In Ikke angivet (pp. 55-64). IEEE.

Jørgensen, J. B., Christensen, S., Jezequel, J.-M. (Ed.), Hussmann, H. (Ed.) & Cook, S. (Ed.) (2002). Executable Design Models for a Pervasive Healthcare Middleware System. In Lecture Notes In Computer Science: 5th International Conference on The Unified Modeling Language (Vol. 2460, pp. 140-149). Springer.

Jørgensen, J. B., Christensen, S., Desel, J. (Ed.), Reisig, W. (Ed.) & Rozenberg, G. (Ed.) (2004). Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned. In Proceedings of Advances Course on Petri Nets (Eichstatt) (3098 i Lecture Notes in Computer Science ed., pp. 402-412). Springer.

Jørgensen, J. B., Christensen, S., Tuovinen, A., Xu, J., Steffen, B. (Ed.) & Margaria, T. (Ed.) (2004). Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets. Paper presented at 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA 2004), Paphos, Cyprus.

Jørgensen, J. B. & Kristensen, L. M. (2003). Verification of Coloured Petri Nets Using State Spaces with Equivalence Classes. LINCOM Studies in Computer Science, (1), 17-34.

Jørgensen, J. B. & Lassen, K. B. (2006). Aligning Work Processes and the Adviser Portal Bank System. In Proceedings of the 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems: RENBITA 2005 (pp. 259 - 268). IEEE Computer Society Press.

Jørgensen, J. B. (2005). Towards Arguing the Cost-effectiveness of Coloured Petri Nets. In SERP CSREA Press.

Jørgensen, J. B. & Lassen, K. B. (2006). Requirements Engineering for the Adviser Portal Bank System. In Ikke angivet IEEE Computer Society Press.

Jørgensen, J. B. & Bossen, C. (2004). Executable Use Cases: Requirements for a Pervasive Health Care System. I E E E Software, 21(2), 34-41.

Jørgensen, J. B. & Bossen, C. (2003). Requirements Engineering for a Pervasive Health Care System. In Proceedings of the 11th International Requirements Engineering Conference (pp. 55-64). <Forlag uden navn>.

Jørgensen, J. B. & Bossen, C. (2002). Executable Use Cases for Pervasive Healthcare. In MOCA 2002: Second Workshop on Modeling of Objects, Components and Agents (pp. 89-103). Datalogi, Aarhus Universitet.

Jørgensen, J. B., Christensen, S., Tuovinen, A.-P. & Xu, J. (2006). Tool Support for Estimating the Memory Usage of Mobile Phone Software. Software Tools for Technology Transfer.

Jørgensen, J. B. & Lassen, K. B. (2006). Requirements Engineering for the Adviser Portal Bank System. International Conference on Engineering Computer Based Systems.

Jørgensen, J. B. (2006). Addressing Problem Frame Concerns Using Coloured Petri Nets and Graphical Animation. International Workshop on Advances and Applications of Problem Frames.

Jørgensen, J. B., Lassen, K. B. & van der Aalst, W. (2006). From Task Descriptions via Coloured Petri Nets Towards an Implementation of a New Electronic Patient Record. International Workshop on Coloured Petri Nets.

Jørgensen, A. G., Moruz, G. & Mølhave, T. (2007). Priority Queues Resilient to Memory Faults. In Proc: 10th Workshop on Algorithms and Data Structures (Vol. 4619, pp. 127-138). Springer.

Jørgensen, J. B., Fernandes, J. M. & Tjell, S. (2007). Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller. In Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007) (pp. 294-301). IEEE Computer Society Press.

Jørgensen, A. G., Brodal, G. S., Moruz, G., Mølhave, T., Fagerberg, R., Finocchi, I., Grandoni, F. & Italiano, G. F. (2007). Optimal Resilient Dynamic Dictionaries. In L. Arge, M. Hoffmann & E. Welzl (Eds.), Algorithms – ESA 2007: 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007. Proceedings (pp. 347-358). Springer. https://doi.org/10.1007/978-3-540-75520-3_32

Jørgensen, J. B., Lassen, K. B. & van der Aalst, W. M. P. (2008). From Task Descriptions via Coloured Petri Nets Towards an Implementation of a New Electronic Patient Record. International Journal on Software Tools for Technology Transfer, 10(1), 15-26.

Jørgensen, J. B., Tjell, S. & Fernandes, J. M. (2009). Formal Requirements Modeling with Executable Use Cases and Coloured Petri Nets. Innovations in Systems and Software Engineering, 5(1), 13. https://doi.org/10.1007/s11334-009-0075-6

Jørgensen, J. B. (2008). Coloured Petri nets and graphical animation: a proposal for a means to address problem frame concerns. Expert Systems, 25(1), 54-73. https://doi.org/10.1111/j.1468-0394.2008.00454.x

Jørgensen, J. B. (2007). Executable Use Cases: a Supplement to Model-Driven Development? Proceedings of the Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software. In Proceedings of the Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (pp. 8-15). IEEE Computer Society Press. https://doi.org/10.1109/MOMPES.2007.6

Jørgensen, A. G., Brodal, G. S. & Mølhave, T. (2009). Fault Tolerant External Memory Algorithms. Lecture Notes in Computer Science, 5664, 411-422. https://doi.org/10.1007/978-3-642-03367-4_36

Jørgensen, A. G. & Brodal, G. S. (2009). Data Structures for Range Median Queries. Lecture Notes in Computer Science, 842-851. https://doi.org/10.1007/978-3-642-10631-6_83

Jørgensen, A. G., Brodal, G. S., Mølhave, T. & Moruz, G. (2009). Counting in the Presence of Memory Faults. Lecture Notes in Computer Science, 5878, 842-851. https://doi.org/10.1007/978-3-642-10631-6_85

Jørgensen, A. G., Greve, M., Larsen, K. D. & Truelsen, J. (2010). Cell Probe Lower Bounds and Approximations for Range Mode. Lecture Notes in Computer Science, 6198, 605-616. https://doi.org/10.1007/978-3-642-14165-2_51

Jørgensen, A. G. & Larsen, K. G. (2011). Range Selection and Median: Tight Cell Probe Lower Bounds and Adaptive Data Structures . In Proceedings of the 22nd Annual ACM-SIAM Symposium on Discrete Algorithms. SODA 2011 (pp. 805-813). Society for Industrial and Applied Mathematics. http://www.siam.org/proceedings/soda/2011/SODA11_062_jorgensena.pdf

Jørgensen, A. G., Phillips, J. & Loffler, M. (2011). Geometric Computations On Indecisive Points. Lecture Notes in Computer Science, 6844, 536-547. https://doi.org/10.1007/978-3-642-22300-6

Jørgensen, A. G. & Pettie, S. (2014). Threesomes, Degenerates, and Love Triangles. In B. Barak (Ed.), 2014 IEEE 55th Annual Symposium on Foundations of Computer Science, FOCS (pp. 621-630). IEEE Computer Society Press. https://doi.org/10.1109/FOCS.2014.72

Jørgensen, J. B., Knudsen, B., Sloth, L., Vase, J. R. & Christensen, H. B. (2016). Variability Handling for Mobile Banking Apps on iOS and Android. In Proceedings - 2016 13th Working IEEE/IFIP Conference on Software Architecture, WICSA 2016 (pp. 283-286). Article 7516847 IEEE Computer Society Press. https://doi.org/10.1109/WICSA.2016.29

Jørgensen, J. R., Nellemann, K. S. & Assent, I. (2021). GPU-INSCY: A GPU-Parallel Algorithm and Tree Structure for Efficient Density-based Subspace Clustering. 25-36. Paper presented at 24th International Conference on Extending Database Technology. https://doi.org/10.5441/002/edbt.2021.04

Jørgensen, J. R., Nellemann, K. S., Assent, I., Pathak, A. R. & Elster, A. C. (2022). GPU-FAST-PROCLUS: A Fast GPU-parallelized Approach to Projected Clustering. 196-206. Paper presented at EDBT 2022: 24th International Conference on Extending Database Technology. https://doi.org/10.48786/edbt.2022.09

Jørgensen, J. R., Assent, I. & Schulz, H.-J. (2022). AVID: GPU-enabled Visual Analytics with GPU-FAST-PROCLUS. In Proceedings of the 25th International Conference on Extending Database Technology (EDBT'22) (pp. 562-565). openproceedings.org. https://doi.org/10.48786/edbt.2022.51

Jørgensen, J. R. & Assent, I. (2023). EGG-SynC: Exact GPU-parallelized Grid-based Clustering by Synchronization. In Proceedings 26th International Conference on Extending Database Technology ( EDBT 2023 ) (pp. 195-207). openproceedings.org. https://doi.org/10.48786/edbt.2023.16

Jørgensen, M. D., Mølgaard, N. W., Jokumsen, M., Jørgensen, J. B. & Christensen, H. B. (2025). Experiences with Technical Debt and its Root Causes in a Merged Industrial Company.

Jørgensen, J. R. (2022). Parallel Algorithms for Clustering, Subspace Clustering, and Projected Clustering on the GPU. [PhD dissertation, Aarhus University]. Aarhus Universitet.

Jørgensen, A. G. (2010). Data Structures: Sequence Problems, Range Queries, and Fault Tolerance. Department of Computer Science, Aarhus University.

Jordan, V. E., Walker, J. A., Beckstrom, T. O., Steely, C. J., McDaniel, C. L., St Romain, C. P., The Baboon Genome Analysis Consortium, Worley, K. C., Phillips-Conroy, J., Jolly, C. J., Rogers, J., Konkel, M. K. & Batzer, M. A. (2018). A computational reconstruction of Papio phylogeny using Alu insertion polymorphisms. Mobile DNA, 9(1), Article 13. https://doi.org/10.1186/s13100-018-0118-3

Jones, N. D. & Skyum, S. (1977). Recognition of deterministic ETOL languages in logarithmic space. Information and Control, 35(3), 177-181. https://doi.org/10.1016/S0019-9958(77)90058-4

Jones, N. D. & Skyum, S. (1979). Complexity of some problems concerning L systems. Theory of Computing Systems, 13, 29-43. https://doi.org/10.1007/BF01744286

Johnson, P. M., Xu, Y., Brewer, R. S., Moore, C. A., Lee, G. E. & Connell, A. (2013). Makahiki+WattDepot: An open source software stack for next generation energy research and education. In L. M. Hilty, B. Aebischer, G. Andersson & W. Lohmann (Eds.), Proceedings of the First Interntional Conference on Information and Communication Technologies for Sustainability (ICT4S) Akademia.edu. http://www.academia.edu/2911805/ICT4S_2013_Proceedings_of_the_First_International_Conference_on_Information_and_Communication_Technologies_for_Sustainability_ETH_Zurich_February_14-16_2013

Johnson, J. G., Rick, S. R., Grønbæk, J. E., Wong, E., Yin, M., Nebeling, M., Klein, M., Ackerman, M. S. & Malone, T. (2025). Augmenting Collaborative Problem-Solving: Exploring the Design and Use of GenAI for Groupwork. In A. F. Pinatti de Carvalho, J. Vitak, X. Ma, X. Page, C. Rossitto, N. M. Su, L. Barkhuus, L. Barkhuus, M. Divitini, A. L. Hughes, J. Huh-Yoo, C. Ignat, R. Kelly, K. Luther, S. McCrickard, D. McDonald, J. Pater, H. Tellioglu, A. Vivacqua, H.-C. Wang, J. Cai, M. Jacobs ... S. K. Stigberg (Eds.), CSCW Companion 2025 - Companion of the Computer-Supported Cooperative Work and Social Computing (pp. 168-173). Association for Computing Machinery. https://doi.org/10.1145/3715070.3748297

Displaying results 2351 to 2400 out of 5919

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University