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

Livshits, B., Sridharan, M., Smaragdakis, Y., Lhoták, O., Amaral, J. N., Chang, B.-Y. E., Guyer, S. Z., Khedker, U. P., Møller, A. & Vardoulakis, D. (2015). In Defense of Soundiness: A Manifesto. Communications of the A C M, 58(2). https://doi.org/10.1145/2644805

Liu-Zhang, C.-D., Matt, C., Maurer, U., Rito, G. & Thomsen, S. E. (2022). Practical Provably Secure Flooding for Blockchains. I S. Agrawal & D. Lin (red.), Advances in Cryptology – ASIACRYPT 2022 - 28th International Conference on the Theory and Application of Cryptology and Information Security, 2022, Proceedings: ASIACRYPT 2022 (s. 774–805). Springer. https://doi.org/10.1007/978-3-031-22963-3_26

Liu-Zhang, C.-D., Matt, C. & Thomsen, S. E. (2022). Asymptotically Optimal Message Dissemination with Applications to Blockchains. Cryptology ePrint Archive. https://eprint.iacr.org/2022/1723

Liu, K., Yang, B., Shang, S., Li, Y. & Ding, Z. (2013). MOIR/UOTS: Trip recommendation with user oriented trajectory search. I IEEE 14th International Conference on Mobile Data Management (MDM), 2013 (Volume:1 ) (s. 335-337). IEEE. https://doi.org/10.1109/MDM.2013.49

Liu, Z., Stepanenko, S., Pichon-Pharabod, J., Timany, A., Askarov, A. & Birkedal, L. (2023). VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A. Proceedings of the ACM on Programming Languages , 7, 1438-1462. https://doi.org/10.1145/3591279

Liu, Z. (2025). Separation Logic for Low-level and Realistic Programs. [Ph.d.-afhandling, Aarhus Universitet].

Liu, Y.-Y., Dybboe, M., Bjerrum, J. B., Ellemose, J. & Dindler, C. (Accepteret/In press). Co-designing Tools for Dialogic Learning: Insights from the Viz4Kidz' Project. I Proceedings of IASDR 2025 Design Research Society.

Liu, Y., Mikkelsen, T., Liu, Z., Tian, G., Mardanbegi, D., Zhou, Q., Gellersen, H. & Pfeuffer, K. (2025). At a Glance to Your Fingertips: Enabling Direct Manipulation of Distant Objects Through SightWarp. I A. Bianchi, E. L. Glassman, W. E. Mackay, S. Zhao, I. Oakley & J. Kim (red.), UIST 2025 - Proceedings of the 38th Annual ACM Symposium on User Interface Software and Technology Artikel 26 Association for Computing Machinery. https://doi.org/10.1145/3746059.3747653

Liu, Z., Hammond, A., Pérami, T., Sewell, P., Birkedal, L. & Pichon-Pharabod, J. (2026). An Axiomatic Basis for Computer Programming on Relaxed Hardware Architectures: The AxSL Logics. ACM Transactions on Programming Languages and Systems. Advance online publication. https://doi.org/10.1145/3786762

Liu, Y.-Y., Dybboe, M., Ellemose, J., Bjerrum, J. B., Musaeus, L. H., Dindler, C. & Iversen, O. S. (Accepteret/In press). "Let’s talk about data'': Co-Designing Critical Data Literacy Tools for K--12 Education through Dialogic Learning. I CHI '26... Association for Computing Machinery. https://doi.org/10.1145/3772318.3791296

Lissandrini, M., Mottin, D., Palpanas, T. & Velegrakis, Y. (2018). Data Exploration using Example-based Methods. Morgan & Claypool Publishers. Synthesis Lectures on Data Management https://doi.org/10.2200/S00881ED1V01Y201810DTM053

Lissandrini, M., Mottin, D., Palpanas, T. & Velegrakis, Y. (2019). Example-based Search: A new frontier for exploratory search. I SIGIR 2019 - Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval (s. 1411-1412). Association for Computing Machinery. https://doi.org/10.1145/3331184.3331387

