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

Damian, D. & Danvy, O. (2001). Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation. B R I C S Report Series, (RS-01-54).

Danvy, O. & Nielsen, L. R. (2001). Syntactic Theories in Practice. B R I C S Report Series, (RS-01-31).

Nielsen, M. & Valencia, F. D. (2001). Temporal Concurrent Constraint Programming: Applications and Behavior. B R I C S Report Series, (RS-01-48).

Caspersen, M. E., Madsen, O. L. & Skov, S. H. (2001). Testing Object-Oriented Software. Department of Computer Science, Aarhus University. Centre for Object Technology Technical Report No. COT/2-43-V1.0

Amtoft, T., Consel, C., Danvy, O. & Malmkjær, K. (2001). The Abstraction and Instantiation of String-Matching Programs. B R I C S Report Series, (RS-01-12).

Brodal, G. S., Fagerberg, R., Pedersen, C. N. S. & Östlin, A. (2001). The Complexity of Constructing Evolutionary Trees Using Experiments. In F. Orejas, P. G. Spirakis & J. van Leeuwen (Eds.), Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings (pp. 140-151). Springer. https://doi.org/10.1007/3-540-48224-5_12

Brodal, G. S., Fagerberg, R., Pedersen, C. N. S., Östlin, A., Orejas, F. (Ed.), Spirakis, P. G. (Ed.) & Leeuwen, J. V. (Ed.) (2001). The Complexity of Constructing Evolutionary Trees Using Experiments. In Lecture Notes In Computer Science; Vol. 2076: Proceedings of the 28th International Colloquium on Automata, Languages and Programming (2076 of Lecture Notes in Computer Science ed., Vol. 2076/2001, pp. 140-151). Springer.

Bardram, J. E. & Christensen, H. B. (2001). The future of Medical Work: 2 video-prototypes for Pervasive Healthcare. Pictures, Video and sound recordings (digital)

Bødker, S., Petersen, M. G. & Krogh, P. G. (2001). The interactive design collaboratorium. In Human-Computer Interaction - INTERACT '01 (pp. 51-58). IOS Press.

Hansen, K. M., MacIntyre, B., Mynatt, E. D., Voida, S. & Tullio, J. (2001). The Kimura System. Pictures, Video and sound recordings (digital)

Christensen, H. B., Bardram, J. & Dittmer, S. (2001). Theme One: Administration and Documentation of Medicine Report and Evaluation. Department of Computer Science, Aarhus University.

Møller, A. & Schwartzbach, M. I. (2001). The Pointer Assertion Logic Engine. In M. L. Sofia (Ed.), Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (Vol. 36(5), pp. 221-231). Association for Computing Machinery. https://doi.org/10.1145/381694.378851

Danvy, O. & Goldberg, M. (2001). There and Back Again. B R I C S Report Series, (RS-01-39).

Mosses, P. D., Bjørner, D. (Ed.), Broy, M. (Ed.) & Zamulin, A. V. (Ed.) (2001). The Varieties of Programming Language Semantics (and Their Uses). In Perspectives of System Informatics: Lecture Notes in Computer Science (Vol. 2244, pp. 165-190). Springer.

Møller, A. & Schwartzbach, M. I. (2001). The XML Revolution. B R I C S Notes Series, (NS-01-8).

Jensen, K. (Ed.) (2001). Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, August 29-31, 2001. Department of Computer Science, Aarhus University.

Alstrup, S., Brodal, G. S., Gørtz, I. L. & Rauhe, T. (2001). Time and Space Efficient Multi-Method Dispatching. Electronic Colloquium on Computational Complexity, (ITU-TR-2001-8).

Brodal, G. S. & Jacob, R. (2001). Time-dependent Networks as Models to Achieve Fast Exact Time-table Queries. Electronic Colloquium on Computational Complexity, 92(ALCOMFT-TR-01-176).

