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

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, Inc.. 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.

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

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

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

Killmann, K. S. (2025). Fast (Correct) Clustering in Time and Space using the GPU.

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. Århus 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.

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

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

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., Tao, Y., Tsakalidis, K., Tsichlas, K. & Yoon, J. (2013). I/O-Efficient Planar Range Skyline and Attrition Priority Queues. I R. Hull & W. Fan (red.), Proceedings of the 32nd symposium on Principles of database systems , PODS '13 (s. 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 udg.) 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, Artikel 101689. https://doi.org/10.1016/j.comgeo.2020.101689

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

Keilty, A. P., Aranha, D. F., Pagnin, E. & Henríquez, F. R. (Accepteret/In press). That's AmorE: Amortized Efficiency for Pairing Delegation. I CRYPTO 2025

Kawsar, F., Vermeulen, J., Smith, K., Luyten, K. & Kortuem, G. (2011). Exploring the Design Space for Situated Glyphs to Support Dynamic Work Environments. Unspecified journal, 70-78. http://dl.acm.org/citation.cfm?id=2021975.2021982

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

Kaul, M., Khosla, R. & Mitsukura, Y. (2003). Intelligent Packet Shaper to Avoid Network Congestion for Improved Streaming Video Quality at Clients. I Proceedings 2003 IEEE International Symposium on Computational Intelligence in Robotics and Automation (s. 988-993). IEEE Computer Society Press. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=1222051&contentType=Conference+Publications&searchField%3DSearch_All%26queryText%3DProceedings+of+IEEE+International+Symposium+on+Computational+Intelligence+in+Robotics+and+Automation

Kaul, M., Wong, R. C.-W., Yang, B. & Jensen, C. S. (2013). Finding Shortest Paths on Terrains by Killing Two Birds with One Stone. Proceedings of the VLDB Endowment, 7(1), 73-84. http://www.vldb.org/pvldb/vol7/p73-kaul.pdf

Kaul, M., Yang, B. & Jensen, C. S. (2013). Building Accurate 3D Spatial Networks to Enable Next Generation Intelligent Transportation Systems. I IEEE 14th International Conference on Mobile Data Management (MDM), 2013 (Volume:1 ) (s. 137 - 146 ). IEEE. https://doi.org/10.1109/MDM.2013.24

Kaul, M. (2014). Enabling Advanced Path-Finding on Terrains and in Spatial Networks. Department of Computer Science, Aarhus University.

Kaspersen, M. H., Hines, S., Moore, M., Rasmussen, M. K. & Dias, M. A. (2019). Lifting Kirigami Actuators Up Where They Belong: Possibilities for SCI. I DIS 2019 - Proceedings of the 2019 ACM Designing Interactive Systems Conference (s. 935-947). Association for Computing Machinery. https://doi.org/10.1145/3322276.3323688

Viser resultater 1201 til 1250 ud af 3004

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series