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

Ernst, E. (2000). Syntax Based Modularization: Invasive or Not?. Paper presented at Conference on Object-Oriented Programming, Systems, Languages, and Applications. OOPSLA 2000, Minneapolis. MN, United States.

Gratzer, D. (2023). Syntax and semantics of modal type theory. [PhD dissertation, Aarhus University]. Aarhus Universitet.

Danvy, O. & Nielsen, L. R. (2001). Syntactic Theories in Practice. BRICS Report Series, (RS-01-31).

Danvy, O. & Nielsen, L. R. (2002). Syntactic Theories in Practice. BRICS Report Series, (RS-02-4).

Andersen, J. & Brabrand, C. (2010). Syntactic Language Extension via an Algebra of Languages and Transformations. Electronic Notes in Theoretical Computer Science, 253(7), 19-35. https://doi.org/10.1016/j.entcs.2010.08.029

Daniel, D. & Danvy, O. (2000). Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation. BRICS Report Series, (RS-00-15).

Damian, D. & Danvy, O. (2003). Syntactic accidents in program analysis: on the impact of the CPS transformation. Journal of Functional Programming, 13(5), 867-904. https://doi.org/10.1017/S0956796802004379

Damian, D. & Danvy, O. (2000). Syntactic accidents in program analysis: on the impact of the CPS transformation. In Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (pp. 209-220). Association for Computing Machinery.

Damian, D. & Danvy, O. (2001). Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation. BRICS Report Series, (RS-01-54).

Zhang, W. (2008). Synergy between Software Product Line and Intelligent Pervasive Middleware-a PLIPerM Approach. International Journal of Hybrid Information Technology, 1(1), 17-30. http://www.sersc.org/journals/IJHIT/vol1_no1_2008.php

Zhang, W. & Hansen, K. M. (2007). Synergy between Software Product Line and Intelligent Mobile Middleware. In Proceedings of The 2007 International Conference on Intelligent Pervasive Computing (pp. 515-520). IEEE Computer Society Press. https://doi.org/10.1109/IPC.2007.57

Pichon-Pharabod, J. (2025). Synchronous Programming for Kids: A Manifesto. In S. Chiba, C. N. Klokmose & C. Gordon (Eds.), Onward! 2025 - Proceedings of the 2025 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Co-located with SPLASH 2025 (pp. 1-12). Association for Computing Machinery. https://doi.org/10.1145/3759429.3762617

Shao, J., Tan, Y., Gao, L., Yang, Q., Plant, C. & Assent, I. (2019). Synchronization-based clustering on evolving data stream. Information Sciences, 501, 573-587. https://doi.org/10.1016/j.ins.2018.09.035

Balslev, H., Arge, L. A., Svenning, J.-C., Schierup, M. H. & Jensen, C. S. (Eds.) (2011). Symposium on Biodiversity in the Silicon Age - Abstracts. The Royal Danish Academy of Sciences and Letters.

Brachat, J., Comon, P., Mourrain, B. & Tsigaridas, E. (2010). Symmetric Tensor Decomposition. Linear Algebra and Its Applications, 433(11-12), 1851-1872. https://doi.org/10.1016/j.laa.2010.06.046

Skyum, S. & Eriksen, O. (1986). Symmetric Distributed Termination. In G. Rozenberg & A. Salomaa (Eds.), The Book of L (pp. 427-430). Springer.

Andreasen, E., Li, G. & Ghosh, I. (2014). SymJS: Automatic Symbolic Testing of JavaScript Web Applications. In S.-C. Cheung , A. Orso & M.-A. Storey (Eds.), Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2014 (pp. 449-459 ). Association for Computing Machinery.

Rakotonirina, I., Ambrona, M., Aguirre, A. & Barthe, G. (2022). Symbolic Synthesis of Indifferentiability Attacks. In ASIA CCS 2022 - Proceedings of the 2022 ACM Asia Conference on Computer and Communications Security (pp. 667-681). Association for Computing Machinery. https://doi.org/10.1145/3488932.3497759

Sølvsten, S. & van de Pol, J. (2025). Symbolic Model Checking in External Memory. ArXiv. https://doi.org/10.48550/arXiv.2505.11229

Dahl, M. (2013). Symbolic Analysis of Cryptographic Protocols: Models, Methods, and Soundness. Department of Computer Science, Aarhus University.

Cao, X., Cong, G., Jensen, C. S., NG, J. J., Ooi, B. C., Phan, N.-T. & Wu, D. (2012). SWORS: a system for the efficient retrieval of relevant spatial web objects. Proceedings of the VLDB Endowment, 5(12), 1914-1917. http://dl.acm.org/citation.cfm?id=2367536

