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

Madsen, O. L. (2001). Virtual classes and their implementation. I R. Wilhelm (red.), Compiler Construction - 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Proceedings (s. 1-2). Springer Verlag. https://doi.org/10.1007/3-540-45306-7_1

Madsen, O. L., Magnusson, B. & Møller-Pedersen, B. (1990). Strong typing of object-oriented languages revisited. I Proceedings of the European Conference on Object-Oriented Programming on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA/ECOOP 1990 (s. 140-150). Association for Computing Machinery, Inc.. https://doi.org/10.1145/97945.97964

Madsen, M., Van De Pol, J. & Henriksen, T. (2023). Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems. Proceedings of the ACM on Programming Languages , 7(OOPSLA2), 516–543. Artikel 240. https://doi.org/10.1145/3622816

Madsen, M. & Pol, J. V. D. (2023). Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism. I K. Ali & G. Salvaneschi (red.), 37th European Conference on Object-Oriented Programming (ECOOP 2023) Artikel 18 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2023.18

Madsen, O. L. & Møller-Pedersen, B. (2024). An introduction to object-oriented programming as modeling. https://oopm.org

Madalgo, P. A., Barbay, J. & Chan, T. M. (2017). Instance-optimal geometric algorithms. Journal of the ACM, 64(1), Artikel 3. https://doi.org/10.1145/3046673

Mackay, W. E., Brewster, S. & Bødker, S. (red.) (2013). CHI '13 Extended Abstracts on Human Factors in Computing Systems: ACM SIGCHI Conference, Paris, France — April 27 - May 02, 2013. Association for Computing Machinery. http://dl.acm.org/citation.cfm?id=2468356

Mackay, W. E., Brewster, S. & Bødker, S. (red.) (2013). Proceedings of the SIGCHI Conference on Human Factors in Computing Systems: ACM SIGCHI Conference, Paris, France — April 27 - May 02, 2013. Association for Computing Machinery. http://dl.acm.org/citation.cfm?id=2470654

Ma, M., Yang, B. & Jensen, C. S. (2014). Enabling Time-Dependent Uncertain Eco-Weights For Road Networks. I M. A. Nascimento & M. Renz (red.), Proceedings of the 1st International ACM Workshop on Managing and Mining Enriched Geo-spatial Data: GeoRich 2014 Artikel 1 Association for Computing Machinery. https://doi.org/10.1145/2619112.2619113

Ma, M. Y. (2015). Enabling Time-Dependent Uncertain Edge Weights and Stochastic Routing in Road Networks. Department of Computer Science, Aarhus University.

Ma, W., Egger, M. K., Pavlogiannis, A., Li, Y. & Karras, P. (2024). Reachability-Aware Fair Influence Maximization. I W. Zhang, Z. Yang, X. Wang, A. Tung, Z. Zheng & H. Guo (red.), Web and Big Data - 8th International Joint Conference, APWeb-WAIM 2024, Proceedings: 8th International Joint Conference, APWeb-WAIM 2024, Jinhua, China, August 30 – September 1, 2024, Proceedings, Part III (s. 342-359). BMJ, Springer Nature. https://doi.org/10.1007/978-981-97-7238-4_22

Lystbæk, M. N., Pfeuffer, K., Grønbæk, J. E. S. & Gellersen, H. (2022). Exploring Gaze for Assisting Freehand Selection-based Text Entry in AR. Proceedings of the ACM on Human-Computer Interaction, 6(ETRA), Artikel 141. https://doi.org/10.1145/3530882

Lystbæk, M. N., Rosenberg, P., Pfeuffer, K., Grønbæk, J. E. & Gellersen, H. (2022). Gaze-Hand Alignment: Combining Eye Gaze and Mid-Air Pointing for Interacting with Menus in Augmented Reality. Proceedings of the ACM on Human-Computer Interaction, 6(ETRA), Artikel 145. https://doi.org/10.1145/3530886

Lystbæk, M. N., Pfeuffer, K., Langlotz, T., Grønbæk, J. E. & Gellersen, H. (2024). Spatial Gaze Markers: Supporting Effective Task Switching in Augmented Reality. I F. Mueller, P. Kyburz, J. Williamson, C. Sas, M. Wilson, P. Dugas & I. Shklovski (red.), CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems: Proceedings of the CHI Conference on Human Factors in Computing Systems Artikel 633 Association for Computing Machinery. https://doi.org/10.1145/3613904.3642811

