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

Kirkegaard, C., Møller, A. & Schwartzbach, M. I. (2004). Static Analysis of XML Transformations in Java. I E E E Transactions on Software Engineering, 30(3), 181-192. https://doi.org/10.1109/TSE.2004.1271173

Gerhardy, P. & Kohlenbach, U. (2004). Strongly Uniform Bounds from Semi-Constructive Proofs. BRICS Report Series, (RS-04-31).

Schultz, U. P. & Schougaard, K. R. (2004). Supporting Activity-Based Computingusing Dynamically (De)Composable Mobile Applications. In J. E. Bardram, H. B. Christensen, D. Garlan & J. P. Sousa (Eds.), Proceedings of First International Workshop on Computer Support for Human Tasks and Activities (Vol. CfPC-2004-PB-60, pp. 12-16). Center for Pervasive Computing.

Bardram, J. & Christensen, H. B. (2004). Supporting Pervasive Collaboration in Healthcare - An Activity-Driven Computing Infrastructure. Department of Computer Science, Aarhus University.

Loughran, N., Rashid, A., Zhang, W. & Jarzabek, S. (2004). Supporting Product Line Evolution with Framed Aspects. In Third AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS04) (pp. 15-19). Association for Computing Machinery.

Danvy, O. (2004). Sur un Exemple de Patrick Greussay. BRICS Report Series, (RS-04-41).

Jørgensen, J. B., Christensen, S., Desel, J. (Ed.), Reisig, W. (Ed.) & Rozenberg, G. (Ed.) (2004). Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned. In Proceedings of Advances Course on Petri Nets (Eichstatt) (3098 i Lecture Notes in Computer Science ed., pp. 402-412). Springer.

Bennedsen, J. & Caspersen, M. E. (2004). Teaching Object-Oriented Programming - Towards Teaching a Systematic Programming Process. Paper presented at Eighth Workshop on Pedagogies and Tools for the Teaching and Learning of Object Oriented Concepts. Affiliated with 18th European Conference on Object-Oriented Programming (ECOOP 2004), Oslo, Norway.

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.

Bertelsen, O. W. (2004). The Activity Walkthrough: An Expert Review Method Based on Activity Theory. In Proceedings of the third Nordic conference on Human-computer interaction (pp. 251-254). Association for Computing Machinery. https://doi.org/10.1145/1028014.1028052

Bardram, J. E. & Hansen, T. R. (2004). The AWARE Architecture: Supporting Context Mediated Social Awareness in Mobile Cooperation. In Ikke angivet (pp. 192-201). Association for Computing Machinery.

Hansen, K. M., Kristensen, L. M., Eskildsen, T., Nielsen, K.-D., Thorup, R. E., Fridthjof, J., Merrild, U. & Eskildsen, J. (2004). The Ex Hoc Infrastructure - Enhancing Traffic Safety through LIfe WArning Systems. In H. Lahrmann, P. H. Jespersen, A. Landex, O. A. Nielsen & T. Hels (Eds.), Proceedings of Trafikdage 2004 (pp. 15-24). Aalborg Universitetsforlag. http://www.trafikdage.dk/papers/soeg/Paper.asp/?PaperID=1044