Lissandrini, M., Mottin, D., Palpanas, T. & Velegrakis, Y. (2020). Graph-Query Suggestions for Knowledge Graph Exploration. I Y. Huang, I. King, T.-Y. Liu & M. van Steen (red.), WWW '20: Proceedings of The Web Conference 2020 (s. 2549-2555). Association for Computing Machinery. https://doi.org/10.1145/3366423.3380005

Lissandrini, M., Pedersen, T. B., Hose, K. & Mottin, D. (2020). Knowledge Graph Exploration: Where Are We and Where Are We Going? S I G W E B Newsletter, (Summer), Artikel 4. https://doi.org/10.1145/3409481.3409485

Lissandrini, M., Mottin, D., Hose, K. & Pedersen, T. B. (2022). Knowledge Graph Exploration Systems: are we lost?. Afhandling præsenteret på 12th Annual Conference on
Innovative Data Systems Research (CIDR ’22), Chaminade, USA. https://dblp.org/db/conf/cidr/cidr2022.html

Lipmaa, H. & Toft, T. (2013). Secure equality and greater-than tests with sublinear online complexity. I F. V. Fomin , R. Freivalds, M. Kwiatkowska & D. Peleg (red.), Automata, Languages, and Programming: Proceedings, 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Part II (s. 645-656). Springer Publishing Company. https://doi.org/10.1007/978-3-642-39212-2_56

Ling, Y., Elling, J. & Nielsen, T. T. (1996). Capacity of Intelligent Underlay and Overlay Network. I IEEE Colloquium on Advanced TDMA Techniques and Applications (Digest No: 1996/234) IEEE Computer Society Press. https://doi.org/10.1049/ic:19961234

Lindstrøm, B. & Haider, S. (2001). Equivalent Coloured Petri Net Models of a Class of Timed Influence Nets with Logic. I K. Jensen (red.), Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (s. 35-55). Department of Computer Science, Aarhus University.

Lindstrøm, B. & Wells, L. M. (2002). Annotating Coloured Petri Nets. I K. Jensen (red.), Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, August 28-30, 2002 (s. 39-58). Department of Computer Science, University of Aarhus.

Lindstrøm, B., Wells, L., Silva, M. (red.), Giva, A. (red.) & Colom, J. M. (red.) (2002). Towards a Monitoring Framework for Discrete-Event System Simulations. I Ikke angivet (s. 127-134). IEEE Computer Society Press.

Lindlbauer , D., Lilija, K., Walter , R. & Müller, J. (2016). Influence of Display Transparency on Background Awareness and Task Performance. I CHI 2016 - Proceedings, 34th Annual CHI Conference on Human Factors in Computing Systems (s. 1705-1716). Association for Computing Machinery. https://doi.org/10.1145/2858036.2858453

Lindlbauer, D., Grønbæk, J. E., Birk, M., Halskov, K., Alexa, M. & Müller, J. (2016). Combining Shape-Changing Interfaces and Spatial Augmented Reality Enables Extended Object Appearance. I C. Lampe, D. Morris & J. P. Hourcade (red.), CHI 2016 - Proceedings, 34th Annual CHI Conference on Human Factors in Computing Systems (s. 791-802). Association for Computing Machinery. https://doi.org/10.1145/2858036.2858457

Lindlbauer, D., Müller, J. & Alexa, M. (2016). Changing the Appearance of Physical Interfaces Through Controlled Transparency. I UIST 2016 - Proceedings of the 29th Annual Symposium on User Interface Software and Technology (s. 425-435). Association for Computing Machinery. https://doi.org/10.1145/2984511.2984556

Lindholm Nielsen, M., Lister, R., Adams, E. S., Fitzgerald, S., Fone, W., Hamer, J., McCartney, R., Moström, J. E., Sanders, K., Seppälä, O., Simon, B. & Thomas, L. (2004). A multi-national study of reading and tracing skills in novice programmers. S I G C S E Bulletin Inroads, 36(4), 119-150.

