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

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. IEEE 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.
Krink, T., Filipic, B., Fogel, G. B. & Thomsen, R. (2004). Noisy Optimization Problems - A Particular Challenge for Differential Evolution? In Ikke angivet (pp. 332-339). IEEE Press.
Nielsen, M. & Valencia, F. D. (2004). Notes on Timed Concurrent Constraint Programming. In J. Desel, W. Reisig & G. Rozenberg (Eds.), Lectures on Concurrency and Petri Nets: Advances in Petri Nets (pp. 137-159). Springer. https://doi.org/10.1007/978-3-540-27755-2_20
Mailund, T. & Westergaard, M. (2004). Obtaining Memory-Efficient Reachability Graph. In K. Jensen & A. Podelski (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings (pp. 177-191). Springer.
Mailund, T. & Westergaard, M. (2004). Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method. In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004) (pp. 177-191)
Danvy, O. (2004). On Evaluation Contexts, Continuations, and the Rest of the Computation. In Ikke angivet (CSR-04-1 of Technical Reports ed., pp. 13-23). School of Computer Science, University of Birmingham.
Arge, L., Brodal, G. S. & Toma, L. (2004). On External-Memory MST, SSP and Multi-Way Planar Graph Separation. Journal of Algorithms, 53(2), 186-206.
Frandsen, G. S. & Shparlinski, I. E. (2004). On Reducing a System of Equations to a Single Equation. In 2004 International Symposium on Symbolic and Algebraic Computation (pp. 163-166). Association for Computing Machinery. https://doi.org/10.1145/1005285.1005310
Brodal, G. S., Fagerberg, R. & Moruz, G. (2004). On the Adaptiveness of Quicksort. BRICS Report Series, (RS-04-27).
Kristensen, L. M. & Nielsen, K.-D. (2004). On the Application of Zone Flooding in a Traffic Warning System. Daimi Report Series (DAIMI PB), (PB-573).
Nielsen, M., Krukow, K., Karhumäki, J. (Ed.), Maurer, H. A. (Ed.), Paun, G. (Ed.) & Rozenberg, G. (Ed.) (2004). On the Formal Modeling of Trust in Reputation-Based Systems. In Theory Is Forever, Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday (pp. 192-204). Springer. https://doi.org/10.1007/978-3-540-27812-2_18
Damgård, I. B., Pedersen, T. B. & Salvail, L. (2004). On the Key-Uncertainty of Quantum Ciphers and the Computational Security of One-way Quantum Transmission. In C. Cachin & J. Camenisch (Eds.), Advances in Cryptology - EUROCRYPT 2004: International Conference on the Theory and Applications of Cryptographic Techniques, Interlaken, Switzerland, May 2-6, 2004. Proceedings (pp. 91-108). Springer. https://doi.org/10.1007/978-3-540-24676-3_6
Bardram, J. & Christensen, H. B. (2004). Open Issues in Activity-Based and Task-Level Computing. In Proceedings of First International Workshop on Computer Support for Human Tasks and Activities (PB-2004-60 of Cent. for Pervasive Comp. Tech. Rep ed., pp. 56-61). Aarhus Universitet.
Arge, L., Samoladas, V. & Yi, K. (2004). Optimal External-Memory Planar Point Enclosure. In S. Albers & T. Radzik (Eds.), Algorithms - ESA 2004: 12th Annual European Symposium, Bergen, Norway, September 14-17, 2004. Proceedings (pp. 40-52). Springer.
Bardram, J., Buschmann, F., Christensen, H. B., Greenwood, D., Hansen, K. M. & Spring, J. H. (2004). PalCom Open Architecture Overview. The Alexandra Institut.