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

Radaelli, L. & Jensen, C. S. (2013). Towards Fully Organic Indoor Positioning. In Proceedings of the Fifth ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness (pp. 16-20). Association for Computing Machinery.

Fleischer, P. & Kristensen, L. M. (2007). Towards Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario. In K. Jensen (Ed.), Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (pp. 9-28)

Johns, C. A., Evangelista Belo, J. M., Feit, A. M., Klokmose, C. N. & Pfeuffer, K. (2023). Towards Flexible and Robust User Interface Adaptations With Multiple Objectives. In S. Follmer, J. Han, J. Steimle & N. Henry Riche (Eds.), UIST '23: Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology Article 108 Association for Computing Machinery. https://doi.org/10.1145/3586183.3606799

Ingstrup, M. (2006). Towards Distributed Declarative Architectural Reflection.

Westergaard, M., Kristensen, L. M. & Kuusela, M. (2009). Towards Cosimulating SystemC and Coloured Petri Net Models for SoC Functional and Performance Evaluation. In C. Frydman, F. Longo & K. Mekouar (Eds.), 21st European Modeling and Simulation Symposium: International Mediterranean and Latin American Modelling Multiconference (pp. 47-53). Universidad De La Laguna.

Derczynski, L., Yang, B. & Jensen, C. S. (2013). Towards Context-Aware Search and Analysis on Social Media Data. In G. Guerrini & N. W. Paton (Eds.), Proceedings of The 16th International Conference on Extending Database Technology: EDBT 2013 (pp. 137-142 ). Association for Computing Machinery. https://doi.org/10.1145/2452376.2452393

Mascheroni, G., Zaman, B., Eriksson, E., Cino, D., Brandsen, S. & Bressa, N. A. (2022). Towards Computational Empowerment of Disadvantaged Children and Youth in Non-Formal Learning Contexts. Abstract from ICA annual conference, Paris, France.

Biernacka, M. & Danvy, O. (2008). Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines. In W. Clinger (Ed.), Proceedings of the 2008 ACM SIGPLAN Workshop on Scheme and Functional Programming (pp. 37-48). Association for Computing Machinery.

Biernacka, M. & Danvy, O. (2009). Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines. Lecture Notes in Computer Science, 5700, 186-206. https://doi.org/10.1007/978-3-642-04164-8_10

Danvy, O. (2008). Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines. In W. Clinger (Ed.), Proceedings of the 2008 ACM SIGPLAN Workshop on Scheme and Functional Programming (pp. 21-36). Association for Computing Machinery.

Danvy, O. (2009). Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines. Lecture Notes in Computer Science, 5700, 162-185. https://doi.org/10.1007/978-3-642-04164-8_9

Radaelli, L. & Jensen, C. S. (2015). Towards Characterizing the Temporal Aspect of Frequent Patterns in Indoor Trajectory Data.

Bertelsen, O. W. & Zander, P.-O. (2006). Towards a Value Theory of the Interface. In DHRS 2006: Proceedings of the Sixth Danish Human-Computer Interaction Research Symposium, November 15, 2006 (pp. 7-8). Datalogisk Institut, Aahus Universitet.

Bertelsen, O. W. & Zander, P.-O. (2006). Towards a Value Theory of the Interface. In O. Bertelsen, M. Brynskov, P. Dalsgaard, O. S. Iversen, M. G. Petersen & M. Wetterstrand (Eds.), Proceedings of the Sixth Danish Human-Computer Interaction Research Symposium (pp. 7-8). Department of Computer Science, Aarhus University.

Espensen, K. L., Kjeldsen, M. K., Kristensen, L. M. & Westergaard, M. (2009). Towards Automatic Code-generation from Process-partitioned Coloured Petri Nets. D A I M I P B, (590), 41-60.

Madsen, O. L. (2000). Towards a Unified Programming Language. In E. Bertino (Ed.), ECOOP 2000 - Object-Oriented Programming: 14th European Conference Sophia Antipolis and Cannes, France, June 12–16, 2000 Proceedings (pp. 1-26). Springer. https://doi.org/10.1007/3-540-45102-1_1

Krukow, K. (2006). Towards a Theory of Trust for the Global Ubiquitous Computer.

Sandel, B. S. (2015). Towards a taxonomy of spatial scale-dependence. Ecography, 38(4), 358–369. https://doi.org/10.1111/ecog.01034

