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. & Olesen, A. K. (2004). Activity-Driven Computing Infrastructure - Pervasive Computing in Healthcare. Department of Computer Science, Aarhus University.

Bertelsen, O. W., Korpela, M. (red.) & Mursu, A. (red.) (2004). Activity Walkthrough - A Quick User Interface Evaluation without Users. I Ikke angivet (PB-574 of Daimi Reports udg., s. 17-21). Aarhus Universitet.

Canetti, R., Damgård, I. B., Dziembowski, S., Ishai, Y. & Malkin, T. (2004). Adaptive versus Non-Adaptive Security of Multi-Party Protocols. Journal of Cryptology, 17(3), 153-207. https://doi.org/10.1007/s00145-004-0135-x

Torgersen, M., Hansen, C. P., Ernst, E., Ahé, P. V. D., Bracha, G. & Gafter, N. M. (2004). Adding Wildcards to the Java Programming Language. I Proceedings of the 2004 ACM Symposium on Applied Computing (Bind 104042, s. 1289-1296). Association for Computing Machinery. https://doi.org/10.1145/967900.968162

Torgersen, M., Hansen, C. P., Ernst, E., von der Ahé, P., Bracha, G. & Gafter, N. M. (2004). Adding Wildcards to the Java Programming Language. Journal of Object Technology, 3(11), 97-116. https://doi.org/10.5381/jot.2004.3.11.a5

Filinski, A., Rohde, H. K. & Walukiewicz, I. (red.) (2004). A Denotational Account of Untyped Normalization by Evaluation. I Foundations of Software Science and Computation Structures: Proceedings of the 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 (2987 udg., Bind Lecture Notes in Computer Science, s. 167-181). Springer.

Bertelsen, O. W., Petersen, M. G. & Pold, S. (red.) (2004). Aesthetic Approaches to Human-Computer Interaction: Proceedings of the NordiCHI 2004 Workshop. Aarhus Universitet. Daimi Report Series (DAIMI PB) Nr. 572

Petersen, M. G., Iversen, O. S., Krogh, P. & Ludvigsen, M. (2004). Aesthetic interaction. I Proceedings of the 2004 Conference on Designing interactive Systems: Processes, Practices, Methods, and Techniques (s. 269-276). Association for Computing Machinery.

Petersen, M. G., Iversen, O. S., Krogh, P. G. & Ludvigsen, M. (2004). Aesthetic interaction - A pragmatist's aesthetics of interactive systems. I DIS2004 - Designing Interactive Systems: Across the Spectrum (s. 269-276)

