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

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. B R I C S 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.). Århus 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. I E E E Transactions on Systems, Man and Cybernetics, Part A: Systems & 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. I E E E Transactions on Systems, Man and Cybernetics, Part A: Systems & 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. I E E E Transactions on Systems, Man and Cybernetics, Part A: Systems & 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. B R I C S 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. B R I C S Report Series, (RS-04-5).

Ager, M. S. (2004). From Natural Semantics to Abstract Machines. B R I C S Report Series, (RS-04-20).

Danvy, O. (2004). From Reduction-Based to Reduction-Free Normalization. B R I C S Report Series, (RS-04-30).

Brynskov, M. & Andersen, P. B. (2004). Habitats, Activities, and Signs. In J. Filipe & K. Liu (Eds.), Proceedings of The 7th International Workshop on Organisational Semiotics. (pp. 128-151). Institute for Systems and Technologies of Information, Control and Communication.

Hansen, K. M., Wells, L. M. & Maier, T. (2004). HAZOP Analysis of UML-based Software Architecture Descriptions of Safety-Critical Systems. In Proceedings of NWUML 2004. TUCS General Publication 35 http://www.daimi.au.dk/~marius/documents/hansen2004nwuml.pdf

Hansen, K. M., Wells, L. M. & Maier, T. (2004). HAZOP Analysis of UML-Based Software Architecture Descriptions of Safety-Critical Systems. In K. Koskimies, L. Kuzniarz, J. Lilius & I. Porres (Eds.), Proceedings of the 2nd Nordic Workshop on the Unified Modeling Language (pp. 59-78). Turku Centre for Computer Science.

Mamykina, L., Bardram, J. E., Korhonen, I., Mynatt, E. & Pratt, W. (2004). HCI and homecare: Connecting families and clinicians. In Extended abstracts of the 2004 conference on Human factors and computing systems (pp. 1715-1716). Association for Computing Machinery.

Paterlini, S. & Krink, T. (2004). High Performance Clustering with Differential Evolution. In Ikke angivet (pp. 2004-2011). IEEE Press.

Bardram, J. E., Larsen, S. B., Mamykina, L. (Ed.), Bardram, J. E. (Ed.), Korhonen, I. (Ed.), Mynatt, E. D. (Ed.) & Pratt, W. (Ed.) (2004). Hopper's Home and Hopper's Hospital: Usability Laboratories for Home Care. In The CHI2004 workshop on HCI and Homecare: Connecting Families and Clinicians

Larsen, R. D. & Bouvin, N. O. (2004). HyperPeer: Searching for resemblance in a P2P network. In Fifteenth ACM conference on Hypertext & Hypermedia (pp. 268-269). Association for Computing Machinery. https://doi.org/10.1145/1012807.1012873

Dahl, L., Jensen, T. H., Gottschalck, E., Karlskov-Mortensen, P., Jensen, T. D., Nielsen, L., Andersen, M. K., Buckland, R., Wild, T. F. & Blixenkrone-Møller, M. (2004). Immunization with plasmid DNA encoding the hemagglutinin and the nucleoprotein confers robust protection against a lethal canine distemper virus challenge. Vaccine, 22(27-28), 3642-3648. https://doi.org/10.1016/j.vaccine.2004.03.016

Displaying results 4351 to 4400 out of 5740

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University