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

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

Kjærgaard, M. B. & Weckemann, K. (2012). PosQ : Unsupervised Fingerprinting and Visualization of GPS Positioning Quality. In M. Gris & G. Yang (Eds.), Mobile Computing, Applications, and Services: Second International ICST Conference, MobiCASE 2010, Santa Clara, CA, USA, October 25-28, 2010, Revised Selected Papers (pp. 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. In Proceedings of the 2012 ACM Conference on Ubiquitous Computing (pp. 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. In Proceedings of the 1st ACM workshop on Mobile systems for computational social science, MCSS '12 (pp. 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. In IEEE International Conference on Pervasive Computing and Communications (PerCom) (pp. 95 - 102 ). IEEE. https://doi.org/10.1109/PerCom.2012.6199854

Kjærgaard, M. B. (2012). On Improving the Energy Efficiency and Robustness of Position Tracking for Mobile Devices. In Mobile and Ubiquitous Systems: Computing, Networking, and Services: 7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010, Revised Selected Papers (pp. 162-173 ). Springer. https://doi.org/10.1007/978-3-642-29154-8_14

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. In IEEE International Conference on Pervasive Computing and Communications (PerCom), 2013 (pp. 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?. Paper presented at International Conference on Indoor Positioning and Indoor Navigation, Montbéliard, France.

Kjær, A., Petersen, M. G. & Madsen, K. H. (2000). Methodological Challenges in the Study of Technology at Home. In A. Sloane & F. van Rijn (Eds.), Home Informatics and Telematics: Information Society and Technology (pp. 45-60). Kluwer Academic Publishers.

Kjær, K. E. (2007). A survey of context-aware middleware. In SE'07: Proceedings of the 25th IASTED Conference on Software Engineering (Vol. ProfileID:81343494583, pp. 148-155). ACTA Press.

Kjær, K. E. (2007). First Class Connectors for Prototyping Service Oriented Architectures. In Software Architecture (Vol. 4758/2007, pp. 171-178). Springer.

Kjær, K. E. (2007). Ethnographic studies as a requirement gathering process for the design of context aware middleware. In Proceedings of the 8th ACM/IFIP/USENIX international conference on Middleware: SESSION: Demos and posters (pp. Article No. 3). Association for Computing Machinery.

Kjær, K. E. (2008). Designing middleware for context awareness in agriculture. In S. Michiels (Ed.), Middleware Conference: Proceedings of the 5th Middleware doctoral symposium (pp. 19-24). Association for Computing Machinery.

Kjær, K. E. (2008). Protokoller til Home Automation. (1. ed.). KomIAlts pixi-bøger

Kjær, K. E. (2009). Participatory Middleware Design: Experimental Development of Semantic, Service Oriented, Context Aware Middleware for Ubiquitous Computing. Aarhus Universitetsforlag.

Kjaer, S. K., Andersen, E. S., Djursing, H., Hansen, T., Jørgensen, J. J., Nilas, L., Ottesen, B. S., Petersen, L. K., Thomsen, S. G. & Toftager-Larsen, K. (2007). Quadrivalent vaccine mod humant papillomvirus til forebyggelse af svaere celleforandringer på livmoderhalsen. Ugeskrift for Læger, 169(46), 3971-4.

Kissling, W. D., Dalby, L., Fløjgaard, C., Lenoir, J., Sandel, B. S., Sandom, C. J., Nielsen, K. T. & Svenning, J.-C. (2014). Establishing macroecological trait datasets: digitalization, extrapolation, and validation of diet preferences in terrestrial mammals worldwide. Ecology and Evolution, 4(14), 2913–2930. https://doi.org/10.1002/ece3.1136

Kirkegaard, C., Møller, A. & Schwartzbach, M. I. (2004). Static Analysis of XML Transformations in Java. I E E E Transactions on Software Engineering, 30(3), 181-192. https://doi.org/10.1109/TSE.2004.1271173

Kirkegaard, C. & Møller, A. (2006). Static Analysis for Java Servlets and JSP. In K. Yi (Ed.), Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings (pp. 336-352). Springer. https://doi.org/10.1007/11823230_22

Kirkegaard, C. & Møller, A. (2006). Type Checking with XML Schema in XACT. Paper presented at PLAN-X 2006: ACM SIGPLAN Workshop on Programming Language Technologies for XML, Charleston, SC, United States.

Kirkegaard, C. (2006). Programming with XML. Daimi PhD Dissertation No. PD-06-10

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

Kirchner, H. & Mosses, P. D. (2001). Algebraic Specifications, Higher-order Types and Set-theoretic Models. Journal of Logic and Computation, 11(3), 453-481.

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

Kingo, T. & Aranha, D. F. (2023). User-centric security analysis of MitID: the Danish passwordless digital identity solution. Computers & Security, 132, Article 103376. https://doi.org/10.1016/j.cose.2023.103376

King, T. & Kjærgaard, M. B. (2008). ComPoScan: Adaptive Scanning for Efficient Concurrent Communications and Positioning with 802.11. In D. Grunwald, R. Han, E. de Lara & C. Schlatter Ellis (Eds.), Proceedings of the 6th ACM International Conference on Mobile Systems, Applications, and Services (Mobisys 2008): SESSION: Stretching WiFi (Vol. Session 2, pp. 67-80). Association for Computing Machinery. https://doi.org/10.1145/1378600.1378609

Kinch, S., Grönvall, E., Petersen, M. G. & Rasmussen, M. K. (2014). Encounters on a Shape-changing Bench: Exploring atmospheres and social behaviour in situ. In A. Butz & S. Greenberg (Eds.), Proceedings of the 8th International Conference on Tangible, Embedded and Embodied Interaction, TEI '14 (pp. 233-240 ). Association for Computing Machinery. https://doi.org/10.1145/2540930.2540947

Kim, J., Yi, K. & Danvy, O. (1998). Assessing the Overhead of ML Exceptions by Selective CPS Transformation. B R I C S Report Series, (RS-98-15).

Kim, J. M., Jacobsen, R. H. & Brewer, R. S. (2016). CoFELS: Conceptual Framework for Electricity Load Shifting System Design. In Proceedings - 19th Euromicro Conference on Digital System Design, DSD 2016: (DSD 2016) (Vol. 2016, pp. 268-275). Article 7723563 IEEE. https://doi.org/10.1109/DSD.2016.48

Khurana, A., Logins, A. & Karras, P. (2020). Selecting Influential Features by a Learnable Content-Aware Linear Threshold Model. In CIKM '20: Proceedings of the 29th ACM International Conference on Information & Knowledge Management (pp. 635-644). Association for Computing Machinery. https://doi.org/10.1145/3340531.3411886

Khurana, S., Schivo, S., Plass, J. R. M., Mersinis, N., Scholma, J., Kerkhofs, J., Zhong, L., van de Pol, J., Langerak, R., Geris, L., Karperien, M. & Post, J. N. (2021). An ECHO of Cartilage: In Silico Prediction of Combinatorial Treatments to Switch Between Transient and Permanent Cartilage Phenotypes With Ex Vivo Validation. Frontiers in Bioengineering and Biotechnology, 9, Article 732917. https://doi.org/10.3389/fbioe.2021.732917

Khoshakhlagh, H. (2022). Cryptography for Scalability and Identity in Blockchain Applications. Århus Universitet.

Khoshakhlagh, H. (2022). (Commit-and-Prove) Predictable Arguments with Privacy. In G. Ateniese & D. Venturi (Eds.), Applied Cryptography and Network Security: 20th International Conference, ACNS 2022, Proceedings (pp. 542-561). Springer. https://doi.org/10.1007/978-3-031-09234-3_27

Khani, P., Moeinaddini, E., Abnavi, N. D. & Shahraki, A. (2024). Explainable artificial intelligence for feature selection in network traffic classification: A comparative study. Transactions on Emerging Telecommunications Technologies, 35(4), Article e4970. https://doi.org/10.1002/ett.4970

Khaled, E. & Katriel, I. (2006). Multiconsistency and Robustness with Global Constraints. Constraints, 11(4), 335-352.

Keller, M. (2012). Theory and practice of cryptographic protocols -or- cryptography: will it blend? Department of Computer Science, Aarhus University.

Keller, H., Orlandi, C., Paskin-Cherniavsky, A. & Ravi, D. (2023). MPC with Low Bottleneck-Complexity: Information-Theoretic Security and More. In K.-M. Chung (Ed.), 4th Conference on Information-Theoretic Cryptography, ITC 2023 (pp. 11:1-11:22). Article 11 Schloss Dagstuhl--Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ITC.2023.11

Keller, H., Möllering, H., Schneider, T., Tkachenko, O. & Zhao, L. (2024). Secure Noise Sampling for DP in MPC with Finite Precision. In ARES '24: Proceedings of the 19th International Conference on Availability, Reliability and Security Article 25 Association for Computing Machinery. https://doi.org/10.1145/3664476.3664490

Kejser, T. & Grønbæk, K. (2003). The Gaia Framework: Version Support In Web Based Open Hypermedia. In P. Isaías & N. Karmakar (Eds.), Proceedings of the IADIS International Conference on WWW/Internet 2003 (pp. 314-325). International Association for Development, IADIS.

Kejlberg-Rasmussen, C. & Brodal, G. S. (2012). Cache-Oblivious Implicit Predecessor Dictionaries with the Working-Set Property. Leibniz International Proceedings in Informatics, 14, 112--123. https://doi.org/10.4230/LIPIcs.STACS.2012.112

Kejlberg-Rasmussen, C., Tsakalidis, K. & Tsichlas, K. (2012). I/O-Efficient Dynamic Planar Range Skyline Queries. arxiv.org. http://arxiv.org/abs/1207.2341

Kejlberg-Rasmussen, C. (2013). Dynamic Data Structures: The Interplay of Invariants and Algorithm Design. Department of Computer Science, Aarhus University.

Kejlberg-Rasmussen, C., Tao, Y., Tsakalidis, K., Tsichlas, K. & Yoon, J. (2013). I/O-Efficient Planar Range Skyline and Attrition Priority Queues. In R. Hull & W. Fan (Eds.), Proceedings of the 32nd symposium on Principles of database systems , PODS '13 (pp. 103-114 ). Association for Computing Machinery. https://doi.org/10.1145/2463664.2465225

Kejlberg-Rasmussen, C., Kopelowitz, T., Pettie, S. & Porat, E. (2014). Word-packing Algorithms for Dynamic Connectivity and Dynamic Sets. (1407.6755v1 ed.) arxiv.org. http://arxiv.org/abs/1407.6755v1

Kejlberg-Rasmussen, C., Tao, Y., Tsakalidis, K., Tsichlas, K. & Yoon, J. (2021). I/O-efficient 2-d orthogonal range skyline and attrition priority queues. Computational Geometry: Theory and Applications, 93, Article 101689. https://doi.org/10.1016/j.comgeo.2020.101689

Kavvos, G. A. (2020). Dual-context calculi for modal logic. Logical Methods in Computer Science, 16(3), 10:1-10:66. https://doi.org/10.23638/LMCS-16(3:10)2020

Kavvos, G. A. & Gratzer, D. (2023). Under Lock and Key: A Proof System for a Multimodal Logic. Bulletin of Symbolic Logic, 29(2), 264-293. https://doi.org/10.1017/bsl.2023.14

Displaying results 2001 to 2050 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