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

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)

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

Klokmose, C. N. (2007). From a Theoretical Understanding to Practical Design of Ubiquitous User Interfaces. Progress Report: Progress Report.

Klokmose, C. N. (2008). An Instrumental Paradigm for Ubiquitous Interaction. In W. P. Brinkman, D. H. Ham & B. L. W. Wong (Eds.), ACM International Conference Proceeding Series; vol 250: Proceedings of the 14th European conference on Cognitive ergonomics: invent! explore! (Vol. 250, pp. 257-260). Association for Computing Machinery.

Klokmose, C. N. & Zander, P.-O. (2009). Rethinking laboratory notebooks with ubiquitous instrumental interaction. In J. Molka-Danielsen (Ed.), Proceedings of the 32nd Information Systems Research Seminar in Scandinavia, IRIS 32, Inclusive Design (pp. A14). TAPIR Akademisk Forlag. http://www.himolde.no/index.cfm/pageID/2483

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

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. (2009). On Human-Computer Interaction in Complex Artefact Ecologies. Aarhus Universitetsforlag.

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. (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. 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, Inc.. https://doi.org/10.1145/3654777.3676445, https://doi.org/10.1145/3654777.3676445

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

Klarlund, N. & Møller, A. (2001). MONA Version 1.4 User Manual. B R I C S 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. B R I C S 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. B R I C S 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.

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

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. & Bunde-Pedersen, J. (2006). A Formal Model for Context-Awareness. BRICS. Report Series No. RS-06-2 http://www.brics.dk/RS/06/2/BRICS-RS-06-2.pdf

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). Indoor Positioning with Radio Location Fingerprinting. Aarhus Universitetsforlag. http://arxiv.org/abs/1004.4759

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.

Displaying results 2051 to 2100 out of 5647

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University