Torgersen, M. & Odersky, M. (Ed.) (2004). The Expression Problem Revisited - Four New Solutions using Generics. In Proceedings of the 18th European Conference on Object-Oriented Programming (ECOOP'04) (3086 i Lecture Notes in Computer Science ed., pp. 123-146). Springer.

Ernst, E. (2004). The Expression Problem, Scandinavian Style. In MASPEGHI 2004 (ISRN I3S/RR-2004-15-FR ed.). Laboratoire I3S, Sophia Antipolis.

Grønbæk, K. & Kejser, T. (2004). The Gaia Framework: Version Support In Web Based Open Hypermedia. IADIS International Journal on WWW/Internet, 2(1), 17-33.

Bardram, J. E., Adlam, T. (Ed.), Wactlar, H. (Ed.) & Korhonen, I. (Ed.) (2004). The Personal Medical Unit - A Ubiquitous Computing Infrastructure for Personal Pervasive Healthcare. In UbiHealth 2004: The 3nd International Workshop on Ubiquitous Computing for Pervasive Healthcare Applications (Nottingham, England ) UbiComp.org Community.

Arge, L., de Berg, M., Haverkort, H. & Yi, K. (2004). The Priority R-Tree: A Practically Efficient and Worst-Case Optimal R-tree. In G. Weikum, A. C. König & S. Dessloch (Eds.), Proceedings of ACM SIGMOD International Conference on Management of Data (pp. 347-358). Association for Computing Machinery. https://doi.org/10.1145/1007568.1007608

Hansen, K. M. (2004). Thoth - A Publish/Subscribe Architecture for Peer-to-Peer Tool Integration. International Journal on Software Tools for Technology Transfer, 6(3), 219-230. https://doi.org/10.1007/s10009-004-0156-7

Jensen, K. & Podelski, A. (Eds.) (2004). Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004,Barcelona, Spain, March 29 - April 2, 2004 : proceedings. Springer. Lecture Notes in Computer Science Vol. 2988 https://doi.org/10.1007/b96393

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

Bertelsen, O. W. (2004). Transparency by Tertiary Artefactness. In Workshop on Aesthetic Approaches to Human-Computer Interaction (Vol. DAIMI PB-572, pp. 1-4). Department of Computer Science.

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.

Carbone, M., Nielsen, M. & Sassone, V. (2004). Trust in Global Computing. Association for Logic Programming Newsletter, 17(4).

Damgård, I. B., Fehr, S., Morozov, K. & Salvail, L. (2004). Unfair Noisy Channels and Oblivious Transfer. In M. Naor (Ed.), Theory of Cryptography: First Theory of Cryptography Conference, TCC 2004, Cambridge, MA, USA, February 19-21, 2004. Proceedings (pp. 355-373). Springer. https://doi.org/10.1007/978-3-540-24638-1_20

Barak, B., Canetti, R., Nielsen, J. B. & Pass, R. (2004). Universally composable protocols with relaxed set-up assumptions. In 45th Annual IEEE Symposium on Foundations of Computer Science, 2004. Proceedings. (pp. 186-195). IEEE Computer Society Press. https://doi.org/10.1109/FOCS.2004.71

Barak, B., Canetti, R., Nielsen, J. B., Pass, R. & IEEE (Ed.) (2004). Universally Composable Protocols with Relaxed Set-Up Assumptions. In Ikke angivet (pp. 186-195). IEEE Press.

Zimmer, P. (2004). Using Ambients to Control Resources. International Journal of Information Security, 2(3-4), 126-144.

Kristensen, L. M. (2004). Using Coloured Petri Nets in the Development of Protocols for Ad-Hoc Networking. In Proceedings of 3rd International Workshop on Integration and Specification Techniques for Applications in Engineering (pp. 12-13)

Blunck, H., Hinrichs, K., Puke, I. & Vahrenhold, J. (2004). Verarbeitung von Trajektorien mobiler Objekte. In Geoinformation und Mobilität - von der Forschung zur praktischen Anwendung. : Beiträge zu den Münsteraner GI-Tagen 2004 (pp. 29-40)

Schougaard, K. R. (2004). Virtual Distances Used for Optimization of Applicationsin the Pervasive Computing Domain. In A. Fersha, H. Hortner & G. Kotsis (Eds.), Advances in Pervasive Computing: A Collection of Contributions Presented at PERVASIVE 2004 (pp. 133-139). Stollfuß Medien.

Bertelsen, O. W. & Godsk, M. (2004). WAW - An Activity Theory Based Tool for Early Website Usability Assessment. International Journal of Human Resources Development and Management, 4(1), 73-93.

Büscher, M., Eriksen, M. A., Kristensen, J. F. & Mogensen, P. H. (2004). Ways of Grounding Imagination. In PDC 04 Proceedings of the eighth conference on Participatory design: Artful Integration: Interweaving Media, Materials and Practices (Vol. 1, pp. 193-203). Association for Computing Machinery. https://doi.org/10.1145/1011870.1011893

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)

Damgård, I. B., Fehr, S. & Salvail, L. (2004). Zero-Knowledge Proofs and String Commitments Withstanding Quantum Attacks. In M. Franklin (Ed.), Advances in Cryptology - CRYPTO 2004: 24th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 2004. Proceedings (pp. 254-272). Springer. https://doi.org/10.1007/978-3-540-28628-8_16

