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

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

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

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. (2013). Situating Engagement: Ubiquitous Infrastructures for In-Situ Civic Engagement. Datalogisk Institut, Aahus Universitet.

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

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). I/O-efficient multiparty computation, formulaic secret sharing and np-complete puzzles. Department of Computer Science, Aarhus University.

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

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

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. B R I C S 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

Knudsen, J. L., Madsen, O. L., Nørgaard, C., Petersen, L. B. & Sandvad, E. S. (1990). Teaching Object-Oriented Programming Using Beta. In Proceedings of the Apple European University Consortium Annual Conference Apple European University Consortium Annual Conference.

Knudsen, J. L., Grønbæk, K., Lassen, H. M., Møller, K. J. & Sandvad, E. (1993). EuroCODE Workpackage WP2 Task T2.2 report: Object-Oriented Model of the User Interface Construction Toolkit. CODE-AU No. 93-12

Knudsen, M., Søndergaard, D. & Pedersen, C. N. S. (2014). Combinatorics of Non-Ribosomal Peptide Synthetases.

Knudsen, M., Søndergaard, D. A., Tofting-Olesen, C., Hansen, F. T., Brodersen, D. E. & Pedersen, C. S. (2016). Computational discovery of specificity-conferring sites in non-ribosomal peptide synthetases. Bioinformatics, 32(3), 325-329. https://doi.org/10.1093/bioinformatics/btv600

Knudsen, S., Vermeulen, J., Kosminsky, D., Walny, J., West, M., Frisson, C., Adriel Aseniero, B., MacDonald Vermeulen, L., Perin, C., Quach, L., Buk, P., Tabuli, K., Chopra, S., Willett, W. & Carpendale, S. (2018). Democratizing Open Energy Data for Public Discourse Using Visualization. In R. Mandryk & M. Hancock (Eds.), CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (pp. D406:1-D406:4). Association for Computing Machinery. https://doi.org/10.1145/3170427.3186539

Klyuchnikov, N., Mottin, D., Koutrika, G., Müller, E. & Karras, P. (2019). Figuring out the User in a Few Steps: Bayesian Multifidelity Active Search with Cokriging. In KDD 2019 - Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (pp. 686-695). Association for Computing Machinery. https://doi.org/10.1145/3292500.3330893

Klysner, H., Thestrup, K. & Caprani, O. (2016). Robotstafetten. Pictures, Video and sound recordings (digital) https://youtu.be/yTaRTln4T7U?list=FL9DtJvDt0x4cyBb4MIKsccg

Klose, K., Ostermann, K. & Leuschel, M. (2007). Partial evaluation of pointcuts. In Practical Aspects of Declarative Languages: Lecture Notes in Computer Science (Vol. 4354/2007, pp. 320-334). Springer.

Klose, K. & Ostermann, K. (2009). A Classification Framework for Pointcut Languages in Runtime Monitoring. Lecture Notes in Business Information Processing, 289-307. https://doi.org/10.1007/978-3-642-02571-6_17

Klose, K. & Ostermann, K. (2010). Modular Logic Metaprogramming. In W. R. Cook & S. Clarke (Eds.), Proceedings of the ACM international conference on Object oriented programming systems languages and applications. OOPSLA '10 (pp. 484-503). Association for Computing Machinery. https://doi.org/10.1145/1869459.1869499

Klose, K. (2010). On the Expressiveness of Declarative Meta-Languages. Department of Computer Science, Aarhus University.

Klokmose, C. N. & Beaudouin-Lafon, M. (2008). From Applications to Ubiquitous Instrumental Interaction. In CHI '00: Proceedings of the SIGCHI conference on Human factors in computing systems (pp. 446-453). Association for Computing Machinery.

Klokmose, C. N. (2007). Towards an Instrumental Paradigm for Ubiquitous Interaction. In A. C. Brodersen, S. Bødker & C. N. Klokmose (Eds.), Multiple and Ubiquitous Interaction, 28. - 30. March 2007: Book of Abstracts (pp. 33-35)

Displaying results 1901 to 1950 out of 5406

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University