Aarhus Universitets segl

Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

Sortér efter: Dato | Forfatter | Titel

Bardram, J. (red.), Christensen, H. B. (red.), Garlan, D. & Sousa, J. (2004). First International Workshop on Computer Support for Human Tasks and Activities. (PB-2004-60 udg.) Center for Pervasive Computing Tech. Report.
Kristensen, L. M., Mitchell, B., Zhang, L. & Jensen, K. (red.) (2004). Formal Specification and State Space Analysis of an Operational Planning Process. I Proc. of 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools (PB-570 of Daimi Reports udg., s. 1-18). Department of Computer Science, University of Aarhus.
Bødker, S. (2004). Fra bruger undersøgelse til færdig løsning eller product. Afhandling præsenteret på Back to the Future - status over usability i Danmark, Ørestaden, Danmark.
Christensen, H. B. (2004). Frameworks: Putting Design Patterns into Perspective. I 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education (s. 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. I M. Bruynooghe (red.), Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers (s. 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. I J. Filipe & K. Liu (red.), Proceedings of The 7th International Workshop on Organisational Semiotics. (s. 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. I K. Koskimies, L. Kuzniarz, J. Lilius & I. Porres (red.), Proceedings of the 2nd Nordic Workshop on the Unified Modeling Language (s. 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. I Extended abstracts of the 2004 conference on Human factors and computing systems (s. 1715-1716). Association for Computing Machinery.
Paterlini, S. & Krink, T. (2004). High Performance Clustering with Differential Evolution. I Ikke angivet (s. 2004-2011). IEEE Press.
Bardram, J. E., Larsen, S. B., Mamykina, L. (red.), Bardram, J. E. (red.), Korhonen, I. (red.), Mynatt, E. D. (red.) & Pratt, W. (red.) (2004). Hopper's Home and Hopper's Hospital: Usability Laboratories for Home Care. I 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. I Fifteenth ACM conference on Hypertext & Hypermedia (s. 268-269). Association for Computing Machinery. https://doi.org/10.1145/1012807.1012873
Bouvin, N. O. (2004). HyperPeer: Searching for Resemblance in a P2P Network. 268-269. Afhandling præsenteret på Hypertext 2004 - Proceedings of the Fifteenth ACM Conference on Hypertext and Hypermedia, Santa Cruz, CA, USA.
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. I Proceedings of the 15th ACM Conference on Hypertext and Hypermedia (s. 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. I 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. (red.) (2004). Inverse Rendering of Polished Materials under Constant Complex Uncontrolled Illumination. I Journal of WSCG (s. 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. I Proceedings of the IEEE International Conference on Advanced Learning Technologies (s. 380-384). IEEE Computer Society Press. https://doi.org/10.1109/ICALT.2004.1357441
Winskel, G., Ehrhard, T. (red.), Girard, J. (red.), Ruet, P. (red.) & Scot, P. (red.) (2004). Linearity and Nonlinearity in Distributed Computation. I Linear Logic in Computer Science (316 of London Math. Soc. Lecture Note Series udg., s. 151-188). Cambridge University Press.
Mosegaard, J. (2004). LR-Spring Mass Model for Cardiac Surgical Simulation. I Medicine Meets Virtual Reality (12 udg., Bind 98, s. 253-255). IOS Press.
Lahire, P., Arévalo, G., Astudillo, H., Black, A. P., Ernst, E., Huchard, M., Oplustil, T., Sakkinen, M. & Valtchev, P. (red.) (2004). MASPEGHI 2004 - Mechanisms for Specialization, Generalization, and Inheritance. I B. M. Østvold & J. Malenfant (red.), Object-Oriented Technology. ECOOP 2004 Workshop Reader: ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports (s. 101-117). Springer. https://doi.org/10.1007/978-3-540-30554-5_11
Pold, S., Bertelsen, O. W. (red.), Peterser, M. G. (red.) & Pold, S. (red.) (2004). Material Matters: What can HCI Learn from Aesthetics? I Aesthetic Approaches to Human-Computer Interaction (s. 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. I M. Bubak, G. D. van Albada, P. M. A. Sloth & J. Dongarra (red.), Computational Science - ICCS 2004 (s. 921-928). Springer. https://doi.org/10.1007/b97989
Nielsen, M. B., Kramp, G., Grønbæk, K., Bubak, M. (red.), van Albada, G. D. (red.), Sloot, P. M. A. (red.) & Dongarra, J. (red.) (2004). Mobile Augmented Reality Support for Architects Based on Feature Tracking Techniques. I Computational Science - ICCS 2004, 4th International Conference, Kraków, Poland, June 6-9, 2004, Part III (3038 i Lecture Notes in Computer Science udg., s. 921-928)
Mosses, P. D., Karsai, G. (red.) & Visser, E. (red.) (2004). Modular Language Descriptions. I Ikke angivet (3286 i Lecture Notes in Computer Science udg., s. 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. (red.), Cagnoni, S. (red.), Branke, J. (red.), Corne, D. (red.), Drechsler, R. (red.), Jin, Y. (red.), Johnson, C. G. (red.), Machado, P. (red.), Marchiori, E. (red.), Rothlauf, F. (red.), Smith, G. D. (red.) & Squillero, G. (red.) (2004). Multiple Sequence Alignment Using SAGA: Investigating the Effects of Operator Scheduling, Population Seeding, and Crossover Operators. I Applications of Evolutionary Computing (3005 i Lecture Notes in Computer Science udg., s. 113-122). Springer.
Winskel, G., Zappa Nardelli, F., Lévy, J. (red.), Mayr, E. (red.) & Mitchell, J. (red.) (2004). New-HOPLA: A Higher-Order Process Language with Name Generation. I Ikke angivet (s. 521-534). Kluwer Academic Publishers.
Krink, T., Filipic, B., Fogel, G. B. & Thomsen, R. (2004). Noisy Optimization Problems - A Particular Challenge for Differential Evolution? I Ikke angivet (s. 332-339). IEEE Press.
Nielsen, M. & Valencia, F. D. (2004). Notes on Timed Concurrent Constraint Programming. I J. Desel, W. Reisig & G. Rozenberg (red.), Lectures on Concurrency and Petri Nets: Advances in Petri Nets (s. 137-159). Springer. https://doi.org/10.1007/978-3-540-27755-2_20
De Meuter, W., Ducasse, S., D'Hondt, T. & Madsen, O. L. (2004). Object-oriented language engineering for the post-Java Era. I F. Buschmann, A. P. Buchmann, M. A. Cilia, F. Buschmann, A. P. Buchmann & M. A. Cilia (red.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (s. 143-153). Springer Verlag. https://doi.org/10.1007/978-3-540-25934-3_14
Mailund, T. & Westergaard, M. (2004). Obtaining Memory-Efficient Reachability Graph. I K. Jensen & A. Podelski (red.), 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 (s. 177-191). Springer.
Mailund, T. & Westergaard, M. (2004). Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method. I Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004) (s. 177-191)
Danvy, O. (2004). On Evaluation Contexts, Continuations, and the Rest of the Computation. I Ikke angivet (CSR-04-1 of Technical Reports udg., s. 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. I 2004 International Symposium on Symbolic and Algebraic Computation (s. 163-166). Association for Computing Machinery. https://doi.org/10.1145/1005285.1005310