Wagealla, W., Carbone, M., English, C., Terzis, S., Lowe, H., Nixon, P., Dimitrakos, T. (red.) & Martinelli, F. (red.) (2004). A Formal Model for Trust Lifecycle Management. I Proceedings of IEEE International Conference on Software Engineering and Formal Methods (SEFM '03), 2003. (s. 181-192). IIT-CNR.

Becker, L., Blunck, H., Hinrichs, K. & Vahrenhold, J. (2004). A Framework for Representing Moving Objects. I F. Galindo, M. Takizawa & R. Traunmüller (red.), Database and Expert Systems Applications: 15th International Conference, DEXA 2004, Zaragoza, Spain, August 30-September 3, 2004. Proceedings (s. 854-863). Springer. https://doi.org/10.1007/978-3-540-30075-5_82

Ager, M. S., Danvy, O. & Midtgaard, J. (2004). A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines. Information Processing Letters, 90(5), 223-232. https://doi.org/10.1016/j.ipl.2004.02.012

Ager, M. S., Danvy, O. & Midtgaard, J. (2004). A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines. BRICS Report Series, (RS-04-3).

Ager, M. S., Danvy, O. & Midtgaard, J. (2004). A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects. BRICS Report Series, (RS-04-28).

Lindholm Nielsen, M., Lister, R., Adams, E. S., Fitzgerald, S., Fone, W., Hamer, J., McCartney, R., Moström, J. E., Sanders, K., Seppälä, O., Simon, B. & Thomas, L. (2004). A multi-national study of reading and tracing skills in novice programmers. SIGCSE Bulletin Inroads, 36(4), 119-150.

Brand, M. V. D., Mosses, P. D. & Iversen, J. (2004). An Action Environment. I Proceedings of the Fourth Workshop on Language Descriptions, Tools and Applications (Bind 110, s. 149-168). Electronic Notes in Theoretical Computer Science.

van den Brand, M., Iversen, J., Mosses, P. D., Hedin, G. (red.) & Van Wyk, E. (red.) (2004). An Action Environment. I Proceedings of the Fourth Workshop on Language Descriptions, Tools, and Applications (Bind 110, s. 149-168). Elsevier.

Kristensen, L. M. & Petrucci, L. (2004). An Approach to Distributed State Space Exploration for Coloured Petri Nets. I J. Cortadella & W. Reisig (red.), 25th International Conference on Application and Theory of Petri Nets: Lecture Notes in Computer Science (3099 i Lecture Notes in Computer Science udg., Bind Tool Papers, s. 474-483). Springer.

Hansen, K. M., Larsen, S. B., Pagter, J. I., Pedersen, M. Ø. & Thomsen, J. (2004). An Evaluation of an OSGi-based Residential Pervasive Computing Platform. I N. Guimarães & P. Isaías (red.), Proceedings of the IADIS Applied Computing Conference (s. 246-253). International Association for Development, IADIS. http://www.iadis.net/dl/Search_list_open.asp?code=602

Hansen, K. M. & Damm, C. (2004). An evaluation of workspace awareness in collaborative, gesture-based diagramming tools. I S. Fincher, P. Markopoulos, D. Moore & R. Ruddle (red.), People and Computers XVIII - Design for Life: Proceedings of HCI 2004, BCS Conference Series (s. 25-50). Springer. https://doi.org/10.1007/1-84628-062-1_3

Christensen, H. B. & Bardram, J. (2004). An Initial Comparison between Aura and Activity-Based Computing. Department of Computer Science, Aarhus University.

Grønbæk, K., Bouvin, N. O., Petersen, M. G. & Bech, C. W. (2004). An Open Portal for Blended Learning. I L. Cantoni & C. McLoughlin (red.), Proceedings of World Conference on Educational Multimedia, Hypermedia and Telecommunications 2004 (s. 734-739). Association for the Advancement of Computing in Education.

Biernacka, M., Biernacki, D. & Danvy, O. (2004). An Operational Foundation for Delimited Continuations. I Proceedings of the Fourth ACM SIGPLAN Workshop on Continuations (s. 25-33). Association for Computing Machinery.

Biernacka, M., Biernacki, D. & Danvy, O. (2004). An Operational Foundation for Delimited Continuations in the CPS Hierarchy. BRICS Report Series, (RS-04-29).

Nielsen, M. B., Museth, K. & Seipel, S. (red.) (2004). An Optimized, Grid Independent, Narrow Band Data Structure for High Resolution Level Sets. I SIGRAD'04: Svenska föreningen för grafisk databehandling (13 of Linköping Elec. Conf. Proc udg., Bind 13, s. 59-60). Linköping Electronic Conference Proceedings.

Kristensen, L. M., Jørgensen, J. B. & Jensen, K. (2004). Application of Coloured Petri Nets in System Development. I J. Desel, W. Reisig & G. Rozenberg (red.), Lectures on Concurrency and Petri Nets (s. 626-685). Springer. https://doi.org/10.1007/b98282

Bardram, J. E. (2004). Applications of Context-Aware Computing in Hospital Work - Examples and Design Principles. I 2004 ACM Symposium on Applied Computing: Proceedings of the 2004 ACM symposium on Applied computing (Bind SESSION: Ubiquitous computing (UC), s. 1574-1579). Association for Computing Machinery.

Gerhardy, P. (2004). A Quantitative Version of Kirk's Fixed Point Theorem for Asymptotic Contractions. BRICS Report Series, (RS-04-32).

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.

Viser resultater 4601 til 4650 ud af 6089

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series