Publikationer

Søg publikationer fra Institut for Datalogi

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

Korpela, M., Allen, J. P., Bertelsen, O., Dittrich, Y., Kuutti, K., Lauche, K. & Mursu, A. (2004). Researching and developing work activities in information systems: Experiences and the way forward. I Inf. Systems Research: Relevant Theory and Informed Practice - IFIP TC8/WG8.2 20th Year Retrospective: Relevant Theory and Informed Practice-Looking Forward from a 20-Year Perspective on IS Res. (s. 655-656). Springer.

Lee, J. (2004). Reverse Code Generation for Java Program Model Checking. Afhandling præsenteret på 6th school on MOdeling and VErifying parallel Processes (MOVEP '04), Bruxelles, Belgien.

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. Afhandling præsenteret på Den Gyldne, Charlottenborg Udstillingsbygning, Charlottenborg, København, Danmark.

Damgård, I. B. & Cramer, R. (2004). Secret-Key Zero-Knowlegde and Non-interactive Verifiable Exponentiation. I M. Naor (red.), Theory of Cryptography: First Theory of Cryptography Conference, TCC 2004, Cambridge, MA, USA, February 19-21, 2004. Proceedings (s. 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. I P. Markopoulos, B. Eggen, E. Aarts & J. L. Crowley (red.), Ambient Intelligence: Second European Symposium, EUSAI 2004, Eindhoven, The Netherlands, November 8-11, 2004. Proceedings (s. 218-229). Springer. https://doi.org/10.1007/978-3-540-30473-9_21

Ernst, E. (2004). Simple, eh?. Afhandling præsenteret på Software-engineering Properties of Languages for Aspect Technologies (SPLAT'04), Lancaster, Storbritannien.

Arge, L. A. & Toma, L. (2004). Simplified External Memory Algorithms for Planar DAGs. I T. Hagerup & J. Katajainen (red.), Algorithm Theory - SWAT 2004: 9th Scandinavian Workshop on Algorithm Theory, Humlebaek, Denmark, July 8-10, 2004. Proceedings (s. 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. I Proceedings of the 9th Scandinavian Workshop on Algorithm Theory, Humlebaek, Denmark, July 8-10, 2004. (3111 i Lecture Notes in Computer Science udg., Bind 3111/2004, s. 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. I H. Yang (red.), Software Evolution with UML and XML (Bind Chapter VI, s. 152-189). Idea Group Publishing.

Hansen, K. A. & Miltersen, P. B. (2004). Some Meet-in-the-middle Circuit Lower Bounds. I J. Fiala, V. Koubek & J. Kratochvil (red.), Mathematical Foundations of Computer Science 2004: 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004. Proceedings (s. 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 udg.) IEEE Press.

Kristensen, L. M. & Jensen, K. (2004). Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks. I H. Ehrig, W. Damm, J. Desel, M. Grosse-Rhode, W. Reif, E. Schneider & E. Westkämper (red.), Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation. Final Report (Bind 3147, s. 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. I J. E. Bardram, H. B. Christensen, D. Garlan & J. P. Sousa (red.), Proceedings of First International Workshop on Computer Support for Human Tasks and Activities (Bind CfPC-2004-PB-60, s. 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. I Third AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS04) (s. 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. (red.), Reisig, W. (red.) & Rozenberg, G. (red.) (2004). Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned. I Proceedings of Advances Course on Petri Nets (Eichstatt) (3098 i Lecture Notes in Computer Science udg., s. 402-412). Springer.

Bennedsen, J. & Caspersen, M. E. (2004). Teaching Object-Oriented Programming - Towards Teaching a Systematic Programming Process. Afhandling præsenteret på 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, Norge.

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

Bertelsen, O. W. (2004). The Activity Walkthrough: An Expert Review Method Based on Activity Theory. I Proceedings of the third Nordic conference on Human-computer interaction (s. 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. I Ikke angivet (s. 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. I H. Lahrmann, P. H. Jespersen, A. Landex, O. A. Nielsen & T. Hels (red.), Proceedings of Trafikdage 2004 (s. 15-24). Aalborg Universitetsforlag. http://www.trafikdage.dk/papers/soeg/Paper.asp/?PaperID=1044

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

Ernst, E. (2004). The Expression Problem, Scandinavian Style. I MASPEGHI 2004 (ISRN I3S/RR-2004-15-FR udg.). 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. (red.), Wactlar, H. (red.) & Korhonen, I. (red.) (2004). The Personal Medical Unit - A Ubiquitous Computing Infrastructure for Personal Pervasive Healthcare. I UbiHealth 2004: The 3nd International Workshop on Ubiquitous Computing for Pervasive Healthcare Applications (Nottingham, England ) UbiComp.org Community.

Arge, L., de Berg, M., Haverkort, H. & Yi, K. (2004). The Priority R-Tree: A Practically Efficient and Worst-Case Optimal R-tree. I G. Weikum, A. C. König & S. Dessloch (red.), Proceedings of ACM SIGMOD International Conference on Management of Data (s. 347-358). Association for Computing Machinery. https://doi.org/10.1145/1007568.1007608

Hansen, K. M. (2004). Thoth - A Publish/Subscribe Architecture for Peer-to-Peer Tool Integration. International Journal on Software Tools for Technology Transfer, 6(3), 219-230. https://doi.org/10.1007/s10009-004-0156-7

Jensen, K. & Podelski, A. (red.) (2004). 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. Springer. Lecture Notes in Computer Science Bind 2988 https://doi.org/10.1007/b96393

Westergaard, M. & Kindler, E. (red.) (2004). Towards a High-level Petri Net Type Type Definition. I Proceeding of the Workshop on the Definition, Implementation and Application of a Standard Interchange Format for Petri Nets

Bertelsen, O. W. (2004). Transparency by Tertiary Artefactness. I Workshop on Aesthetic Approaches to Human-Computer Interaction (Bind DAIMI PB-572, s. 1-4). Department of Computer Science.

Valencia, R., Foster, R. B., Villa, G., Condit, R., Svenning, J.-C., Hernandez, C., Romoleroux, K., Losos, E., Magård, E. & Balslev, H. (2004). Tree species distributions and local habitat variation in the Amazon: large forest plot in eastern Ecuador. Journal of Ecology, 92, 214-229.

Valencia, R., Condit, R., Romoleroux, K., Foster, R. B., Munoz, G. V., Losos, E. C., Balslev, H., Svenning, J.-C. & Magård, E. (2004). Tree species diversity and distribution in a forest plot at Yasuní National Park, Amazonian Ecuador. I in: E.C. Losos and E. G. Leigh, Jr. (eds.). Tropical Forest Diversity and Dynamism, The University of Chicago Press, Chicago and London. (s. 107-118)

Carbone, M., Nielsen, M. & Sassone, V. (2004). Trust in Global Computing. Association for Logic Programming Newsletter, 17(4).

Damgård, I. B., Fehr, S., Morozov, K. & Salvail, L. (2004). Unfair Noisy Channels and Oblivious Transfer. I M. Naor (red.), Theory of Cryptography: First Theory of Cryptography Conference, TCC 2004, Cambridge, MA, USA, February 19-21, 2004. Proceedings (s. 355-373). Springer. https://doi.org/10.1007/978-3-540-24638-1_20

Barak, B., Canetti, R., Nielsen, J. B. & Pass, R. (2004). Universally composable protocols with relaxed set-up assumptions. I 45th Annual IEEE Symposium on Foundations of Computer Science, 2004. Proceedings. (s. 186-195). IEEE Computer Society Press. https://doi.org/10.1109/FOCS.2004.71

Barak, B., Canetti, R., Nielsen, J. B., Pass, R. & IEEE (red.) (2004). Universally Composable Protocols with Relaxed Set-Up Assumptions. I Ikke angivet (s. 186-195). IEEE Press.

Zimmer, P. (2004). Using Ambients to Control Resources. International Journal of Information Security, 2(3-4), 126-144.

Kristensen, L. M. (2004). Using Coloured Petri Nets in the Development of Protocols for Ad-Hoc Networking. I Proceedings of 3rd International Workshop on Integration and Specification Techniques for Applications in Engineering (s. 12-13)

Blunck, H., Hinrichs, K., Puke, I. & Vahrenhold, J. (2004). Verarbeitung von Trajektorien mobiler Objekte. I Geoinformation und Mobilität - von der Forschung zur praktischen Anwendung. : Beiträge zu den Münsteraner GI-Tagen 2004 (s. 29-40)

Schougaard, K. R. (2004). Virtual Distances Used for Optimization of Applicationsin the Pervasive Computing Domain. I A. Fersha, H. Hortner & G. Kotsis (red.), Advances in Pervasive Computing: A Collection of Contributions Presented at PERVASIVE 2004 (s. 133-139). Stollfuß Medien.

Bertelsen, O. W. & Godsk, M. (2004). WAW - An Activity Theory Based Tool for Early Website Usability Assessment. International Journal of Human Resources Development and Management, 4(1), 73-93.

Büscher, M., Eriksen, M. A., Kristensen, J. F. & Mogensen, P. H. (2004). Ways of Grounding Imagination. I PDC 04 Proceedings of the eighth conference on Participatory design: Artful Integration: Interweaving Media, Materials and Practices (Bind 1, s. 193-203). Association for Computing Machinery. https://doi.org/10.1145/1011870.1011893

Valencia, R., Condit, R., Foster, R. B., Romoleroux, K., Munoz, G. V., Svenning, J.-C., Magård, E., Bass, M., Losos, E. C., Balslev, H., Losos, E. C. (red.) & Leigh, E. G. . J. (red.) (2004). Yasuní forest dynamic plot, Ecuador. I Tropical forest diversity and dynamism: Findings from a large-scale plot network (s. 609-620)

Viser resultater 4751 til 4800 ud af 6061

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series