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

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

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. I Proceedings of the 22nd Annual ACM-SIAM Symposium on Discrete Algorithms. SODA 2011 (s. 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. 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. (2022). 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. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.

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

Veerasawmy, R. & Ludvigsen, M. (2010). Designing Technology for Active Spectator Experiences at Sporting Events. Afhandling præsenteret på OzCHI 2010, Brisbane, Australien.

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

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. [Ph.d.-afhandling, Aarhus Universitet]. 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), Artikel 47. https://doi.org/10.1145/3569897

van Hoeve, W.-J. & Katriel, I. (2006). Global Constraints. I F. Rossi, P. van Beek & T. Walsh (red.), Handbook of Constraint Programming: Part I , Foundations Pergamon Press.

van Hellemond, I. E. G., Bouwmeester, S., Olson, C. W., Bøtker, H. E., Kaltoft, A. K., Nielsen, S. S., Terkelsen, C. J., Maynard, C., Andersen, M. P., Gorgels, A. P. M. & Wagner, G. S. (2011). Consideration of QRS complex in addition to ST-segment abnormalities in the estimated "risk region" during acute anterior myocardial infarction. Journal of Electrocardiology, 44(3), 370-6. https://doi.org/10.1016/j.jelectrocard.2011.01.004

van Emde Boas, P., Wiedermann, J. & Nielsen, M. (red.) (1999). Automata, Languages and Programming: 26th International Colloquium, ICALP'99 Prague, Czech Republic, July 11-15, 1999 Proceedings. Springer. Lecture Notes in Computer Science Bind 1644 https://doi.org/10.1007/3-540-48523-6

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 der Aalst, W. M. P., Jørgensen, J. B. & Lassen, K. B. (2005). Let us Go All the Way: From Requirements via Coloured Workflow Nets to a BPEL Implementation of a New Bank System. I Ikke angivet Springer LNCS.

van der Aalst, W. M. P. & Lassen, K. B. (2005). Translating Workflow Nets to BPEL4WS.

van der Aalst, W. M. P. & Lassen, K. B. (2008). Translating Unstructured Workflow Processes to Readable BPEL: Theory and Implementation. Information and Software Technology, 50(3), 131-159.

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+Business Media. https://doi.org/10.1007/978-3-030-73785-6_1

van de Pol, J. & Bouyer, P. (red.) (2025). 36th International Conference on Concurrency Theory, CONCUR 2025. Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs Bind 348 https://www.dagstuhl.de/dagpub/978-3-95977-389-8

van den Brand, M., Iversen, J., Mosses, P. D., Hedin, G. (red.) & Van Wyk, E. (red.) (2004). An Action Environment. I Proceedings of the Fourth Workshop on Language Descriptions, Tools, and Applications (Bind 110, s. 149-168). Elsevier.

van den Brand, M., Iversen, J., Mosses, P. D., Hedin, G. (red.) & Van Wyk, E. (red.) (2004). The Action Environment: Tool Demonstration. I Ikke angivet (s. 177-180). Elsevier.

Van Bergerem, S., Grohe, M. & Ritzert, M. (2022). On the Parameterized Complexity of Learning First-Order Logic. I PODS 2022 - Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (s. 337-346). Association for Computing Machinery. https://doi.org/10.1145/3517804.3524151

van Baarsen, A. N. & Pu, S. (2026). Fuzzy Private Set Intersection from VOLE. I G. Hanaoka & B.-Y. Yang (red.), Advances in Cryptology – ASIACRYPT 2025 : 31st International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, VIC, Australia, December 8–12, 2025, Proceedings, Part V (s. 327-360). Springer. https://doi.org/10.1007/978-981-95-5116-3_11

Valsted, F. M., Nielsen, C. V. H., Jensen, J. Q., Sonne, T. & Jensen, M. M. (2017). Strive: Exploring Assistive Haptic Feedback on the Run. I M. Brereton, D. Vyas, A. Soro, B. Ploderer, J. Waycott & A. Morrison (red.), Proceedings of the 29th Australian Computer-Human Interaction Conference: Human-Nature, OzCHI 2017 (s. 275-284). Association for Computing Machinery. https://doi.org/10.1145/3152771.3152801

Valiant, L. G., Skyum, S., Berkowitz, S. & Rackoff, C. (1983). Fast Parallel Computation of Polynomials Using Few Processors. S I A M Journal on Computing, 12(4), 641-644. https://doi.org/10.1137/0212043

Valiant, L. & Skyum, S. (1981). Fast parallel computation of polynomials using few processors. I J. Gruska & M. Chytil (red.), Mathematical Foundations of Computer Science 1981: Proceedings, 10th Symposium Štrbské Pleso, Czechoslovakia August 31 – September 4, 1981 (s. 132-139). Springer. https://doi.org/10.1007/3-540-10856-4_79

Valencia, R., Condit, R., Foster, R. B., Romoleroux, K., Munoz, G. V., Svenning, J.-C., Magård, E., Bass, M., Losos, E. C., Balslev, H., Losos, E. C. (red.) & Leigh, E. G. . J. (red.) (2004). Yasuní forest dynamic plot, Ecuador. I Tropical forest diversity and dynamism: Findings from a large-scale plot network (s. 609-620)

Valencia, R., Condit, R., Romoleroux, K., Foster, R. B., Munoz, G. V., Losos, E. C., Balslev, H., Svenning, J.-C. & Magård, E. (2004). Tree species diversity and distribution in a forest plot at Yasuní National Park, Amazonian Ecuador. I in: E.C. Losos and E. G. Leigh, Jr. (eds.). Tropical Forest Diversity and Dynamism, The University of Chicago Press, Chicago and London. (s. 107-118)

Valencia, R., Foster, R. B., Villa, G., Condit, R., Svenning, J.-C., Hernandez, C., Romoleroux, K., Losos, E., Magård, E. & Balslev, H. (2004). Tree species distributions and local habitat variation in the Amazon: large forest plot in eastern Ecuador. Journal of Ecology, 92, 214-229.

Vaez, M., Dalén, M., Friberg, Ö., Nilsson, J., Frøbert, O., Lagerqvist, B. & Ivert, T. (2017). Regional differences in coronary revascularization procedures and outcomes: A nationwide 11-year observational study. European Heart Journal - Quality of Care & Clinical Outcomes, 3(3), 243-248. https://doi.org/10.1093/ehjqcco/qcx007

Ursem, R. K., Filipic, B. & Krink, T. (2002). Exploring the Performance of an Evolutionary Algorithm for Greenhouse Control. Journal of Computing and Information Technology, 10(3), 195-201.

Viser resultater 251 til 300 ud af 6067

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series