Aarhus University Seal

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

Klokmose, C. N. & Zander, P.-O. (2010). Rethinking Laboratory Notebooks. In M. Lewkowicz , P. Hassanaly, M. Rohde & V. Wulf (Eds.), Proceedings of COOP 2010 : Proceedings of the 9th Internationale Conference on Designing Cooperative Systems (pp. 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. Paper presented at Workshop on Participation - basic concepts and research challenges at PDC 2012, Roskilde, Denmark. http://pdc2012.org/index.html
Klokmose, C. N. & Bertelsen, O. W. (2013). The Mysterious Whiteboard. In P. Kotzé , G. Marsden , G. Lindgaard, J. Wesson & M. Winckler (Eds.), Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II (pp. 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. In EICS 2014 - Proceedings of the 2014 ACM SIGCHI Symposium on Engineering Interactive Computing Systems (pp. 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. In R. Dachselt, N. Graham, K. Hornbæk & M. Nacenta (Eds.), Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces, ITS '14 (pp. 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. In 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. In Proceedings of the 19th ACM Conference on Computer Supported Cooperative Work and Social Computing Companion, CSCW 2016 Companion: CSCW '16 Companion (pp. 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. In UIST 2024 - Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology (pp. 1-12). Article 42 Association for Computing Machinery. https://doi.org/10.1145/3654777.3676445, https://doi.org/10.1145/3654777.3676445
Klokmose, C. N., Hansen, L. K. & Kyng, M. (2025). Foreword. AAR Adjunct '25: Adjunct Proceedings of the Sixth Decennial Aarhus Conference: Computing X Crisis. https://doi.org/10.1145/3737609
Klinc, D., Hazay, C., Jagmohan, A., Krawczyk, H. & Rabin, T. (2012). On compression of data encrypted with block ciphers. I E E E Transactions on Information Theory, 58(11), 6989-7001. https://doi.org/10.1109/TIT.2012.2210752
Kleinau, J., Grønbæk, J. E. & Hoggan, E. (2025). Co-Designing Multimodal Tools for Radically Mobile Hybrid Meetings. In CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Article 706 Association for Computing Machinery. https://doi.org/10.1145/3706598.3713993
Kleinau, J. & Hoggan, E. (2025). Mediating Meeting Dynamics: An Exploration of AI-Based Multimodal Feedback in Hybrid Meetings. In Proceedings of the 23rd EUSSET Conference on Computer Supported Cooperative Work European Society for Socially Embedded Technologies (EUSSET). https://doi.org/10.48340/ecscw2025_cp04
Klarlund, N. & Møller, A. (2001). MONA Version 1.4 User Manual. BRICS Notes Series, (NS-01-1).
Klarlund, N., Møller, A. & Schwartzbach, M. I. (2002). MONA Implementation Secrets. International Journal of Foundations of Computer Science, 13(4), 571-586. https://doi.org/10.1142/S012905410200128X
Klarlund, N., Møller, A. & Schwartzbach, M. I. (2002). The DSD Schema Language. Automated Software Engineering, 9(3), 285-319. https://doi.org/10.1023/A:1016376608070
Klarlund, N., Møller, A. & Schwartzbach, M. I. (2000). Document Structure Description 1.0. BRICS Notes Series, (NS-00-7).
Klarlund, N., Møller, A. & Schwartzbach, M. I. (2001). MONA Implementation Secrets. In S. Yu & A. Paun (Eds.), Implementation and Application of Automata: 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24-25, 2000 Revised Papers (pp. 182-194). Springer. https://doi.org/10.1007/3-540-44674-5_4
Klarlund, N., Møller, A. & Schwartzbach, M. I. (2000). DSD: A Schema Language for XML. In Proceedings of the third workshop on Formal methods in software practice (pp. 101-111). Association for Computing Machinery. https://doi.org/10.1145/349360.351158
Klarlund, N., Nielsen, M. & Sunesen, K. (1996). Automated logical verification based on trace abstractions. In PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing (pp. 101-110). Association for Computing Machinery. https://doi.org/10.1145/248052.248069
Klarlund, N., Nielsen, M. & Sunesen, K. (1995). A case study in automated verification based on trace abstractions. BRICS Report Series, (RS-95-54).
Kläning, U. K. & Østerby, O. (1976). Hydration and Ion Pairing of Maleinates, Malonates and Substituted Malonates in Aqueos Solution. Journal of the Chemical Society, Faraday Transactions, 72, 513-525.
Kjeldbjerg, A. L., Villesen, P., Aagaard, L. & Pedersen, F. S. (2007). An active 70 million year old viral infection in humans. Poster session presented at High Throughput Biology: Genomics, Fluxomics, Proteomics, and Interactomics, Denmark.
Kjærside, K., Kortbek, K. J., Møller, H. H. & Grønbæk, K. (2005). ARDressCode: Augmented Dressing Room with Tag-based Motion Tracking and Real-Time Clothes Simulation. In Proceedings of Central European Multimedia and Virtual Reality Conference European Association for Computer Graphics.
Kjærgaard, M. B. (2005). On Abstraction Levels For Software Architecture Viewpoints. In W. C. Chu, N. J. Juzgado & W. E. Wong (Eds.), Procedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE 2005) (pp. 424-429). Knowledge Systems Institute.
Kjærgaard, M. B. (2006). An API for Integrating Spatial Context Models with Spatial Reasoning Algorithms. In Proceedings of the 3rd Workshop on Context Modelling and Reasoning (PerCom 2006) (pp. 18-23). IEEE. https://doi.org/10.1109/PERCOMW.2006.19
Kjærgaard, M. B. (2006). Automatic Mitigation of Sensor Variations for Signal Strength Based Location Systems. In Proceedings of 2nd International Workshop on Location- and Context-Awareness (LoCA 2006) (Vol. LNCS 3987, pp. 30-47). Springer. https://doi.org/10.1007/11752967_3
Kjærgaard, M. B. & Bunde-Pedersen, J. (2006). Towards a Formal Model of Context Awareness. In Proceedings of the First International Workshop on Combining Theory and Systems Building in Pervasive Computing (Pervasive 2006) (pp. 667-674) http://www.smartlab.cis.strath.ac.uk/CTSB/Pedersen.pdf
Kjærgaard, M. B., Treu, G. & Linnhoff–Popien, C. (2007). Zone-based RSS Reporting for Location Fingerprinting. In Proceedings of the Fifth International Conference on Pervasive Computing (Pervasive 2007) (pp. 316-333). Springer. https://doi.org/10.1007/978-3-540-72037-9_19
Kjærgaard, M. B. (2007). Cyclic Processing for Context Fusion. In Adjunct Proceedings of the Fifth International Conference on Pervasive Computing (Pervasive 2007) (pp. 41-44). OCG.
Kjærgaard, M. B. (2007). Cleaning and Processing RSS measurements for Location Fingerprinting. In Proceedings of the Third International Conference on Autonomic and Autonomous Systems (ICAS 2007) (pp. 12). IEEE. https://doi.org/10.1109/CONIELECOMP.2007.64
Kjærgaard, M. B. (2007). A Taxonomy for Radio Location Fingerprinting. In Proceedings of the Third International Symposium on Location and Context Awareness (LoCA 2007) (Vol. 4718, pp. 139-156). Springer. https://doi.org/10.1007/978-3-540-75160-1_9
Kjærgaard, M. B., Treu, G., Ruppel, P. & Küpper, A. (2008). Efficient Indoor Proximity and Separation Detection for Location Fingerprinting. In Proceedings of the First International Conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications (Mobilware 2008): ACM International Conference Proceeding Series, Vol. 278 (Vol. 278, pp. 1-8). Association for Computing Machinery. http://doi.acm.org/10.1145/1361492.1361494
Kjærgaard, M. B. & Munk, C. V. (2008). Hyperbolic Location Fingerprinting: A Calibration-Free Solution for Handling Differences in Signal Strength. In L. Ni & J. Cao (Eds.), Proceedings of the Sixth Annual IEEE International Conference on Pervasive Computing and Communications (Percom 2008) (pp. 110-116). IEEE. https://doi.org/10.1109/PERCOM.2008.75
Kjærgaard, M. B. (2006). "Pervasive" trends 2006. (Forskningsformidlende rapport ed.) Komialt - Vidennetværk for Pervasive Communication - Pixibog.
Kjærgaard, M. B. (2008). Service-Orienteret Arkitektur. Komialt - Vidennetværk for Pervasive Communication - Pixibog.
Kjærgaard, M. B., Jensen, J. L., Godsk, T. & Toftkjær, T. (2009). EnTracked: Energy-Efficient Robust Position Tracking for Mobile Devices. In Proceedings of the 7th ACM International Conference on Mobile Systems, Applications and Services (MobiSys 2009): SESSION: Location (pp. 221-234). Association for Computing Machinery. https://doi.org/10.1145/1555816.1555839
Kjærgaard, M. B., Blunck, H., Godsk, T., Toftkjær, T., Christensen, D. L. & Grønbæk, K. (2010). Demonstrating Tools and Results of a Measurement Campaign for Indoor GPS Positioning. Poster session presented at The Eight International Conference on Pervasive Computing, Helsinki, Finland.
Kjærgaard, M. B., Jensen, J. L., Godsk, T. & Toftkjær, T. (2010). Demonstrating EnTracked a System for Energy-Efficient Position Tracking for Mobile Devices. Poster session presented at 12th ACM International Conference on Ubiquitous Computing, Copenhagen, Denmark. https://doi.org/10.1145/1864431.1864439
Kjærgaard, M. B. & Blunck, H. (2011). Unsupervised Power Profiling for Mobile Devices. Paper presented at The 8th Annual International Conference on Mobile and Ubiquitous Systems:Computing, Networking and Services, København, Denmark.
Kjærgaard, M. B., Bhattacharya, S., Blunck, H. & Nurmi, P. (2011). Energy-efficient Trajectory Tracking for Mobile Devices. In Proceedings of the 9th International Conference on Mobile Systems, Applications, and Services. MobiSys '11 (pp. 307-320). Association for Computing Machinery. https://doi.org/10.1145/1999995.2000025
Kjærgaard, M. B. (2010). On Improving the Energy Efficiency and Robustness of Position Tracking for Mobile Devices. Paper presented at The 7th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous 2010), Sydney, Australia.
Kjærgaard, M. B. & Weckemann, K. (2010). PosQ: Unsupervised Fingerprinting and Visualization of GPS Positioning Quality. Paper presented at The Second International Conference on Mobile Computing, Applications, and Services.
Kjærgaard, M. B. & Blunck, H. (2012). Unsupervised Power Profiling for Mobile Devices. In A. Puiatti & T. Gu (Eds.), Mobile and Ubiquitous Systems: Computing, Networking, and Services: 8th International ICST Conference, MobiQuitous 2011, Copenhagen, Denmark, December 6-9, 2011, Revised Selected Papers (pp. 138-149). Springer. https://doi.org/10.1007/978-3-642-30973-1_12