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

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

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

Caspersen, M. E. (2003). An Inverted Curriculum for CS1. In Frontiers in Education, 2003. FIE 2003. 33rd Annual (Vol. 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.

Mortensen, K. H., Schougaard, K. R. & Schultz, U. P. (2003). A Programming Language Approach to Safety in Home Networks. Department of Computer Science, Aarhus University.

Danvy, O. (2003). A Rational Deconstruction of Landin's SECD Machine. BRICS Report Series, (RS-03-33).

Lorenz, D. H., Ernst, E. & Aksit, M. (Ed.) (2003). Aspects and Polymorphism in AspectJ. In Proc. of AOSD'03: Proceedings of the 2nd international conference on Aspect-oriented software development (pp. 150-157). Association for Computing Machinery. https://doi.org/10.1145/643603.643619

Ernst, E. (2003). A Stratification of Class Family Dependencies. In T. D'Hondt (Ed.), Technology of object-oriented languages, systems and architectures (pp. 16-30). Kluwer Academic Publishers.

Lambov, B. Z. (2003). A Two Layer Approach to the Computability and Complexity of Real Functions. In Computability and Complexity in Analysis 2003 (302 of Informatic Berichte ed., pp. 279-302). Fern-Universität Hagen.

Grønbæk, K., Kristensen, J. F., Ørbæk, P. & Eriksen, M. A. (2003). Augmenting Physical Material with Hypermedia Structures. New Review of Hypermedia and Multimedia, 9(1), 5-34. https://doi.org/10.1080/13614560410001725293

Bouvin, N. O. (2003). Augmenting the Web through Open Hypermedia. New Review of Hypermedia and Multimedia, 8, 3-26. https://doi.org/10.1080/13614560208914733

Schultz, U. P., Lawall, J. L. & Consel, C. (2003). Automatic program specialization for Java. ACM Transactions on Programming Languages and Systems, 25(4), 452-499.

Procopiuc, O., Agarwal, P. K., Arge, L. A. & Vitter, J. S. (2003). Bkd-Tree: A Dynamic Scalable kd-Tree. In Advances in Spatial and Temporal Databases: 8th International Symposium, SSTD 2003 Santorini Island, Greece, July 24-27, 2003. Proceedings (pp. 46-65). Springer. https://doi.org/10.1007/978-3-540-45072-6_4

Kohlenbach, U. & Lambov, B. (2003). Bounds on Iterations of Asymptotically Quasi-Nonexpansive Mappings. BRICS Report Series, (RS-03-51).

Agarwal, P. K., Arge, L. A., Danner, A. & Holland-Minkley, B. (2003). Cache-oblivious data structures for orthogonal range searching. In Proceedings of the nineteenth annual symposium on Computational geometry (pp. 237-245). Association for Computing Machinery. https://doi.org/10.1145/777792.777828

Hansen, K. A., Miltersen, P. B. & Vinay, V. (2003). Circuits on Cylinders. In Fundamentals of Computation Theory (pp. 171-182). Springer. https://doi.org/10.1007/978-3-540-45077-1_17

Displaying results 4751 to 4800 out of 6000

100

101

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University