Lystbæk, M. N., Mikkelsen, T., Krisztandl, R., Gonzalez, E. J., Gonzalez-Franco, M., Gellersen, H. & Pfeuffer, K. (2024). Hands-on, Hands-off: Gaze-Assisted Bimanual 3D Interaction. I UIST 2024 - Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology: Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology Artikel 80 Association for Computing Machinery. https://doi.org/10.1145/3654777.3676331

Lynggaard, A. B., Petersen, M. G. & Hepworth, S. (2012). "I had a dream and i built it": power and self-staging in ubiquitous high-end homes. I CHI EA '12 : CHI '12 Extended Abstracts on Human Factors in Computing Systems (s. 201-210). Association for Computing Machinery. https://doi.org/10.1145/2212776.2212798

Lyle, P. J. & Kannabiran, G. (2019). Public Outcomes of Publicly Funded Socio-Technical Projects: Reflections on Empowerment, Participation, and Researcher Responsibility. I J. E. Fischer, S. Martindale, M. Porcheron, S. Reeves & J. Spence (red.), HTTF 2019: : Proceedings of the Halfway to the Future Symposium 2019 (2019 udg., s. 1-3). Artikel 3363480 Association for Computing Machinery. https://doi.org/10.1145/3363384.3363480

Lyle, P., Korsgaard, H. & Bødker, S. (2020). What's in an Ecology? A Review of Artifact, Communicative, Device and Information Ecologies. I NordiCHI '20: Proceedings of the 11th Nordic Conference on Human-Computer Interaction: Shaping Experiences, Shaping Society (s. 1-14). Artikel 88 Association for Computing Machinery. https://doi.org/10.1145/3419249.3420185

Lyle, P. J. & Korsgaard, H. (2020). Community Values and Technological Mechanisms: Learning from The Amish?. 5. Afhandling præsenteret på Studying Technical Mechanisms for Supporting Sharing Communities, Siegen, Tyskland.

Luyten, K., Meskens, J., Vermeulen, J. & Coninx, K. (2008). Meta-gui-builders: Generating Domain-specific Interface Builders for Multi-device User Interface Creation. Unspecified journal, 3189-3194. https://doi.org/10.1145/1358628.1358829

Luyten, K., Thys, K., Vermeulen, J. & Coninx, K. (2006). A Generic Approach For Multi-Device User Interface Rendering With UIML. I Computer-Aided Design Of User Interfaces V, Proceedings of the Sixth International Conference on Computer-Aided Design of User Interfaces, CADUI 2006 6-8 June 2006, Bucharest, Romania (s. 175-182) https://doi.org/10.1007/978-1-4020-5820-2_14

Lutze, M., Madsen, M., Schuster, P. & Brachthäuser, J. I. (2023). With or Without You: Programming with Effect Exclusion. Proceedings of the ACM on Programming Languages , 7(ICFP), 448-475. https://doi.org/10.1145/3607846

Lutze, M. & Madsen, M. (2024). Associated Effects: Flexible Abstractions for Effectful Programming. Proceedings of the ACM on Programming Languages , 8, Artikel 163. https://doi.org/10.1145/3656393

Lunding, M. S., Grønbæk, J. E. S., Bilstrup, K. E. K., Sørensen, M. L. S. K. & Petersen, M. G. (2022). ExposAR: Bringing Augmented Reality to the Computational Thinking Agenda through a Collaborative Authoring Tool. I CHI 2022 - Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems Artikel 131 Association for Computing Machinery. https://doi.org/10.1145/3491102.3517636

Lunding, M. S., Leiva, G., Grønbæk, J. E. & Petersen, M. G. (2022). ProjectAR: Rapid Prototyping of Projection Mapping with Mobile Augmented Reality. Poster-session præsenteret på Adjunct Proceedings of the 2022 Nordic Human-Computer Interaction Conference. https://doi.org/10.1145/3547522.3547679

Lunding, M. S., Grønbæk, J. E., Grymer, N., Wells, T., Houben, S. & Petersen, M. G. (2023). Reality and Beyond: Proxemics as a Lens for Designing Handheld Collaborative Augmented Reality. Proceedings of the ACM on Human-Computer Interaction, 7(ISS), 21-40. Artikel 427. https://doi.org/10.1145/3626463

