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

Li, Y., Tan, T., Møller, A. & Smaragdakis, Y. (2020). A Principled Approach to Selective Context Sensitivity for Pointer Analysis. ACM Transactions on Programming Languages and Systems, 42(2), Artikel 10. https://doi.org/10.1145/3381915

Li, K. H., Aguirre, A., Gregersen, S. O., Haselwarter, P. G., Tassarotti, J. & Birkedal, L. (2025). Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs. Proceedings of the ACM on Programming Languages , 9(ICFP), 276-305. https://doi.org/10.1145/3747514

Li, G., Weidner, F., Hu, J. & Gellersen, H. (2025). Quantifying neck muscle activity during head fixation in VR. Frontiers in Virtual Reality, 6, Artikel 1682866. https://doi.org/10.3389/frvir.2025.1682866

Li, M., Zhang, P., Xing, W., Zheng, Y., Zaporojets, K., Chen, J., Zhang, R., Zhang, Y., Gong, S., Hu, J., Ma, X., Liu, Z., Groth, P. & Worring, M. (2026). A survey of large language models for data challenges in graphs. Expert Systems with Applications, 298, Part A, Artikel 129643. https://doi.org/10.1016/j.eswa.2025.129643

Lex, A., Streit, M., Schulz, H.-J., Partl, C., Schmalstieg, D., Park, P. J. & Gehlenborg, N. (2012). StratomeX: Visual Analysis of Large-Scale Heterogeneous Genomics Data for Cancer Subtype Characterization. Computer Graphics Forum, 31(3), 1175-1184. https://doi.org/10.1111/j.1467-8659.2012.03110.x

Lex, A., Schulz, H.-J., Streit, M., Partl, C. & Schmalstieg, D. (2011). VisBricks: Multiform Visualization of Large, Inhomogeneous Data. IEEE Transactions on Visualization and Computer Graphics, 17(12), 2291-2300. https://doi.org/10.1109/TVCG.2011.250

Lewkowicz, M., Bødker, S., Boden, A. & Fedosov, A. (2021). Technical Design and Development of Future Platforms.

Leppälä, J., Bechsgaard, J. S., Schierup, M. H. & Savolainen, O. (2007). Transmission ratio distortion in Arabidopsis lyrata: effects of population divergence and the S-locus. Heredity, 100(1), 71-8. https://doi.org/10.1038/sj.hdy.6801066

Leppälä, K., Nielsen, S. & Mailund, T. (2017). admixturegraph: an R package for admixture graph manipulation and fitting. Bioinformatics (Online), 33(11), 1738-1740. https://doi.org/10.1093/bioinformatics/btx048

Lemelson, H., Kjærgaard, M. B., Hansen, R. & King, T. (2009). Error Estimation for Indoor 802.11 Location Fingerprinting. Lecture Notes in Computer Science, 138-155. https://doi.org/10.1007/978-3-642-01721-6_9

Leiva, G., Grønbæk, J. E., Klokmose, C. N., Nguyen, C., Kazi, R. H. & Asente, P. (2021). Rapido: Prototyping Interactive AR Experiences through Programming by Demonstration. I UIST 2021 - Proceedings of the 34th Annual ACM Symposium on User Interface Software and Technology (s. 626-637). Association for Computing Machinery. https://doi.org/10.1145/3472749.3474774

Leiva, G., Frau, V., Radhakrishnan, U. & Lunding, M. S. (2025). Mucho: A Timeline-Based Immersive Tool for Prototyping Interactive Multimodal XR Experiences. Proceedings of the ACM on Human-Computer Interaction, 9(4), Artikel EICS008. https://doi.org/10.1145/3734185

Lehmann, A. & Gross, A. (2016). Effect of GPS errors on Emission model. Afhandling præsenteret på Global Wireless Summit 2016, Aarhus, Danmark.

Lehmann, A. & Gross, A. (2016). Using Crowd Sensed Data as Input to Congestion Model. I 2016 IEEE International Conference on Pervasive Computing and Communication Workshops, PerCom Workshops 2016: The Third International Workshop on Crowd Assisted Sensing Pervasive Systems and Communications Artikel 7457105 IEEE Press. https://doi.org/10.1109/PERCOMW.2016.7457105

Lehmann, A. & Gross, A. (2017). Towards vehicle emission estimation from smartphone sensors. I Proceedings - 18th IEEE International Conference on Mobile Data Management, MDM 2017 (s. 154-163). Artikel 7962447 IEEE Press. https://doi.org/10.1109/MDM.2017.29

Lehmann, A. (2017). Modelling Emission of Pollutants from transportation using mobile sensing data: Advancing modelling of street level pollution and climate forcing gas emissions. Aarhus Universitet.

