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

Blevis, E., Koskinen, I. K., Lee, K.-P., Bødker, S., Chen, L.-L., Lim, Y., Wei, H. & Wakkary, R. (2015). Transdisciplinary Interaction Design in Design Education. In B. Begole & J. Kim (Eds.), Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems (pp. 833-838). Association for Computing Machinery. https://doi.org/10.1145/2702613.2724726

Brodnik, A., Miltersen, P. B. & Munro, J. I. (1997). Trans-dichotomous algorithms without multiplication - some upper and lower bounds. In F. Dehne, A. Rau-Chaplin, J.-R. Sack & R. Tamassia (Eds.), Algorithms and Data Structures: 5th International Workshop, WADS'97 Halifax, Nova Scotia, Canada August 6-8, 1997 Proceedings (pp. 426-436). Springer. https://doi.org/10.1007/3-540-63307-3_80

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, 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, 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., 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, K., Billington, J. & Koutny, M. (Eds.) (2009). Transactions on Petri Nets and Other Models of Concurrency III: ToPNoC. Springer. Lecture Notes in Computer Science Vol. 5800 https://doi.org/10.1007/978-3-642-04856-2

Jensen, K. & Wil M.P. van der, A. (Eds.) (2009). Transactions on Petri Nets and Other Models of Concurrency II: ToPNoC : Special Issue on Concurrency in Process-Aware Information Systems. Springer. Lecture Notes in Computer Science Vol. 5460 https://doi.org/10.1007/978-3-642-00899-3

Jensen, K., Aalst, W. M. P. V. D. & Billington, J. (Eds.) (2008). Transactions on Petri Nets and Other Models of concurrency I: ToPNoC. Springer. Lecture Notes in Computer Science Vol. 5100 https://doi.org/10.1007/978-3-540-89287-8

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

Li, X., Ceikute, V., Jensen, C. S. & Tan, K.-L. (2013). Trajectory Based Optimal Segment Computation in Road Network Databases. (1303.2310v1 ed.) arxiv.org. http://arxiv.org/abs/1303.2310

Li, X., Ceikute, V., Jensen, C. S. & Tan, K.-L. (2013). Trajectory Based Optimal Segment Computation in Road Network Databases. In C. Knoblock & M. Schneider (Eds.), Proceedings of the 21st ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, SIGSPATIAL'13 (pp. 396-399 ). Association for Computing Machinery. https://doi.org/10.1145/2525314.2525444

Picozzi, M., Verdezoto, N., Pouke, M., Vatjus-Anttila, J. & Quigley, A. (2013). Traffic Visualization: Applying Information Visualization Techniques to Enhance Traffic Planning. In GRAPP 2013 IVAPP 2013 : Proceedings of the 8thInternational Conference on Computer Graphics Theory and Applications (pp. 554-557). SCITEPRESS Digital Library. https://doi.org/10.5220/0004291605540557

Damgård, I. B. & Toft, T. (2008). Trading Sugar Beet Quotas - Secure Multiparty Computation in Practice. ERCIM News, 73, 32-33.

Brodal, G. S. & Moruz, G. (2005). Tradeoffs Between Branch Mispredictions and Comparisons for Sorting Algorithms. In F. Dehne, A. Lopez-Ortiz & J.-R. Sack (Eds.), Algorithms and Data Structures: 9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005. Proceedings (pp. 385-395). Springer. https://doi.org/10.1007/11534273_34

Christensen, H. B. (2001). Tracking Change in rapid and eXtreme Development: A Challenge to SCM-tools? In A. van der Hoek (Ed.), Proceedings of Tenth International Workshop on Software Configuration Management, SCM-10 (pp. 1-31). UCI. Machine Learning Repository. Center for Machine Learning and Intelligent Systems. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.29.3055&rep=rep1&type=pdf

Busboom, J., Boulus-Rødje, N. & Bødker, S. (2025). Tracing Transformations of the Modern Workplace and Imagining its Future. In CHIWORK 2025 - Proceedings of the 4th Annual Symposium on Human-Computer Interaction for Work Article 27 Association for Computing Machinery. https://doi.org/10.1145/3729176.3729186

Andreasen, E. S., Gordon, C. S., Chandra, S., Sridharan, M., Tip, F. & Sen, K. (2016). Trace Typing: An Approach for Evaluating Retrofitted Type Systems. In S. Krishnamurthi & B. S. Lerner (Eds.), 30th European Conference on Object-Oriented Programming (ECOOP 2016) (pp. 231-239, 2310-2328). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2016.1

Nielsen, M. & Winskel, G. (1995). Trace Structures and Other Models for Concurrency. In V. Diekert & G. Rozenberg (Eds.), The Book of Traces (pp. 271-306). World Scientific.

