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

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

van Kreveld, M., Löffler, M., Staals, F. & Wiratma, L. (2016). A Refined Definition for Groups of Moving Entities and its Computation. In S.-H. Hong (Ed.), 27th International Symposium on Algorithms and Computation (ISAAC 2016) (pp. 48.1-48.12). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ISAAC.2016.48

van Kreveld, M., Löffler, M., Staals, F. & Wiratma, L. (2016). A Refined Definition for Groups of Moving Entities and its Computation. Paper presented at EuroCG 2016, Lugano, Switzerland. http://www.eurocg2016.usi.ch/sites/default/files/paper_67.pdf

van Hoeve, W.-J. & Katriel, I. (2006). Global Constraints. In F. Rossi, P. van Beek & T. Walsh (Eds.), 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 Goethem, A., Staals, F., Löffler, M., Dykes, J. & Speckmann, B. (2017). Multi-Granular Trend Detection for Time-Series Analysis. IEEE Transactions on Visualization and Computer Graphics, 23(1), 661-670. Article 7536203. https://doi.org/10.1109/TVCG.2016.2598619

Van Goethem, A., Van Kreveld, M., Löffler, M., Speckmann, B. & Staals, F. (2016). Grouping time-varying data for interactive exploration. In S. Fekete & A. Lubiw (Eds.), 32nd International Symposium on Computational Geometry, SoCG 2016 (Vol. 51, pp. 61.1-61.16). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2016.61

van Goethem, A., Van Kreveld, M., Löffler, M., Speckmann, B. & Staals, F. (2016). Grouping Time-varying Data for Interactive Exploration. 61.1-61.16. Paper presented at EuroCG 2016, Lugano, Switzerland. https://doi.org/10.4230/LIPIcs.SoCG.2016.61

van Emde Boas, P., Wiedermann, J. & Nielsen, M. (Eds.) (1999). Automata, Languages and Programming: 26th International Colloquium, ICALP'99 Prague, Czech Republic, July 11-15, 1999 Proceedings. Springer. Lecture Notes in Computer Science Vol. 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. In A. Aly & M. Tibouchi (Eds.), 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 (pp. 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. In C. Barrett & J. Yang (Eds.), Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019 (pp. 46-54). Article 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. In 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. In W. Fokkink & R. van Glabbeek (Eds.), 30th International Conference on Concurrency Theory, CONCUR 2019 Article 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. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings (pp. 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). In M. Roggenbach (Ed.), Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Revised Selected Papers (pp. 3-10). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-73785-6_1

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

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

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

