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

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

Jørgensen, J. B., Aalst, W. M. P. V. D. (Ed.) & Best, E. (Ed.) (2003). Coloured Petri Nets in Development of a Pervasive Health Care System. In Ikke angivet (2679 of Lecture Notes in Computer Science ed., Vol. 2679/2003, pp. 256-275). Springer.

Schultz, U. P., Burgaard, K., Christensen, F. G. & Knudsen, J. L. (2003). Compiling Java for low-end embedded systems. In Proceedings of the 2003 ACM SIGPLAN conference on Languages, compilers, and tools for embedded systems (pp. 42-50). Association for Computing Machinery.

Doh, K. & Mosses, P. D. (2003). Composing Programming Languages by Combining Action-Semantics Modules. Science of Computer Programming, 47(1), 3-36.

Crépeau, C., Dumais, P., Mayers, D. & Salvail, L. (2003). Computational Collapse of Quantum State with Application to Oblivious Transfer. BRICS Report Series, (RS-03-37).

Brodal, G. S., Fagerberg, R., Östlin, A., Pedersen, C. N. S. & Rao, S. S. (2003). Computing Refined Buneman Trees in Cubic Time. In G. Benson & R. Page (Eds.), Algorithms in Bioinformatics: Third International Workshop, WABI 2003, Budapest, Hungary, September 15-20, 2003. Proceedings (pp. 259-270). Springer. https://doi.org/10.1007/978-3-540-39763-2_20

Brodal, G. S., Fagerberg, R. & Pedersen, C. N. S. (2003). Computing the Quartet Distance Between Evolutionary Trees in Time O(n log n). Algorithmica, 38(2), 377-395. https://doi.org/10.1007/s00453-003-1065-y

Bardram, J. E., Kjær, R. E. & Pedersen, M. Ø. (2003). Context-Aware User Authentication - Supporting Proximity-Based Login in Pervasive Computing. In Proceedings of Ubicomp 2003: Ubiquitous Computing (2864 ed., pp. 107-123). Springer.

Ratzer, A. V., Wells, L. M., Lassen, H. M., Laursen, M., Qvortrup, J. F., Stissing, M. S., Westergaard, M., Christensen, S., Jensen, K., Aalst, W. M. P. V. D. (Ed.) & Best, E. (Ed.) (2003). CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. In W. V. D. Aalst & E. Best (Eds.), Applications and Theory of Petri Nets 2003 (Vol. 2679, pp. 450-462). Springer.

Damian, D. & Danvy, O. (2003). CPS Transformation of Flow Information, Part II: Administrative Reductions. Journal of Functional Programming, 13(5), 925-933. https://doi.org/10.1017/S0956796803004702

Govindarajan, S., Agarwal, P. K. & Arge, L. A. (2003). CRB-Tree: An Efficient Indexing Scheme for Range-Aggregate Queries. In D. Calvanese, M. Lenzerini & R. Motwani (Eds.), Database Theory - ICDT 2003: 9th International Conference Siena, Italy, January 8-10, 2003 Proceedings (pp. 143-157). Springer. https://doi.org/10.1007/3-540-36285-1_10

Britz, D., Østerby, O. & Strutwolf, J. (2003). Damping of Crank–Nicolson error oscillations. Computational Biology and Chemistry, 27(3), 253-263. https://doi.org/10.1016/S0097-8485(02)00075-X

Petersen, M. G. (2003). Designing for Learning in Use of Everyday Artefacts. Department of Computer Science, Aarhus University.

Hill, M. C. & Østerby, O. (2003). Determining extreme parameter correlation in ground water models. Groundwater, 41(4), 420-430. https://doi.org/10.1111/j.1745-6584.2003.tb02376.x

Petrucci, L., Billington, J., Kristensen, L. M. & Qureshi, Z. H. (2003). Developing a Formal Specification for the Mission Systems of a Maritime Surveillance Aircraft. In Proceedings of the Third International Conference on Application of Concurrency to System Design (pp. 92-101). IEEE Computer Society Press.

Workspace & Mogensen, P. H. (Ed.) (2003). Documentation of Infrastructure. In EU,IST, FET, DC project, Workspace: Distributed Work support through component based SPAtial Computing Environments IST-2000-25290 (17 - WS-UAA-21 ed., Vol. WS-D17-v1-0, pp. 1-28). Datalogisk Institut. http://www.daimi.au.dk/workspace/Deliverables/WS-D17-v1-0.pdf

Brabrand, C. (2003). Domain Specific Languages for Interactive Web Services (BRICS Dissertation Series DS-03-1 ed.). Aarhus Universitet.

Nygaard, M. & Winskel, G. (2003). Domain Theory for Concurrency. BRICS Report Series, (RS-03-43).

Displaying results 4701 to 4750 out of 5933

100

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University