Larsen-Ledet, I., Lewkowicz, M., Klokmose, C. N., Linehan, C. & Colfi, L. (2025). Traces, Breadcrumbs, and Patina: Exploring and Designing with Traces of Activity. 116-119. Abstract from 28th ACM Conference on Computer-Supported Cooperative Work and Social Computing, Bergen, Norway.

Sand, A., Holt, M. K., Johansen, J., Brodal, G. S., Mailund, T. & Pedersen, C. N. S. (2014). tqDist: A Library for Computing the Quartet and Triplet Distances Between Binary and General Trees. Bioinformatics, 30(4), 2079-2080. https://doi.org/10.1093/bioinformatics/btu157

Arge, L. A., Barve, R., Hutchinson, D., Procopiuc, O., Toma, L., Vengroff, D. E. & Wickeremsinghe, R. (2002). TPIE: User Manual and Reference. (082902 ed.) Duke University Press. http://www.cs.duke.edu/TPIE/tpie.pdf

Lehmann, A. & Gross, A. (2017). Towards vehicle emission estimation from smartphone sensors. In Proceedings - 18th IEEE International Conference on Mobile Data Management, MDM 2017 (pp. 154-163). Article 7962447 IEEE Press. https://doi.org/10.1109/MDM.2017.29

Sterling, J., Gratzer, D. & Birkedal, L. (2024). Towards Univalent Reference Types: The Impact of Univalence on Denotational Semantics. In A. Murano & A. Silva (Eds.), 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024 Article 47 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.CSL.2024.47

Schultz, U. P. (2002). Towards unifying inheritance and automatic program specialization. D A I M I P B, (566).

Han, W. (2023). Towards Trustworthy Decision Making in Visual Analytics. [PhD dissertation, Aarhus University]. Aarhus Universitet.

Guo, C., Jensen, C. S. & Yang, B. (2014). Towards total traffic awareness. SIGMOD Record, 43(3), 18-23. http://www.scopus.com/inward/record.url?scp=84916929262&partnerID=8YFLogxK

Grønlund, A. & Larsen, K. G. (2016). Towards Tight Lower Bounds for Range Reporting on the RAM. Leibniz International Proceedings in Informatics, 55, 92:1 - 92:12. https://doi.org/10.4230/LIPIcs.ICALP.2016.92

Taylor, K., Wang, H., Weidner, F. & Gellersen, H. (2025). Towards the Fusion of Gaze and Micro-Gestures. In Proceedings - 2025 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2025 (pp. 1474-1475). IEEE. https://doi.org/10.1109/VRW66409.2025.00383

Bertelsen, O. W. & Pold, S. B. (2002). Towards the aesthetics of Human-computer interaction. In E. Frøkjær & K. Hornbæk (Eds.), Proceedings of the Second Danish Human-Computer Interaction Research Symposium (pp. 11-12). University of Copenhagen.

Zhang, W. & Hansen, K. M. (2008). Towards Self-managed Pervasive Middleware using OWL/SWRL ontologies. In Fifth International Workshop on Modelling and Reasoning in Context. Proceedings Telecom, Bretagne. http://www.hydramiddleware.eu/hydra_papers/Towards_Self-managed_Pervasive_Middleware.pdf

Hansen, K. M., Zhang, W. & Ingstrup, M. (2008). Towards Self-Managed Executable Petri Nets. In S. Brueckner, P. Robertson & U. Bellur (Eds.), Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems (pp. 287-296). IEEE Computer Society Press. https://doi.org/10.1109/SASO.2008.59

Kamp, S. H. (2025). Towards Scalable & Robust Distributed Computing. [PhD dissertation, Aarhus University]. Institut for Datalogi, Aarhus Universitet.

Amer-Yahia, S., Bogojeska, J., Facchinetti, R., Franceschi, V., Gionis, A., Hose, K., Koutrika, G., Kouyos, R., Lissandrini, M., Maniu, S., Mirylenka, K., Mottin, D., Palpanas, T., Rigotti, M. & Velegrakis, Y. (2025). Towards Reliable Conversational Data Analytics. In roceedings of the 28th International Conference on Extending Database Technology (3 ed., pp. 962-969). openproceedings.org. https://doi.org/10.48786/edbt.2025.78

Huber, P., Jensen, A. M., Jepsen, L. O. & Jensen, K. (1985). Towards Reachability Trees for High-level Petri Nets. In G. Rozenberg, H. J. Genrich & G. Roucairol (Eds.), Advances in Petri Nets 1984, Proceedings (pp. 215-233). Springer. https://doi.org/10.1007/3-540-15204-0_13