Mortensen, K. O., Skitsas, K., Christensen, E. M., Talebi, M. S., Pavlogiannis, A., Mottin, D. & Karras, P. (2025). SwiftVI: Time-Efficient Planning and Learning with MDPs. In M. Zaharia, G. Joshi & Y. Lin (Eds.), Proceedings of Machine Learning and Systems (Vol. 7). MLSys. https://proceedings.mlsys.org/paper_files/paper/2025/file/0f8426558905746fc38da5e335700aec-Paper-Conference.pdf

Gallasch, G. E., Kristensen, L. M. & Mailund (2002). Sweep-Line State Space Exploration for Coloured Petri Nets. In Proceedings of Fourth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools (CPN 2002) (pp. 101-119)

Mailund, T. (2003). Sweeping the State Space.

Engelmann, F. T., Müller, L., Peter, A., Kargl, F. & Bösch, C. (2021). SwapCT: Swap Confidential Transactions for Privacy-Preserving Multi-Token Exchanges. Proceedings on Privacy Enhancing Technologies, 2021(4), 270-290. https://doi.org/10.2478/popets-2021-0070

Remy, C., Bates, O., Thomas, V. J. & Broadbent, M. (2018). "Sustainability... it's just not important": The Challenges of Academic Engagement with Diverse Stakeholders. In B. Penzenstadler, S. Easterbrook, C. Venters & S. I. Ahmed (Eds.), ICT4S2018. 5th International Conference on Information and Communication Technology for Sustainability (Vol. 52, pp. 316-331). easychair. https://doi.org/10.29007/kln5

Cai, L., Cheng, Y., Verbin, E. & Zhou, Y. (2010). Surviving Rates of Graphs with Bounded Treewidth for the Firefighter Problem. S I A M Journal on Discrete Mathematics, 24(4), 1322-1335. https://doi.org/10.1137/100791130

Danvy, O. (2004). Sur un Exemple de Patrick Greussay. BRICS Report Series, (RS-04-41).

Korn, M., Kawash, R. & Andersen, L. M. (2010). Surprise Trips : A System to Augment the Natural Experience of Exploration. In J. E. Bardram & M. Langheinrich (Eds.), Proceedings of the 12th ACM international conference adjunct papers on Ubiquitous computing (pp. 413-414). Association for Computing Machinery. https://doi.org/10.1145/1864431.1864463

Korn, M., Kawash, R. & Andersen, L. M. (2010). Surprise Trips: A System to Augment the Natural Experience of Exploration. Poster session presented at ACM international conference on Ubiquitous computing, København, Denmark. https://doi.org/10.1145/1864431.1864463

Bardram, J. E. & Bertelsen, O. W. (1995). Supporting the development of transparent interaction. In B. Blumenthal, J. Gornostaev & C. Unger (Eds.), Human-Computer Interaction: 5th International Conference, EWHCI '95 Moscow, Russia, July 3–7 1995 Selected Papers (pp. 79-90). Springer. https://doi.org/10.1007/3-540-60614-9_6

Rasmussen, T. A., Grønbæk, K. & Huang, W. (2024). Supporting tailorability in augmented reality based remote assistance in the manufacturing industry: A user study. Computers & Graphics, 125(Special Section on Advances on SUI), Article 104095. https://doi.org/10.1016/j.cag.2024.104095

Rasmussen, T. A. (2021). Supporting Tailorability and Awareness for Remote Assistance in Large Industrial Task Spaces. [PhD dissertation, Aarhus University]. Aarhus Universitet.

Hansen, K. M., Damm, C. H., Thomsen, M. & Tyrsted, M. (2000). Supporting several levels of restriction in the UML. In A. Evans, S. Kent & B. Selic (Eds.), «UML» 2000 - The Unified Modeling Language: Advancing the Standard. Third International Conference York, UK, October 2-6, 2000 Proceedings (pp. 396-409). Springer. https://doi.org/10.1007/3-540-40011-7_29

Jensen, J. L. (2012). Supporting Seamful Development of Positioning Applications through Model Based Translucent Middleware. Department of Computer Science, Aarhus University.

Anderson, K. M. & Bouvin, N. O. (2000). Supporting project awareness on the WWW with the iScent framework. SIGGROUP Bulletin, 21(3), 16-20. https://doi.org/10.1145/605647.605650

