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

Jiang, Y., Kleinau, J., Eckroth, T. M., Hoggan, E., Mueller, S. & Wessely, M. (2024). Demonstrating MouthIO: Customizable Oral User Interfaces with Integrated Sensing and Actuation. In M. Wessely, V. Savage, P. Didyk & J. Martinez (Eds.), SCF Adjunct '24: Adjunct Proceedings of the 9th ACM Symposium on Computational Fabrication Article 6 Association for Computing Machinery, Inc.. https://doi.org/10.1145/3665662.3673254

Jiang, Y., Kleinau, J., Eckroth, T. M., Hoggan, E., Mueller, S. & Wessely, M. (2024). MouthIO: Fabricating Customizable Oral User Interfaces with Integrated Sensing and Actuation. In UIST '24 - The 37th Annual ACM Symposium on User Interface Software and Technology Article 1 Association for Computing Machinery. https://doi.org/10.1145/3654777.3676443

Jiang, Y., Kleinau, J., Eckroth, T. M., Hoggan, E., Mueller, S. & Wessely, M. (2024). Demonstration of MouthIO: Customizable Oral User Interfaces with Integrated Sensing and Actuation. In UIST Adjunct 2024 - Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology Article 17 Association for Computing Machinery, Inc.. https://doi.org/10.1145/3672539.3686758

Jeung, H., Yiu, M. L. & Jensen, C. S. (2011). Trajectory Pattern Mining. In Y. Zheng & X. Zhou (Eds.), Computing with Spatial Trajectories (pp. 143-177). Springer. https://doi.org/10.1007/978-1-4614-1629-6

Jetter, H.-C., Rädle, R., Feuchtner, T., Anthes, C., Friedl, J. & Klokmose, C. N. (2020). “In VR, everything is possible!”: Sketching and Simulating Spatially-Aware Interactive Spaces in Virtual Reality. In CHI '20: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems Article 523 Association for Computing Machinery. https://doi.org/10.1145/3313831.3376652

Jespersen, S., Stounbjerg, R. B. K. & Verdezoto, N. (2015). AmBird: Mediating Intimacy for Long Distance Relationships through an Ambient Awareness System. In O. W. Bertelsen & K. Halskov (Eds.), Critical Alternatives, 5th decennial Aarhus Conference: conference proceedings, conference papers. Department of Computer Science, Aarhus University. https://doi.org/10.7146/aahcc.v1i1.21321

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. (1980). Net Modeller i Systembeskrivelse: Summary of Ph. D. thesis. Aarhus Universitetsforlag.

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

Displaying results 2251 to 2300 out of 5649

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University