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

Krebbers, R. (2016). A Formal C Memory Model for Separation Logic. Journal of Automated Reasoning, 57(4), 319–387. https://doi.org/10.1007/s10817-016-9369-1

Krebbers, R., Jung, R., Bizjak, A., Jourdan, J.-H., Dreyer, D. & Birkedal, L. (2017). The Essence of Higher-Order Concurrent Separation Logic. In H. Yang (Ed.), Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings (pp. 696-723). Springer VS. https://doi.org/10.1007/978-3-662-54434-1_26

Krebbers, R., Timany, A. & Birkedal, L. (2017). Interactive proofs in higher-order concurrent separation logic. In A. D. Gordon & G. Castagna (Eds.), Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017 (pp. 205-217). Association for Computing Machinery. https://doi.org/10.1145/3009837.3009855

Krarup Hansen, T., Winther Jensen, J., Grønbæk, K. & Obel, C. M. (2017). Big data i sundhed rammer de svageste. Politiken, kroniken, 7-8. http://politiken.dk/debat/kroniken/art5954529/Big-Data-i-sundhed-rammer-de-svageste

Kranen, P., Assent, I., Baldauf, C. & Seidl, T. (2011). The ClusTree : indexing micro-clusters for anytime stream mining. Knowledge and Information Systems, 29(2), 249-272. https://doi.org/10.1007/s10115-010-0342-8

Kranen, P., Assent, I. & Seidl, T. (2012). An Index-Inspired Algorithm for Anytime Classification on Evolving Data Streams. Datenbank-Spektrum, 12(1), 43-50 . https://doi.org/10.1007/s13222-012-0083-9

Kramp, G., Kristensen, M. & Pedersen, J. F. (2007). Physical and Digital Design of the BlueBio Biomonitoring System Prototype, to be used in Emergency Medical Response. In Proceedings on 1st International Conference on Pervasive Computing Technologies for Healthcare 2006 IEEE.

Kramp, G., Nielsen, P. & Møller, A. S. (2010). Particapatory Interaction in Therapeutical Strategies. D A I M I P B, (593), 34-37.

Kramp, G. & Rasmussen, J. (2018). Servicetransformation – en guide til servicetransformationsprocesser. https://indd.adobe.com/view/05d9eb88-4231-4632-8709-46296fddb294

Koutra, D., Mottin, D. & Zhu, J. (2023). Fact summarization for personalized knowledge graphs. In Personal Knowledge Graphs (PKGs): Methodology, tools and applications (pp. 239-254). Institution of Engineering and Technology. https://doi.org/10.1049/PBPC063E_ch10

Koti, N., Suresh, A., Rachuri, S. R. & Patra, A. (2022). Tetrad: Actively Secure 4PC for Secure Training and Inference. Paper presented at Network and Distributed Systems Security (NDSS) Symposium 2022, San Diego ,Calif., United States. https://doi.org/10.14722/ndss.2022.24058

Kostitsyna, I., Löffler, M., Polishchuk, V. & Staals, F. (2016). On the complexity of minimum-link path problems. In S. Fekete & A. Lubiw (Eds.), 32nd International Symposium on Computational Geometry, SoCG 2016 (Vol. 51, pp. 49.1-49.16). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2016.49

Kortbek, K. J. & Grønbæk, K. (2008). Communicating Art through Interactive Technology: New Approaches for Interaction Design in Art Museums. In K. Tollmar & B. Jönsson (Eds.), Proceedings of the 5th Nordic conference on Human-computer interaction: building bridges (pp. 229-238). Association for Computing Machinery. https://doi.org/10.1145/1463160.1463185

Kortbek, K. J. & Grønbæk, K. (2008). Interactive spatial multimedia for communication of art in the physical museum space. In R. Wakkary (Ed.), Proceeding of the 16th ACM international conference on Multimedia (pp. 609-618). Association for Computing Machinery. https://doi.org/10.1145/1459359.1459441

Kortbek, K. J. (2008). Interaction Design for Public Spaces. In A. EL. Saddik & S. Vuong (Eds.), Proceedings of the 16th ACM International Conference on Multimedia (pp. 1031-1034). Association for Computing Machinery. https://doi.org/10.1145/1459359.1459566

Kortbek, K. J. (2005). MORF. Abstract from Collaborative Artifacts - Interactive Furniture Workshop, Château-d'Oex, Switzerland. http://www.daimi.au.dk/~kortbek/web/Publications/caif-booklet.pdf

Kortbek, K. J. (2007). Kroppen som interaktionsredskab. Institut for Informations- og medievidenskab Aarhus universitet.