Hobolth, A., Pedersen, J. & Jensen, E. B. V. (2003). A continuous parametric shape model. Annals of the Institute of Statistical Mathematics, 55(2), 227-242. https://doi.org/10.1007/BF02530496

Hansen, K. M. (2003). Activity-Centred Tool Integration: Using Type-Based Publish/Subscribe for Peer-to-Peer Tool Integration. In A. Schürr & H. Dörr (Eds.), Proceedings of TIS 2003 Workshop on Tool Integration in System Development (pp. 11-16). Association for Computing Machinery.

Bertelsen, O. W., Bødker, S. & Caroll, J. M. (Ed.) (2003). Activity Theory. In HCI Models, Theories and Frameworks: Toward an Interdisciplinary Science (Vol. Chapter 11, pp. 291-324). Morgan Kaufmann.

Bertelsen, O. W. (2003). Activity Walkthrough - a cognitive walkthrough in activity theory terms. In M. Hertzum & S. Heilesen (Eds.), Proceedings of Third Danish HCI Research Symposium (pp. 17-20). Roskilde Universitet.

Danvy, O. & Nielsen, L. R. (2003). A First-Order One-Pass CPS Transformation. Theoretical Computer Science, 308(1), 239-257.

Bødker, S. (2003). A for Alternatives. Scandinavian Journal of Information Systems, 15, 87-89.

Carbone, M., Nielsen, M., Sassone, V., Cerone, A. (Ed.) & Lindsay, P. (Ed.) (2003). A Formal Model for Trust in Dynamic Networks. In First International Conference on Software Engineering and Formal Methods, 2003.Proceedings. (pp. 54-61). IEEE. https://doi.org/10.1109/SEFM.2003.1236207

Ager, M. S., Danvy, O. & Midtgaard, J. (2003). A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines. BRICS Report Series, (RS-03-24).

Ager, M. S., Biernacki, D., Danvy, O. & Midtgaard, J. (2003). A Functional Correspondence Between Evaluators and Abstract Machines. In K. Sagonas & D. Miller (Eds.), Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (pp. 8-19). Association for Computing Machinery. https://doi.org/10.1145/888251.888254

Ager, M. S., Danvy, O. & Midtgaard, J. (2003). A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects. BRICS Report Series, (RS-03-35).

Hansen, K. M. (2003). Agile Environments: Some Pattterns for Agile Software Development Facilitation. In P. Hrubry & K. E. Sørensen (Eds.), Proceedings of the First Nordic Conference on Pattern Languages of Programs, 2002 (pp. 259-270). Microsoft Business Solutions ApS. http://www.daimi.au.dk/~marius/documents/hansen2002vikingplop.pdf

Danvy, O. (2003). A Journey from Interpreters to Compilers and Virtual Machines. In F. Pfenning & Y. Smaragdakis (Eds.), Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003. Proceedings (pp. 117). Springer. https://doi.org/10.1007/978-3-540-39815-8_7

Damgård, I. B. & Jurik, M. J. (2003). A Length-Flexible Threshold Cryptosystem with Applications. In R. Safavi-Naini & J. Seberry (Eds.), Information Security and Privacy: 8th Australasian Conference, ACISP 2003 Wollongong, Australia, July 9–11, 2003 Proceedings (pp. 350-364). Springer. https://doi.org/10.1007/3-540-45067-X_30

Bennedsen, J. & Caspersen, M. E. (2003). A Model-First Approach to Teaching Introductory Object-Orientation. In Joint proceedings of the Workshops on Multiparadigm Programming with Object-Oriented Languages (MPOOL’03) Declarative Programming in the Context of Object-Oriented Languages (DP-COOL’03): NIC Series (Vol. 27). Dorothea Rohrmann. http://www.intermedia.uio.no/cool/WS-03.html

Christensen, H. B. (2003). An Architectural Style for Closed-loop Process-Control. Department of Computer Science, Aarhus University.

Danvy, O. (2003). A New One-Pass Transformation into Monadic Normal Form. In G. Hedin (Ed.), Compiler Construction: 12th International Conference, CC 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings (pp. 77-89). Springer. https://doi.org/10.1007/3-540-36579-6_6

Displaying results 4651 to 4700 out of 5916

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University