Hubenschmid, S., Zagermann, J., Fink, D., Wieland, J., Feuchtner, T. & Reiterer, H. (2021). Towards Asynchronous Hybrid User Interfaces for Cross-Reality Interaction. In H.-C. Jetter, J.-H. Schröder, J. Gugenheimer, M. Billinghurst, C. Anthes, M. Khamis & T. Feuchtner (Eds.), ISS'21 Workshop Proceedings: Transitional Interfaces in Mixed and Cross-Reality: A new frontier? https://doi.org/10.18148/kops/352-2-84mm0sggczq02

Hansen, K. M., Ingstrup, M., Kyng, M. & Olsen, J. W. (2011). Towards a Software Ecosystem of Healthcare Services. In Proceedings of the 3rd International Workshop on Infrastructures for Healthcare: Global Healthcare (pp. 27-30) http://www.itu.dk/people/lrc/ProcInfraHealth2011.PDF

Jørgensen, J. B. (2005). Towards Arguing the Cost-effectiveness of Coloured Petri Nets. In SERP CSREA Press.

Brody, J. E., Buhrman, H., Koucký, M., Loff, B. & Speelman, F. (2016). Towards a Reverse Newman's Theorem in Interactive Information Complexity. Algorithmica, 76(3), 749-781. https://doi.org/10.1007/s00453-015-0112-9

Thiel, S.-K., Remy, C., Roque, L., Orji, R., Dalsgaard, P., Latulipe, C. & Sarcar, S. (2019). Towards a Research Agenda for Gameful Creativity. In DIS 2019 Companion - Companion Publication of the 2019 ACM Designing Interactive Systems Conference (pp. 393-396). Association for Computing Machinery. https://doi.org/10.1145/3301019.3320003

Grønbæk, K. & Wiil, U. K. (1997). Towards a Reference Architecture for Open Hypermedia. In Proceedings of the 8th ACM International Conference on Hypertext Association for Computing Machinery.

Christensen, H. B. & Hansen, K. M. (2011). Towards Architectural Information in Implementation. In R. Taylor, H. Gall & N. Medvidocvic (Eds.), Proceedings of 33rd International Conference on Software Engineering: ICSE 2011 (pp. 928-931). Association for Computing Machinery. https://doi.org/10.1145/1985793.1985948

Mogensen, P. H. (1992). Towards a Provotyping Approach in Systems Development. Scandinavian Journal of Information Systems, 4, 31-53.

Nielsen, M., Sassone, V. & Srba, J. (2001). Towards a Notion of Distributed Time for Petri Nets. In J.-M. Colom & M. Koutny (Eds.), Applications and Theory of Petri Nets 2001: 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings (pp. 23-31). Springer. https://doi.org/10.1007/3-540-45740-2_3

Christensen, H. B. (2005). Towards an Operational Framework for Architectural Prototyping. In Proceedings of the 5th Working IEEE/IFIP Conference on Software Architecture. WICSA’05 (pp. 301-302). IEEE Computer Society Press. https://doi.org/10.1109/WICSA.2005.73

Klokmose, C. N. (2007). Towards an Instrumental Paradigm for Ubiquitous Interaction. In A. C. Brodersen, S. Bødker & C. N. Klokmose (Eds.), Multiple and Ubiquitous Interaction, 28. - 30. March 2007: Book of Abstracts (pp. 33-35)

Cameron, N., Drossopoulou, S. & Ernst, E. (2007). Towards an Existential Types Model for Java with Wildcards. In J. Boyland (Ed.), Proceedings of the 9th Workshop on Formal Techniques for Java-like Programs (FTfJP), in association with ECOOP 2007 (1 ed., Vol. -, pp. 1-13). Nanjing University / University of Wisconsin-Milwaukee. http://cs.nju.edu.cn/boyland/ftjp/paper_2.pdf

Andersen, M. S. & Kjærgaard, M. B. (2012). Towards a New Classification of Location Privacy Methods in Pervasive Computing. In A. Puiatti & T. Gu (Eds.), Mobile and Ubiquitous Systems: Computing, Networking, and Services : 8th International ICST Conference, MobiQuitous 2011, Copenhagen, Denmark, December 6-9, 2011, Revised Selected Papers (Vol. 104, pp. 150-161). Springer. https://doi.org/10.1007/978-3-642-30973-1_13

Bunde-Pedersen, J. & Bardram, J. E. (2006). Towards an Activity-Based World-Wide-Web. In Proceedings of workshop on Information Integration on the Web, 2006 (IIWeb2006) http://iiweb2006.cs.uiuc.edu/12.pdf

Lindstrøm, B., Wells, L., Silva, M. (Ed.), Giva, A. (Ed.) & Colom, J. M. (Ed.) (2002). Towards a Monitoring Framework for Discrete-Event System Simulations. In Ikke angivet (pp. 127-134). IEEE Computer Society Press.