Kortbek, K. J. (2009). Interaktive audiodramaer i byens rum. Peripeti, 11, 43-54. http://www.peripeti.dk/2009/06/12/interaktivitet/

Kortbek, K. J. (2011). Staging as a Holistic Perspective on Interaction Design for Public Environments. Department of Computer Science, Aarhus University.

Korsgaard, H. & Brynskov, M. (2013). Prototyping a Smart City. Paper presented at International Workshop Digital Cities, Munich, Germany.

Korsgaard, H. & Brynskov, M. (2014). City Bug Report: Urban prototyping as participatory process and practice. In M. Brynskov, P. Dalsgaard & A. F. G. Schiec (Eds.), MAB14, Proceedings of the 2nd Media Architecture Biennale Conference : World Cities (pp. 21-29). Association for Computing Machinery. https://doi.org/10.1145/2682884.2682896

Korsgaard, H., Klokmose, C. N. & Bødker, S. (2016). Computational Alternatives in Participatory Design: Putting the T Back in Socio-technical Research. In M. Teli, J. McDonnell, K. Bodker, C. Bossen, R. C. Smith & A. M. Kanstrup (Eds.), PDC 2016: Proceedings of the 14th Participatory Design Conference: Full Papers - Volume 1 (pp. 71-79). Association for Computing Machinery. https://doi.org/10.1145/2940299.2940314

Korsgaard, H. & Klokmose, C. N. (2016). Composition and mediation in cross-surface interaction. Paper presented at Cross-Surface: Challenges and Opportunities for ‘bring your own device’ in the wild, San Jose, California, United States. http://cross-surface.com/papers/Cross-Surface_2016_paper_15.pdf

Korsgaard, H., Thiel, S. K., Thomas, V. & Ertiö, T. (2018). Working across boundaries in smart city research. In C. C. Hinnant & A. Zuiderwijk (Eds.), Proceedings of the 19th Annual International Conference on Digital Government Research: Governance in the Data Age Article 39 Association for Computing Machinery. https://doi.org/10.1145/3209281.3209315

Korsgaard, H., Lewkowicz, M., Boden, A., Bødker, S. & Avram, G. (2020). ECSCW Workshop: Studying Technical Mechanisms for Supporting Sharing Communities. Abstract from The 18th European Virtual Conference on
Computer-Supported Cooperative Work, Siegen, Germany. https://cio.cs.au.dk/ecscw-workshop/pdfs/eCSCW_workshop__Technical_Mechanisms_for_supporting_sharing_communities.pdf

Korsgaard, H., Lyle, P. J., Saad-Sulonen, J., Klokmose, C. N., Nouwens, M. & Bødker, S. (2022). Collectives and Their Artifact Ecologies. Proceedings of the ACM on Human-Computer Interaction, 6(CSCW2), Article 432. https://doi.org/10.1145/3555533

Korsgaard, H. (2017). Toward Place-Centric Computing: Making Place With Technology Together.

Kornerup, P., Kristensen, B. B. & Madsen, O. L. (1980). Interpretation and code generation based on intermediate languages. Software: Practice & Experience, 10(8), 635-658. https://doi.org/10.1002/spe.4380100804

Korn, M. (2009). Methodological Reflections on Working with Young Children. D A I M I P B, (591), 42-44.

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

Korn, M. & Zander, P.-O. (2010). From Workshops to Walkshops: Evaluating Mobile Locastion-Based Applications in Realistic Settings. In Proceedings of the 1st International Workshop on Observing the Mobile User Experience (pp. 29-32). University of Trento e-books. http://mkorn.binaervarianz.de/pub/nordichi2010-ws.pdf

Korn, M. (2010). Understanding Use Situated in Real-world Mobile Contexts. Paper presented at ACM Conference on Ubiquitous Computing. Ubicomp '10, København, Denmark. http://mkorn.binaervarianz.de/pub/ubicomp2010-ws.pdf

Korn, M. (2011). Place and Situated Deliberation in Participatory Planning – A Research Proposal. International Reports on Socio-Informatics, 8(2), 41-48. http://www.iisi.de/fileadmin/IISI/upload/IRSI/irsiV8i2.pdf

Korn, M. & Bødker, S. (2012). Looking ahead – How field trials can work in iterative and exploratory design of ubicomp systems. In UbiComp '12 : Proceedings of the 2012 ACM Conference on Ubiquitous Computing (pp. 21-30). Association for Computing Machinery. https://doi.org/10.1145/2370216.2370221

