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

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. Daimi Report Series (DAIMI PB), (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. Daimi Report Series (DAIMI PB) 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. IEEE 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

Kölker, J. (2012). I/O-efficient multiparty computation, formulaic secret sharing and np-complete puzzles. Department of Computer Science, Aarhus University.

Kolesnikov, V., Nielsen, J. B., Rosulek, M., Trieu, N. & Trifiletti, R. (2017). DUPLO: Unifying Cut-and-Choose for Garbled Circuits. In CCS 2017 - Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security (pp. 3-20). Association for Computing Machinery. https://doi.org/10.1145/3133956.3133991

Kolby, S., Ravi, D. & Yakoubov, S. (2024). Constant-Round YOSO MPC Without Setup. IACR Communications in Cryptology, 1(3). https://doi.org/10.62056/ae5w4fe-3

Kolby, S., Roy, L. D., Sternad, J. & Yakoubov, S. (2025). Information-Theoretic Random-Index PIR. In N. Gilboa (Ed.), 6th Conference on Information-Theoretic Cryptography (ITC 2025) (pp. 5:1-5:15). Article 5 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ITC.2025.5

Kolby, S. (2025). Studies on Scalable Security. [PhD dissertation, Aarhus University].

Kohlweiss , M., Maurer , U., Onete , C., Tackmann , B. & Venturi, D. (2013). Anonymity-Preserving Public-Key Encryption: A Constructive Approach. In E. De Cristofaro & M. Wright (Eds.), Privacy Enhancing Technologies: 13th International Symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013. Proceedings (pp. 19-39). Springer VS. https://doi.org/10.1007/978-3-642-39077-7_2

Kohlweiss, M., Pancholi, M. R. & Takahashi, A. (2023). How to Compile Polynomial IOP into Simulation-Extractable SNARKs: A Modular Approach. In G. Rothblum & H. Wee (Eds.), Theory of Cryptography: Book Subtitle 21st International Conference, TCC 2023, Taipei, Taiwan, November 29–December 2, 2023, Proceedings, Part III (pp. 486–512). Springer. https://doi.org/10.1007/978-3-031-48621-0_17

Kohlenbach, U. & Lambov, B. (2003). Bounds on Iterations of Asymptotically Quasi-Nonexpansive Mappings. BRICS Report Series, (RS-03-51).

Kohlenbach, U., Lambov, B., Falset, J. (Ed.), Fulster, E. (Ed.) & Sims, B. (Ed.) (2004). Bounds on Iterations of Asymptotically Quasi-non-expansive Mappings. In International Conference on Fixed Point Theory and Applications, Valencia 2003 (pp. 143-172). Yokohama Publishers.

Kohlenbach, U. (2005). Higher Order Reverse Mathematics. In S. G. Simpson (Ed.), Reverse Mathematics 2001 (pp. 281-295). A K Peters.

Kohlenbach, U. (2005). Some Logical Metatheorems with Applications in Functional Analysis. Transactions of the American Mathematical Society, 357(1), 89-128.

Koester, T., Jakobsen, J., Brøsted, J. E., Bach, K., Petersen, O. B., Kyng, M. & Rasch, S. M. (2015). Mental Models and Deliberate Manipulation of Data. In Proceedings of the International Symposium on Human Factors and Ergonomics in Health Care 2015 (1 ed., Vol. 4, pp. 62-69) https://doi.org/10.1177/2327857915041021

Displaying results 2151 to 2200 out of 5981

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University