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

Lundby, C., Achman-Andersen, N. J., Thomsen, J. J., Norgaard, A. M. & Robach, P. (2008). Testing for recombinant human erythropoietin in urine: problems associated with current anti-doping testing. Journal of Applied Physiology, 105(2), 417-9. https://doi.org/10.1152/japplphysiol.90529.2008

Lund, H. H., Mayoh, B. H. & Perram, J. (2001). Seventh Scandinavian Conference on Artificial Intelligence. In Frontiers in Artificial Intelligence and Applications (66 ed.). IOS Press.

Lund, J., Jensen, L. B., Battle, N., Larsen, P. G. & Macedo, H. D. (2023). Bidirectional UML Visualisation of VDM Models.

Ludvigsen, M. (2002). Playful Interaction. Paper presented at IRIS 2002 Jamboree/review at the International Conference on Ubiquitous Computing, Göteborg, Sweden.

Ludvigsen, M., Fogtmann, M. H. & Grønbæk, K. (2010). TacTowers: An Interactive Training Equipment for Elite. In O. W. Bertelsen, P. G. Krogh, K. Halskov & M. G. Petersen (Eds.), Proceedings of the 8th ACM Conference on Designing Interactive Systems (pp. 412-415). Association for Computing Machinery. https://doi.org/10.1145/1858171.1858250

Lucas, C., Raub, D. & Maurer, U. (2010). Hybrid-secure MPC : trading information-theoretic robustness for computational privacy. In Proceeding of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing. PODC '10 (pp. 219-228). Association for Computing Machinery. https://doi.org/10.1145/1835698.1835747

Lucani Rötter, D. E., Nielsen, L., Orlandi, C., Pagnin, E. & Vestergaard, R. (2020). Secure generalized deduplication via multi-key revealing encryption. In C. Galdi & V. Kolesnikov (Eds.), Security and Cryptography for Networks (pp. 298-318). Springer. https://doi.org/10.1007/978-3-030-57990-6_15

Lu, H., Jensen, C. S. & Zhang, Z. (2011). Flexible and Efficient Resolution of Skyline Query Size Constraints. I E E E Transactions on Knowledge & Data Engineering, 23(7), 991-1005. https://doi.org/10.1109/TKDE.2010.47

Lu, H., Yang, B. & Jensen, C. S. (2011). Spatio-temporal joins on symbolic indoor tracking data. Proceedings of the International Conference on Data Engineering, 816-827. https://doi.org/10.1109/ICDE.2011.5767902

Lu, H., Cao, X. & Jensen, C. S. (2012). A Foundation for Efficient Indoor Distance-Aware Query Processing. In IEEE 28th International Conference on Data Engineering (ICDE) (pp. 438 -449). IEEE Press. https://doi.org/10.1109/ICDE.2012.44

Lu, H. & Jensen, C. S. (2012). Upgrading Uncompetitive Products Economically. In IEEE 28th International Conference on Data Engineering (ICDE) (pp. 977 - 988 ). IEEE Press. https://doi.org/10.1109/ICDE.2012.92

Lowe, A., Svendsen, S. C., Agarwal, P. K. & Arge, L. (2020). 1D and 2D Flow Routing on a Terrain. In C.-T. Lu, F. Wang, G. Trajcevski, Y. Huang, S. Newsam & L. Xiong (Eds.), Proceedings of the 28th International Conference on Advances in Geographic Information Systems, SIGSPATIAL GIS 2020 (pp. 5-14). Association for Computing Machinery. https://doi.org/10.1145/3397536.3422269

Løvbjerg, M., Krink, T., Fogel, D. B. (Ed.), Yao, X. (Ed.), Greenwood, G. (Ed.), Iba, H. (Ed.), Marrow, P. (Ed.) & Shackleton, M. (Ed.) (2002). Extending Particle Swarm Optimisers with Self-Organized Criticality. In Proceedings of the 2002 Congress on Evolutionary Computation : CEC'02 (Vol. 2, pp. 1588-1593). IEEE Press.

Loughran, N., Rashid, A., Zhang, W. & Jarzabek, S. (2004). Supporting Product Line Evolution with Framed Aspects. In Third AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS04) (pp. 15-19). Association for Computing Machinery.

Loster, M., Mottin, D., Papotti, P., Ehmüller, J., Feldmann, B. & Naumann, F. (2021). Few-Shot Knowledge Validation using Rules. In J. Leskovec, M. Grobelnik, M. Najork, J. Tang & L. Zia (Eds.), The Web Conference 2021 - Proceedings of the World Wide Web Conference, WWW 2021 (pp. 3314-3324). Association for Computing Machinery. https://doi.org/10.1145/3442381.3450040

Loss, J., Maurer, U. & Tschudi, D. (2018). Strong Separations Between Broadcast and Authenticated Channels. In U. Schmid & J. Widder (Eds.), 32nd International Symposium on Distributed Computing (DISC 2018) (Vol. 121, pp. 36:1-36:17). Article 36 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.DISC.2018.36

Loss, J. & Nielsen, J. B. (2024). Early Stopping for Any Number of Corruptions. In M. Joye & G. Leander (Eds.), Advances in Cryptology – EUROCRYPT 2024: 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings (Vol. III, pp. 457-488). Springer. https://doi.org/10.1007/978-3-031-58734-4_16

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. (2020). Resource Allocation in Networks. Århus Universitet.

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

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

Displaying results 1651 to 1700 out of 5640

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University