Aarhus University Seal

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

Sort by: Date | Author | Title

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
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
Ager, M. S. (2004). From Natural Semantics to Abstract Machines. BRICS Report Series, (RS-04-20).
Danvy, O. (2004). From Reduction-Based to Reduction-Free Normalization. BRICS 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 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
Kyng, M., Büscher, M. & Mogensen, P. H. (2004). Integrated Conceptual Framework. Palcom External Reports, (11).
Hansen, F. A., Bouvin, N. O., Christensen, B. G., Grønbæk, K., Pedersen, T. B. & Gagach, J. (2004). Integrating the Web and the World: Contextual Trails on the Move. In Proceedings of the 15th ACM Conference on Hypertext and Hypermedia (pp. 98-107). Association for Computing Machinery. https://doi.org/10.1145/1012807.1012837
Petersen, M. G. & Grønbæk, K. (2004). Interactive Spaces: Towards Collaborative structuring and Ubiquitous Presentation in Domestic Environment. In Proceedings of the 2nd annual Conference for the Computer-Human Interaction Special Interest Group of the Ergonomics Society of Australia University of Wollongong.
Korhonen, I. & Bardram, J. E. (2004). Introduction to this special issue on Pervasive Healthcare. I E E E Transactions on Information Technology in Biomedicine, 8(3), 229-234.
Nielsen, M. B., Brodersen, A. T. & Skala, V. (Ed.) (2004). Inverse Rendering of Polished Materials under Constant Complex Uncontrolled Illumination. In Journal of WSCG (pp. 309-316). UNION Agency - Science Press, Plzen, Czech Republic.
Arge, L. & Vahrenhold, J. (2004). I/O-Efficient Dynamic Planar Point Location. Computational Geometry, 29(2), 147-162. https://doi.org/10.1016/j.comgeo.2003.04.001
Danvy, O. & Schultz, U. P. (2004). Lambda-lifting in Quadratic Time. Journal of Functional and Logic Programming (JFLP), 2004(1).
Danvy, O. & Schultz, U. P. (2004). Lambda-Lifting in Quadratic Time. BRICS Report Series, (RS-04-12).
Fjuk, A., Berge, O., Bennedsen, J. & Caspersen, M. E. (2004). Learning Object-Orientation through ICT-mediated Apprenticeship. In Proceedings of the IEEE International Conference on Advanced Learning Technologies (pp. 380-384). IEEE Computer Society Press. https://doi.org/10.1109/ICALT.2004.1357441
Winskel, G., Ehrhard, T. (Ed.), Girard, J. (Ed.), Ruet, P. (Ed.) & Scot, P. (Ed.) (2004). Linearity and Nonlinearity in Distributed Computation. In Linear Logic in Computer Science (316 of London Math. Soc. Lecture Note Series ed., pp. 151-188). Cambridge University Press.
Mosegaard, J. (2004). LR-Spring Mass Model for Cardiac Surgical Simulation. In Medicine Meets Virtual Reality (12 ed., Vol. 98, pp. 253-255). IOS Press.
Lahire, P., Arévalo, G., Astudillo, H., Black, A. P., Ernst, E., Huchard, M., Oplustil, T., Sakkinen, M. & Valtchev, P. (Eds.) (2004). MASPEGHI 2004 - Mechanisms for Specialization, Generalization, and Inheritance. In B. M. Østvold & J. Malenfant (Eds.), Object-Oriented Technology. ECOOP 2004 Workshop Reader: ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports (pp. 101-117). Springer. https://doi.org/10.1007/978-3-540-30554-5_11
Pold, S., Bertelsen, O. W. (Ed.), Peterser, M. G. (Ed.) & Pold, S. (Ed.) (2004). Material Matters: What can HCI Learn from Aesthetics? In Aesthetic Approaches to Human-Computer Interaction (pp. 33-36). Datalogisk Institut. http://www.daimi.au.dk/publications/PB/572/PB-572.pdf
Madsen, B. A. & Rossmanith, P. (2004). Maximum Exact Satisfiability: NP-completeness Proofs and Exact Algorithms. BRICS Report Series, (RS-04-19).
Grønbæk, K., Nielsen, M. B. & Kramp, G. (2004). Mobile Augmented Reality Support for Architects based on feature Tracking Techniques. In M. Bubak, G. D. van Albada, P. M. A. Sloth & J. Dongarra (Eds.), Computational Science - ICCS 2004 (pp. 921-928). Springer. https://doi.org/10.1007/b97989
Nielsen, M. B., Kramp, G., Grønbæk, K., Bubak, M. (Ed.), van Albada, G. D. (Ed.), Sloot, P. M. A. (Ed.) & Dongarra, J. (Ed.) (2004). Mobile Augmented Reality Support for Architects Based on Feature Tracking Techniques. In Computational Science - ICCS 2004, 4th International Conference, Kraków, Poland, June 6-9, 2004, Part III (3038 i Lecture Notes in Computer Science ed., pp. 921-928)
Mosses, P. D., Karsai, G. (Ed.) & Visser, E. (Ed.) (2004). Modular Language Descriptions. In Ikke angivet (3286 i Lecture Notes in Computer Science ed., pp. 489-490). Springer.
Mosses, P. D. (2004). Modular Structural Operational Semantics. Journal of Logical and Algebraic Methods in Programming, 60-61, 195-228.
Thomsen, R., Boomsma, W., Raidl, G. R. (Ed.), Cagnoni, S. (Ed.), Branke, J. (Ed.), Corne, D. (Ed.), Drechsler, R. (Ed.), Jin, Y. (Ed.), Johnson, C. G. (Ed.), Machado, P. (Ed.), Marchiori, E. (Ed.), Rothlauf, F. (Ed.), Smith, G. D. (Ed.) & Squillero, G. (Ed.) (2004). Multiple Sequence Alignment Using SAGA: Investigating the Effects of Operator Scheduling, Population Seeding, and Crossover Operators. In Applications of Evolutionary Computing (3005 i Lecture Notes in Computer Science ed., pp. 113-122). Springer.
Winskel, G., Zappa Nardelli, F., Lévy, J. (Ed.), Mayr, E. (Ed.) & Mitchell, J. (Ed.) (2004). New-HOPLA: A Higher-Order Process Language with Name Generation. In Ikke angivet (pp. 521-534). Kluwer Academic Publishers.