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

Vindum, S. F. & Birkedal, L. (2021). Contextual refinement of the Michael-Scott queue (proof pearl). In C. Hriţcu & A. Popescu (Eds.), CPP 2021: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs (pp. 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. In A. Popescu & S. Zdancewic (Eds.), CPP 2022 : Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022 (pp. 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. Article 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. In K. Stark, A. Timany, S. Blazy & N. Tabareau (Eds.), Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2025 (pp. 83-97). Association for Computing Machinery. https://doi.org/10.1145/3703595.3705876

Vindum, S. F. (2024). Separation Logic for Concurrency and Persistency. [PhD thesis, Aarhus University]. Aarhus University.

Videbech, P., Ravnkilde, B., Pedersen, T. H., Hartvig, H., Egander, A., Clemmensen, K., Rasmussen, N. A., Andersen, F., Gjedde, A. & Rosenberg, R. (2002). The Danish PET/depression project: clinical symptoms and cerebral blood flow. A regions-of-interest analysis. Acta Psychiatrica Scandinavica, 106(1), 35-44.

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. In NordiCHI '20: Proceedings of the 11th Nordic Conference on Human-Computer Interaction: : Shaping Experiences, Shaping Society (pp. 1-10). Article 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. In 2011 12th IEEE International Conference on Mobile Data Management (MDM) (pp. 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. In Thirty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2023) (Vol. 1, pp. 940-986). Association for Computing Machinery.

Vesterstrøm, J. S. & Thomsen, R. (2004). A Comparative Study of Differential Evolution, Particle Swarm Optimization, and Evolutionary Algorithms on Numerical Benchmark Problems. In Proceedings of the 2004 Congress on Evolutionary Computation (pp. 1980-1987). IEEE.

Vesterstrøm, J. S. (2003). Physical Mapping Using Simulated Annealing and Evolutionary Algorithms. In Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2003, 8 -12 December 2003, Canberra, Australien (Vol. 1, pp. 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. (Ed.), Yao, X. (Ed.), Greenwood, G. (Ed.), Iba, H. (Ed.), Marrow, P. (Ed.) & Shackleton, M. (Ed.) (2002). Division of Labor in Particle Swarm Optimisation. In Ikke angivet (pp. 1570-1575). IEEE Press.

Vesterstrøm, J. S. (2006). Heuristic Algorithms in Bioinformatics.

Vestergaard Mogensen, M. (2009). Infrastructure Support for Collaborative Pervasive Computing Systems. Aarhus Universitetsforlag.

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), Article 041001. https://doi.org/10.1115/1.4053154

Vermeulen, J., Lim, B. Y., Avdic, M., Wang, D. & Abdul, A. (2019). The Curious Case of Providing Intelligibility for Smart Speakers. Abstract from The 2019 ACM CHI Conference on Human Factors in Computing Systems (CHI'19), Glasgow, United Kingdom.

Verdezoto, N. & Olsen, J. W. (2012). Personalized Medication Management: Towards a Design of Individualized Support for Elderly Citizens at Home. In Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium (IHI2012) (pp. 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. Paper presented at Bridging Clinical and Non-clinical Health Practices: Opportunities and Challenges, Austin, Texas, United States. 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. Paper presented at How to Design Touch Interfaces for and with Older Adults: Identification of Challenges and Opportunities, Copenhagen, Denmark. 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. Paper presented at Designing for Self-Care Acknowledging the Home-Clinic Difference, Copenhagen, Denmark. 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 from IEEE International Conference on Healthcare Informatics, Philadelphia, United States.

Verdezoto, N., Nunes, F., Grönvall, E., Fitzpatrick, G., Storni, C. & Kyng, M. (Eds.) (2014). Proceedings of Designing Self-care for Everyday Life. Workshop in conjunction with NordiCHI 2014, 27th October 2014, Helsinki, Finland. Department of Computer Science, Aarhus University. DAIMI PB No. 597 http://ojs.statsbiblioteket.dk/index.php/daimipb/issue/view/2772

Verdezoto, N., Nunes, F., Grönvall, E., Fitzpatrick, G., Storni, C. & Kyng, M. (2014). Designing self-care for everyday life. In V. Roto & J. Häkkilä (Eds.), NordiCHI '14, Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational (pp. 821-824 ). Association for Computing Machinery. https://doi.org/10.1145/2639189.2654837

Verdezoto, N. (2015). Exploring Challenges and Opportunities for Eco-Feedback Technology. Paper presented at Workshop on Expanding the Boundaries: A SIGCHI HCI & Sustainability , Seoul, Korea, Republic of. 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

Verdezoto, N. (2013). Home-based Self-care: Understanding and Designing Pervasive Technology to Support Care Management Work at Home. Department of Computer Science, Aarhus University.

Verbin, E. & Yu, W. (2011). The Streaming Complexity of Cycle Counting, Sorting by Reversals, and Other Problems. In Proceedings of the 22nd Annual ACM-SIAM Symposium on Discrete Algorithms. SODA 2011 (pp. 11-25). Society for Industrial and Applied Mathematics. http://www.siam.org/proceedings/soda/2011/SODA11_002_verbine.pdf

Verbin, E. & Zhang, Q. (2012). Rademacher-Sketch: A Dimensionality-Reducing Embedding for Sum-Product Norms, with an Application to Earth-Mover Distance. Lecture Notes in Computer Science, 7391, 834-845. https://doi.org/10.1007/978-3-642-31594-7_70

Verbin, E. & Yu, W. (2013). Data structure lower bounds on random access to grammar-compressed strings. In J. Fischer & P. Sanders (Eds.), Combinatorial Pattern Matching: 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings (pp. 247-258). Springer VS. https://doi.org/10.1007/978-3-642-38905-4_24

Venetis, P., Gonzalez, H., Jensen, C. S. & Halevy, A. (2011). Hyper-local, directions-based ranking of places. Proceedings of the VLDB Endowment, 4(5), 290-301. http://www.vldb.org/pvldb/vol4/p290-venetis.pdf

Veje Pedersen, N., Clausen, H. S. & Dissing, C. (2019). Centralizing Pure after 15 years: Experiences forming a library specialist team. Abstract from PURE International Conference 2019, Prag, Czech Republic. https://app.oxfordabstracts.com/events/1125/program-app/submission/143655

Veileborg, O. H., Saioc, G.-V. & Møller, A. (2022). Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation. In iWOAR 2022 - 7th International Workshop on Sensor-Based Activity Recognition and Artificial Intelligence, Proceedings (pp. 1-12). Article 32 Association for Computing Machinery. https://doi.org/10.1145/3551349.3561154

Veileborg, O. H. (2023). Localized Static Program Analysis for Optimization and Error Detection. [PhD thesis, Aarhus University]. Aarhus Universitet.

Veerasawmy, R., Ludvigsen, M. & Fogtmann, M. H. (2008). iSport: Varieties of physical interactions in social contexts. In J. Sturm, T. Bekker & E. Barakova (Eds.), Proceedings of the 1st workshop on Design for Social Interaction through Physical Play (pp. 51-56).

Veerasawmy, R. & Ludvigsen, M. (2010). Designing Technology for Active Spectator Experiences at Sporting Events. Paper presented at OzCHI 2010, Brisbane, Australia.

Varacca, D., Völzer, H., Winskel, G., Gardner, P. (Ed.) & Yoshida, N. (Ed.) (2004). Probabilistic Event Structures and Domains. In Ikke angivet (3170 i Lecture Notes in Computer Science ed., pp. 481-496). Springer.

Van Oosterhout, A., Alonso, M. B. & Jumisko-Pyykkö, S. (2018). Ripple thermostat: Affecting the emotional experience through interactive force feedback and shape change. In CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (Vol. 2018-April). Association for Computing Machinery. https://doi.org/10.1145/3173574.3174229

Van Oosterhout, A. (2019). Understanding the benefits and drawbacks of shape change in contrast or addition to other modalities. In DIS 2019 Companion - Companion Publication of the 2019 ACM Designing Interactive Systems Conference (pp. 113-116). Association for Computing Machinery. https://doi.org/10.1145/3301019.3324875

Van Oosterhout, A., Hoggan, E., Rasmussen, M. K. & Bruns, M. (2019). DynaKnob: Combining haptic force feedback and shape change. In DIS 2019 - Proceedings of the 2019 ACM Designing Interactive Systems Conference (pp. 963-974). Association for Computing Machinery. https://doi.org/10.1145/3322276.3322321

Van Oosterhout, A. & Hoggan, E. (2021). Deformation Techniques for Shape Changing Interfaces. In Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems, CHI EA 2021 Article 388 Association for Computing Machinery. https://doi.org/10.1145/3411763.3451622

Van Oosterhout, A., Bruns, M. & Hoggan, E. (2022). Designing Feedback for Haptic and Shape Changing Interfaces with Feelix A tutorial on the design of force feedback and shape change in custom user interfaces. In Participative Computing for Sustainable Futures: Adjunct Proceedings of the 12th Nordic Conference on Human-Computer Interaction (NordiCHI’22) Article 18 Association for Computing Machinery. https://doi.org/10.1145/3547522.3558900

Van Oosterhout, A., Hoggan, E. & Bruns, M. (2022). Adjustable Graphical Notation and Accessible Hardware to Accommodate the Force Feedback Design Process Redesign of Feelix based on Preliminary Evaluations of Design Tools and Methods. In Participative Computing for Sustainable Futures : Adjunct Proceedings of the 12th Nordic Conference on Human-Computer Interaction (NordiCHI’22) Article 52 Association for Computing Machinery. https://doi.org/10.1145/3547522.3547683

Van Oosterhout, A., Bruns, M. & Hoggan, E. (2023). Designing for Haptic and Embodied Interaction with Feelix. In TEI '23: Proceedings of the Seventeenth International Conference on Tangible, Embedded, and Embodied Interaction Article 66 Association for Computing Machinery. https://doi.org/10.1145/3569009.3571842

van Oosterhout, A., Rasmussen, M. K., Hoggan, E. & Alonso, M. B. (2018). Knobology 2.0: Giving Shape to the Haptic Force Feedback of Interactive Knobs. In UIST 2018 Adjunct - Adjunct Publication of the 31st Annual ACM Symposium on User Interface Software and Technology: UIST '18 Adjunct (pp. 197-199). Association for Computing Machinery. https://doi.org/10.1145/3266037.3271649

van Oosterhout, A. & Hoggan, E. (2020). Reshaping Interaction with Rotary Knobs: Combining Form, Feel and Function. In DIS 2020 - Proceedings of the 2020 ACM Designing Interactive Systems Conference (pp. 1973-1982). Association for Computing Machinery. https://doi.org/10.1145/3357236.3395536

van Oosterhout, A., Bruns, M. & Hoggan, E. (2020). Facilitating Flexible Force Feedback Design with Feelix. In ICMI 2020 - Proceedings of the 2020 International Conference on Multimodal Interaction (pp. 184–193). Association for Computing Machinery. https://doi.org/10.1145/3382507.3418819

van Oosterhout, A. (2021). A Design Perspective on Force Feedback. [PhD thesis, Aarhus University]. Aarhus Universitet.

Van Mechelen, M., Smith, R. C., Schaper, M.-M. A., Tamashiro, M. A., Bilstrup, K.-E. K., Lunding, M. S., Petersen, M. G. & Iversen, O. S. (2022). Emerging Technologies in K-12 Education: A Future HCI Research Agenda. ACM Transactions on Computer-Human Interaction, 30(3), Article 47. https://doi.org/10.1145/3569897

Displaying results 201 to 250 out of 5776

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University