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

Veileborg, O. H. (2023). Localized Static Program Analysis for Optimization and Error Detection. 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. Aarhus Universitet.

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) (Vol. 64, pp. 1 - 12). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH. 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). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, 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. http://www.eurocg2016.usi.ch/sites/default/files/paper_48.pdf

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

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 3760.

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 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, 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 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

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

Displaying results 201 to 250 out of 5195

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University