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

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.

Kristensen, L. M., Gallasch, G. E., Ouyang, C. & Billington, J. (2004). Experimenting with Progress Mappings for the Sweep-Line Analysis of the Internet Open Trading Protocol. In K. Jensen (Ed.), 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools (PB-570 of Daimi Reports ed., pp. 19-38). Department of Computer Science, University of Aarhus.

Billington, J., Gallasch, G. E., Kristensen, L. M. & Mailund (2004). Exploiting Equivalence Reduction and the Sweep-Line Method for Detecting Terminal States. IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans, 34(1), 23-37.

Billington, J., Gallasch, G. E., Kristensen, L. M. & Mailund, T. (2004). Exploiting Equivalence Reduction and the Sweep-Line Method for Detecting Terminal States. IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans, 34(1), 23-37.

Kristensen, L. M., Mailund, T., Billington, J. & Gallasch, G. E. (2004). Exploiting Equivalence Reduction and the Sweep-Line Method for Detecting Terminal States. IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans, 34(1), 23-38.

Mosses, P. D. (2004). Exploiting Labels in Structural Operational Semantics. Fundamenta Informaticae, 60, 17-31.

Mosses, P. D., Haddad, H. (Ed.), Omicini, A. (Ed.), Wainwright, R. L. (Ed.) & Liebrock, L. M. (Ed.) (2004). Exploiting Labels in Structural Operational Semantics. In Ikke angivet (pp. 1476-1481). Association for Computing Machinery.

Arge, L. (2004). External Geometric Data Structures. In Computing and Combinatorics: 10th Annual International Conference, COCOON 2004, Jeju Island, Korea, August 17-20, 2004. Proceedings (pp. 1). Springer. https://doi.org/10.1007/978-3-540-27798-9_1

Arge, L., Meyer, U. & Toma, L. (2004). External Memory Algorithms for Diameter and All-Pair Shortest-Paths on Sparse Graphs. In J. Diaz, J. Karhumäki, A. Lepistö & D. Sannella (Eds.), Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings (pp. 146-157). Springer. https://doi.org/10.1007/978-3-540-27836-8_15

Ager, M. S., Danvy, O. & Rohde, H. K. (2004). Fast Partial Evaluation of Pattern Matching in Strings. BRICS Report Series, (RS-04-40).

Jensen, K. (Ed.) (2004). Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, October 8-11, 2004. Department of Computer Science, Aarhus University.

Bardram, J. (Ed.), Christensen, H. B. (Ed.), Garlan, D. & Sousa, J. (2004). First International Workshop on Computer Support for Human Tasks and Activities. (PB-2004-60 ed.) Center for Pervasive Computing Tech. Report.

Kristensen, L. M., Mitchell, B., Zhang, L. & Jensen, K. (Ed.) (2004). Formal Specification and State Space Analysis of an Operational Planning Process. In Proc. of 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools (PB-570 of Daimi Reports ed., pp. 1-18). Department of Computer Science, University of Aarhus.

Bødker, S. (2004). Fra bruger undersøgelse til færdig løsning eller product. Paper presented at Back to the Future - status over usability i Danmark, Ørestaden, Denmark.

Christensen, H. B. (2004). Frameworks: Putting Design Patterns into Perspective. In 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education (pp. 142-145). Association for Computing Machinery. https://doi.org/10.1145/1026487.1008035

Biernacki, D. & Danvy, O. (2004). From Interpreter to logic Engine by Defunctionalization. In M. Bruynooghe (Ed.), Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers (pp. 143-159). Springer. https://doi.org/10.1007/978-3-540-25938-1_13

Biernacki, D. & Danvy, O. (2004). From Interpreter to Logic Engine by Defunctionalization. BRICS Report Series, (RS-04-5).

Displaying results 4601 to 4650 out of 6000

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University