Lindholm, M. (2005). Development of Object-understanding Among Students in the Humanities. Poster-session præsenteret på ITiCSE 2005, Monte de Caparica, Portugal.

Lindholm, M. (2004). Programming for non-computer science students. University of Aalborg.

Lindgaard, T. & Grønbæk, K. (2005). Automatic geo-referencing of web-pages. I Proceedings of the IADIS International Conference on WWW/Internet 2005 (s. 200-208). International Association for Development, IADIS.

Lindeskov Knudsen, J., Løfgren, M., Magnussen, B. & Madsen, O. L. (red.) (1994). Object-Oriented Software Development Environments: The Mjølner Approach. Prentice-Hall.

Lindell, Y., Nissim, K. & Orlandi, C. (2013). Hiding the Input-Size in Secure Two-Party Computation. I K. Sako & P. Sarkar (red.), Advances in Cryptology - ASIACRYPT 2013: 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II (Bind 8197, s. 421-440). Springer VS. https://doi.org/10.1007/978-3-642-41019-2_6

Lindahl, C., Wagner, S. R., Bertelsen, O. W., Schlütter, J. M., Uldbjerg, N. & Sandager, P. (2017). Effects of context-aware patient guidance on blood pressure selfmeasurement adherence levels. Health Informatics Journal, 25(2), 417-428. https://doi.org/10.1177/1460458217717073

Lindahl, C., Wagner, S., Uldbjerg, N., Schlütter, J. M., Bertelsen, O. W. & Sandager, P. (2018). Patient acceptance of blood pressure self-measurement equipment using context-aware patient guidance. I N. Minsky & V. Osmani (red.), Proceedings of the 12th EAI International Conference on Pervasive Computing Technologies for Healthcare, PervasiveHealth 2018 (s. 318-326). Association for Computing Machinery. https://doi.org/10.1145/3240925.3240963

Lindahl, C., Wagner, S., Uldbjerg, N., Schlütter, J. M., Bertelsen, O. & Sandager, P. (2019). Effects of context-aware patient guidance on blood pressure self-measurement adherence levels. Health Informatics Journal, 25(2), 417-428. https://doi.org/10.1177/1460458217717073

Lin, D., Jensen, C. S., Zhang, R., Xiao, L. & Lu, J. (2011). A Moving-Object Index for Efficient Query Processing with PeerWise Location Privacy. Proceedings of the VLDB Endowment, 5(1), 37-48. http://www.vldb.org/pvldb/vol5/p037_danlin_vldb2012.pdf

Limaye, N., Srinivasan, S. & Tavenas, S. (2022). On the Partial Derivative Method Applied to Lopsided Set-Multilinear Polynomials. I S. Lovett (red.), 37th Computational Complexity Conference, CCC 2022 Artikel 32 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.CCC.2022.32

Limaye, N., Srinivasan, S. & Tavenas, S. (2022). Superpolynomial Lower Bounds Against Low-Depth Algebraic Circuits. I Proceedings - 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science, FOCS 2021 (s. 804-814). IEEE Computer Society. https://doi.org/10.1109/FOCS52979.2021.00083

Light, A., Bardzell, J., Bardzell, S., Cox, G., Fritsch, J. & Koefoed Hansen, L. (2015). Making “World Machines”: Discourse, Design and Global Technologies for Greater-than-self Issues. Aarhus Series on Human Centered Computing, 1(1). http://ojs.statsbiblioteket.dk/index.php/ashcc/article/view/21326/18796

Lieberoth, A. & Hansen, F. A. (2011). Can Autobiographical Memories Create Better Learning? The Case of a Scary Game. I D. Gouscos & M. Meimaris (red.), Proceedings of ECGBL 2011. The 5th European Conference on Games Based Learning (s. 350-357)

