Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

Sortér efter: Dato | Forfatter | Titel

Balslev, H., Arge, L. A., Svenning, J.-C., Schierup, M. H. & Jensen, C. S. (red.) (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. I G. Rozenberg & A. Salomaa (red.), The Book of L (s. 427-430). Springer.

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

Rakotonirina, I., Ambrona, M., Aguirre, A. & Barthe, G. (2022). Symbolic Synthesis of Indifferentiability Attacks. I ASIA CCS 2022 - Proceedings of the 2022 ACM Asia Conference on Computer and Communications Security (s. 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. I M. Zaharia, G. Joshi & Y. Lin (red.), Proceedings of Machine Learning and Systems (Bind 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. I Proceedings of Fourth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools (CPN 2002) (s. 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. I B. Penzenstadler, S. Easterbrook, C. Venters & S. I. Ahmed (red.), ICT4S2018. 5th International Conference on Information and Communication Technology for Sustainability (Bind 52, s. 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. I J. E. Bardram & M. Langheinrich (red.), Proceedings of the 12th ACM international conference adjunct papers on Ubiquitous computing (s. 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 præsenteret på ACM international conference on Ubiquitous computing, København, Danmark. https://doi.org/10.1145/1864431.1864463

Sørensen, T. S., Greil, G., Hansen, O. K. & Mosegaard, J. (2006). Surgical simulation - a new tool to evaluate surgical incisions in congenital heart disease? Interactive Cardiovascular and Thoracic Surgery, (5), 536-539.

Noe, K. Ø., Tanderup, K. & Sørensen, T. S. (2011). Surface membrane based bladder registration for evaluation of accumulated dose during brachytherapy in cervical cancer. I Proceedings of the 2011 IEEE International Symposium on Biomedical Imaging: From Nano to Macro (s. 1253-1256). IEEE Signal Processing Society. https://doi.org/10.1109/ISBI.2011.5872629

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

Liu, Y., Surrow, I. M., Shokeen, E., Connelly, L. J., Jensen, A. V., Hjorth, M., Andersen, B. L., Dindler, C., Iversen, O. S. & Petersen, M. G. (2026). Supporting Teachers in Teaching Critical AI Literacy from Co-design to Classroom Implementation. I Proceedings of BritCHI 2026 Association for Computing Machinery.

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), Artikel 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. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.

Hansen, K. M., Damm, C. H., Thomsen, M. & Tyrsted, M. (2000). Supporting several levels of restriction in the UML. I A. Evans, S. Kent & B. Selic (red.), «UML» 2000 - The Unified Modeling Language: Advancing the Standard. Third International Conference York, UK, October 2-6, 2000 Proceedings (s. 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. I Third AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS04) (s. 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. I L. Cardelli (red.), Proceedings of Microsoft Summer Workshop for Faculty and PhDs.: Supporting Multiple Pointing Devices in Microsoft Windows (s. 11. Talk). Microsoft Press.

Bouvin, N. O., Christensen, B. G., Hansen, F. A. & Nielsen, K. L. (2006). Supporting Mobile and Nomadic Learning. I 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. I Lecture Notes in Computer Science: Proceedings of the Fifth International Conference on Human Computer Interaction with Mobile Devices and Services (Bind 2795, s. 161-176). Springer.

Grønbæk, K. & Sloth, L. (1999). Supporting Interchange of Open Hypermedia Structures and Contents. I 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. I C. Parker (red.), Proceedings of the 28th Australian Computer-Human Interaction Conference, OzCHI 2016 (s. 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. I G. Borriello & L. E. Holmquist (red.), UbiComp 2002: Ubiquitous Computing: 4th International Conference Göteborg, Sweden, September 29 – October 1, 2002 Proceedings (s. 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. I Proceedings of Interaction Design and Children, IDC 2022 (s. 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. I S. Brewster, A. Cawsey & G. Cockton (red.), Human-Computer Interaction: INTERACT (s. 185-190). The British Computer Society.

Schultz, U. P. & Schougaard, K. R. (2004). Supporting Activity-Based Computingusing Dynamically (De)Composable Mobile Applications. I J. E. Bardram, H. B. Christensen, D. Garlan & J. P. Sousa (red.), Proceedings of First International Workshop on Computer Support for Human Tasks and Activities (Bind CfPC-2004-PB-60, s. 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. I J. Marks & E. D. Mynatt (red.), Proceedings of the 14th annual ACM symposium on User interface software and technology (s. 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. I R. E. Grinter, T. Rodden, P. M. Aoki, E. Cutrell, R. Jeffries & G. M. Olson (red.), CHI '06: Proceedings of the 2006 Conference on Human Factors in Computing Systems (s. 211-220) https://doi.org/10.1145/1124772.1124805

Hedegaard Morsing, L., Sheikh-Omar, O. A. & Iosifidis, A. (2021). Supervised Domain Adaptation: A Graph Embedding Perspective and a Rectified Experimental Protocol. IEEE Transactions on Image Processing, 30, 8619-8631. https://doi.org/10.1109/TIP.2021.3118978

Damgård, I. B., Funder, J. L., Nielsen, J. B. & Salvail, L. (2011). Superposition Attacks on Cryptographic Protocols. http://arxiv.org/abs/1108.6313v1

Damgård, I. B., Funder, J., Nielsen, J. B. & Salvail, L. (2014). Superposition attacks on cryptographic protocols. I C. Padró (red.), Information Theoretic Security: 7th International Conference, ICITS 2013, Singapore, November 28-30, 2013, Proceedings (s. 142-161). Springer. https://doi.org/10.1007/978-3-319-04268-8_9

Miltersen, P. B., Vinodchandran, N. V. & Watanabe, O. (1999). Super-Polynomial Versus Half-Exponential Circuit Size in the Exponential Hierarchy. I T. Asano, H. Imai, D. T. Lee, S. Nakano & T. Tokuyama (red.), Computing and Combinatorics: 5th Annual International Conference, COCOON'99 Tokyo, Japan, July 26-28, 1999 Proceedings (s. 210-220). Springer. https://doi.org/10.1007/3-540-48686-0_21

Limaye, N., Srinivasan, S. & Tavenas, S. (2022). Superpolynomial Lower Bounds Against Low-Depth Algebraic Circuits. I Proceedings - 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science, FOCS 2021 (s. 804-814). IEEE Computer Society Press. https://doi.org/10.1109/FOCS52979.2021.00083

Larsen, K. G. & Yu, H. (2026). SUPER-LOGARITHMIC LOWER BOUNDS FOR DYNAMIC GRAPH PROBLEMS. I 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS) (3 udg., Bind 55, s. FOCS23-42-FOCS23-69) https://doi.org/10.1137/24M1638215

Larsen, K. G. & Yu, H. (2023). Super-Logarithmic Lower Bounds for Dynamic Graph Problems. I Proceedings - 2023 IEEE 64th Annual Symposium on Foundations of Computer Science, FOCS 2023 (s. 1589-1604). IEEE. https://doi.org/10.1109/FOCS57990.2023.00096

Triandopoulos, N., Goodrich, M. T. & Tamassia, R. (2008). Super-Efficient Verification of Dynamic Outsourced Databases: Topics in Cryptology - CT-RSA 2008. Lecture Notes in Computer Science, 407-424. https://doi.org/10.1007/978-3-540-79263-5

Krogh, L. B., Nielsen, K. & Waaddegaard, N. (2019). SUN-projektet: Skolebaseret udvikling af naturfag og kapacitet i gymnasiet. MONA - Matematik- og Naturfagsdidaktik, (3), 47-67. https://tidsskrift.dk/mona/article/view/115582/163891

Aarhus, R., Ballegaard, S. A. & Hansen, T. R. (2009). SundtHjem projektet: Et forskningsprojekt om sundhedsteknologi til hjemmet med gravide diabetikere som case. Department of Computer Science, Aarhus University.

Viser resultater 1001 til 1050 ud af 6138

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series