Publikationer

Søg publikationer fra Institut for Datalogi

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

Nielsen, M. B., Kramp, G., Grønbæk, K., Bubak, M. (red.), van Albada, G. D. (red.), Sloot, P. M. A. (red.) & Dongarra, J. (red.) (2004). Mobile Augmented Reality Support for Architects Based on Feature Tracking Techniques. I Computational Science - ICCS 2004, 4th International Conference, Kraków, Poland, June 6-9, 2004, Part III (3038 i Lecture Notes in Computer Science udg., s. 921-928)

Mosses, P. D., Karsai, G. (red.) & Visser, E. (red.) (2004). Modular Language Descriptions. I Ikke angivet (3286 i Lecture Notes in Computer Science udg., s. 489-490). Springer.

Mosses, P. D. (2004). Modular Structural Operational Semantics. Journal of Logical and Algebraic Methods in Programming, 60-61, 195-228.

Thomsen, R., Boomsma, W., Raidl, G. R. (red.), Cagnoni, S. (red.), Branke, J. (red.), Corne, D. (red.), Drechsler, R. (red.), Jin, Y. (red.), Johnson, C. G. (red.), Machado, P. (red.), Marchiori, E. (red.), Rothlauf, F. (red.), Smith, G. D. (red.) & Squillero, G. (red.) (2004). Multiple Sequence Alignment Using SAGA: Investigating the Effects of Operator Scheduling, Population Seeding, and Crossover Operators. I Applications of Evolutionary Computing (3005 i Lecture Notes in Computer Science udg., s. 113-122). Springer.

Winskel, G., Zappa Nardelli, F., Lévy, J. (red.), Mayr, E. (red.) & Mitchell, J. (red.) (2004). New-HOPLA: A Higher-Order Process Language with Name Generation. I Ikke angivet (s. 521-534). Kluwer Academic Publishers.

Krink, T., Filipic, B., Fogel, G. B. & Thomsen, R. (2004). Noisy Optimization Problems - A Particular Challenge for Differential Evolution? I Ikke angivet (s. 332-339). IEEE Press.

Nielsen, M. & Valencia, F. D. (2004). Notes on Timed Concurrent Constraint Programming. I J. Desel, W. Reisig & G. Rozenberg (red.), Lectures on Concurrency and Petri Nets: Advances in Petri Nets (s. 137-159). Springer. https://doi.org/10.1007/978-3-540-27755-2_20

Bjerrum, E. & Fangel, A. B. (2004). Ny Kontorindretning - et videndelingværktøj - eller bare smart? Børsen Ledelseshåndbøger, (5). http://www.nwow.alexandra.dk/publikationer/KNO.07.041.pdf

De Meuter, W., Ducasse, S., D'Hondt, T. & Madsen, O. L. (2004). Object-oriented language engineering for the post-Java Era. I F. Buschmann, A. P. Buchmann, M. A. Cilia, F. Buschmann, A. P. Buchmann & M. A. Cilia (red.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (s. 143-153). Springer Verlag. https://doi.org/10.1007/978-3-540-25934-3_14

Mailund, T. & Westergaard, M. (2004). Obtaining Memory-Efficient Reachability Graph. I K. Jensen & A. Podelski (red.), 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 (s. 177-191). Springer.

Mailund, T. & Westergaard, M. (2004). Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method. I Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004) (s. 177-191)

Danvy, O. (2004). On Evaluation Contexts, Continuations, and the Rest of the Computation. I Ikke angivet (CSR-04-1 of Technical Reports udg., s. 13-23). School of Computer Science, University of Birmingham.

Arge, L., Brodal, G. S. & Toma, L. (2004). On External-Memory MST, SSP and Multi-Way Planar Graph Separation. Journal of Algorithms, 53(2), 186-206.

Frandsen, G. S. & Shparlinski, I. E. (2004). On Reducing a System of Equations to a Single Equation. I 2004 International Symposium on Symbolic and Algebraic Computation (s. 163-166). Association for Computing Machinery. https://doi.org/10.1145/1005285.1005310

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

Viser resultater 4751 til 4800 ud af 6103

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series