Agarwal, P. K., Arge, L. A. & Vahrenhold, J. (2001). Time Responsive External Data Structures for Moving Points. In F. Dehne, J.-R. Sack & R. Tamassia (Eds.), Algorithms and Data Structures: 7th International Workshop, WADS 2001 Providence, RI, USA, August 8-10, 2001 Proceedings (pp. 50-61). Springer. https://doi.org/10.1007/3-540-44634-6_6

Pagter, J. I. (2001). Time-Space Trade-Offs. (BRICS Dissertation Series DS-01-2 ed.) Aarhus University.

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

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. (2001). Tracking Change in rapid and eXtreme Development: A Challenge to SCM-tools? In A. van der Hoek (Ed.), Proceedings of Tenth International Workshop on Software Configuration Management, SCM-10 (pp. 1-31). UCI. Machine Learning Repository. Center for Machine Learning and Intelligent Systems. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.29.3055&rep=rep1&type=pdf

Torgersen, M. (2001). Unifying Abstractions. (DAIMI PhD Dissertation PD-01-2 ed.) Department of Computer Science.

Büscher, M., Krogh, P., Mogensen, P. & Shapiro, D. (2001). Vision on the move - technologies for the footloose. Appliance Design, 1(1), 11-14.

Poulsen, S. H., Fjord-Larsen, M., Hansen, F. A. & Christensen, B. G. (2001). Visualizing guided tours. Poster session presented at Conference on Hypertext and Hypermedia. Hypertext '01, Århus, Denmark. http://www.daimi.au.dk/~fah/papers/ht01-paper-final.pdf

Poulsen, S. H., Fjord-Larsen, M., Hansen, F. A. & Christensen, B. G. (2001). Visualizing guided tours with W3D. Poster session presented at The 12th ACM Conference on Hypertext and Hypermedia, Århus, Denmark.

Ernst, E. (2001). What's in a name?. Paper presented at 15th European Conference on Object-Oriented Programming. ECOOP 2001, Budapest, Hungary. http://www.daimi.au.dk/~eernst/papers/fics01.pdf

Mogensen, P. (2001). Workspace - distributed work support through spatial computing environments. Paper presented at Disappearing Computer Jamboree, Zürich, Switzerland.

Madsen, O. L. (2000). Abstraction and Modularization in the BETA Programming Language. In J. Gutknecht & W. Weck (Eds.), Modular Programming Languages: Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000. Proceedings (pp. 211-237). Springer. https://doi.org/10.1007/10722581_18

Engberg, U. H. & Nielsen, M. (2000). A Calculus of Communicating Systems with Label Passing – Ten Years After. In G. D. Plotkin, C. Stirling & M. Tofte (Eds.), Proof, Language, and Interaction: Essays in Honour of Robin Milner (pp. 599-622). MIT Press.

Christensen, H. B. & Røn, H. (2000). A Case Study of Framework Design for Horizontal Reuse. In 37th International Conference on Technology of Object-Oriented Languages and Systems, 2000. TOOLS-Pacific 2000. Proceedings. (pp. 278-289). IEEE Computer Society Press. https://doi.org/10.1109/TOOLS.2000.891376

Christensen, H. B. & Røn, H. (2000). A Case Study of Horizontal Reuse in a Project-Driven Organisation. In Seventh Asia-Pacific Software Engineering Conference, 2000. APSEC 2000. Proceedings. (pp. 292-298). IEEE Computer Society Press. https://doi.org/10.1109/APSEC.2000.896711

Danvy, O. & Nielsen, L. R. (2000). A Higher-Order Colon Translation. B R I C S Report Series, (RS-00-33).

Nielsen, M. & Simpson, D. (2000). Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26-30, 2000 Proceedings. Springer. Lecture Notes in Computer Science Vol. 1825 https://doi.org/10.1007/3-540-44988-4

Buhrman, H., Miltersen, P. B., Radhakrishnan, J. & Venkatesh, S. (2000). Are bitvectors optimal? In Proceedings of the thirty-second annual ACM symposium on Theory of computing (pp. 449-458). Association for Computing Machinery. https://doi.org/10.1145/335305.335357