Kaspersen, M. H., Graungaard, D., Bouvin, N. O., Petersen, M. G. & Eriksson, E. (2021). Towards a model of progression in computational empowerment in education. International Journal of Child - Computer Interaction, 29, Article 100302. https://doi.org/10.1016/j.ijcci.2021.100302

Westergaard, M. & Kindler, E. (Ed.) (2004). Towards a High-level Petri Net Type Type Definition. In Proceeding of the Workshop on the Definition, Implementation and Application of a Standard Interchange Format for Petri Nets

Asharov, G., Canetti, R. & Hazay, C. (2011). Towards a Game Theoretic View of Secure Computation. Lecture Notes in Computer Science, 426-445. https://doi.org/10.1007/978-3-642-20465-4_24

Nielsen, M. & Krukow, K. K. (2003). Towards a Formal Notion of Trust. In Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (pp. 4-7). Association for Computing Machinery. https://doi.org/10.1145/888251.888253

Kjærgaard, M. B. & Bunde-Pedersen, J. (2006). Towards a Formal Model of Context Awareness. In Proceedings of the First International Workshop on Combining Theory and Systems Building in Pervasive Computing (Pervasive 2006) (pp. 667-674) http://www.smartlab.cis.strath.ac.uk/CTSB/Pedersen.pdf

Nielsen, M., Krukow, K. K. & Sassone, V. (2007). Towards a Formal Framework for Computational Trust. In F. S. de Boer, M. M. Bonsangue, S. Graf & W.-P. de Roever (Eds.), Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures (pp. 175-184). Springer. https://doi.org/10.1007/978-3-540-74792-5_8

Aehnelt, M., Schulz, H.-J. & Urban, B. (2013). Towards a Contextualized Visual Analysis of Heterogeneous Manufacturing Data. In Advances in Visual Computing : 9th International Symposium, ISVC 2013, Rethymnon, Crete, Greece, July 29-31, 2013. Proceedings, Part II (pp. 76-85). Springer. https://doi.org/10.1007/978-3-642-41939-3_8

Saad-Sulonen, J. & Korsgaard, H. (2015). Towards a concept of community artifact ecology in HCI?. Paper presented at CHI, Seoul, Korea, Republic of.

Grønbæk, K. & Wiil, U. K. (1997). Towards a Common Reference Architecture for Open Hypermedia. Journal of Digital Information, 1(2). http://journals.ecs.soton.ac.uk/jodi/Articles/v01/i02/Gronbak/

Hansen, K. M. (2001). Towards a Coloured Petri Net Profile for the Unified Modeling Language - Issues, Definition and Implementation.

Korsgaard, H. (2017). Toward Place-Centric Computing: Making Place With Technology Together.

Yang, B., Guo, C., Ma, Y. & Jensen, C. S. (2015). Toward personalized, context-aware routing. V L D B Journal, 24(2), 297-318. https://doi.org/10.1007/s00778-015-0378-1

Schäfer, Z., Mathisen, A., Svendsen, K., Engberg, S., Rolighed Thomsen, T. & Kirketerp-Møller, K. (2021). Toward Machine-Learning-Based Decision Support in Diabetes Care: A Risk Stratification Study on Diabetic Foot Ulcer and Amputation. Frontiers in medicine, 7, Article 601602. https://doi.org/10.3389/fmed.2020.601602

Bertelsen, O. W. (1997). Toward a Unified Field of Se Research and Practice. I E E E Software, 14(6), 87-88. https://doi.org/10.1109/MS.1997.636682

Grønbæk, K. & Trigg, R. H. (1996). Toward a Dexter-based model for open hypermedia: Unifying embedded references and link objects. In Proceedings of the the seventh ACM conference on Hypertext (pp. 149-160). Association for Computing Machinery. https://doi.org/10.1145/234828.234843

Grønbæk, K., Kyng, M. & Mogensen, P. H. (1997). Toward a Cooperative Experimental System Development Approach. In M. Kyng & L. Mathiassen (Eds.), Computers and Design in Context (pp. 201-238). MIT Press.

Brewer, R. S., Verdezoto, N., Holst, T. & Rasmussen, M. K. (2015). Tough Shift: Exploring the Complexities of Shifting Residential Electricity Use Through a Casual Mobile Game. In CHI PLAY '15 : Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play (pp. 307-317). Association for Computing Machinery. https://doi.org/10.1145/2793107.2793108

Displaying results 451 to 500 out of 5896

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University