Legoupil, M., Rousseau, J., Georges, A. L., Pichon-Pharabod, J. & Birkedal, L. (2024). Iris-MSWasm: Elucidating and Mechanising the Security Invariants of Memory-Safe WebAssembly. Proceedings of the ACM on Programming Languages , 8(OOPSLA2), Artikel 282. https://doi.org/10.1145/3689722

Legoupil, M. R. S. (2025). Formal Reasoning about WebAssembly and Extensions. [Ph.d.-afhandling, Aarhus Universitet].

Legaard, L., Thomsen, J. R., Lorentzen, C. H. & Techen, J. P. (2016). Exploring SCI as Means of Interaction through the Design Case of Vacuum Cleaning. I M. Broekhuijsen (red.), TEI 2016 - Proceedings of the 10th Anniversary Conference on Tangible Embedded and Embodied Interaction (s. 488-493). Association for Computing Machinery. https://doi.org/10.1145/2839462.2856540

Lee, J. (2004). Reverse Code Generation for Java Program Model Checking. Afhandling præsenteret på 6th school on MOdeling and VErifying parallel Processes (MOVEP '04), Bruxelles, Belgien.

Lee, J., Deng, X. & Bogor, R. (2006). A k-Bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems. I Proceedings of Conference on Automated Software Engineering: ASE'06 (s. 157-166). IEEE Computer Society Press.

Lee, J. (2007). Dynamic Reverse Code Generation for Backward Execution. Electronic Notes in Theoretical Computer Science, 174(4), 37-54. https://doi.org/10.1016/j.entcs.2006.12.028

Lee, J. (2007). A Case for Dynamic Reverse-code Generation. BRICS Report Series, (RS-07-15).

Lee, L.-K., Lewenstein, M. & Zhang, Q. (2012). Parikh Matching in the Streaming Model. Lecture Notes in Computer Science, 7608, 336-341. https://doi.org/10.1007/978-3-642-34109-0_35

Lee, B., Deng, Q., Hoggan, E. & Oulasvirta, A. (2017). Boxer: a multimodal collision technique for virtual objects. I E. Lank & A. Vinciarelli (red.), ICMI 2017 - Proceedings of the 19th ACM International Conference on Multimodal Interaction (s. 252-260). Association for Computing Machinery. https://doi.org/10.1145/3136755.3136761

Lee, H. S., Weidner, F., Sidenmark, L. & Gellersen, H. (2024). Snap, Pursuit and Gain: Virtual Reality Viewport Control by Gaze. I F. F. Mueller, P. Kyburz, J. R. Williamson, C. Sas, M. L. Wilson, P. T. Dugas & I. Shklovski (red.), CHI '24: Proceedings of the CHI Conference on Human Factors in Computing Systems Association for Computing Machinery. https://doi.org/10.1145/3613904.3642838

Lee, J. (2007). Program Validation by Symbolic and Reverse Execution.

Lee, H. P., Zhou, Q., Kostakos, V., Tag, B. & Dingler, T. (2025). Exploring Design Parameters for RSVP Reading of Mobile Notifications. I S. Viller, J. Paay, J. Fredericks & J. Turner (red.), Proceedings of the 36th Australasian Conference on Human-Computer Interaction, OzCHI 2024 (s. 337-350). Association for Computing Machinery. https://doi.org/10.1145/3726986.3727002

Lee, C., Gong, U., Lin, T., Zollmann, S., Epsley, S. A., Petway, A. & Pfister, H. (2025). VAIR: Visual Analytics for Injury Risk Exploration in Sports. I 2025 IEEE 16th Workshop on Visual Analytics in Healthcare (VAHC) (s. 22-28). IEEE. https://doi.org/10.1109/VAHC69430.2025.00008

Ledo, D., Houben, S., Vermeulen, J., Marquardt, N., Oehlberg, L. & Greenberg, S. (2018). Evaluation Strategies for HCI Toolkit Research. I R. Mandryk & M. Hancock (red.), CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (s. 36:1-36:17). Association for Computing Machinery. https://doi.org/10.1145/3173574.3173610

Ledo, D., Vermeulen, J., Carpendale, S., Greenberg, S., Oehlberg, L. & Boring, S. (2019). Astral: prototyping mobile and smart object interactive behaviours using familiar applications. I DIS 2019 - Proceedings of the 2019 ACM Designing Interactive Systems Conference (s. 711-724). Association for Computing Machinery. https://doi.org/10.1145/3322276.3322329

Le, T., Dietz, F., Pfeuffer, K. & Alt, F. (2022). A Practical Method to Eye-Tracking on the Phone: Toolkit, Accuracy and Precision. I T. Doring, S. Boll, A. Colley, A. Esteves & J. Guerreiro (red.), Proceedings of MUM 2022, the 21st International Conference on Mobile and Ubiquitous Multimedia (s. 182-188). Association for Computing Machinery. https://doi.org/10.1145/3568444.3568463

LaVigne, R., Liu-Zhang, C.-D., Maurer, U. M., Moran, T., Mularczyk, M. & Tschudi, D. (2018). Topology-Hiding Computation Beyond Semi-Honest Adversaries. I A. Beimel & S. Dziembowski (red.), Theory of Cryptography - 16th International Conference, TCC 2018, Proceedings: Theory of Cryptography (Bind 11240, s. 3-35). Springer VS. https://doi.org/10.1007/978-3-030-03810-6_1

Lautrup, B., Møller-Nielsen, P. & Olesen, P. (1965). Comparison of Forward Dispersion Relations with Experiments around 10 GeV. Physical Review Letters, 140(B4), 984-989. https://doi.org/10.1103/PhysRev.140.B984

Laursen, M. R., Xu, W. & Møller, A. (2024). Reducing Static Analysis Unsoundness with Approximate Interpretation. Proceedings of the ACM on Programming Languages , 8, 1165-1188. https://doi.org/10.1145/3656424

Laursen, L. N., Markussen, T., Knutz, E., Vallgårda, A., Krogh, P. G., Olander, S., Krogh Petersen, M., Brandt, E., Christensen, B., Vangkilde, K. T. & Waltorp, K. (2025). Danmark står i en designkrise. Sådan løser vi den. Politiken, 5-6.

Lassen, K. B. & van der Aalst, W. M. P. (2007). WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL. I On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE (4275 of Lecture Notes in Computer Science udg., s. 127-144). Springer.

Lassen, K. B. (2006). Translating BPEL to FLOWer. (s. 1-24). Aarhus Universitetsforlag.

Lassen, K. B. & Westergaard, M. (2006). Embedding Java Types in CPN Tools: Technical Report. http://www.daimi.au.dk/~krell/download.php?file=Embedding Java Types in CPN Tools.pdf.

Lassen, K. B. (2007). Converting Workflow Nets to BPEL 1.1 in ProM: This is a conversion plugin for the process mining framework ProM.. Softwareprogram .

Lassen, K. B. (2006). Progress Report: From Real World Problems to Implementation Using Coloured Petri Nets and Translations Between Workflow Languages. Datalogisk Institut, Aarhus Universitet.

Lassen, K. B., van Dongen, B. & van der Aalst, W. M. P. (2007). Translating Message Sequence Charts to other Process Languages using Process Mining. (207 udg.) (s. 1-15). Eindhoven Technical University.

Lassen, K. B. & van Dongen, B. F. (2008). Translating Message Sequence Charts to other Process Languages using Process. Lecture Notes in Computer Science, 5100, 71-85. https://doi.org/10.1007/978-3-540-89287-8_5

Lassen, K. B. & Tjell, S. (2007). Translating Colored Control Flow Nets into Readable Java via Annotated Java Workflow Nets. I K. Jensen (red.), Proceedings of the Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (8 udg., s. 127-146)

Lassen, K. B. & van der Aalst, W. M. P. (2009). Complexity Metrics for Workflow Nets. Information and Software Technology, 51(3), 610-626.

Lassen, K. B. (2008). Using Formal Behavioral Modelsin Software Development:From Real-World Problems to Software Systems. Aarhus Universitetsforlag.

Larsen-Ledet, I. (2018). Privacy in Collaborative Work: A Situated Challenge. 1. Abstract fra 2018 CHI Conference on Human Factors in Computing Systems, CHI 2018, Montreal, Canada.

Larsen-Ledet, I., Bressa, N. A. & Vermeulen, J. (2019). Reflections on Teaching a Mandatory HCI Course to Computer Science Undergraduates. Afhandling præsenteret på The 2019 EduCHI Symposium on HCI Teaching and Learning, Glasgow, Storbritannien. https://educhi2019.hcilivingcurriculum.org/wp-content/uploads/2019/04/p09-Reflections-on-Teaching-a-Mandatory-HCI-Course-to-Computer-Science-Undergraduates.pdf

Larsen-Ledet, I. (2020). Understanding and Supporting Collaborative Academic Writing as a Fragmented Process. Afhandling præsenteret på The ECSCW 2019 Doctoral Colloquium, Salzburg, Østrig. https://doi.org/10.18420/ecscw2019_dc6

Larsen-Ledet, I. & Korsgaard, H. (2019). Territorial Functioning in Collaborative Writing: Fragmented Exchanges and Common Outcomes. Computer Supported Cooperative Work, 28(3-4), 391-433. https://doi.org/10.1007/s10606-019-09359-8

Viser resultater 1901 til 1950 ud af 6040

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series