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

Korn, M., Polli, A. M. & Klokmose, C. N. (2013). Experiences from a Real-Time Mobile Collaborative Writing System in an Art Gallery. Abstract fra International Workshop on Designing Mobile Face-to-Face Group Interactions , Paphos, Cypern. 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.

Kondi, Y., Magri, B., Orlandi, C. & Shlomovits, O. (2021). Refresh when you wake up: Proactive threshold wallets with offline devices. I 2021 IEEE Symposium on Security and Privacy (SP) (s. 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. I H. Handschuh & A. Lysyanskaya (red.), Advances in Cryptology – CRYPTO 2023: 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023, Proceedings, Part I (s. 646-677). Springer. https://doi.org/10.1007/978-3-031-38557-5_21

Kolstad, H. A., Stokholm, Z. A., Jensen, C. S., Frederiksen, T. W. & Bonde, J. P. (2011). Are occupational noise-exposure levels declining? I 10th International Congress on Noise as a Public Health Problem 2011, ICBEN 2011 - Proceedings of the Institute of Acoustics (PART 3 udg., Bind 33 1, s. 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. I CCS 2017 - Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security (s. 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

Kohlweiss , M., Maurer , U., Onete , C., Tackmann , B. & Venturi, D. (2013). Anonymity-Preserving Public-Key Encryption: A Constructive Approach. I E. De Cristofaro & M. Wright (red.), Privacy Enhancing Technologies: 13th International Symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013. Proceedings (s. 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. I G. Rothblum & H. Wee (red.), Theory of Cryptography: Book Subtitle 21st International Conference, TCC 2023, Taipei, Taiwan, November 29–December 2, 2023, Proceedings, Part III (s. 486–512). Springer. https://doi.org/10.1007/978-3-031-48621-0_17

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. I Proceedings of the International Symposium on Human Factors and Ergonomics in Health Care 2015 (1 udg., Bind 4, s. 62-69) https://doi.org/10.1177/2327857915041021

Ko, D., Kim, Y., Zhu, J., Wessely, M. & Mueller, S. (2023). FlexBoard: A Flexible Breadboard for Interaction Prototyping on Curved and Deformable Surfaces. I CHI '23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Artikel 733 Association for Computing Machinery. https://doi.org/10.1145/3544548.3580748

Ko, D., Kim, Y., Zhu, J., Wessely, M. & Mueller, S. (2023). Demonstration of FlexBoard: A Flexible Breadboard Platform for Interaction Prototyping on Curved and Deformable Objects. I CHI EA '23: Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems Artikel 444 Association for Computing Machinery. https://doi.org/10.1145/3544549.3583915

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. I R. Mandryk & M. Hancock (red.), CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (s. 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. I KDD 2019 - Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (s. 686-695). Association for Computing Machinery. https://doi.org/10.1145/3292500.3330893

Klysner, H., Thestrup, K. & Caprani, O. (2016). Robotstafetten. Billeder, Video- og Lydoptagelser (digital) https://youtu.be/yTaRTln4T7U?list=FL9DtJvDt0x4cyBb4MIKsccg

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

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

Klokmose, C. N. (2007). An Instrumental Paradigm for Ubiquitous Interaction. I Conference Proceedings of ECCE 2007 Association for Computing Machinery.

Klokmose, C. N. & Beaudouin-Lafon, M. (2009). VIGO: Instrumental Interaction in Multi-Surface Environments. I D. R. Olsen Jr. & R. B. Arthur (red.), CHI '09 Proceedings of the 27th International Conference on Human factors in Computing Systems (Bind SESSION: Programming tools and architectures, s. 869-878). Association for Computing Machinery. https://doi.org/10.1145/1518701.1518833

Klokmose, C. N. & Zander, P.-O. (2010). Rethinking Laboratory Notebooks. I M. Lewkowicz , P. Hassanaly, M. Rohde & V. Wulf (red.), Proceedings of COOP 2010 : Proceedings of the 9th Internationale Conference on Designing Cooperative Systems (s. 119-140). Springer. http://coop.wineme.fb5.uni-siegen.de/proceedings2010/8_cKlokmose_et_al_119_140.pdf

Klokmose, C. N. & Korn, M. (2012). On the Degree of Participant Commitment in Non-Work Settings. Afhandling præsenteret på Workshop on Participation - basic concepts and research challenges at PDC 2012, Roskilde, Danmark. http://pdc2012.org/index.html

Klokmose, C. N. (2013). Visual Attributes for Face Images: A review of Describable Visual Attributes for Face Images, by Neraaj Kumar. Dissertation Reviews, (10. January). http://dissertationreviews.org/archives/2053

Klokmose, C. N. & Bertelsen, O. W. (2013). The Mysterious Whiteboard. I P. Kotzé , G. Marsden , G. Lindgaard, J. Wesson & M. Winckler (red.), Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II (s. 37-54 ). Springer VS. https://doi.org/10.1007/978-3-642-40480-1_3

Klokmose, C. N., Korn, M. & Blunck, H. (2014). WiFi proximity detection in mobile web applications. I EICS 2014 - Proceedings of the 2014 ACM SIGCHI Symposium on Engineering Interactive Computing Systems (s. 123-128). Association for Computing Machinery. https://doi.org/10.1145/2607023.2610281

Klokmose, C. N., Kristensen, J. B., Bagge, R. & Halskov, K. (2014). BullsEye: High-Precision Fiducial Tracking for Table-based Tangible Interaction. I R. Dachselt, N. Graham, K. Hornbæk & M. Nacenta (red.), Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces, ITS '14 (s. 269-278 ). Association for Computing Machinery. https://doi.org/10.1145/2669485.2669503

Klokmose, C. N., Eagan, J. R., Baader, S., Mackay, W. & Beaudouin-Lafon, M. (2015). Webstrates: Shareable Dynamic Media. I UIST'15 Proceedings of the 28th annual ACM symposium on User interface software and technology (UIST '15) Association for Computing Machinery. https://doi.org/10.1145/2807442.2807446

Klokmose, C. N., Eagan, J., Baader, S., Mackay, W. & Beaudouin-Lafon, M. (2016). Webstrates: Demonstrating the potential of shareable dynamic media. I Proceedings of the 19th ACM Conference on Computer Supported Cooperative Work and Social Computing Companion, CSCW 2016 Companion: CSCW '16 Companion (s. 61-64). Association for Computing Machinery. https://doi.org/10.1145/2818052.2874325

Klokmose, C. N., Eagan, J. R. & Van Hardenberg, P. (2024). MyWebstrates: Webstrates as Local-first Software. I UIST 2024 - Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology (s. 1-12). Artikel 42 Association for Computing Machinery. https://doi.org/10.1145/3654777.3676445, https://doi.org/10.1145/3654777.3676445

Klokmose, C. N. (2009). On Human-Computer Interaction in Complex Artefact Ecologies. Aarhus Universitetsforlag.

Kleinau, J., Grønbæk, J. E. & Hoggan, E. (2025). Co-Designing Multimodal Tools for Radically Mobile Hybrid Meetings. I CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Artikel 706 Association for Computing Machinery. https://doi.org/10.1145/3706598.3713993

Kjelstrom, A. H. & Pavlogiannis, A. (2022). The Decidability and Complexity of Interleaved Bidirected Dyck Reachability. Proceedings of the ACM on Programming Languages , 6(POPL), Artikel 12. https://doi.org/10.1145/3498673

Kjærgaard, M. B. (2012). Minimizing the Power Consumption of Location-Based Services on Mobile Phones. I E E E Pervasive Computing, 11(1), 67-73. https://doi.org/10.1109/MPRV.2010.47

Kjærgaard, M. B. & Blunck, H. (2011). Unsupervised Power Profiling for Mobile Devices. Afhandling præsenteret på The 8th Annual International Conference on Mobile and Ubiquitous Systems:Computing, Networking and Services, København, Danmark.

Kjærgaard, M. B. & Blunck, H. (2012). Unsupervised Power Profiling for Mobile Devices. I A. Puiatti & T. Gu (red.), Mobile and Ubiquitous Systems: Computing, Networking, and Services: 8th International ICST Conference, MobiQuitous 2011, Copenhagen, Denmark, December 6-9, 2011, Revised Selected Papers (s. 138-149). Springer. https://doi.org/10.1007/978-3-642-30973-1_12

Kjærgaard, M. B. & Weckemann, K. (2012). PosQ : Unsupervised Fingerprinting and Visualization of GPS Positioning Quality. I M. Gris & G. Yang (red.), Mobile Computing, Applications, and Services: Second International ICST Conference, MobiCASE 2010, Santa Clara, CA, USA, October 25-28, 2010, Revised Selected Papers (s. 176-194 ). Springer. https://doi.org/10.1007/978-3-642-29336-8_10

Kjærgaard, M. B., Wirz, M., Roggen, D. & Tröster, G. (2012). Detecting Pedestrian Flocks by Fusion of Multi-Modal Sensors in Mobile Phones. I Proceedings of the 2012 ACM Conference on Ubiquitous Computing (s. 240-249). Association for Computing Machinery. https://doi.org/10.1145/2370216.2370256

Kjærgaard, M. B. & Nurmi, P. (2012). Challenges for Social Sensing using WiFi Signals. I Proceedings of the 1st ACM workshop on Mobile systems for computational social science, MCSS '12 (s. 17-21 ). Association for Computing Machinery. https://doi.org/10.1145/2307863.2307869

Kjærgaard, M. B., Wirz, M., Roggen, D. & Tröster, G. (2012). Mobile Sensing of Pedestrian Flocks in Indoor Environments using WiFi Signals. I IEEE International Conference on Pervasive Computing and Communications (PerCom) (s. 95 - 102 ). IEEE. https://doi.org/10.1109/PerCom.2012.6199854

Kjærgaard, M. B., Blunck, H., Wüstenberg, M., Grønbæk, K., Wirz, M., Roggen, D. & Tröster, G. (2013). Time-lag Method for Detecting Following and Leadership Behavior of Pedestrians from Mobile Sensing Data. I IEEE International Conference on Pervasive Computing and Communications (PerCom), 2013 (s. 56 - 64 ). IEEE. https://doi.org/10.1109/PerCom.2013.6526714

Kjærgaard, M. B. (2013). Studying Sensing-Based Systems: Scaling to Human Crowds in the Real World . I E E E Internet Computing, 17(5), 80 - 84 . https://doi.org/10.1109/MIC.2013.101

Kjærgaard, M. B. & Blunck, H. (2014). Tool support for detection and analysis of following and leadership behavior of pedestrians from mobile sensing data. Pervasive and Mobile Computing, 10(A), 104-117. https://doi.org/10.1016/j.pmcj.2013.10.007

Kjærgaard, M. B., Krarup, M. V., Stisen, A., Prentow, T. S., Blunck, H., Grønbæk, K. & Jensen, C. S. (2013). Indoor Positioning using Wi-Fi: How Well Is the Problem Understood?. Afhandling præsenteret på International Conference on Indoor Positioning and Indoor Navigation, Montbéliard, Frankrig.

Kirkegaard, K. K., Fredsted, P. V., Jensen, J. M., Hindkjær, J. J., Kølvraa, S., Ingerslev, H. J. & Lykke-Hartmann, K. (2015). Distinct differences in global gene expression profiles in non-implanted blastocysts and blastocysts resulting in live birth. Gene, 571(2), 212-220. https://doi.org/10.1016/j.gene.2015.06.057

Kingo Mogensen, T. & Aranha, D. F. (2022). Security analysis of the passwordless MitID digital identity system. Abstract fra 27th Nordic Conference on Secure IT Systems (NordSec 2022), Reykjavik, Island.

Viser resultater 1201 til 1250 ud af 3070

Forrige

Næste

Revideret 10.10.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series