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

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

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 ed.) 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. In C. Knoblock & M. Schneider (Eds.), Proceedings of the 21st ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, SIGSPATIAL'13 (pp. 396-399 ). Association for Computing Machinery. https://doi.org/10.1145/2525314.2525444

Li, Y., Li, X., Sandel, B., Blank, D., Liu, Z., Liu, X. & Yan, S. (2016). Climate and topography explain range sizes of terrestrial vertebrates. Nature Climate Change, 6(5), 498-502. https://doi.org/10.1038/nclimate2895

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. Article 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. In G. T. Leavens, A. Garcia & C. S. Păsăreanu (Eds.), 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 (pp. 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. In Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019 (pp. 446-457). Article 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), Article 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), Article 10. https://doi.org/10.1145/3381915

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. In UIST 2021 - Proceedings of the 34th Annual ACM Symposium on User Interface Software and Technology (pp. 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. Paper presented at Global Wireless Summit 2016, Aarhus, Denmark.

Lehmann, A. & Gross, A. (2016). Using Crowd Sensed Data as Input to Congestion Model. In 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 Article 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. In Proceedings - 18th IEEE International Conference on Mobile Data Management, MDM 2017 (pp. 154-163). Article 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), Article 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. In M. Broekhuijsen (Ed.), TEI 2016 - Proceedings of the 10th Anniversary Conference on Tangible Embedded and Embodied Interaction (pp. 488-493). Association for Computing Machinery. https://doi.org/10.1145/2839462.2856540

Lee, J. (2004). Reverse Code Generation for Java Program Model Checking. Paper presented at 6th school on MOdeling and VErifying parallel Processes (MOVEP '04), Bruxelles, Belgium.

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

Lee, J. (2007). Program Validation by Symbolic and Reverse Execution. Daimi PhD Dissertation No. PD-07-1

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. B R I C S 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. In E. Lank & A. Vinciarelli (Eds.), ICMI 2017 - Proceedings of the 19th ACM International Conference on Multimodal Interaction (pp. 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. In F. F. Mueller, P. Kyburz, J. R. Williamson, C. Sas, M. L. Wilson, P. T. Dugas & I. Shklovski (Eds.), 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. In R. Mandryk & M. Hancock (Eds.), CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (pp. 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. In DIS 2019 - Proceedings of the 2019 ACM Designing Interactive Systems Conference (pp. 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. In T. Doring, S. Boll, A. Colley, A. Esteves & J. Guerreiro (Eds.), Proceedings of MUM 2022, the 21st International Conference on Mobile and Ubiquitous Multimedia (pp. 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. In A. Beimel & S. Dziembowski (Eds.), Theory of Cryptography - 16th International Conference, TCC 2018, Proceedings: Theory of Cryptography (Vol. 11240, pp. 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 - Index, 140(B4), 984-989. https://doi.org/10.1103/PhysRev.140.B984

Displaying results 1701 to 1750 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