Publikationer

Søg publikationer fra Institut for Datalogi

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

Fjuk, A., Berge, O., Bennedsen, J. & Caspersen, M. E. (2004). Learning Object-Orientation through ICT-mediated Apprenticeship. I Proceedings of the IEEE International Conference on Advanced Learning Technologies (s. 380-384). IEEE Computer Society Press. https://doi.org/10.1109/ICALT.2004.1357441

Winskel, G., Ehrhard, T. (red.), Girard, J. (red.), Ruet, P. (red.) & Scot, P. (red.) (2004). Linearity and Nonlinearity in Distributed Computation. I Linear Logic in Computer Science (316 of London Math. Soc. Lecture Note Series udg., s. 151-188). Cambridge University Press.

Birkedal, L., Torp-Smith, N. & Reynolds, J. C. (2004). Local reasoning about a copying garbage collector. ACM SIGPLAN Notices, 39(1), 220-231. http://www.scopus.com/inward/record.url?scp=1442263140&partnerID=8YFLogxK

Mosegaard, J. (2004). LR-Spring Mass Model for Cardiac Surgical Simulation. I Medicine Meets Virtual Reality (12 udg., Bind 98, s. 253-255). IOS Press.

Lahire, P., Arévalo, G., Astudillo, H., Black, A. P., Ernst, E., Huchard, M., Oplustil, T., Sakkinen, M. & Valtchev, P. (red.) (2004). MASPEGHI 2004 - Mechanisms for Specialization, Generalization, and Inheritance. I B. M. Østvold & J. Malenfant (red.), Object-Oriented Technology. ECOOP 2004 Workshop Reader: ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports (s. 101-117). Springer. https://doi.org/10.1007/978-3-540-30554-5_11

Pold, S., Bertelsen, O. W. (red.), Peterser, M. G. (red.) & Pold, S. (red.) (2004). Material Matters: What can HCI Learn from Aesthetics? I Aesthetic Approaches to Human-Computer Interaction (s. 33-36). Datalogisk Institut. http://www.daimi.au.dk/publications/PB/572/PB-572.pdf

Madsen, B. A. & Rossmanith, P. (2004). Maximum Exact Satisfiability: NP-completeness Proofs and Exact Algorithms. BRICS Report Series, (RS-04-19).

Grønbæk, K., Nielsen, M. B. & Kramp, G. (2004). Mobile Augmented Reality Support for Architects based on feature Tracking Techniques. I M. Bubak, G. D. van Albada, P. M. A. Sloth & J. Dongarra (red.), Computational Science - ICCS 2004 (s. 921-928). Springer. https://doi.org/10.1007/b97989

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

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. PalCom Working Note Nr. #24

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

Viser resultater 4701 til 4750 ud af 6061

Forrige

100

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series