Aarhus Universitets segl

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

Wagner, U., Lystbæk, M. N., Manakhov, P., Grønbæk, J. E., Pfeuffer, K. & Gellersen, H. (2023). A Fitts’ Law Study of Gaze-Hand Alignment for Selection in 3D User Interfaces. I A. Schmidt, K. Väänänen, T. Goyal, P. O. Kristensson, A. Peters, S. Mueller, J. R. Williamson & M. L. Wilson (red.), CHI '23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Artikel 252 Association for Computing Machinery. https://doi.org/10.1145/3544548.3581423
Wagner, U., Jacobsen, A. A., Feuchtner, T., Gellersen, H. & Pfeuffer, K. (2024). Eye-Hand Movement of Objects in Near Space. I B. Ens & S. Carpendale (red.), ISS Companion 2024 - Companion Proceedings of the Conference on Interactive Surfaces and Spaces (s. 18-21). Association for Computing Machinery. https://doi.org/10.1145/3696762.3698044
Wagner, U., Jacobsen, A. A., Feuchtner, T., Gellersen, H. & Pfeuffer, K. (2024). Eye-Hand Movement of Objects in Near Space Extended Reality. I UIST 2024 - Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology Artikel 84 Association for Computing Machinery. https://doi.org/10.1145/3654777.3676446
Wagner, U. (2025). Eye-Hand Input in 3D. [Ph.d.-afhandling, Aarhus Universitet].
Wagner, U., Kim, J., Wu, Z., Zhou, Q., Romero, M., Iop, A., Feuchtner, T. & Pfeuffer, K. (2025). A Study of Multimodal Pen + Gaze Interaction Techniques for Shape Point Translation in Extended Reality. I U. Eck, G. Lee, A. Plopski, M. Smith, Q. Sun & M. Tatzgern (red.), 2025 IEEE International Symposium on Mixed and Augmented Reality (ISMAR) (s. 454-464) https://doi.org/10.1109/ISMAR67309.2025.00056
Wagealla, W., Carbone, M., English, C., Terzis, S., Lowe, H., Nixon, P., Dimitrakos, T. (red.) & Martinelli, F. (red.) (2004). A Formal Model for Trust Lifecycle Management. I Proceedings of IEEE International Conference on Software Engineering and Formal Methods (SEFM '03), 2003. (s. 181-192). IIT-CNR.
Vollrath, F. & Krink, T. (2020). Spider webs inspiring soft robotics. Journal of the Royal Society, Interface, 17(172). https://doi.org/10.1098/rsif.2020.0569
Vitanov, A., Dupont-Dupuis, F., Tomamichel, M. & Renner, R. (2013). Chain rules for smooth min-and max-entropies. I E E E Transactions on Information Theory, 59(5), 2603-2612. https://doi.org/10.1109/TIT.2013.2238656
Vindum, S. F. & Birkedal, L. (2021). Contextual refinement of the Michael-Scott queue (proof pearl). I C. Hriţcu & A. Popescu (red.), CPP 2021: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs (s. 76-90). Association for Computing Machinery. https://doi.org/10.1145/3437992.3439930
Vindum, S. F., Frumin, D. & Birkedal, L. (2022). Mechanized Verification of a Fine-Grained Concurrent Queue from Meta s Folly Library. I A. Popescu & S. Zdancewic (red.), CPP 2022 : Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022 (s. 100-115). Association for Computing Machinery. https://doi.org/10.1145/3497775.3503689
Vindum, S. F. & Birkedal, L. (2023). Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory. Proceedings of the ACM on Programming Languages , 7(OOPSLA2), 632-657. Artikel 244. https://doi.org/10.1145/3622820
Vindum, S. F., Georges, A. L. & Birkedal, L. (2025). The Nextgen Modality: A Modality for Non-Frame-Preserving Updates in Separation Logic. I K. Stark, A. Timany, S. Blazy & N. Tabareau (red.), Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2025 (s. 83-97). Association for Computing Machinery. https://doi.org/10.1145/3703595.3705876
Vindum, S. F. (2024). Separation Logic for Concurrency and Persistency. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus University.
Victor Kobbelgaard, F., Bødker, S. & Kanstrup, A. M. (2020). Designing a game to explore human artefact ecologies for assistive robotics: Basing design games on an activity theoretical framework. I NordiCHI '20: Proceedings of the 11th Nordic Conference on Human-Computer Interaction: : Shaping Experiences, Shaping Society (s. 1-10). Artikel 27 Elsevier. https://doi.org/10.1145/3419249.3420181
Vicente, C. R., Frenti, D., Bettini, C. & Jensen, C. S. (2011). Location-Related Privacy in Geo-Social Networks. I E E E Internet Computing, 15(3), 20-27. https://doi.org/10.1109/MIC.2011.29
Vicente, C. R., Assent, I. & Jensen, C. S. (2011). Effective Privacy-Preserving Online Route Planning. I 2011 12th IEEE International Conference on Mobile Data Management (MDM) (s. 119-128). IEEE Computer Society Press. https://doi.org/10.1109/MDM.2011.20
Viallat, V. C. A., Grandoni, F., Lee, E. & Schwiegelshohn, C. (2023). Breaching the 2 LMP Approximation Barrier for Facility Location with Applications to k-Median. I Thirty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2023) (Bind 1, s. 940-986). Association for Computing Machinery.
Vesterstrøm, J. S. (2003). Physical Mapping Using Simulated Annealing and Evolutionary Algorithms. I Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2003, 8 -12 December 2003, Canberra, Australien (Bind 1, s. 327- 334). IEEE Press.
Vesterstrøm, J. S. & Riget, J. (2002). A Diversity-Guided Particle Swarm Optimizer - the ARPSO. EVALife Technical Report, (2002-02).
Vesterstrøm, J. S., Riget, J., Krink, T., Fogel, D. B. (red.), Yao, X. (red.), Greenwood, G. (red.), Iba, H. (red.), Marrow, P. (red.) & Shackleton, M. (red.) (2002). Division of Labor in Particle Swarm Optimisation. I Ikke angivet (s. 1570-1575). IEEE Press.
Vernica, T., Lipman, R., Kramer, T., Kwon, S. & Bernstein, W. Z. (2022). Visualizing Standardized Model-Based Design and Inspection Data in Augmented Reality. Journal of Computing and Information Science in Engineering, 22(4), Artikel 041001. https://doi.org/10.1115/1.4053154
Vermeulen, J., Luyten, K., Coninx, K. & Marquardt, N. (2014). The Design of Slow-motion Feedback. -, 267-270. https://doi.org/10.1145/2598510.2598604
Vermeulen, J., Luyten, K. & Coninx, K. (2012). Understanding Complex Environments with the Feedforward Torch. I Ambient Intelligence - Third International Joint Conference, AmI 2012, Pisa, Italy, November 13-15, 2012. Proceedings (s. 312-319) https://doi.org/10.1007/978-3-642-34898-3_22
Vermeulen, J., Kawsar, F., Simeone, A. L., Kortuem, G., Luyten, K. & Coninx, K. (2012). Informing the design of situated glyphs for a care facility. I 2012 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2012, Innsbruck, Austria, September 30 - October 4, 2012 (s. 89-96) https://doi.org/10.1109/VLHCC.2012.6344490
Vermeulen, J., Vandriessche, Y., Clerckx, T., Luyten, K. & Coninx, K. (2007). Service-Interaction Descriptions: Augmenting Services with User Interface Models. I Engineering Interactive Systems - EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers (s. 447-464) https://doi.org/10.1007/978-3-540-92698-6_27
Vermeulen, J., Luyten, K., Coninx, K., Marquardt, N. & Bird, J. (2015). Proxemic Flow: Dynamic Peripheral Floor Visualizations for Revealing and Mediating Large Surface Interactions. I J. Abascal, S. Barbosa, M. Fetter, T. Gross, P. Palanque & M. Winckler (red.), Human-Computer Interaction -- INTERACT 2015 (s. 264-281). Springer International Publishing Switzerland.
Vermeulen, J., Lim, B. Y., Avdic, M., Wang, D. & Abdul, A. (2019). The Curious Case of Providing Intelligibility for Smart Speakers. Abstract fra The 2019 ACM CHI Conference on Human Factors in Computing Systems (CHI'19), Glasgow, Storbritannien.
Verdezoto, N. & Olsen, J. W. (2012). Personalized Medication Management: Towards a Design of Individualized Support for Elderly Citizens at Home. I Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium (IHI2012) (s. 813-817). Association for Computing Machinery. https://doi.org/10.1145/2110363.2110463
Verdezoto, N., Grönvall, E., Vincentz, S. & Rostgaard Thielsen, S. (2012). Exploring Challenges of Self-Monitoring for Senior Adults. Afhandling præsenteret på Bridging Clinical and Non-clinical Health Practices: Opportunities and Challenges, Austin, Texas, USA. http://www.ics.uci.edu/~yunanc/chi2012health/Downloads/Verdezoto.pdf
Verdezoto, N. & Grönvall, E. (2012). Designing a Tablet Touch-Screen Interface for Older Adults. Afhandling præsenteret på How to Design Touch Interfaces for and with Older Adults: Identification of Challenges and Opportunities, Copenhagen, Danmark. http://workshops.icts.sbg.ac.at/NordiCHI2012/papers/Verdezoto_et_al.pdf
Verdezoto, N. & Grönvall, E. (2012). Opportunities to Support Medication Intake across Boundaries of Care. Afhandling præsenteret på Designing for Self-Care Acknowledging the Home-Clinic Difference, Copenhagen, Danmark. http://users-cs.au.dk/gronvall/nordichi_rehab2012/accepted.html
Verdezoto, N. (2013). Home-based Healthcare Technology: Understanding and Designing to Support the Care Management Work at Home. Abstract fra IEEE International Conference on Healthcare Informatics, Philadelphia, USA.
Verdezoto, N., Nunes, F., Grönvall, E., Fitzpatrick, G., Storni, C. & Kyng, M. (2014). Designing self-care for everyday life. I V. Roto & J. Häkkilä (red.), NordiCHI '14, Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational (s. 821-824 ). Association for Computing Machinery. https://doi.org/10.1145/2639189.2654837
Verdezoto, N. (2015). Exploring Challenges and Opportunities for Eco-Feedback Technology. Afhandling præsenteret på Workshop on Expanding the Boundaries: A SIGCHI HCI & Sustainability , Seoul, Sydkorea. http://wp.lancs.ac.uk/chi15sust/files/2015/04/pp_verdezoto.pdf
Verdezoto, N. & Grönvall, E. (2015). On preventive blood pressure self-monitoring at home. Cognition, Technology and Work, 18(2), 267-285. https://doi.org/10.1007/s10111-015-0358-7