Lie, M. A., Thomsen, R., Pedersen, C. N. S., Schiøtt, B. & Christensen, M. H. (2011). Molecular Docking with Ligand Attached Water Molecules. Journal of Chemical Information and Modeling, 51(4), 909-917. https://doi.org/10.1021/ci100510m

Licata, D. R., Orton, I., Pitts, A. M. & Spitters, B. (2018, jul. 1). Internal Universes in Models of Homotopy Type Theory. arxiv.org. https://doi.org/10.4230/LIPIcs.FSCD.2018.22

Liboriussen, P., Pedersen, B. P., Ifrim, G., Nissen, P. & Pedersen, C. S. (2009). Automatic classification of P-Type ATPases using SLR. Poster-session præsenteret på 17th Annual International Conference on Intelligent Systems for Molecular Biology (ISMB) & 8th European Conference on Computational Biology (ECCB), Stockholm, Sverige.

Liao, D., Yang, J., Zhao, J., Zeng, Y., Vinter-Jensen, L. & Gregersen, H. (2003). The effect of epidermal growth factor on the incremental Young's moduli in the rat small intestine. Medical Engineering & Physics, 25(5), 413-8.

Li , X., Karras, P. & Jensen, C. S. (2012). Cooperative Scalable Moving Continuous Query Processing. I Proceedings of the 13th International Conference on Mobile Data Management, MDM (s. 69 - 78 ). IEEE Press. https://doi.org/10.1109/MDM.2012.20

Li, X., Ceikute, V., Jensen, C. S. & Tan, K.-L. (2013). Effective Online Group Discovery in Trajectory Databases. I E E E Transactions on Knowledge & Data Engineering, 25(12), 2752 - 2766 . https://doi.org/10.1109/TKDE.2012.193

Li, X., Ceikute, V., Jensen, C. S. & Tan, K.-L. (2013). Trajectory Based Optimal Segment Computation in Road Network Databases. (1303.2310v1 udg.) arxiv.org. http://arxiv.org/abs/1303.2310

Li, X., Ceikute, V., Jensen, C. S. & Tan, K.-L. (2013). Trajectory Based Optimal Segment Computation in Road Network Databases. I C. Knoblock & M. Schneider (red.), Proceedings of the 21st ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, SIGSPATIAL'13 (s. 396-399 ). Association for Computing Machinery. https://doi.org/10.1145/2525314.2525444

Li, S., Crouser, R. J., Griffin, G., Gramazio, C., Schulz, H.-J., Childs, H. & Chang, R. (2015). Exploring hierarchical visualization designs using phylogenetic trees. I D. L. Kao, M. C. Hao, M. A. Livingston & T. Wischgoll (red.), Proceedings of the Conference on Visualization and Data Analysis VDA 2015 SPIE - International Society for Optical Engineering. https://doi.org/10.1117/12.2078857

Li, Y., Tan, T., Møller, A. & Smaragdakis, Y. (2018). Precision-Guided Context Sensitivity for Pointer Analysis. Proceedings of the ACM on Programming Languages , 2(OOPSLA), 141:1-141:29. Artikel 141. https://doi.org/10.1145/3276511

Li, Y., Tan, T., Møller, A. & Smaragdakis, Y. (2018). Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity. I G. T. Leavens, A. Garcia & C. S. Păsăreanu (red.), ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering (s. 129-140). Association for Computing Machinery. https://doi.org/10.1145/3236024.3236041

Li, Y., Fan, J., Ovchinnikov, G. & Karras, P. (2019). Maximizing multifaceted network influence. I Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019 (s. 446-457). Artikel 8731520 IEEE. https://doi.org/10.1109/ICDE.2019.00047

Li, Y., Tan, T. & Xue, J. (2019). Understanding and analyzing Java reflection. ACM Transactions on Software Engineering and Methodology, 28(2), Artikel 7. https://doi.org/10.1145/3295739

Viser resultater 1851 til 1900 ud af 6040

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series