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

Bertelsen, O. W. (2004). Panel Session: Activity Theory and User Centered Design of IT Systems - the case of the ActAD approach. Session 20; 15:30 - 17:30. 04.09.2004. In Program and Abstracts: Third Nordic Conference on Cultural and Activity Research. 3-5 September 2004. København (Vol. Session 20, pp. 30-30 + 118-120). Danmarks Pædagogiske Universitetsforlag.

Mosegaard, J. (2004). Parameter Optimisation for the Behaviour of Elastic Models over Time. In J. D. Westwood (Ed.), Medicine Meets Virtual Reality (Vol. Technology and informatics 98, pp. 256-258). IOS Press.

Varacca, D., Völzer, H., Winskel, G., Gardner, P. (Ed.) & Yoshida, N. (Ed.) (2004). Probabilistic Event Structures and Domains. In Ikke angivet (3170 i Lecture Notes in Computer Science ed., pp. 481-496). Springer.

Bertelsen, O. W., Korpela, M. & Mursu, A. (Eds.) (2004). Proceedings of the First International Workshop on Activity Theory Based Practical Methods for IT-Design. Department of Computer Science, Aarhus University.

Arge, L., Italiano, G. F. & Sedgewick, R. (Eds.) (2004). Proceedings of the Sixth Workshop on Algorithm Engineering and Experiments and the First Workshop on Analytic Algorithmics and Combinatorics. Society for Industrial and Applied Mathematics.

Cattani, G. L. & Winskel, G. (2004). Profunctors, Open Maps and Bisimulation. BRICS Report Series, (RS-04-22).

Lindholm, M. (2004). Programming for non-computer science students. University of Aalborg.

Bennedsen, J. & Caspersen, M. E. (2004). Programming in Context: A Model-First Approach to CS1. In Proceedings of the 35th SIGCSE technical symposium on Computer science education (pp. 477-481). Association for Computing Machinery. https://doi.org/10.1145/971300.971461

Christensen, O. F., Hobolth, A. & Jensen, J. L. (2004). Pseudo-likelihood analysis of context-dependent codon substitution models. (pp. A-59).

Mailund, T. & Pedersen, C. N. S. (2004). QDist - Quartet Distance between Evolutionary Trees. Bioinformatics, 20(10), 1636-1637.

Mailund & Pedersen, C. N. S. (2004). QDist—Quartet Distance Between Evolutionary Trees. Bioinformatics, 20(10), 1636-1637.

Mailund, T. & Pedersen, C. N. S. (2004). QuickJoin - Fast Neighbour-Joining Tree Reconstruction. Bioinformatics, 20(17), 3261-3262.

Mailund & Pedersen, C. N. S. (2004). QuickJoin—Fast Neighbour-Joining Tree Reconstruction. Bioinformatics, 20(17), 3261-3262.

Besenbacher, S., Mailund, T., Westh-Nielsen, L. & Pedersen, C. S. (2004). RBT -- A tool for building refined Buneman trees. Bioinformatics, doi:10.1093/bti195, in press.

Besenbacher, S., Mailund, T., Westh-Nielsen, L. & Pedersen, C. N. S. (2004). RBT - A Tool for Building Refined Buneman Trees. Bioinformatics, 21(8), 1711-1712.

Bardram, J. E. & Christensen, H. B. (2004). Real-time collaboration in activity-based architectures. In Fourth Working IEEE/IFIP Conference on Software Architecture, 2004. WICSA 2004. Proceedings. (pp. 325-328). IEEE Computer Society Press. https://doi.org/10.1109/WICSA.2004.1310719

Danvy, O. & Nielsen, L. R. (2004). Refocusing in Reduction Semantics. BRICS Report Series, (RS-04-26).

Jensen, M. & Søgaard, M. (2004). Refocusing the Contextual Turn: The Forgotten Construction of Meaning at the Interface. In Ikke angivet (pp. 185-188). Association for Computing Machinery.

Petersen, M. G. (2004). Remarkable Computing - the Challenge of Designing for the Home. In CHI '04 extended abstracts on Human factors in computing systems (pp. 1445-1449). Association for Computing Machinery. https://doi.org/10.1145/985921.986086