Korn, M. & Back, J. (2012). Talking it Further: From Feelings and Memories to Civic Discussions In and About Places. In L. Malmborg & T. Pederson (Eds.), NordiCHI '12 Proceedings of the 7th Nordic Conference on Human-Computer Interaction: Making Sense Through Design (pp. 189-198). Association for Computing Machinery. https://doi.org/10.1145/2399016.2399046

Korn, M. & Klokmose, C. N. (2012). Putting 'Local' Back into Public Wifi Hotspots. In UbiComp '12 : Proceedings of the 2012 ACM Conference on Ubiquitous Computing (pp. 800-801). Association for Computing Machinery. https://doi.org/10.1145/2370216.2370399

Korn, M., Polli, A. M. & Klokmose, C. N. (2013). Experiences from a Real-Time Mobile Collaborative Writing System in an Art Gallery. Paper presented at Designing Mobile Face-to-Face Group Interactions at ECSCW 2013, Paphos, Cyprus. http://groupinteractions.wordpress.com/

Korn, M., Colombino, T. & Lewkowicz, M. (Eds.) (2013). ECSCW 2013 Adjunct Proceedings: The 13th European Conference on Computer Supported Cooperative Work, 21-25 September 2013, Paphos, Cyprus. Department of Computer Science, Aarhus University. D A I M I P B No. 596

Korn, M., Polli, A. M. & Klokmose, C. N. (2013). Experiences from a Real-Time Mobile Collaborative Writing System in an Art Gallery. Abstract from Designing Mobile Face-to-Face Group Interactions at ECSCW 2013, Paphos, Cyprus. http://ojs.statsbiblioteket.dk/index.php/daimipb/article/viewFile/13587/11586

Korn, M. (2013). Situating Engagement: Ubiquitous Infrastructures for In-Situ Civic Engagement. Datalogisk Institut, Aahus Universitet.

Korhonen, I. & Bardram, J. E. (2004). Introduction to this special issue on Pervasive Healthcare. I E E E Transactions on Information Technology in Biomedicine, 8(3), 229-234.

Kopple, J. D., Cheung, A. K., Christiansen, J. S., Djurhuus, C. B., El Nahas, M., Feldt-Rasmussen, B., Lange, M., Mitch, W. E., Wanner, C., Wiedemann, J. & Ikizler, T. A. (2008). OPPORTUNITY: a randomized clinical trial of growth hormone on outcome in hemodialysis patients. Clinical Journal of American Society of Nephrology. , 3(6), 1741-51. https://doi.org/10.2215/CJN.02760608

Kondi, Y., Magri, B., Orlandi, C. & Shlomovits, O. (2021). Refresh when you wake up: Proactive threshold wallets with offline devices. In 2021 IEEE Symposium on Security and Privacy (SP) (pp. 608-625). IEEE. https://doi.org/10.1109/SP40001.2021.00067

Kondi, Y., Orlandi, C. & Roy, L. (2023). Two-Round Stateless Deterministic Two-Party Schnorr Signatures from Pseudorandom Correlation Functions. In H. Handschuh & A. Lysyanskaya (Eds.), Advances in Cryptology – CRYPTO 2023: 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023, Proceedings, Part I (pp. 646-677). Springer. https://doi.org/10.1007/978-3-031-38557-5_21

Kolyaie, S., Treier, U., Bøcher, P. K., Tsirogiannis, C., Kania, A., Nabe-Nielsen, J. & Normand, S. (2020). Arctic vegetation mapping using ultra-high resolution images. Poster session presented at Nordic Oikos conference 2020
, Reykjavík, Iceland.

Kolstad, H. A., Stokholm, Z. A., Jensen, C. S., Frederiksen, T. W. & Bonde, J. P. (2011). Are occupational noise-exposure levels declining? In 10th International Congress on Noise as a Public Health Problem 2011, ICBEN 2011 - Proceedings of the Institute of Acoustics (PART 3 ed., Vol. 33 1, pp. 148-151)

Kölker, J. (2012). Kurodoko is NP-Complete. Journal of Information Processing, 20(3), 694-706 . https://doi.org/10.2197/ipsjjip.20.694

Kölker, J. (2012). The Magnets Puzzle is NP-Complete. Journal of Information Processing, 20(3), 707-708 . https://doi.org/10.2197/ipsjjip.20.707

Kölker, J. (2012). Selected Slither Link Variants are NP-complete. Journal of Information Processing, 20(3), 709-712 . https://doi.org/10.2197/ipsjjip.20.709

Displaying results 2101 to 2150 out of 5896

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University