Publications

Search for publications at Department of Computer Science

Below you find a complete list of publications published and edited by scientists at the Department of Computer Science

Sort by: Date | Author | Title

Lorenz, D. H., Ernst, E. & Aksit, M. (Ed.) (2003). Aspects and Polymorphism in AspectJ. In Proc. of AOSD'03: Proceedings of the 2nd international conference on Aspect-oriented software development (pp. 150-157). Association for Computing Machinery. https://doi.org/10.1145/643603.643619

Lorentsen, L. & Kristensen, L. M. (2001). Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method. In A. Valmari & A. Yakoviev (Eds.), Proceedings of Second International Conference on Application of Concurrency to System Design (ACSD'01) (Vol. ACSD, pp. 211-220). IEEE Computer Society Press.

Lorentsen, L., Tuovinen, A.-P. & Xu, J. (2002). Modelling Feature Interaction Patterns in Nokia Mobile Phones using Coloured Petri Nets and Design/CPN. In Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24-30, 2002 Proceedings (pp. 15 - 45). Springer. https://doi.org/10.1007/3-540-48068-4_18

Lorentsen, L., Tuovinen, A.-P. & Xu, J. (2001). Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets. In K. Jensen (Ed.), Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (pp. 1-14). Department of Computer Science, Aarhus University.

Logins, A., Karras, P. & Jensen, C. S. (2019). Multicapacity facility selection in networks. In Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019 (pp. 794-805). Article 8731341 IEEE. https://doi.org/10.1109/ICDE.2019.00076

Logins, A. & Karras, P. (2019). An Experimental Study on Network Immunization. In M. Herschel, H. Galhardas, B. Reinwald, I. Fundulaki, C. Binnig & Z. Kaoudi (Eds.), Advances in Database Technology - EDBT 2019: 22nd International Conference on Extending Database Technology, Proceedings (pp. 726-729). Article 391 openproceedings.org. https://openproceedings.org/2019/conf/edbt/EDBT19_paper_391.pdf

Logins, A. & Karras, P. (2019). Content-based Network Influence Probabilities: Extraction and Application. In Proceedings - 19th IEEE International Conference on Data Mining Workshops, ICDMW 2019 (pp. 69-72). Article 8955604 IEEE. https://doi.org/10.1109/ICDMW.2019.00020

Logins, A., Li, Y. & Karras, P. (2020). On the Robustness of Cascade Diffusion under Node Attacks. In The Web Conference 2020 - Proceedings of the World Wide Web Conference, WWW 2020: Proceedings of the Web Conference 2020 (pp. 2711–2717). Association for Computing Machinery. https://doi.org/10.1145/3366423.3380028

Logins, A., Li, Y. & Karras, P. (2022). On the Robustness of Diffusion in a Network under Node Attacks. IEEE Transactions on Knowledge and Data Engineering, 34(12), 5884-5895. https://doi.org/10.1109/TKDE.2021.3071081

Logins, A. (2020). Resource Allocation in Networks. Århus Universitet.

Löffler, M., Staals, F. & Urhausen, J. (2016). New Results on Trajectory Grouping under Geodesic Distance. Paper presented at EuroCG 2016, Lugano, Switzerland. http://www.eurocg2016.usi.ch/sites/default/files/paper_70.pdf

Loffler, M., Nollenburg, M. & Staals, F. (2016). Mixed map labeling. Journal of Spatial Information Science, 13, 3-32. https://doi.org/10.5311/JOSIS.2016.13.264

Loeschcke, S. B., Hogräfer, M. & Schulz, H.-J. (2020). Progressive Parameter Space Visualization for Task-Driven SAX Configuration. In K. Vrotsou & C. Turkay (Eds.), EuroVA 2020 - EuroVis Workshop on Visual Analytics (pp. 43-47). European Association for Computer Graphics. https://doi.org/10.2312/eurova.20201085

Loeschcke, S., Belongie, S. & Benaim, S. (2023). Text-Driven Stylization of Video Objects. In L. Karlinsky, T. Michaeli & K. Nishino (Eds.), Computer Vision – ECCV 2022 Workshops (pp. 594-609). Springer. https://doi.org/10.1007/978-3-031-25069-9_38

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. In S. Agrawal & D. Lin (Eds.), Advances in Cryptology – ASIACRYPT 2022 - 28th International Conference on the Theory and Application of Cryptology and Information Security, 2022, Proceedings: ASIACRYPT 2022 (pp. 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. In IEEE 14th International Conference on Mobile Data Management (MDM), 2013 (Volume:1 ) (pp. 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. In SIGIR 2019 - Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval (pp. 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. In Y. Huang, I. King, T.-Y. Liu & M. van Steen (Eds.), WWW '20: Proceedings of The Web Conference 2020 (pp. 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), Article 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?. Paper presented at 12th Annual Conference on
Innovative Data Systems Research (CIDR ’22), Chaminade, United States. https://dblp.org/db/conf/cidr/cidr2022.html

Lipmaa, H. & Toft, T. (2013). Secure equality and greater-than tests with sublinear online complexity. In F. V. Fomin , R. Freivalds, M. Kwiatkowska & D. Peleg (Eds.), Automata, Languages, and Programming: Proceedings, 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Part II (pp. 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. In 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. In K. Jensen (Ed.), Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (pp. 35-55). Department of Computer Science, Aarhus University.

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

Lindstrøm, B., Wells, L., Silva, M. (Ed.), Giva, A. (Ed.) & Colom, J. M. (Ed.) (2002). Towards a Monitoring Framework for Discrete-Event System Simulations. In Ikke angivet (pp. 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. In CHI 2016 - Proceedings, 34th Annual CHI Conference on Human Factors in Computing Systems (pp. 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. In C. Lampe, D. Morris & J. P. Hourcade (Eds.), CHI 2016 - Proceedings, 34th Annual CHI Conference on Human Factors in Computing Systems (pp. 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. In UIST 2016 - Proceedings of the 29th Annual Symposium on User Interface Software and Technology (pp. 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 presented at 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. In Proceedings of the IADIS International Conference on WWW/Internet 2005 (pp. 200-208). International Association for Development, IADIS.

Lindeskov Knudsen, J., Løfgren, M., Magnussen, B. & Madsen, O. L. (Eds.) (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. In K. Sako & P. Sarkar (Eds.), 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 (Vol. 8197, pp. 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. In N. Minsky & V. Osmani (Eds.), Proceedings of the 12th EAI International Conference on Pervasive Computing Technologies for Healthcare, PervasiveHealth 2018 (pp. 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. In S. Lovett (Ed.), 37th Computational Complexity Conference, CCC 2022 Article 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. In Proceedings - 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science, FOCS 2021 (pp. 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. In D. Gouscos & M. Meimaris (Eds.), Proceedings of ECGBL 2011. The 5th European Conference on Games Based Learning (pp. 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://arxiv.org/abs/1801.07664

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

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

Displaying results 1701 to 1750 out of 5710

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University