Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

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

Bennedsen, J. & Caspersen, M. E. (2004). Teaching Object-Oriented Programming - Towards Teaching a Systematic Programming Process. Afhandling præsenteret på 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, Norge.

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.

Bertelsen, O. W. (2004). The Activity Walkthrough: An Expert Review Method Based on Activity Theory. I Proceedings of the third Nordic conference on Human-computer interaction (s. 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. I Ikke angivet (s. 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. I H. Lahrmann, P. H. Jespersen, A. Landex, O. A. Nielsen & T. Hels (red.), Proceedings of Trafikdage 2004 (s. 15-24). Aalborg Universitetsforlag. http://www.trafikdage.dk/papers/soeg/Paper.asp/?PaperID=1044

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

Ernst, E. (2004). The Expression Problem, Scandinavian Style. I MASPEGHI 2004 (ISRN I3S/RR-2004-15-FR udg.). 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. (red.), Wactlar, H. (red.) & Korhonen, I. (red.) (2004). The Personal Medical Unit - A Ubiquitous Computing Infrastructure for Personal Pervasive Healthcare. I 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. I G. Weikum, A. C. König & S. Dessloch (red.), Proceedings of ACM SIGMOD International Conference on Management of Data (s. 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. (red.) (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 Bind 2988 https://doi.org/10.1007/b96393

Westergaard, M. & Kindler, E. (red.) (2004). Towards a High-level Petri Net Type Type Definition. I 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. I Workshop on Aesthetic Approaches to Human-Computer Interaction (Bind DAIMI PB-572, s. 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.

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)

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. I M. Naor (red.), Theory of Cryptography: First Theory of Cryptography Conference, TCC 2004, Cambridge, MA, USA, February 19-21, 2004. Proceedings (s. 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. I 45th Annual IEEE Symposium on Foundations of Computer Science, 2004. Proceedings. (s. 186-195). IEEE Computer Society Press. https://doi.org/10.1109/FOCS.2004.71

Barak, B., Canetti, R., Nielsen, J. B., Pass, R. & IEEE (red.) (2004). Universally Composable Protocols with Relaxed Set-Up Assumptions. I Ikke angivet (s. 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. I Proceedings of 3rd International Workshop on Integration and Specification Techniques for Applications in Engineering (s. 12-13)

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

Schougaard, K. R. (2004). Virtual Distances Used for Optimization of Applicationsin the Pervasive Computing Domain. I A. Fersha, H. Hortner & G. Kotsis (red.), Advances in Pervasive Computing: A Collection of Contributions Presented at PERVASIVE 2004 (s. 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. I PDC 04 Proceedings of the eighth conference on Participatory design: Artful Integration: Interweaving Media, Materials and Practices (Bind 1, s. 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. (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)

Damgård, I. B., Fehr, S. & Salvail, L. (2004). Zero-Knowledge Proofs and String Commitments Withstanding Quantum Attacks. I M. Franklin (red.), Advances in Cryptology - CRYPTO 2004: 24th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 2004. Proceedings (s. 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. I A. Schürr & H. Dörr (red.), Proceedings of TIS 2003 Workshop on Tool Integration in System Development (s. 11-16). Association for Computing Machinery.

Bertelsen, O. W. & Bødker, S. (2003). Activity theory. I HCI Models, Theories, and Frameworks: Toward a Multidisciplinary Science (s. 291-324). Elsevier Inc.. https://doi.org/10.1016/B978-155860808-5/50011-3

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

Bertelsen, O. W. (2003). Activity Walkthrough - a cognitive walkthrough in activity theory terms. I M. Hertzum & S. Heilesen (red.), Proceedings of Third Danish HCI Research Symposium (s. 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. (red.) & Lindsay, P. (red.) (2003). A Formal Model for Trust in Dynamic Networks. I First International Conference on Software Engineering and Formal Methods, 2003.Proceedings. (s. 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. I K. Sagonas & D. Miller (red.), Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (s. 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. I P. Hrubry & K. E. Sørensen (red.), Proceedings of the First Nordic Conference on Pattern Languages of Programs, 2002 (s. 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. I F. Pfenning & Y. Smaragdakis (red.), Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003. Proceedings (s. 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. I R. Safavi-Naini & J. Seberry (red.), Information Security and Privacy: 8th Australasian Conference, ACISP 2003 Wollongong, Australia, July 9–11, 2003 Proceedings (s. 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. I 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 (Bind 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. I G. Hedin (red.), 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 (s. 77-89). Springer. https://doi.org/10.1007/3-540-36579-6_6

Damgård, I. B. & Frandsen, G. S. (2003). An Extended Quadratic Frobenius Primality Test with Average and Worst Case Error Estimates. I A. Lingas & B. J. Nilsson (red.), Fundamentals of Computation Theory (s. 118-131). Springer. https://doi.org/10.1007/978-3-540-45077-1_12

Caspersen, M. E. (2003). An Inverted Curriculum for CS1. I Frontiers in Education, 2003. FIE 2003. 33rd Annual (Bind 1). IEEE Press. https://doi.org/10.1109/FIE.2003.1263334

Biernacka, M., Biernacki, D. & Danvy, O. (2003). An Operational Foundation for Delimited Continuations. BRICS Report Series, (RS-03-41).

Mortensen, K. H., Schougaard, K. S. F. & Schultz, U. P. (2003). A Programming Language Approach to Safety in Home Networks. Center for Pervasive Computing Publications, CfPC-2003-PB-53.

Viser resultater 4801 til 4850 ud af 6089

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series