Publikationer

Søg publikationer fra Institut for Datalogi

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

Bardram, J. E., Christensen, H. B. & Hansen, K. M. (2004). Architectural prototyping: an approach for grounding architectural design and learning. I Software Architecture, 2004. WICSA 2004. Proceedings. (s. 15-24). IEEE Computer Society Press. https://doi.org/10.1109/WICSA.2004.1310686

Bardram, J., Christensen, H. B. & Hansen, K. M. (2004). Architectural Prototyping: An Approach for Grounding Architectural Design and Learning. I Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture: (Wisca 2004) (s. 15-24). IEEE Computer Society Press.

Christensen, H. B., Hansen, K. M., Schultz, U. P., Ørbæk, P. & Bouvin, N. O. (2004). Architecture Presentations: Experiences from Pervasive Computing Projects at Computer Science Department, University of Aarhus. Department of Computer Science, Aarhus University.

Christensen, A. S., Kirkegaard, C. & Møller, A. (2004). A Runtime System for XML Transformations in Java. I Z. Bellahsene, T. Milo, M. Rys, D. Suciu & R. Unland (red.), Database and XML Technologies: Second International XML Database Symposium, XSym 2004, Toronto, Canada, August 29-30, 2004. Proceedings (s. 143-157). Springer. https://doi.org/10.1007/978-3-540-30081-6_11

Schultz, U. P. (2004). A Unification of Inheritance and Automatic Program Specialization. I Lecture Notes in Computer Science: Generative Programming and Component Engineering (Bind 3286/2004, s. 244-265). Springer.

Lykke, O. A., Hansen, T. R. & Eriksson, E. (2004). A video of Mixed Interaction Space video. Center for Pervasive Healthcare. DCS. AU. DK. http://www.daimi.au.dk/~thomasr/interaction

Iversen, O. S., Kanstrup, A. M. & Petersen, M. G. (2004). A Visit to the 'New Utopia': Revitalizing Democracy, Emancipation and Quality in Co-Operative Design. I ACM International Conference Proceeding Series: Proceedings of the third Nordic conference on Human-computer interaction (Bind 82, s. 171-179). Association for Computing Machinery. https://doi.org/10.1145/1028014.1028040

Iversen, O. S., Petersen, M. G. & Kanstrup, A.-M. (2004). A Visit to the 'New Utopia'. I Proceedings of the Third Nordic Conference on Human-Computer interaction (s. 171-179). Association for Computing Machinery.

Agarwal, S. & Frandsen, G. S. (2004). Binary GCD like Algorithms for Some Complex Quadratic Rings. I D. Buell (red.), Algorithmic Number Theory: 6th International Symposium, ANTS-VI, Burlington, VT, USA, June 13-18, 2004, Proceedings (s. 57-71). Springer. https://doi.org/10.1007/978-3-540-24847-7_4

Kohlenbach, U., Lambov, B., Falset, J. (red.), Fulster, E. (red.) & Sims, B. (red.) (2004). Bounds on Iterations of Asymptotically Quasi-non-expansive Mappings. I International Conference on Fixed Point Theory and Applications, Valencia 2003 (s. 143-172). Yokohama Publishers.

Hansen, K. M. & Damm, C. H. (2004). Building flexible, distributed collaboration tools using type-based publish/subscribe - The Distributed Knight case. I M. H. Hamza (red.), Proceedings of the IASTED International Conference on SOFTWARE ENGINEERING (s. 595-600). ACTA Press.

Brodal, G. S. (2004). Cache-Oblivious Algorithms and Data Structures. I T. Hagerup & J. Katajainen (red.), Algorithm Theory - SWAT 2004: 9th Scandinavian Workshop on Algorithm Theory, Humlebaek, Denmark, July 8-10, 2004. Proceedings (s. 3-13). Springer. https://doi.org/10.1007/978-3-540-27810-8_2

Brodal, G. S., Fagerberg, R., Meyer, U. & Zeh, N. (2004). Cache-Oblivious Data Structures and Algorithms for Undirected Breadth-First Search and Shortest Paths. I T. Hagerup & J. Katajainen (red.), Algorithm Theory - SWAT 2004: 9th Scandinavian Workshop on Algorithm Theory, Humlebaek, Denmark, July 8-10, 2004. Proceedings (s. 480-492). Springer. https://doi.org/10.1007/978-3-540-27810-8_41

Mosses, P. D. (red.) (2004). Casl Reference Manual, The Complete Documentation of the Common Algebraic Specification Language. (2960 i Lecture Notes in Computer Science udg.) Springer.

Baumeister, H., Cerioli, M., Haxthausen, A., Mossakowski, T., Mosses, P. D., Sannella, D., Tarlecki, A. & Mosses, P. D. (red.) (2004). Casl Semantics. I Casl Reference Manual, The Complete Documentation of the Common Algebraic Specification Language (2960 i Lecture Notes in Computer Science udg., s. 115-271). Springer.

Krieg-Brückner, B., Mosses, P. D. & Mosses, P. D. (red.) (2004). Casl Summary. I Casl Reference Manual, The Complete Documentation of the Common Algebraic Specification Language (2960 i Lecture Notes in Computer Science udg., s. 1-69). Springer.