Loughran, N., Rashid, A., Zhang, W. & Jarzabek, S. (2004). Supporting Product Line Evolution with Framed Aspects. In Third AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS04) (pp. 15-19). Association for Computing Machinery.

Bardram, J. & Christensen, H. B. (2004). Supporting Pervasive Collaboration in Healthcare - An Activity-Driven Computing Infrastructure. Department of Computer Science, Aarhus University.

Westergaard, M. (2002). Supporting Multiple Pointing Devices in Microsoft Windows. In L. Cardelli (Ed.), Proceedings of Microsoft Summer Workshop for Faculty and PhDs.: Supporting Multiple Pointing Devices in Microsoft Windows (pp. 11. Talk). Microsoft Press.

Bouvin, N. O., Christensen, B. G., Hansen, F. A. & Nielsen, K. L. (2006). Supporting Mobile and Nomadic Learning. In Proceedings of the Workshop on Emerging Applications for Wireless and Mobile Access MobEA III at the 14^th World Wide Web Conference

Bardram, J. E., Kjær, T. A. K. & Nielsen, C. (2003). Supporting Local Mobility in Healthcare by Application Roaming among Heterogeneous Devices. In Lecture Notes in Computer Science: Proceedings of the Fifth International Conference on Human Computer Interaction with Mobile Devices and Services (Vol. 2795, pp. 161-176). Springer.

Grønbæk, K. & Sloth, L. (1999). Supporting Interchange of Open Hypermedia Structures and Contents. In Proceedings of the 5th Workshop on Open Hypermedia Systems

Nielsen, M., Brewer, R. S. & Grønbæk, K. (2016). Supporting interactive visual analytics of energy behavior in buildings through affine visualizations. In C. Parker (Ed.), Proceedings of the 28th Australian Computer-Human Interaction Conference, OzCHI 2016 (pp. 238-247). Association for Computing Machinery. https://doi.org/10.1145/3010915.3010950

Christensen, H. B. & Bardram, J. (2002). Supporting Human Activities - Exploring Activity-Centered Computing. In G. Borriello & L. E. Holmquist (Eds.), UbiComp 2002: Ubiquitous Computing: 4th International Conference Göteborg, Sweden, September 29 – October 1, 2002 Proceedings (pp. 107-116). Springer. https://doi.org/10.1007/3-540-45809-3_8

Bilstrup, K.-E. K., Kaspersen, M. H., Lunding, M. S., Schaper, M.-M. A., Van Mechelen, M., Tamashiro, M. A., Smith, R. C., Iversen, O. S. & Petersen, M. G. (2022). Supporting Critical Data Literacy in K-9 Education: Three Principles for Enriching Pupils’ Relationship to Data. In Proceedings of Interaction Design and Children, IDC 2022 (pp. 225-236). Association for Computing Machinery. https://doi.org/10.1145/3501712.3530783

Petersen, M. G. & Madsen, K. H. (1999). Supporting Collaboration in Multimedia Design. In S. Brewster, A. Cawsey & G. Cockton (Eds.), Human-Computer Interaction: INTERACT (pp. 185-190). The British Computer Society.

Schultz, U. P. & Schougaard, K. R. (2004). Supporting Activity-Based Computingusing Dynamically (De)Composable Mobile Applications. In J. E. Bardram, H. B. Christensen, D. Garlan & J. P. Sousa (Eds.), Proceedings of First International Workshop on Computer Support for Human Tasks and Activities (Vol. CfPC-2004-PB-60, pp. 12-16). Center for Pervasive Computing.

Grønbæk, K. (1990). Supporting Active User Involvment in Prototyping. Scandinavian Journal of Information Systems, 2(1).

MacIntyre, B., Mynatt, E. D., Voida, S., Hansen, K. M., Tullio, J. & Corso, G. M. (2001). Support for Multitasking and background Awareness Using Interactive Peripheral Displays. In J. Marks & E. D. Mynatt (Eds.), Proceedings of the 14th annual ACM symposium on User interface software and technology (pp. 41-50). Association for Computing Machinery. https://doi.org/10.1145/502348.502355

Bardram, J., Bunde-Pedersen, J. & Søgaard, M. (2006). Support for activity-based computing in a personal computing operating system. In R. E. Grinter, T. Rodden, P. M. Aoki, E. Cutrell, R. Jeffries & G. M. Olson (Eds.), CHI '06: Proceedings of the 2006 Conference on Human Factors in Computing Systems (pp. 211-220) https://doi.org/10.1145/1124772.1124805

Displaying results 951 to 1000 out of 5997

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University