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

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

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.

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., van den Hoven, E. & Coninx, K. (2013). Crossing the Bridge over Norman's Gulf of Execution: Revealing Feedforward's True Identity. Unspecified journal, 1931-1940. https://doi.org/10.1145/2470654.2466255

Vermeulen, J. (2010). Improving Intelligibility and Control in Ubicomp. Unspecified journal, 485-488. https://doi.org/10.1145/1864431.1864493

Vermeulen, J., Vanderhulst, G., Luyten, K. & Coninx, K. (2010). PervasiveCrystal: Asking and Answering Why and Why Not Questions About Pervasive Computing Applications. Unspecified journal, 271-276. https://doi.org/10.1109/IE.2010.56

Vermeulen, J., Slenders, J., Luyten, K. & Coninx, K. (2009). I Bet You Look Good on the Wall: Making the Invisible Computer Visible. Unspecified journal, 196-205. https://doi.org/10.1007/978-3-642-05408-2_24

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. (2013). Home-based Self-care: Understanding and Designing Pervasive Technology to Support Care Management Work at Home. Department of Computer Science, Aarhus University.

Verdezoto, N., Nunes, F., Grönvall, E., Fitzpatrick, G., Storni, C. & Kyng, M. (red.) (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 Nr. 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. 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

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. I J. Fischer & P. Sanders (red.), Combinatorial Pattern Matching: 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings (s. 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 fra PURE International Conference 2019, Prag, Tjekkiet. https://app.oxfordabstracts.com/events/1125/program-app/submission/143655

Veileborg, O. H., Saioc, G.-V. & Møller, A. (2023). Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation. I iWOAR 2022 - 7th International Workshop on Sensor-Based Activity Recognition and Artificial Intelligence, Proceedings (s. 1-12). Artikel 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. Århus Universitet.

Van Vlaenderen, W., Brulmans, J., Vermeulen, J. & Schöning, J. (2015). WatchMe: A Novel Input Method Combining a Smartwatch and Bimanual Interaction. -, 2091-2095. https://doi.org/10.1145/2702613.2732789

Van Oosterhout, A., Alonso, M. B. & Jumisko-Pyykkö, S. (2018). Ripple thermostat: Affecting the emotional experience through interactive force feedback and shape change. I CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (Bind 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. I DIS 2019 Companion - Companion Publication of the 2019 ACM Designing Interactive Systems Conference (s. 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. I DIS 2019 - Proceedings of the 2019 ACM Designing Interactive Systems Conference (s. 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. I Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems, CHI EA 2021 Artikel 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. I Participative Computing for Sustainable Futures: Adjunct Proceedings of the 12th Nordic Conference on Human-Computer Interaction (NordiCHI’22) Artikel 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. I Participative Computing for Sustainable Futures : Adjunct Proceedings of the 12th Nordic Conference on Human-Computer Interaction (NordiCHI’22) Artikel 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. I TEI '23: Proceedings of the Seventeenth International Conference on Tangible, Embedded, and Embodied Interaction Artikel 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. I UIST 2018 Adjunct - Adjunct Publication of the 31st Annual ACM Symposium on User Interface Software and Technology: UIST '18 Adjunct (s. 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. I DIS 2020 - Proceedings of the 2020 ACM Designing Interactive Systems Conference (s. 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. I ICMI 2020 - Proceedings of the 2020 International Conference on Multimodal Interaction (s. 184–193). Association for Computing Machinery. https://doi.org/10.1145/3382507.3418819

van Oosterhout, A. (2021). A Design Perspective on Force Feedback. Århus 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), Artikel 47. https://doi.org/10.1145/3569897

Vanegas, H., Cabarcas, D. & Aranha, D. F. (2023). Privacy-Preserving Edit Distance Computation Using Secret-Sharing Two-Party Computation. I A. Aly & M. Tibouchi (red.), Progress in Cryptology – LATINCRYPT 2023: 8th International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2023, Quito, Ecuador, October 3–6, 2023, Proceedings (s. 67-86). Springer. https://doi.org/10.1007/978-3-031-44469-2_4

Van Der Berg, F. I. & Van De Pol, J. (2019). Concurrent chaining hash maps for software model checking. I C. Barrett & J. Yang (red.), Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019 (s. 46-54). Artikel 8894279 IEEE. https://doi.org/10.23919/FMCAD.2019.8894279

van de Pol, J. (2019). Concurrent algorithms and data structures for model checking. I W. Fokkink & R. van Glabbeek (red.), 30th International Conference on Concurrency Theory, CONCUR 2019 Artikel 4 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.CONCUR.2019.4

van de Pol, J. (2022). Exploring a Parallel SCC Algorithm: Using TLA ⁺ and the TLC Model Checker. I T. Margaria & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings (s. 535-555). Springer. https://doi.org/10.1007/978-3-031-19849-6_30

van de Pol, J. & Petrucci, L. (2021). On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract). I M. Roggenbach (red.), Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Revised Selected Papers (s. 3-10). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-73785-6_1

Viser resultater 101 til 150 ud af 2900

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series