Damgård, I. B. (1991). Towards Practical Public Key Systems Secure Against Chosen Ciphertext attacks. In J. Feigenbaum (Ed.), Advances in Cryptology - CRYPTO '91: Proceedings (pp. 445-456). Springer. https://doi.org/10.1007/3-540-46766-1_36

Baum, C., Lin, H. & Oechsner, S. (2018). Towards Practical Lattice-Based One-Time Linkable Ring Signatures. In D. Naccache, S. Xu, S. Qing, P. Samarati, G. Blanc, R. Lu, Z. Zhang & A. Meddahi (Eds.), Information and Communications Security - 20th International Conference, ICICS 2018, Proceedings: ICICS 2018 (Vol. 11149, pp. 303-322). Springer VS. https://doi.org/10.1007/978-3-030-01950-1_18

Mahrík, M., Šikyňa, M., Mic, V. & Zezula, P. (2025). Towards Personalized Similarity Search for Vector Databases. In E. Chávez, B. Kimia, J. Lokoč, M. Patella & J. Sedmidubsky (Eds.), Similarity Search and Applications - 17th International Conference, SISAP 2024, Proceedings (pp. 126-139). Springer. https://doi.org/10.1007/978-3-031-75823-2_11

Brodal, G. S., Gfeller, B., Jørgensen, A. G. & Sanders, P. (2011). Towards optimal range medians. Theoretical Computer Science, 412(24), 2588-2601. https://doi.org/10.1016/j.tcs.2010.05.003

Cohen-Addad, V., Larsen, K. G., Saulpic, D. & Schwiegelshohn, C. (2022). Towards optimal lower bounds for k-median and k-means coresets. In S. Leonardi & A. Gupta (Eds.), STOC 2022 - Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing (pp. 1038-1051). Association for Computing Machinery. https://doi.org/10.1145/3519935.3519946

Fournier, H., Limaye, N., Malod, G., Srinivasan, S. & Tavenas, S. (2023). Towards Optimal Depth-Reductions for Algebraic Formulas. In A. Ta-Shma (Ed.), 38th Computational Complexity Conference, CCC 2023 Article 28 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.CCC.2023.28

Hansen, K. M., Zhang, W. & Fernandes, J. M. (2009). Towards open world software architectures with semantic architecture styles, components and connectors. In Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009) (pp. 40-49). IEEE Computer Society Press. https://doi.org/10.1109/ICECCS.2009.7

Baum, C. (2016). Towards More Efficient Secure Multiparty Computation in the Preprocessing Model. Department of Computer Science, Aarhus University.

Krogh-Jespersen, M. (2019). Towards Modular Reasoning for Stateful and Concurrent Programs. Aarhus Universitet.

Espensen, K. L., Kjeldsen, M. K. & Kristensen, L. M. (2007). Towards Modelling and Validation of the DYMO Routing Protocol for Mobile Ad-hoc Networks. In K. Jensen (Ed.), Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (pp. 243-262)

Blaabjerg, J. F. & Askarov, A. (2021). Towards Language-Based Mitigation of Traffic Analysis Attacks. Paper presented at 34th IEEE Computer Security Foundations Symposium, Online, United States. https://doi.org/10.1109/CSF51468.2021.00030

Madsen, O. L. (1999). Towards Integration of Object-Oriented Languages and State Machines. In Proceedings of the Technology of Object-Oriented Languages and Systems: Proceedings of the Technology of Object-Oriented Languages and Systems (Vol. 1, pp. 261-274). IEEE Computer Society Press. https://doi.org/10.1109/TOOLS.1999.779018

Prentow, T. S., Blunck, H., Kjærgaard, M. B. & Stisen, A. (2015). Towards Indoor Transportation Mode Detection using Mobile Sensing. In S. Sigg , P. Nurmi & F. Salim (Eds.), Mobile Computing, Applications, and Services : 7th International Conference, MobiCASE 2015, Berlin, Germany, November 12-13, 2015, Revised Selected Papers (Vol. 162). Springer. https://doi.org/10.1007/978-3-319-29003-4

Nielsen, M. & Grønbæk, K. (2015). Towards highly affine visualizations of consumption data from buildings. In IVAPP 2015 - 6th International Conference on Information Visualization Theory and Applications; VISIGRAPP, Proceedings (pp. 247-255). SCITEPRESS Digital Library.

Grønbæk, K., Vestergaard, P. P. & Ørbæk, P. (2002). Towards Geo-spatial Hypermedia: Concepts and Prototype Implementation. In J. Blustein (Ed.), Proceedings of the 13th ACM Conference on Hypertext and Hypermedia (pp. 117-126). Association for Computing Machinery. https://doi.org/10.1145/513338.513370

Displaying results 401 to 450 out of 5913

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University