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

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 CS.

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. (2010). Data Structures: Sequence Problems, Range Queries, and Fault Tolerance. Department of Computer Science, Aarhus University. http://cs.au.dk/fileadmin/site_files/cs/PhD/PhD_Dissertations__pdf/thesis_Allan_G_J%C3%B8rgensen.pdf

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. Paper presented at EDBT 2022: 24th International Conference on Extending Database Technology.

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. (2022). Parallel Algorithms for Clustering, Subspace Clustering, and Projected Clustering on the GPU. Århus Universitet.

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

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

Johns, C. A., Evangelista Belo, J. M., Pfeuffer, K. & Klokmose, C. N. (2023). Pareto Optimal Layouts for Adaptive Mixed Reality. In CHI 2023 - Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems Article 223 Association for Computing Machinery. https://doi.org/10.1145/3544549.3585732

Johns, C. A., Evangelista Belo, J. M., Feit, A. M., Klokmose, C. N. & Pfeuffer, K. (2023). Towards Flexible and Robust User Interface Adaptations With Multiple Objectives. In S. Follmer, J. Han, J. Steimle & N. Henry Riche (Eds.), UIST '23: Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology Article 108 Association for Computing Machinery. https://doi.org/10.1145/3586183.3606799

Johns, C. A., Barz, M. & Sonntag, D. (2023). Interactive Link Prediction as a Downstream Task for Foundational GUI Understanding Models. Lecture Notes in Computer Science, 14236, 75-89. https://doi.org/10.1007/978-3-031-42608-7_7

Johansen, K. E., Jørgensen, U. L., Nielsen, S. H., Nielsen, S. E. & Skyum, S. (1987). A Distributed Spanning Tree Algorithm. Department of Computer Science, Aarhus University. DAIMI PB No. 226

Johansen, K. E., Jørgensen, U. L., Nielsen, S. H., Nielsen, S. E. & Skyum, S. (1988). A distributed spanning tree algorithm. In J. van Leeuwen (Ed.), Distributed Algorithms: 2nd International Workshop Amsterdam, The Netherlands, July 8–10, 1987 Proceedings (pp. 1-12). Springer. https://doi.org/10.1007/BFb0019790

Johannsen, J. (2015). On Computational Small Steps and Big Steps: Refocusing for Outermost Reduction. Department of Computer Science, Aarhus University.

Jiang, S. & Larsen, K. G. (2019). A Faster External Memory Priority Queue with DecreaseKeys. In T. M. Chan (Ed.), Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms (Vol. PRDA19, pp. 1331-1343). Society for Industrial and Applied Mathematics. https://epubs.siam.org/doi/pdf/10.1137/1.9781611975482.81

Displaying results 2101 to 2150 out of 5406

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University