Danvy, O. & Rhiger, M. (2000). A Simple Take on Typed Abstract Syntax in Haskell-Like Languages. B R I C S Report Series, (RS-00-34).

Schwartzbach, M. I. & Sandholm, A. (2000). A Type System for Dynamic Web Documents. In M. Wegman & T. Reps (Eds.), Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (pp. 290-301). Association for Computing Machinery. https://doi.org/10.1145/325694.325733

Bertelsen, O. W. & Nielsen, C. (2000). Augmented reality as a design tool for mobile interfaces. In Proceedings of the 3rd conference on Designing interactive systems (pp. 185-192). Association for Computing Machinery. https://doi.org/10.1145/347642.347714

Bouvin, N. O. (2000). Augmenting the Web through Open Hypermedia: The Development of the Arakne Environment, a Collaborative Open Hypermedia System for Web Augmentation. Department of Computer Science, Aarhus University.

Arge, L. A., Procopiuc, O., Ramaswamy, S., Suel, T., Vahrenhold, J. & Vitter, J. S. (2000). A Unified Approach for Indexed and Non-indexed Spatial Joins. In C. Zaniolo, P. C. Lockemann, M. H. Scholl & T. Grust (Eds.), Advances in Database Technology - EDBT 2000: 7th International Conference on Extending Database Technology Konstanz, Germany, March 27-31, 2000 Proceedings (pp. 413-429). Springer. https://doi.org/10.1007/3-540-46439-5_29

Christensen, H. B. & Røn, H. (2000). Case Study of Maturing and Reusing a Framework. Department of Computer Science, Aarhus University.

Buscher, M., Christensen, M., Grønbæk, K., Krogh, P., Mogensen, P. H., Shapiro, D. & Ørbæk, P. (2000). Collaborative Augmented Reality Environments: Integrating VR, Working Materials, and Distributed Work Spaces. In Proceedings of the third international conference on Collaborative virtual environments (pp. 47-56). Association for Computing Machinery. https://doi.org/10.1145/351006.351012

Elgaard, J., Møller, A. & Schwartzbach, M. I. (2000). Compile-Time Debugging of C Programs Working on Trees. In G. Smolka (Ed.), Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings (pp. 119-134). Springer. https://doi.org/10.1007/3-540-46425-5_8

Bødker, S., Grønbæk, K. & Mogensen, P. H. (2000). Cooperative Design. In A. Kent (Ed.), Encyclopedia of Library and Information Science (Vol. 67, pp. 108-119). Marcel Dekker.

Bødker, S., Ehn, P., Sjögren, D. & Sundblad, Y. (2000). Cooperative design perspectives on 20 years with "the Scandinavian IT Design Model". In Proceedings of the first Nordic conference on Human-computer interaction Association for Computing Machinery.

Bødker, S. (2000). Coordinating technical support platforms. Association for Computing Machinery. Communications, 43(11). https://doi.org/10.1145/352515.352520

Danvy, O. & Nielsen, L. R. (2000). CPS Transformation of Beta-Redexes. B R I C S Report Series, (RS-00-35).

Damm, C. H., Hansen, K. M., Thomsen, M. & Tyrsted, M. (2000). Creative Object-Oriented Modelling: Support for Intuition, Flexibility, and Collaboration in CASE Tools. In E. Bertino (Ed.), ECOOP 2000 - Object-Oriented Programming: 14th European Conference Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings (pp. 27-43). Springer. https://doi.org/10.1007/3-540-45102-1_2

Buscher, M., Christensen, M., Mogensen, P. H., shapiro, D. & Ørbæk, P. (2000). Creativity, Complexity, and Precision: Information Visualization for (Landscape) Architecture. In Proceedings of the IEEE Symposium on Information Visualization 2000 (InfoVis 2000) (pp. 167-172). IEEE. https://doi.org/10.1109/INFVIS.2000.885105

Displaying results 4951 to 5000 out of 5740

100

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University