Krieg-Brückner, B., Mosses, P. D. & Mosses, P. D. (red.) (2004). Casl Syntax. I Casl Reference Manual, The Complete Documentation of the Common Algebraic Specification Language (2960 i Lecture Notes in Computer Science udg., s. 71-112). Springer.

Bidoit, M. & Mosses, P. D. (red.) (2004). Casl User Manual - Introduction to Using the Common Algebraic Specification Language. (2900 i Lecture Notes in Computer Science udg.) Springer.

Kristensen, L. M., Zhang, L., Mitchell, B., Janczura, C., Gallasch, G. E. & Mechlenborg, P. (2004). COAST - An Operational Planning Tool for Course of Action Development and Analysis. Afhandling præsenteret på 9th International Command and Control Research and Technology Symposium (ICCRTS), København, Danmark.

Krink, T., van Kooten Niekerk, K. (red.) & Buhl, H. (red.) (2004). Complexity and the Computing Age: Can Computers Really Help to Understand Complex Phenomena in Nature? I The Significance of Complexity (s. 47-73). Ashgate publishing.

Hansen, K. M. & Christensen, H. B. (2004). Component Reengineering Workshops: A Low-Cost Approach for Assessing Specific Reengineering Costs Across Product Lines. I Proceedings of the 8th European Conference on Software Maintenance and Reengineering 2004 (s. 154-162). IEEE Computer Society Press. https://doi.org/10.1109/CSMR.2004.1281416

Crépeau, C., Dumais, P., Mayers, D., Salvail, L. & Naor, M. (red.) (2004). Computational Collapse of Quantum State with Application to Oblivious Transfer. I Ikke angivet (2951 i Lecture Notes in Computer Science udg., s. 374-393). Springer.

Clemensen, J., Larsen, S. B. & Ejskjær, N. (2004). Connecting Home and Clinican, Treatment of Diabetic Foot Ulcers at Home. I The CHI2004 workshop on HCI and Homecare: Connecting Families and Clinicians

Hansen, K. A. (2004). Constant Width Planar Computation Characterizes ACC⁰. I V. Diekert & M. Habib (red.), STACS 2004: 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004. Proceedings (s. 44-55). Springer. https://doi.org/10.1007/978-3-540-24749-4_5

Iversen, J. & Mosses, P. D. (2004). Constructive Action Semantics for Core ML. BRICS Report Series, (RS-04-37).

Jørgensen, J. B., Bossen, C., Benyon, D. (red.), Moody, P. (red.), Gruen, D. (red.) & McAra-McWilliam, I. (red.) (2004). Context-descriptive Prototypes and Their Application to Medicine Administration. I Ikke angivet (s. 297-306). Society for Industrial and Applied Mathematics.

Bossen, C. & Jørgensen, J. B. (2004). Context-descriptive Prototypes and Their Application to Medicine Administration. I Across the Spectrum: Proceedings of the 2004 Conference on Designing Interactive Systems: Processes, Practices, Methods, and Techniques (s. 297-306). Association for Computing Machinery.

Jørgensen, J. B. & Moldt, D. (red.) (2004). CPN Models as Enhancements to a Traditional Software Specification for an Elevator Controller. I Ikke angivet (PB-571 of Daimi Reports udg., s. 99-116). Aarhus University.

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. I Ikke angivet (s. 23-32). Association for Computing Machinery. http://doi.acm.org/10.1145/1028014.1028018

Nielsen, M. (red.) (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. Afhandling præsenteret på ACM SIGPLAN 2004 Symposium on Partial Eveluation and Program Manipulation (PEPM'04), Verona, Italien.

Ernst, E. (2004). Delegation by First-Class Methods. I K. Østerbye (red.), Proceedings of 11th Nordic Workshop on Programming and Software Development Tools and Techniques (NWPER'04) (s. 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. I 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. I Proceedings of the 2004 conference on Interaction Design and Children: Building a Community (s. 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. I 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. I Proceedings of the 5th Conference on Designing Interactive Systems: processes, practices, methods, and technique (s. 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. I 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. I Ikke angivet (s. 441-448). International Association for Development, IADIS.

Caspersen, M. E. (2004). Discussant Submission. Afhandling præsenteret på 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. (red.), Eggen, B. (red.) & Aarts (red.) (2004). Distance-Based Access Modifiers Applied to Safety in Home Networks. I Ambient Intelligence: Second European Symposium (3295 i Lecture Notes in Computer Science udg., s. 315-326). Springer.

Mortensen, K. H., Schougaard, K. R. & Schultz, U. P. (2004). Distance-Based Access Modifiers Applied to Safety in Home Networks. I P. Markopoulos, B. Eggen, E. Aarts & J. Crowley (red.), Ambient Intelligence: Second European Symposium, EUSAI 2004, Eindhoven, The Netherlands, November 8-11, 2004. Proceedings (s. 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. (red.) (2004). Documentation of Appliances & Interaction Devices: Deliverable 16. I EU,IST, FET, DC project, Workspace: Distributed Work support through component based SPAtial Computing Environments (Deliverable 16 udg., Bind WS-UAA-20, s. 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. I Proceedings of the fifteenth ACM conference on Hypertext and hypermedia (s. 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. I Proceedings of the Fourth Danish Human-Computer Interaction Research Symposium (s. 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

Viser resultater 4601 til 4650 ud af 6061

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series