Publikationer

Søg publikationer fra Institut for Datalogi

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

Brodal, G. S., Fagerberg, R. & Moruz, G. (2004). On the Adaptiveness of Quicksort. BRICS Report Series, (RS-04-27).

Kristensen, L. M. & Nielsen, K.-D. (2004). On the Application of Zone Flooding in a Traffic Warning System. Daimi Report Series (DAIMI PB), (PB-573).

Nielsen, M., Krukow, K., Karhumäki, J. (red.), Maurer, H. A. (red.), Paun, G. (red.) & Rozenberg, G. (red.) (2004). On the Formal Modeling of Trust in Reputation-Based Systems. I Theory Is Forever, Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday (s. 192-204). Springer. https://doi.org/10.1007/978-3-540-27812-2_18

Damgård, I. B., Pedersen, T. B. & Salvail, L. (2004). On the Key-Uncertainty of Quantum Ciphers and the Computational Security of One-way Quantum Transmission. I C. Cachin & J. Camenisch (red.), Advances in Cryptology - EUROCRYPT 2004: International Conference on the Theory and Applications of Cryptographic Techniques, Interlaken, Switzerland, May 2-6, 2004. Proceedings (s. 91-108). Springer. https://doi.org/10.1007/978-3-540-24676-3_6

Bardram, J. & Christensen, H. B. (2004). Open Issues in Activity-Based and Task-Level Computing. I Proceedings of First International Workshop on Computer Support for Human Tasks and Activities (PB-2004-60 of Cent. for Pervasive Comp. Tech. Rep udg., s. 56-61). Aarhus Universitet.

Sørensen, T. S., Körperich, H., Greil, G. F., Eichhorn, J., Barth, P., Meyer, H., Pedersen, E. M. & Beerbaum, P. (2004). Operator-independent isotropic three-dimensional magnetic resonance imaging for morphology in congenital heart disease: a validation study. Circulation, 110(2), 163-9. https://doi.org/10.1161/01.CIR.0000134282.35183.AD

Arge, L., Samoladas, V. & Yi, K. (2004). Optimal External-Memory Planar Point Enclosure. I S. Albers & T. Radzik (red.), Algorithms - ESA 2004: 12th Annual European Symposium, Bergen, Norway, September 14-17, 2004. Proceedings (s. 40-52). Springer.

Bardram, J., Buschmann, F., Christensen, H. B., Greenwood, D., Hansen, K. M. & Spring, J. H. (2004). PalCom Open Architecture Overview. The Alexandra Institut.

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. I Program and Abstracts: Third Nordic Conference on Cultural and Activity Research. 3-5 September 2004. København (Bind Session 20, s. 30-30 + 118-120). Danmarks Pædagogiske Universitetsforlag.

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

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

Bertelsen, O. W., Korpela, M. & Mursu, A. (red.) (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. (red.) (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. I Proceedings of the 35th SIGCSE technical symposium on Computer science education (s. 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. (s. 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.

Vilien, M., Dahlerup, J. F., Munck, L. K., Nørregaard, P., Grønbaek, K. & Fallingborg, J. (2004). Randomized controlled azathioprine withdrawal after more than two years treatment in Crohn's disease: increased relapse rate the following year. Alimentary Pharmacology and Therapeutics, 19(11), 1147-52. https://doi.org/10.1111/j.1365-2036.2004.01944.x

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. I Fourth Working IEEE/IFIP Conference on Software Architecture, 2004. WICSA 2004. Proceedings. (s. 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. I Ikke angivet (s. 185-188). Association for Computing Machinery.

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

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).

Viser resultater 4801 til 4850 ud af 6139

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series