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

Brodal, G. S., Fagerberg, R., Meyer, U. & Zeh, N. (2004). Cache-Oblivious Data Structures and Algorithms for Undirected Breadth-First Search and Shortest Paths. In T. Hagerup & J. Katajainen (Eds.), Algorithm Theory - SWAT 2004: 9th Scandinavian Workshop on Algorithm Theory, Humlebaek, Denmark, July 8-10, 2004. Proceedings (pp. 480-492). Springer. https://doi.org/10.1007/978-3-540-27810-8_41

Mosses, P. D. (Ed.) (2004). Casl Reference Manual, The Complete Documentation of the Common Algebraic Specification Language. (2960 i Lecture Notes in Computer Science ed.) Springer.

Baumeister, H., Cerioli, M., Haxthausen, A., Mossakowski, T., Mosses, P. D., Sannella, D., Tarlecki, A. & Mosses, P. D. (Ed.) (2004). Casl Semantics. In Casl Reference Manual, The Complete Documentation of the Common Algebraic Specification Language (2960 i Lecture Notes in Computer Science ed., pp. 115-271). Springer.

Krieg-Brückner, B., Mosses, P. D. & Mosses, P. D. (Ed.) (2004). Casl Summary. In Casl Reference Manual, The Complete Documentation of the Common Algebraic Specification Language (2960 i Lecture Notes in Computer Science ed., pp. 1-69). Springer.

Krieg-Brückner, B., Mosses, P. D. & Mosses, P. D. (Ed.) (2004). Casl Syntax. In Casl Reference Manual, The Complete Documentation of the Common Algebraic Specification Language (2960 i Lecture Notes in Computer Science ed., pp. 71-112). Springer.

Bidoit, M. & Mosses, P. D. (Eds.) (2004). Casl User Manual - Introduction to Using the Common Algebraic Specification Language. (2900 i Lecture Notes in Computer Science ed.) Springer.

Kristensen, L. M., Zhang, L., Mitchell, B., Janczura, C., Gallasch, G. E. & Mechlenborg, P. (2004). COAST - An Operational Planning Tool for Course of Action Development and Analysis. Paper presented at 9th International Command and Control Research and Technology Symposium (ICCRTS), København, Denmark.

Krink, T., van Kooten Niekerk, K. (Ed.) & Buhl, H. (Ed.) (2004). Complexity and the Computing Age: Can Computers Really Help to Understand Complex Phenomena in Nature? In The Significance of Complexity (pp. 47-73). Ashgate publishing.

Hansen, K. M. & Christensen, H. B. (2004). Component Reengineering Workshops: A Low-Cost Approach for Assessing Specific Reengineering Costs Across Product Lines. In Proceedings of the 8th European Conference on Software Maintenance and Reengineering 2004 (pp. 154-162). IEEE Computer Society Press. https://doi.org/10.1109/CSMR.2004.1281416

Crépeau, C., Dumais, P., Mayers, D., Salvail, L. & Naor, M. (Ed.) (2004). Computational Collapse of Quantum State with Application to Oblivious Transfer. In Ikke angivet (2951 i Lecture Notes in Computer Science ed., pp. 374-393). Springer.

Clemensen, J., Larsen, S. B. & Ejskjær, N. (2004). Connecting Home and Clinican, Treatment of Diabetic Foot Ulcers at Home. In The CHI2004 workshop on HCI and Homecare: Connecting Families and Clinicians

Hansen, K. A. (2004). Constant Width Planar Computation Characterizes ACC⁰. In V. Diekert & M. Habib (Eds.), STACS 2004: 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004. Proceedings (pp. 44-55). Springer. https://doi.org/10.1007/978-3-540-24749-4_5

Iversen, J. & Mosses, P. D. (2004). Constructive Action Semantics for Core ML. BRICS Report Series, (RS-04-37).

Jørgensen, J. B., Bossen, C., Benyon, D. (Ed.), Moody, P. (Ed.), Gruen, D. (Ed.) & McAra-McWilliam, I. (Ed.) (2004). Context-descriptive Prototypes and Their Application to Medicine Administration. In Ikke angivet (pp. 297-306). Society for Industrial and Applied Mathematics.

Bossen, C. & Jørgensen, J. B. (2004). Context-descriptive Prototypes and Their Application to Medicine Administration. In Across the Spectrum: Proceedings of the 2004 Conference on Designing Interactive Systems: Processes, Practices, Methods, and Techniques (pp. 297-306). Association for Computing Machinery.