Lee, J. (2004). Reverse Code Generation for Java Program Model Checking. Paper presented at 6th school on MOdeling and VErifying parallel Processes (MOVEP '04), Bruxelles, Belgium.

Damgaard, C. K., Andersen, E. S., Knudsen, B., Gorodkin, J. & Kjems, J. (2004). RNA interactions in the 5' region of the HIV-1 genome. Journal of Molecular Biology, 336(2), 369-79. https://doi.org/10.1016/j.jmb.2003.12.010

Andersen, E. S., Contera, S. A., Knudsen, B., Damgaard, C. K., Besenbacher, F. & Kjems, J. (2004). Role of the trans-activation response element in dimerization of HIV-1 RNA. Journal of Biological Chemistry, 279(21), 22243-22249. https://doi.org/10.1074/jbc.M314326200

Møller-Nielsen, P. & Gejl Kristensen, J. (2004). Room #1. (Strandgade 10, 1. sal): Virtual reality and Visual Art. Paper presented at Den Gyldne, Charlottenborg Udstillingsbygning, Charlottenborg, København, Denmark.

Damgård, I. B. & Cramer, R. (2004). Secret-Key Zero-Knowlegde and Non-interactive Verifiable Exponentiation. In M. Naor (Ed.), Theory of Cryptography: First Theory of Cryptography Conference, TCC 2004, Cambridge, MA, USA, February 19-21, 2004. Proceedings (pp. 223-237). Springer. https://doi.org/10.1007/978-3-540-24638-1_13

Hannila, M.-L., Jensen, E. B. V., Hobolth, A. & Nyengaard, J. R. (2004). Shape modelling of spatial particles from planar central sections - a case study. Journal of Microscopy, 215(2), 183-190. https://doi.org/10.1111/j.0022-2720.2004.01364.x

Grønbæk, K. & Petersen, M. G. (2004). Shaping the Ambience of Homes with Domestic Hypermedia. In P. Markopoulos, B. Eggen, E. Aarts & J. L. Crowley (Eds.), Ambient Intelligence: Second European Symposium, EUSAI 2004, Eindhoven, The Netherlands, November 8-11, 2004. Proceedings (pp. 218-229). Springer. https://doi.org/10.1007/978-3-540-30473-9_21

Ernst, E. (2004). Simple, eh?. Paper presented at Software-engineering Properties of Languages for Aspect Technologies (SPLAT'04), Lancaster, United Kingdom.

Arge, L. A. & Toma, L. (2004). Simplified External Memory Algorithms for Planar DAGs. In T. Hagerup & J. Katajainen (Eds.), Algorithm Theory - SWAT 2004: 9th Scandinavian Workshop on Algorithm Theory, Humlebaek, Denmark, July 8-10, 2004. Proceedings (pp. 493-503). Springer. https://doi.org/10.1007/978-3-540-27810-8_42

Arge, L. & Toma, L. (2004). Simplified External Memory Algorithms for Planar DAGS. In Proceedings of the 9th Scandinavian Workshop on Algorithm Theory, Humlebaek, Denmark, July 8-10, 2004. (3111 i Lecture Notes in Computer Science ed., Vol. 3111/2004, pp. 493-503). Springer.

Hansen, T. R. (2004). Socio-Technical Experiments - A New Approach on the Design Process. Electronic Colloquium on Computational Complexity, (CfPC 2004-PP-57).

Zhang, W., Jarzabek, S., Zhang, H., Loughran, N. & Rashid, A. (2004). Software evolution with XVCL. In H. Yang (Ed.), Software Evolution with UML and XML (Vol. Chapter VI, pp. 152-189). Idea Group Publishing.

Hansen, K. A. & Miltersen, P. B. (2004). Some Meet-in-the-middle Circuit Lower Bounds. In J. Fiala, V. Koubek & J. Kratochvil (Eds.), Mathematical Foundations of Computer Science 2004: 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004. Proceedings (pp. 334-345). Springer. https://doi.org/10.1007/978-3-540-28629-5_24

Bardram, J. E. (2004). Special issue on Pervasive Healthcare. (8(3) of IEEE Trans. on Inf. Tech. in Biomedicine ed.) IEEE Press.

Kristensen, L. M. & Jensen, K. (2004). Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks. In H. Ehrig, W. Damm, J. Desel, M. Grosse-Rhode, W. Reif, E. Schneider & E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation. Final Report (Vol. 3147, pp. 248-269). Springer.

Kirkegaard, C., Møller, A. & Schwartzbach, M. I. (2004). Static Analysis of XML Transformations in Java. I E E E Transactions on Software Engineering, 30(3), 181-192. https://doi.org/10.1109/TSE.2004.1271173

Gerhardy, P. & Kohlenbach, U. (2004). Strongly Uniform Bounds from Semi-Constructive Proofs. BRICS Report Series, (RS-04-31).

Schultz, U. P. & Schougaard, K. R. (2004). Supporting Activity-Based Computingusing Dynamically (De)Composable Mobile Applications. In J. E. Bardram, H. B. Christensen, D. Garlan & J. P. Sousa (Eds.), Proceedings of First International Workshop on Computer Support for Human Tasks and Activities (Vol. CfPC-2004-PB-60, pp. 12-16). Center for Pervasive Computing.

Bardram, J. & Christensen, H. B. (2004). Supporting Pervasive Collaboration in Healthcare - An Activity-Driven Computing Infrastructure. Department of Computer Science, Aarhus University.

Loughran, N., Rashid, A., Zhang, W. & Jarzabek, S. (2004). Supporting Product Line Evolution with Framed Aspects. In Third AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS04) (pp. 15-19). Association for Computing Machinery.

Danvy, O. (2004). Sur un Exemple de Patrick Greussay. BRICS Report Series, (RS-04-41).

Jørgensen, J. B., Christensen, S., Desel, J. (Ed.), Reisig, W. (Ed.) & Rozenberg, G. (Ed.) (2004). Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned. In Proceedings of Advances Course on Petri Nets (Eichstatt) (3098 i Lecture Notes in Computer Science ed., pp. 402-412). Springer.

Bennedsen, J. & Caspersen, M. E. (2004). Teaching Object-Oriented Programming - Towards Teaching a Systematic Programming Process. Paper presented at Eighth Workshop on Pedagogies and Tools for the Teaching and Learning of Object Oriented Concepts. Affiliated with 18th European Conference on Object-Oriented Programming (ECOOP 2004), Oslo, Norway.

van den Brand, M., Iversen, J., Mosses, P. D., Hedin, G. (Ed.) & Van Wyk, E. (Ed.) (2004). The Action Environment: Tool Demonstration. In Ikke angivet (pp. 177-180). Elsevier.

Bertelsen, O. W. (2004). The Activity Walkthrough: An Expert Review Method Based on Activity Theory. In Proceedings of the third Nordic conference on Human-computer interaction (pp. 251-254). Association for Computing Machinery. https://doi.org/10.1145/1028014.1028052

Bardram, J. E. & Hansen, T. R. (2004). The AWARE Architecture: Supporting Context Mediated Social Awareness in Mobile Cooperation. In Ikke angivet (pp. 192-201). Association for Computing Machinery.

Hansen, K. M., Kristensen, L. M., Eskildsen, T., Nielsen, K.-D., Thorup, R. E., Fridthjof, J., Merrild, U. & Eskildsen, J. (2004). The Ex Hoc Infrastructure - Enhancing Traffic Safety through LIfe WArning Systems. In H. Lahrmann, P. H. Jespersen, A. Landex, O. A. Nielsen & T. Hels (Eds.), Proceedings of Trafikdage 2004 (pp. 15-24). Aalborg Universitetsforlag. http://www.trafikdage.dk/papers/soeg/Paper.asp/?PaperID=1044

Torgersen, M. & Odersky, M. (Ed.) (2004). The Expression Problem Revisited - Four New Solutions using Generics. In Proceedings of the 18th European Conference on Object-Oriented Programming (ECOOP'04) (3086 i Lecture Notes in Computer Science ed., pp. 123-146). Springer.

Ernst, E. (2004). The Expression Problem, Scandinavian Style. In MASPEGHI 2004 (ISRN I3S/RR-2004-15-FR ed.). Laboratoire I3S, Sophia Antipolis.

Grønbæk, K. & Kejser, T. (2004). The Gaia Framework: Version Support In Web Based Open Hypermedia. IADIS International Journal on WWW/Internet, 2(1), 17-33.

Bardram, J. E., Adlam, T. (Ed.), Wactlar, H. (Ed.) & Korhonen, I. (Ed.) (2004). The Personal Medical Unit - A Ubiquitous Computing Infrastructure for Personal Pervasive Healthcare. In UbiHealth 2004: The 3nd International Workshop on Ubiquitous Computing for Pervasive Healthcare Applications (Nottingham, England ) UbiComp.org Community.

Displaying results 4701 to 4750 out of 6000

100

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University