Van Bergerem, S., Grohe, M. & Ritzert, M. (2022). On the Parameterized Complexity of Learning First-Order Logic. In PODS 2022 - Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (pp. 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. In G. Hanaoka & B.-Y. Yang (Eds.), 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 (pp. 327-360) 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. In M. Brereton, D. Vyas, A. Soro, B. Ploderer, J. Waycott & A. Morrison (Eds.), Proceedings of the 29th Australian Computer-Human Interaction Conference: Human-Nature, OzCHI 2017 (pp. 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. In J. Gruska & M. Chytil (Eds.), Mathematical Foundations of Computer Science 1981: Proceedings, 10th Symposium Štrbské Pleso, Czechoslovakia August 31 – September 4, 1981 (pp. 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. (Ed.) & Leigh, E. G. . J. (Ed.) (2004). Yasuní forest dynamic plot, Ecuador. In Tropical forest diversity and dynamism: Findings from a large-scale plot network (pp. 609-620)

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.

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.

Ursem, R. K., Krink, T., Fogel, D. B. (Ed.), Yao, X. (Ed.), Greenwood, G. (Ed.), Iba, H. (Ed.), Marrow, P. (Ed.) & Shackleton, M. (Ed.) (2002). Genetic Programming with Smooth Operators for Arithmetic Expressions: Diviplication and Subdition. In Proceedings of the Evolutionary on Computation 2002.: CEC'02 (Vol. 2, pp. 1372-1377). IEEE Computer Society Press.

Ursem, R. K., Krink, T. & Filipic, B. (2002). A Numerical Simulator for a Crop-Producing Greenhouse. EVALife Technical Report, (2002-01).

Ursem, R. K., Krink, T., Jensen, M. T. & Michalewicz, Z. (2002). Analysis and Modeling of Control Tasks in Dynamic Systems. I E E E Transactions on Evolutionary Computation, 6(4), 378-389.

Ursem, R. K. & Justesen, P. (2010). The Multi-Objective Distinct Candidates Optimization approach. In B. Filipic & J. Silc (Eds.), Proceedings of the 4th International Conference on Bioinspired Optimization Methods and their Applications (BIOMA 2010) (pp. 55-66). Ljublana: Jozef Stefan Institute.

Uribe, S. A., Beerbaum, P., Rasmusson, A., Sørensen, T. S., Razavi, R. & Schaeffter, T. (2008). 4D Flow of the Whole Heart and Great Vessels at 3T Using Real Time Self Respiratory Gating. In Proceedings of the 16th Meeting and Exhibition of the International Society for Magnetic Resonance in Medicine: Vascular Hemodynamics. Computer 2. 2832 (Vol. DVD). ISMRM.

Uribe, S., Beerbaum, P., Sørensen, T. S., Rasmusson, A., Razavi, R. & Schaeffter, T. (2009). 4D Flow of the Whole Heart and Great Vessels Using a Real Time Self Respiratory Gating Technique. Poster session presented at Annual SCMR Scientific Sessions, Orlando, Florida, United States. https://doi.org/10.1186/1532-429X-11-S1-P3

Uribe, S., Beerbaum, P., Sørensen, T. S., Rasmusson, A., Razavi, R. & Schaeffter, T. (2009). Four-dimensional (4D) flow of the whole heart and great vessels using real-time respiratory self-gating. Magnetic Resonance in Medicine, 62(4), 984-992. https://doi.org/10.1002/mrm.22090

Urazimbetova, S. (2012). A Case Study - On Patient Empowerment and Integration of Telemedicine to National Healthcare Services. Paper presented at International Conference on Health Informatics, Vilamoura, Algarve, Portugal. https://doi.org/10.5220/0003870902630269

Urazimbetova, S. (2011). Patient and Care Network can Improve Interoperability of Telemedicine. D A I M I P B, (594), 51-54.

Urazimbetova, S. & Kyng, M. (2012). Bridging the Patient Empowerment Gap of National Healthcare Services with Quick Response Code. Global Telemedicine and eHealth Updates : Knowledge Resources, 5, 444-448. http://www.medetel.lu/download/2012/Med-e-Tel_2012_Global_Telemedicine_and_eHealth_Updates_Volume_5_Contents.pdf

Urazimbetova, S. & Kyng, M. (2013). From Many to One: Analysis of Information Models for Patient Centric Telemedicine. Global Telemedicine and eHealth Updates : Knowledge Resources, 6, 7-12. http://www.medetel.eu/download/2013/parallel_sessions/presentation/day3/From_Many_to_One.pdf

Ungar, D. & Ernst, E. (2007). Point/Counterpoint. I E E E Software, 24(5), 72-75. https://doi.org/10.1109/MS.2007.142

Tzoumas, K., Deshpande, A. & Jensen, C. S. (2010). Sharing-aware horizontal partitioning for exploiting correlations during query processing. Proceedings of the VLDB Endowment, 3(1-2), 542-553. http://portal.acm.org/citation.cfm?id=1920911&CFID=7605094&CFTOKEN=94044110

Tzoumas, K., Deshpande, A. & Jensen, C. S. (2011). Lightweight Graphical Models for Selectivity Estimation Without Independence Assumptions. Proceedings of the VLDB Endowment, 4(11), 852-863. http://www.vldb.org/pvldb/vol4/p852-tzoumas.pdf

Tzoumas, K., Deshpande, A. & Jensen, C. S. (2013). Efficiently adapting graphical models for selectivity estimation. V L D B Journal, 22(1), 3-27. https://doi.org/10.1007/s00778-012-0293-7

Displaying results 251 to 300 out of 5895

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University