Lunding, R. S., Lystbæk, M. N., Feuchtner, T. & Grønbæk, K. (2023). AR-supported Human-Robot Collaboration: Facilitating Workspace Awareness and Parallelised Assembly Tasks. I G. Bruder, A.-H. Olivier, A. Cunningham, E. Y. Peng, J. Grubert & I. Williams (red.), Proceedings - 2023 IEEE International Symposium on Mixed and Augmented Reality, ISMAR 2023 (s. 1064-1073). IEEE. https://doi.org/10.1109/ISMAR59233.2023.00123

Lunding, R. S., Lunding, M. S., Feuchtner, T., Petersen, M. G., Grønbæk, K. & Suzuki, R. (2024). RoboVisAR: Immersive Authoring of Condition-based AR Robot Visualisations. I HRI '2024: Proceedings of the 2024 ACM/IEEE International Conference on Human-Robot Interaction (s. 462-471). Association for Computing Machinery. https://doi.org/10.1145/3610977.3634972

Lunding, M. S. (2024). Bringing Augmented Reality to the Computational Thinking Agenda: Designing AR Authoring Tools for Novice Users to support Creation, Reflection and Collaboration.

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

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

Luboschik, M., Maus, C., Schulz, H.-J., Schumann, H. & Uhrmacher, A. (2012). Heterogeneity-based guidance for exploring multiscale data in systems biology. I J. Roerdink & M. Hibbs (red.), Proceedings of the IEEE Symposium on Biological Data Visualization BioVis (s. 33-40). IEEE. https://doi.org/10.1109/BioVis.2012.6378590

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. I IEEE 28th International Conference on Data Engineering (ICDE) (s. 438 -449). IEEE Press. https://doi.org/10.1109/ICDE.2012.44

Lu, H. & Jensen, C. S. (2012). Upgrading Uncompetitive Products Economically. I IEEE 28th International Conference on Data Engineering (ICDE) (s. 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. I C.-T. Lu, F. Wang, G. Trajcevski, Y. Huang, S. Newsam & L. Xiong (red.), Proceedings of the 28th International Conference on Advances in Geographic Information Systems, SIGSPATIAL GIS 2020 (s. 5-14). Association for Computing Machinery. https://doi.org/10.1145/3397536.3422269

Loster, M., Mottin, D., Papotti, P., Ehmüller, J., Feldmann, B. & Naumann, F. (2021). Few-Shot Knowledge Validation using Rules. I J. Leskovec, M. Grobelnik, M. Najork, J. Tang & L. Zia (red.), The Web Conference 2021 - Proceedings of the World Wide Web Conference, WWW 2021 (s. 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. I U. Schmid & J. Widder (red.), 32nd International Symposium on Distributed Computing (DISC 2018) (Bind 121, s. 36:1-36:17). Artikel 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. I M. Joye & G. Leander (red.), Advances in Cryptology – EUROCRYPT 2024: 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings (Bind III, s. 457-488). Springer. https://doi.org/10.1007/978-3-031-58734-4_16

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

Logins, A. & Karras, P. (2019). An Experimental Study on Network Immunization. I M. Herschel, H. Galhardas, B. Reinwald, I. Fundulaki, C. Binnig & Z. Kaoudi (red.), Advances in Database Technology - EDBT 2019: 22nd International Conference on Extending Database Technology, Proceedings (s. 726-729). Artikel 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. I Proceedings - 19th IEEE International Conference on Data Mining Workshops, ICDMW 2019 (s. 69-72). Artikel 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. I The Web Conference 2020 - Proceedings of the World Wide Web Conference, WWW 2020: Proceedings of the Web Conference 2020 (s. 2711–2717). Association for Computing Machinery. https://doi.org/10.1145/3366423.3380028

Logins, A., U, L. H. & Karras, P. (2020). Fair Cruising. Manuskript afsendt til publicering. I Proceedings of the ACM SIGKDD Conference on Knowledge Discovery and Data Mining 2020

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

Loeschcke, S. B., Hogräfer, M. & Schulz, H.-J. (2020). Progressive Parameter Space Visualization for Task-Driven SAX Configuration. I K. Vrotsou & C. Turkay (red.), EuroVA 2020 - EuroVis Workshop on Visual Analytics (s. 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. I L. Karlinsky, T. Michaeli & K. Nishino (red.), Computer Vision – ECCV 2022 Workshops (s. 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

Viser resultater 951 til 1000 ud af 2961

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series