Jørgensen, J. B. & Moldt, D. (Ed.) (2004). CPN Models as Enhancements to a Traditional Software Specification for an Elevator Controller. In Ikke angivet (PB-571 of Daimi Reports ed., pp. 99-116). Aarhus University.

Danvy, O. & Nielsen, L. R. (2004). CPS Transformation of Beta-Redexes. BRICS Report Series, (RS-04-39).

Pold, S. & Bertelsen, O. W. (2004). Criticism as an Approach to Interface Aesthetics. In Ikke angivet (pp. 23-32). Association for Computing Machinery. http://doi.acm.org/10.1145/1028014.1028018

Nielsen, M. (Ed.) (2004). Current Trends in Theoretical Computer Science - The Challenge of the New Century: Concurrency. World Scientific.

Andersen, H. M. & Schultz, U. P. (2004). Declarative Specialization for Object-Oriented-Program Specialization. Paper presented at ACM SIGPLAN 2004 Symposium on Partial Eveluation and Program Manipulation (PEPM'04), Verona, Italy.

Ernst, E. (2004). Delegation by First-Class Methods. In K. Østerbye (Ed.), Proceedings of 11th Nordic Workshop on Programming and Software Development Tools and Techniques (NWPER'04) (pp. 109-124). Turku Center for Computer Science.

Andersen, J. R., Bak, L., Grarup, S., Lund, K. V., Eskildsen, T., Hansen, K. M. & Torgersen, M. (2004). Design, Implementation, and Evaluation of the Resilient Smalltalk Embedded Platform. In Proceedings of the 12th European Smalltalk User Group (ESUG) Conference

Grønbæk, K., Kristensen, S., Andersen, T. L. & Nielsen, B. W. (2004). Designing an Augmented Reality Board Games with children: The BattleBoard 3D experience. In Proceedings of the 2004 conference on Interaction Design and Children: Building a Community (pp. 137-138). Association for Computing Machinery. https://doi.org/10.1145/1017833.1017858

Andersen, T. L., Kristensen, S., Nielsen, B. W. & Grønbæk, K. (2004). Designing Augmented Reality Board Games: The BattleBoard 3D experience. In Proceedings of the 2nd annual OZCHI conference University of Wollongong, Australia. http://www.ozchi.org/proceedings/2004/pdfs/ozchi2004-132.pdf

Bødker, S. & Christiansen, E. (2004). Designing for ephemerality and prototypicality. In Proceedings of the 5th Conference on Designing Interactive Systems: processes, practices, methods, and technique (pp. 255 - 260). Association for Computing Machinery. https://doi.org/10.1145/1013115.1013151

Bødker, S. & Nielsen, M. M. (2004). Desktop Computing. Australian Journal of Information Systems, 88-101.

Bødker, S. & Nielsen, M. M. (2004). Desktop Computing. In Proceedings of the 2nd annual OZCHI conference University of Wollongong, Australia. http://www.ozchi.org/proceedings/2004/pdfs/ozchi2004-123.pdf

Clemensen, J., Larsen, S. B. & Bardram, J. E. (2004). Developing Pervasive e-Health for Moving Experts from Hospital to Home. In Ikke angivet (pp. 441-448). International Association for Development, IADIS.

Caspersen, M. E. (2004). Discussant Submission. Paper presented at 3rd "Killer Examples" for Design Patterns and Objects First Workshop at OOPSLA 2004, Vancouver, British Columbia, Canada.

Mortensen, K. H., Schougaard, K. R., Schultz, U. P., Markopoulos, P. (Ed.), Eggen, B. (Ed.) & Aarts (Ed.) (2004). Distance-Based Access Modifiers Applied to Safety in Home Networks. In Ambient Intelligence: Second European Symposium (3295 i Lecture Notes in Computer Science ed., pp. 315-326). Springer.

Mortensen, K. H., Schougaard, K. R. & Schultz, U. P. (2004). Distance-Based Access Modifiers Applied to Safety in Home Networks. In P. Markopoulos, B. Eggen, E. Aarts & J. Crowley (Eds.), Ambient Intelligence: Second European Symposium, EUSAI 2004, Eindhoven, The Netherlands, November 8-11, 2004. Proceedings (pp. 315-326). Springer. https://doi.org/10.1007/978-3-540-30473-9_30

Krukow, K. & Twigg, A. (2004). Distributed Approximation of Fixed-Points in Trust Structures. BRICS Report Series, (RS-04-16).

Mogensen, P. H. (Ed.) (2004). Documentation of Appliances & Interaction Devices: Deliverable 16. In EU,IST, FET, DC project, Workspace: Distributed Work support through component based SPAtial Computing Environments (Deliverable 16 ed., Vol. WS-UAA-20, pp. 1-22). Datalogisk Institut, Aarhus Universitet. http://www.daimi.au.dk/workspace/Deliverables/WS-D16-v1-0.pdf

Nygaard, M. & Winskel, G. (2004). Domain Theory for Concurrency. Theoretical Computer Science, 316(1), 153-190.

Grønbæk, K. & Petersen, M. G. (2004). Domestic Hypermedia: Mixed Media in the Home. In Proceedings of the fifteenth ACM conference on Hypertext and hypermedia (pp. 108-109). Association for Computing Machinery. https://doi.org/10.1145/1012807.1012838

Nielsen, M. B. & Museth, K. (2004). Dynamic Tubular Grid: An Efficient Data Structure and Algorithms for High Resolution Level Sets. Linköping Electronic Articles in Computer and Information Science, (Vol. 9 (2004), No. 001).

Brodersen, A. C., Christensen, B. G., Grønbæk, K., Dindler, C. & Iversen, O. S. (2004). eBag - the digital school bag. In Proceedings of the Fourth Danish Human-Computer Interaction Research Symposium (pp. 13-17)

Basin, D. A., Danvy, O. & Harper, R. (2004). Editorial. Higher-Order and Symbolic Computation, 17(3), 171-171. https://doi.org/10.1023/B:LISP.0000029480.20108.7d

Chin, W., Danvy, O. & Thiemann, P. (2004). Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation. Higher-Order and Symbolic Computation, 17(1-2), 5-6. https://doi.org/10.1023/B:LISP.0000029481.73168.ef

Agarwal, P., Arge, L., Erickson, J., Yu, H., Albers, S. (Ed.) & Radzik, T. (Ed.) (2004). Efficient Tradeoff Schemes in Data Structures for Querying Moving Objects. In Ikke angivet (3221 i Lecture Notes in Computer Science ed., pp. 4-15). Springer.

Agarwal, P. K., Arge, L. A., Erickson, J. & Yu, H. (2004). Efficient Tradeoff Schemes in Data Structures for Querying Moving Objects. In S. Albers & T. Radzik (Eds.), Algorithms - ESA 2004: 12th Annual European Symposium, Bergen, Norway, September 14-17, 2004. Proceedings (pp. 4-15). Springer. https://doi.org/10.1007/978-3-540-30140-0_3

Becker, L., Blunck, H., Hinrichs, K. & Vahrenhold, J. (2004). Ein Rahmenwerk zur Repräsentation von sich bewegenden Objekten. In H. Höpfner & G. Saake (Eds.), Grundlagen und Anwendungen mobiler Informationstechnologie (pp. 3-12)

Petersen, M. G., Ludvigsen, M., Jensen, H. F. & Thomsen, A. (2004). Embracing Values in Designing Domestic Technologies. In D. Reed, G. Baxter & M. Blythe (Eds.), Proccedings of ECCE-12: Living and Working with Technology (pp. 107-114). EACE.

Bech, C. W., Bouvin, N. O., Petersen, M. G. & Grønbæk, K. (2004). En åben portal til blended learning. In M. Georgsen & J. Bennedsen (Eds.), Fleksibel læring og undervisning: - erfaringer, konsekvenser og muligheder med ikt (Vol. 1, pp. 259-273). Aalborg Universitetsforlag.

Brodal, G. S., Fagerberg, R. & Vinther, K. (2004). Engineering a Cache-Oblivious Sorting Algorithm. In Proceedings of the Sixth Annual Workshop on Algorithm Engineering and Experiments, ALENEX '04 (pp. 4-17). Society for Industrial and Applied Mathematics.

Jørgensen, J. B., Christensen, S., Tuovinen, A., Xu, J., Steffen, B. (Ed.) & Margaria, T. (Ed.) (2004). Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets. Paper presented at 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA 2004), Paphos, Cyprus.

Thomsen, R. (2004). Evolutionary Algorithms and their Application in Bioinformatics (DAIMI ed.). Aarhus Universitet.

Jørgensen, J. B. & Bossen, C. (2004). Executable Use Cases: Requirements for a Pervasive Health Care System. I E E E Software, 21(2), 34-41.

Jørgensen, J. B., Bossen, C., Giese, H. (Ed.) & Kruger, I. (Ed.) (2004). Executable Use Cases as Links Between Application Domain Requirements and Machine Specifications. In Proceedings of the 26th International Conference on Software Engineering: 3rd Workshop on Scenarios and State Machines: Models, Algorithms, and Tools IEEE.

Displaying results 4501 to 4550 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