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

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., Bhattacharya, S., Blunck, H. & Nurmi, P. (2011). Energy-efficient Trajectory Tracking for Mobile Devices. I Proceedings of the 9th International Conference on Mobile Systems, Applications, and Services. MobiSys '11 (s. 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. Afhandling præsenteret på The 7th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous 2010), Sydney, Australien.

Kjærgaard, M. B. & Weckemann, K. (2010). PosQ: Unsupervised Fingerprinting and Visualization of GPS Positioning Quality. Afhandling præsenteret på The Second International Conference on Mobile Computing, Applications, and Services.

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. (2012). On Improving the Energy Efficiency and Robustness of Position Tracking for Mobile Devices. I Mobile and Ubiquitous Systems: Computing, Networking, and Services: 7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010, Revised Selected Papers (s. 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. 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.

Kjærgaard, M. B. (2008). Indoor Positioning with Radio Location Fingerprinting. Aarhus Universitetsforlag.

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

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

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

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

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

Kjær, K. E. (2008). Protokoller til Home Automation. (1. udg.). 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.

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. I K. Yi (red.), Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings (s. 336-352). Springer. https://doi.org/10.1007/11823230_22

Kirkegaard, C. & Møller, A. (2006). Type Checking with XML Schema in XACT. Afhandling præsenteret på PLAN-X 2006: ACM SIGPLAN Workshop on Programming Language Technologies for XML, Charleston, SC, USA.

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

Kirkegaard, C. (2006). Programming with XML.

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 fra 27th Nordic Conference on Secure IT Systems (NordSec 2022), Reykjavik, Island.

Kingo, T. & Aranha, D. F. (2023). User-centric security analysis of MitID: the Danish passwordless digital identity solution. Computers & Security, 132, Artikel 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. I D. Grunwald, R. Han, E. de Lara & C. Schlatter Ellis (red.), Proceedings of the 6th ACM International Conference on Mobile Systems, Applications, and Services (Mobisys 2008): SESSION: Stretching WiFi (Bind Session 2, s. 67-80). Association for Computing Machinery. https://doi.org/10.1145/1378600.1378609

King, T., Knierim, M., Lepold, P., Clarke, C., Gellersen, H., Beigl, M. & Röddiger, T. (2025). earEOG via periauricular electrodes to facilitate eye tracking in a natural headphone form factor. Scientific Reports, 15(1), Artikel 32437. https://doi.org/10.1038/s41598-025-16839-z

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. I A. Butz & S. Greenberg (red.), Proceedings of the 8th International Conference on Tangible, Embedded and Embodied Interaction, TEI '14 (s. 233-240 ). Association for Computing Machinery. https://doi.org/10.1145/2540930.2540947

Kinch, S. (2011). Articulating Atmospheres: Through Middle Ground Experiences in Interaction Design. I Ambience'11

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

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

Kim, J., Lee, H., Nguyen, D. M., Shin, M., Kwon, B. C., Ko, S. & Elmqvist, N. (2025). DG Comics: Semi-Automatically Authoring Graph Comics for Dynamic Graphs. IEEE Transactions on Visualization and Computer Graphics, 31(1), 973-983. https://doi.org/10.1109/TVCG.2024.3456340

Kim, J., Park, S., Zhou, Q., Gonzalez-Franco, M., Lee, J. & Pfeuffer, K. (2025). PinchCatcher: Enabling Multi-selection for Gaze+Pinch. I CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Artikel 853 Association for Computing Machinery. https://doi.org/10.1145/3706598.3713530

Killmann, K. S. (2025). Fast (Correct) Clustering in Time and Space using the GPU. [Ph.d.-afhandling, Aarhus Universitet].

Khurana, A., Logins, A. & Karras, P. (2020). Selecting Influential Features by a Learnable Content-Aware Linear Threshold Model. I CIKM '20: Proceedings of the 29th ACM International Conference on Information & Knowledge Management (s. 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, Artikel 732917. https://doi.org/10.3389/fbioe.2021.732917

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

Khoshakhlagh, H. (2022). Cryptography for Scalability and Identity in Blockchain Applications. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.

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), Artikel e4970. https://doi.org/10.1002/ett.4970

Khani, P. & Assent, I. (2025). Causal Banzhaf Value for Aggregate Query Explanations. CEUR Workshop Proceedings, 3931, 54-58.

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

Kennepohl, D., Guay, M. & Thomas, V. (2010). Using an Online, Self-Diagnostic Test for Introductory General Chemistry at an Open University. Journal of Chemical Education, 87(11), 1273-1277. https://doi.org/10.1021/ed900031p

Keller, H., Orlandi, C., Paskin-Cherniavsky, A. & Ravi, D. (2023). MPC with Low Bottleneck-Complexity: Information-Theoretic Security and More. I K.-M. Chung (red.), 4th Conference on Information-Theoretic Cryptography, ITC 2023 (s. 11:1-11:22). Artikel 11 Dagstuhl Publishing. 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. I ARES '24: Proceedings of the 19th International Conference on Availability, Reliability and Security Artikel 25 Association for Computing Machinery. https://doi.org/10.1145/3664476.3664490

Viser resultater 2301 til 2350 ud af 6042

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series