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

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: 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

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

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

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

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://arxiv.org/abs/1801.07664

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

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

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ä, 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

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

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. (2017). Modelling Emission of Pollutants from transportation using mobile sensing data: Advancing modelling of street level pollution and climate forcing gas emissions. Århus Universitet.

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

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

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

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

Viser resultater 1001 til 1050 ud af 2961

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series