Datalogisk Institut

Formidling

Tidsskriftartikel

Mogensen, PH 2005, 'Next Generation Collaborative Working Environments' Collaboration@Work, The 2005 Report on new working environments and practices, s. 106-108.

Forskning

Artikel

Allender, E, Bürgisser, P, Kjeldgaard-Pedersen, J, & Miltersen, PB 2005, 'On the Complexity of Numerical Analysis' Electronic Colloquium on Computational Complexity (ECCC), nr. TR05-037, s. 1-12.

Biernacka, M, & Danvy, O 2005, 'A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines' BRICS Research Series, nr. RS-05-38.

Biernacka, M, Danvy, O, & Støvring, K 2005, 'Program Extraction from Proofs of Weak Head Normalization' BRICS Research Series, nr. RS-05-12.

Biernacka, M, & Danvy, O 2005, 'A Concrete Framework for Environment Machines' BRICS Research Series, nr. RS-05-15.

Biernacki, D, & Danvy, O 2005, 'On the Static and Dynamic Extent of Delimited Continuations' BRICS Research Series, nr. RS-05-36.

Biernacki, D, & Danvy, O 2005, 'A Simple Proof of a Folklore Theorem about Delimited Control' BRICS Research Series, nr. RS-05-25.

Biernacki, D, Danvy, O, & Millikin, KS 2005, 'A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations' BRICS Research Series, nr. RS-05-16, s. 1-26.

Brodal, GS, Demaine, ED, & Munro, JI 2005, 'Fast Allocation and Deallocation with an Improved Buddy System' Acta Informatica, vol. 41, nr. 4-5, s. 273-291.

Brodal, GS, Kaligosi, K, Katriel, I, & Kutz, M 2005, 'Faster Algorithms for Computing Longest Common Increasing Subsequences' BRICS Research Series, nr. RS-05-37.

Clemensen, J, Larsen, SB, & Ejskjær, N 2005, 'Telemedical treatment at home of diabetic foot ulcers.' Journal of telemedicine and telecare., vol. 11, nr. Suppl. 2, s. S14-16.

Ernst, E, Ostermann, K, & Cook, WR 2005, 'A Virtual Class Calculus' DAIMI PB, vol. 577.

Filinski, A, & Rohde, HK 2005, 'Denotational Aspects of Untyped Normalization by Evaluation' BRICS Research Series, nr. RS-05-4.

Gerhardy, P, & Kohlenbach, U 2005, 'General Logical Metatheorems for Functional Analysis' BRICS Research Series, nr. RS-05-21.

Krukow, KK 2005, 'An Operational Semantics for Trust Policies' BRICS Research Series, nr. BRICS RS-05-30, s. 1-38.

Krukow, KK, Nielsen, M, & Sassone, V 2005, 'A Framework for Concrete Reputation-Systems' BRICS Research Series, nr. BRICS RS-05-23, s. 1-48.

Mosses, PD 2005, 'Exploiting Labels in Structural Operational Semantics' BRICS Research Series, nr. RS-05-8.

Mosses, PD 2005, 'Modular Structural Operational Semantics' BRICS Research Series, nr. RS-05-7.

Møller, A, Olesen, MØ, & Schwartzbach, MI 2005, 'Static Validation of XSL Transformations' BRICS Research Series, nr. RS-05-32.

Møller, A, & Kirkegaard, C 2005, 'Typechecking with XML Schema in XACT' BRICS Research Series, nr. RS-05-31, s. 1-10.

Pagter, JI, Toft, T, Damgård, IB, Bogetoft, P, Nielsen, K, & Jakobsen, T 2005, 'Secure Computing, Economy, and Trust - A Generic Solution for Secure Auctions with Real-World Applications' BRICS Research Series, nr. RS-05-18, s. 1-35.

Rohde, HK 2005, 'On the Recursive Enumerability of Fixed-Point Combinators' BRICS Research Series, nr. RS-05-34.

Rohde, HK 2005, 'Measuring the Propagation of Information in Partial Evaluation' BRICS Research Series, nr. RS-05-26.

Zhao, Y, Nielsen, JB, Deng, RH, & Feng, D 2005, 'Generic yet Practical ZK Arguments from any Public-Coin HVZK' Electronic Colloquium on Computational Complexity (ECCC), nr. TR05-162, s. 1-16.

Zimmer, P 2005, 'A Calculus for Context-Awareness' BRICS Research Series, nr. RS-05-27.

Artikel peer reviewed

Ager, MS, Danvy, O, & Midtgaard, J 2005, 'A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects' Theoretical Computer Science, vol. 342, nr. 1, s. 149-172.

Bardram, JE 2005, 'The Trouble with Login - On Usability and Computer Security in Ubiquitous Computing' Personal and Ubiquitous Computing, vol. 9, nr. 6, s. 357-367.

Bardram, JE 2005, 'Activity-Based Computing: Support for Mobility and Collaboration in Ubiquitous Computing' Personal and Ubiquitous Computing, vol. 9, nr. 5, s. 312-322.

Bardram, JE, Clemensen, J, & Larsen, SB 2005, 'Developing Pervasive E-Health for Moving Experts from Hospital to Home' IADIS International Journal of WWW / Internet, vol. II, nr. 2, s. 57-68.

Barros, JP, & Jørgensen, JB 2005, 'A Case Study on Coloured Petri Nets in Object-oriented Analysis and Design' Nordic Journal of Computing, vol. 12, nr. 3, s. 229-250.

Besenbacher, S, Mailund, , Westh-Nielsen, L, & Pedersen, CNS 2005, 'RBT—A Tool for Building Refined Buneman Trees' Bioinformatics, vol. 21, nr. 8, s. 1711-1712.

Biernacka, M, Biernacki, D, & Danvy, O 2005, 'An Operational Foundation for Delimited Continuations in the CPS Hierarchy' Logical Methods in Computer Science, vol. 1, nr. 2.

Biernacki, DP, Danvy, O, & Shan, C 2005, 'On the Dynamic Extent of Delimited Continuations' Information Processing Letters, vol. 96, nr. 1, s. 7-17.

Brandorff, S, Nielsen, ML, & Christensen, HB 2005, 'A Tutorial on Design Patterns for Music Notation Software' Computer Music Journal, vol. 29, nr. 3, s. 42-54.

Byskov, JM, Madsen, BA, & Skjernaa, B 2005, 'On the Number of Maximal Bipartite Subgraphs of a Graph' Journal of Graph Theory, vol. 48, nr. 2, s. 127-132.

Bødker, S, & Andersen, PB 2005, 'Complex Mediation' Journal of Human Computer Interaction, vol. 20, nr. 4, s. 353-402.

Bødker, S, & Christiansen, E 2006, 'Computer support for social awareness in flexible work' Journal of Computer Supported Cooperative Work, vol. 15, nr. 1, s. 1-28.

Cattani, GL, & Winskel, G 2005, 'Profunctors, open maps and bisimulation' Mathematical Structures in Computer Science, vol. 15, nr. 3, s. 553-614.

Czumaj, A, Halldorsson, MM, Lingas, A, & Nilsson, JP 2005, 'Approximation Algorithms for Optimization Problems in Graphs with Superlogarithmic Treewidth' Information Processing Letters, vol. 94, nr. 2, s. 49-53.

Damgård, IB, & Frandsen, GS 2005, 'Efficient algorithms for gcd and cubic residuosity in the ring of Eisenstein integers' Journal of Symbolic Computation, vol. 39, nr. 6, s. 643-652.

Danvy, O, & Goldberg, M 2005, 'There and Back Again' Fundamenta Informaticae, vol. 66, nr. 4, s. 397-413.

Danvy, O, & Nielsen, L 2005, 'CPS Transformation of Beta-Redexes' Information Processing Letters, vol. 94, nr. 5, s. 217-224.

Danvy, O 2005, 'From Reduction-based to Reduction-free Normalization' Electronic Notes in Theoretical Computer Science, vol. 124, nr. 2, s. 79-100.

Fitzi, M 2005, 'Minimal complete primitives for unconditional multi-party computation' Journal of Cryptology, vol. 18, nr. 1, s. 37-61.

Fitzi, M 2005, 'Byzantine agreement given partial broadcast' Journal of Cryptology, vol. 18, nr. 3, s. 191-217.

Frandsen, GS, & Miltersen, PB 2005, 'Reviewing Bounds on the Circuit Size of the Hardest Functions' Information Processing Letters, vol. 95, nr. 2, s. 354-357.

Gardner, R, Hobolth, A, & Vedel, EB 2005, 'Shape discrimination by total curvature, with a view to cancer diagnostics.' J. Microsc., vol. 217, s. 49-59.

Gerhardy, P 2005, 'Extracting Herbrand Disjunctions by Functional Interpretation' Archive for Mathematical Logic, vol. 44, s. 633-644.

Gerhardy, P 2005, 'The Role of Quantifier Alternations in Cut Elimination' Notre Dame Journal of Formal Logic, vol. 46, nr. 2, s. 165-171.

Gudmundsson, J, Haverkort, HJ, & van Krefeld, M 2005, 'Constrained Higher-Order Delaunay Triangulations' Computational Geometry, vol. 30, nr. 3, s. 271-277.

Hansen, KM, Eskildsen, T, Torgersen, M, Andersen, J, Lars, B, Steffen, G, & Lund, KV 2005, 'Design, Implementation, and Evaluation of the Resilient Smalltalk Embedded Platform' Computer Languages, Systems & Structures, vol. 31, nr. 3-4, s. 127-141.

Hansen, KA 2006, 'Constant Width Planar Computation Characterizes ACC ⁰ ' Theory of Computing Systems, vol. 39, nr. 1, s. 79-92.

Hernest, M, & Kohlenbach, U 2005, 'A complexity analysis of functional interpretations' Theoretical Computer Science, vol. 338, nr. 1-3, s. 200-246.

Jensen, K, & Podelski, A (red.) 2005, 'Special section on: Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2004' Theoretical Computer Science, vol. 345, nr. 1, s. 1-170.

Jørgensen, FG, Hobolth, A, Hornshøj, H, Bendixen, C, Fredholm, M, & Schierup, MH 2005, 'Comparative analysis of protein coding sequences from human, mouse, and the domesticated pig  ' BMC Biology  , vol. 3, nr. 2.

Kohlenbach, U 2005, 'Some Logical Metatheorems with Applications in Functional Analysis' Transactions of the American Mathematical Society, vol. 357, nr. 1, s. 89-128.

Lambov, BZ 2005, 'Rates of Convergence of Recursively Defined Sequences' Electronic Notes in Computer Science, vol. 120, s. 125-133.

Madsen, BA, Byskov, JM, & Skjernaa, B 2005, 'New Algorithms for Exact Satisfiability' Theoretical Computer Science, vol. 332, nr. 1-3, s. 515-541.

Mailund, , Schierup, MH, Pedersen, CNS, Mechlenborg, P, Madsen, JN, & Schauser, L 2005, 'CoaSim: A Flexible Environment for Simulating Genetic Data under Coalescent Models' BMC Bioinformatics, vol. 6, nr. 252.

Miltersen, PB, & Vinodchandran, N 2005, 'Derandomizing Arthur-Merlin games using hitting sets' Computational Complexity, vol. 14, s. 256-279.

Miltersen, PB, Radhakrishnan, J, & Wegener, I 2005, 'On converting CNF to DNF' Theoretical Computer Science, vol. 347, s. 325-335.

Pagter, JI 2005, 'On Ajtai’s Lower Bound Technique for R-way Branching Programs and the Hamming Distance Problem' Chicago Journal of Theoretical Computer Science.

Petersen, MG 2005, 'Interactive Spaces: Towards a Better Everyday?' Interactions, vol. July+August, s. 44-45.

Petersen, MG, Krogh, PG, Ludvigsen, M, & Lykke-Olesen, A 2005, 'Floor interaction: HCI reaching new ground' CHI 2005, s. 1717-1720.

Tetsuo, A, de Berg, M, Cheong, O, Everett, H, Haverkort, HJ, Katoh, N, & Wolff, A 2005, 'Optimal Spanners for Axis-Aligned Rectangles' Computational Geometry, vol. 30, nr. 1, s. 59-77.

Konferenceartikel

Allan, C, Avgustinov, P, Christensen, AS, Hendren, L, Kuzins, S, Lhot´ak, O, de Moor, O, Sereni, D, Sittampalam, G, & Tibble, J 2005, 'Adding Trace Matching with Free Variables to AspectJ' I Proc. 20th International Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2005, s. 345-364.

Andersen, P, Bardram, JE, Christensen, HB, Corry, AV, Hansen, KM, Schmid, R, & Greenwood, D 2005, 'An Open Architecture for Palpable Computing: Some Thoughts on Object Technology, Palpable Computing, and Architectures for Ambient Computing' Paper fremlagt ved ECOOP 2005 Object Technology for Ambient Intelligence Workshop, Glasgow, Storbritannien. 25. juli 2005 - 26. juli 2005.

Arge, L, Brodal, GS, Fagerberg, R, & Laustsen, M 2005, 'Cache-Oblivious Planar Orthogonal Range Searching and Counting' I Proc. 21st Annual ACM Symposium on Computational Geometry, ACM s. 160-169.

Avgustinov, P, Christensen, AS, Hendren, L, Kuzins, S, Lhot´ak, J, Lhot´ak, O, de Moor, O, Sereni, D, Sittampalam, G, & Tibble, J 2005, 'abc: An extensible AspectJ compiler' I AOSD 2005, s. 87-98.

Avgustinov, P, Christensen, AS, Hendren, L, Kuzins, S, Lhot´ak, J, Lhot´ak, O, de Moor, O, Sereni, D, Sittampalam, G, & Tibble, J 2005, 'Optimising AspectJ' I PLDI 2005, ACM Press s. 117-128.

Bardram, JE, Bunde-Pedersen, J, & Mogensen, M 2005, 'Differentiating between Accountable and Ephemeral Events in the ABC Hybrid Architecture for Activity-Based Collaboration' I CollaborateCom 2005, 19. december 2005 - 21. december 2005, IEEE Press s. 168--176.

Bardram, JE, & Bossen, C 2005, 'A web of coordinative artifacts: collaborative work at a hospital ward' I GROUP 05, 6. november 2005 - 9. november 2005, ACM Press, New York, NY, USA, s. 168-176.

Bardram, JE, Bossen, C, & Thomsen, A 2005, 'Designing for transformations in collaboration: a study of the deployment of homecare technology' I GROUP 05, 6. november 2005 - 9. november 2005, ACM Press, New York, s. 294-303.

Bardram, JE, Bossen, C, & Thomsen, AB 2005, 'Designing for Transformations in Collaboration: A Study of the Deployment of Homecare Technology' I GROUP´05: Proceedings of teh 2005 International ACM SIGGROUP Conference on Supporting Group Work, ACM Press s. 294-303.

Bardram, JE 2005, 'The Java Context Awareness Framework (JCAF): A Service Infrastructure and Programming Framework for Context-Aware Applications' I Proceedings of the 3rd International Conference on Pervasive Computing (Pervasive 2005), 8. maj 2005 - 13. maj 2005, Springer LNCS 3468, Berlin, Germany, s. 98-115.

Bardram, JE, & Bunde-Pedersen, J 2005, 'Iaso - an activity-based computing platform for wearable computing' I Proceedings of the Fifth International Workshop on Smart Appliances and Wearable Computing (IWSAWC) (ICDCSW'05), 6. juni 2005 - 10. juni 0005, IEEE Computer Society s. 484-490.

Bardram, JE, Christensen, HB, Corry, AV, Hansen, KM, & Ingstrup, M 2005, 'Exploring Quality Attributes using Architectural Prototyping' I Proceedings of First International Conference on the Quality of Software Architectures (QoSA 2005), 20. september 2005 - 22. september 2005, Springer LNCS 3712, Berlin, Germany, s. 155-170.

Barros, JP, & Jørgensen, JB 2005, 'Model Transformations for an Elevator Controller: Coloured Petri Nets in Object-oriented Analysis and Design' I MOMPES, 6. juni 2005 - 6. juni 2005.

Bennedsen, J, & Caspersen, ME 2005, 'An investigation of potential success factors for an introductory model-driven programming course' I The 2005 international workshop on Computing education research, ICER '05 Proceedings (Seattle, WA, USA, October 1-2, 2005), 1. oktober 2005 - 2. oktober 2005, ACM Press, New York, NY, USA, s. 155-163.

Bent, R, Katriel, I, & van Hentenryck, P 2005, 'Sub-Optimality Approximations' I LNCS 3709, Springer.

Bergin, J, Wallingford, E, Caspersen, ME, Goldweber, M, & Kolling, M (red.) 2005, 'Teaching polymorphism early' I 10th annual SIGCSE conference on Innovation and technology in computer science education, ITiCSE '05 Proceedings (Caparica, Portugal, June 27-29, 2005), 27. juni 2005 - 29. juni 2005, ACM Press, New York, NY, USA, s. 342-343.

Biernacka, M, Danvy, O, & Sørensen, KS 2005, 'Extracting Evaluators from Proofs of Weak Head Normalization' I Electronic Notes in Theoretical Computer Science, 18. maj 2005 - 21. maj 2005, Elsevier Science Publishers.

Bouvin, NO, Brodersen, AC, Hansen, FA, Iversen, OS, & Nørregaard, P 2005, 'Tools of Contextualization: Extending the Classroom to the Field' I IDC 2005, 8. juni 2005 - 10. juni 2005, ACM Press, New York, s. 24-31.

Bouvin, NO, Christensen, BG, Hansen, FA, & Nielsen, KL 2006, 'Supporting Mobile and Nomadic Learning' I Proceedings of the Workshop on Emerging Applications for Wireless and Mobile Access MobEA III at the 14 ^th World Wide Web Conference, 10. maj 2005 - 14. maj 2005.

Brabrand, C, Møller, A, & Schwartzbach, MI 2005, 'Dual Syntax for XML Languages' I DBPL 2005, 28. august 2005 - 29. august 2005, Springer LNCS 3774 s. 27-41.

Brodal, GS, Fagerberg, R, & Moruz, G 2005, 'On the Adaptiveness of Quicksort' I ALENEX05, 22. januar 2005 - 22. januar 2005, SIAM s. 130-140.

Brodal, GS, Fagerberg, R, & Moruz, G 2005, 'Cache-Aware and Cache-Oblivious Adaptive Sorting' I ICALP 2005, 11. juli 2005 - 15. juli 2005, Springer LNCS 3580 s. 576-588.

Brodal, GS, & Moruz, G 2005, 'Tradeoffs Between Branch Mispredictions and Comparisons for Sorting Algorithms' I WADS 2005: , Springer LNCS 3608 s. 385-395.

Brodersen, AT 2005, 'Real-Time Visualization of Large Textured Terrains' 3 udg., I Graphite 2005, 29. november 2005 - 2. december 2005, ACM Press, New York, USA, s. 439-442.

Brodersen, AC, & Iversen, OS 2005, 'eCell: Spatial IT Design for Group Collaboration in School Environments.' I GROUP 05, 6. november 2005 - 9. november 2005, ACM s. 227-235.

Brodersen, AC, Christensen, BG, Grønbæk, K, Dindler, C, & Sundararajah, B 2005, 'eBag: a Ubiquitous Web Infrastructure for Nomadic Learning' I Proceedings of the 14th international conference on World Wide Web, 10. maj 2005 - 14. maj 2005, ACM, s. 298-306.

Brønsted, J, Hansen, KM, & Kristensen, LM 2005, 'An Infrastructure for a Traffic Warning System' I ICPS 2005, 11. juli 2005 - 14. juli 2005, IEEE s. 136-145.

Bødker, S, Bjerrum, E, Lauritzen, SA, & Petersen, AB 2005, 'Gate Keeping or Bridge Building? - Cooperation, Learning and Boundary Working in a Cross-media Workplace' I OLKOS 2005,

Christensen, HB 2005, 'Implications of perspective in teaching objects first and object design' I 10th annual SIGCSE conference on Innovation and technology in computer science education, ITiCSE '05 Proceedings (Caparica, Portugal, June 27-29, 2005), 27. juni 2005 - 29. juni 2005, ACM Press, New York, NY, USA, s. 94-98.

Christensen, HB 2005, 'TS-05: 150 lines of java with high architectural complexity' I 10th annual SIGCSE conference on Innovation and technology in computer science education, ITiCSE '05 Proceedings (Caparica, Portugal, June 27-29, 2005), 27. juni 2005 - 29. juni 2005, ACM Press, New York, NY, USA, s. 396-396.

Christiansen, C, Mailund, , Pedersen, CNS, & Randers, M 2005, 'Quartet Distance between General Trees' I Proceedings of International Conference on Numerical Analysis and Applied Mathematics (ICNAAM), s. 796-799.

Christiansen, C, Mailund, , Pedersen, CNS, & Randers, M 2005, 'Algorithms for Computing the Quartet Distance between Trees of Arbitrary Degree' I Proceedings of Workshop on Algorithms in Bioinformatics (WABI), s. 77-88.

Corry, AV, Gjerlufsen, T, & Olsen, JW 2005, 'The Stone: Digital Support for (Un)common Pregnancies' 3 udg., I 3rd Scandinavian conference on Health Informatics, 25. august 2005 - 26. august 2005, Aalborg University, Aalborg, Denmark, s. 37-41.

Damgård, IB, Salvail, L, Schaffner, C, & Fehr, S 2005, 'Cryptography In The Bounded Quantum-Storage Model' I FOCS 2005, IEEE s. 449-458.

Damgård, IB, Cramer, R, & Ishai, Y 2005, 'Share Conversion, Pseudorandom Secret-Sharing and Applications to Secure Computation' I Proceedings of TCC '05, Springer Verlag s. 342-362.

Damgård, IB, & Ishai, Y 2005, 'Constant-Round Multiparty Computation Using a Black-Box Pseudorandom Generator' I CRYPTO 2005, 14. august 2005 - 18. august 2005, Springer LNCS 3621 s. 378-394.

Damgård, IB, Salvail, L, & Pedersen, TB 2005, 'A Quantum Cipher with Near Optimal Key-Recycling' I CRYPTO 2005, 14. august 2005 - 18. august 2005, Springer LNCS 3621 s. 494-510.

Damgård, IB, & Dupont, K 2005, 'Efficient Threshold RSA Signatures with General Moduli and no Extra Assumptions' I Proceedings of PKC ´05, 23. januar 2005 - 26. januar 2005, Springer LNCS 3386 s. 346-361.

Dindler, C, Eriksson, E, Iversen, OS, Ludvigsen, M, & Lykke-Olesen, A 2005, 'Mission from Mars: : a method for exploring user requirements for children in a narrative space' I Proceeding of the 2005 conference on Interaction design and children, ACM press, New York, NY, USA, s. 40-47.

Elbassioni, K, Katriel, I, Kutz, M, & Mahajan, M 2005, 'Simultaneous Matchings' I ISAAC 2005, Springer s. 106-115.

Ernst, E 2005, 'Method Mixins' I NODe 2005 - GSEM 2005, 20. september 2005 - 22. september 2005, Gesellschaft für Informatik, Bonn, s. 145-161.

Ernst, E 2005, 'The Hardship of Software' I Proceedings of the workshop 'Software Engineering Properties of Languages and Aspect Technologies 2005', 15. marts 2005 - 15. marts 2005, The Aspect-Oriented Software Association, www.daimi.au.dk/~eernst/splat05/.

Foster, JN, Greenwald, MB, Kirkegaard, C, Pierce, BC, & Schmitt, A 2005, 'Exploiting Schemas in Data Synchronization' I DBPL 2005, 28. september 2005 - 29. september 2005, Springer LNCS 3774 s. 42-57.

Gallasch, GE, Vanit-Anunchai, S, Billington, J, & Kristensen, LM 2005, 'Checking Language Inclusion On-The-Fly with the Sweep-line Method' I Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 24. oktober 2005 - 26. oktober 2005, Department of Computer Science, University of Aarhus, Aarhus, s. 1-20.

Grönvall, E, Marti, P, Pollini, A, Rullo, A, & Bertelsen, OW 2005, 'Palpable time for heterogeneous care communities' I 4th Decennial Conference on Critical Computing: Between sense and sensibility, CC 2005 Proceedings (Aarhus, Denmark August 20-24, 2005), 20. august 2005 - 24. august 2005, ACM Press, New York, NY, USA, s. 149-152.

Hansen, FA, Christensen, BG, & Bouvin, NO 2005, 'RSS as a distribution medium for geo-spatial hypermedia' I HT05, 6. september 2005 - 9. september 2005, ACM Press, New York, s. 254-256.

Hansen, FA 2005, 'Representing Context in Hypermedia Data Models' I MobileHCI05, 19. september 2005 - 19. september 2005.

Hansen, KM, & Ingstrup, M 2005, 'Palpable Assemblies: Dynamic Service Composition in Ubiquitous Computing' I SEKE 2005,

Hansen, KA, & Chattopadhyay, A 2005, 'Lower Bounds for Circuits with Few Modular and Symmetric Gates' I ICALP 2005, 11. juli 2005 - 15. juli 2005, Springer LNCS 3580, Berlin, s. 994-1005.

Hansen, LK, Pedersen, PD, & Eriksson, E 2005, 'Rethinking information handling: designing for information offload' I 4th Decennial Conference on Critical Computing: Between sense and sensibility, CC 2005 Proceedings (Aarhus, Denmark August 20-24, 2005), 20. august 2005 - 24. august 2005, ACM Press, New York, NY, USA, s. 161-164.

Hansen, TR, & Bardram, JE 2005, 'ActiveTheatre - a Collaborative, Event-based Capture and Access System for the Operating Theatre' I UbiComp 2005, 11. september 2005 - 14. september 2005, Springer LNCS 3660, Berlin, s. 375-392.

Hansen, TR, Eklund, JM, Sprinkle, J, Bajcsy, R, & Sastry, S 2005, 'Using Smart Sensors and a Camera Phone to Detect and Verify the Fall of Elderly Persons' I IFMBE Proceedings,

Hansen, TR, Eriksson, E, & Lykke-Olesen, A 2005, 'Mixed Interaction Spaces - Designing for Camera Based Interaction with Mobile Devices' I CHI 05, ACM, New York, s. 1933 - 1936.

Hansen, TR, Eriksson, E, & Lykke-Olesen, A 2005, 'Mixed Interaction Space - Expanding the Interaction Space with Mobile Devices' I People and Computers XIX - The Bigger Picture, Springer.

Hirt, M, & Nielsen, JB 2005, 'Upper Bounds on the Communication Complexity of Optimally Resilient Cryptographic Multiparty Computations' I ASIACRYPT 2005: Advances in Cryptology - ASIACRYPT 2005, 11th International Conference on the Theory and Application of Cryptology and Information Security, Springer, Germany, s. 79-99.

Hirt, M, Nielsen, JB, & Przydatek, B 2005, 'Cryptographic Asynchronous Multi-party Computation with Optimal Resilience: Extended abstract' I EUROCRYPT 2005: 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Springer LNCS 3494 s. 322-340.

Ingstrup, M, & Hansen, KM 2005, 'A Declarative Approach to Architectural Reflection' I Proceedings of the 5th IEEE/IFIP Working Conference on Software Architecture, 6. november 2005 - 10. november 2005, IEEE.

Jehøj, H, Bouvin, NO, & Grønbæk, K 2005, 'AwareDAV: A Generic WebDAV Notification Framework and Implementation' I Proceedings of the 14 ^th World Wide Web Conference 2005, 10. maj 2005 - 14. maj 2005, W3C s. 80-89.

Jørgensen, JB, & Lassen, KB 2005, 'Aligning Work Processes and the Adviser Portal Bank System' I REBNITA, 29. august 2005 - 30. august 2005, University of New South Wales.

Jørgensen, JB 2005, 'Towards Arguing the Cost-effectiveness of Coloured Petri Nets' I SERP, 27. juni 2005 - 29. juni 2005, CSREA Press.

Katriel, I, & van Hentenryck, P 2005, 'Maintaining Longest Paths in Cyclic Graphs' I CP 2005, Springer LNCS 3709.

Kjærside, K, Kortbek, KJ, Møller, HH, & Grønbæk, K 2005, 'ARDressCode: Augmented Dressing Room with Tag-based Motion Tracking and Real-Time Clothes Simulation' I CEMVRC 05, 8. juni 2005 - 10. juni 2005, Prag.

Kristensen, LM, Westergaard, M, & Nørgaard, PC 2005, 'Model-based Prototyping of an Interoperability Protocol for Mobile Ad-hoc Networks' I IFM 2005, 29. november 2005 - 2. december 2005, Springer LNCS 3771 s. 266-286.

Kristensen, M, Kyng, M, & Nielsen, ET 2005, 'IT-support for healthcare professionals acting in major incidents' I SHI2005, 25. august 2005 - 26. august 2005, Aalborg University, Aalborg University, s. 37-41.

Krukow, KK, Nielsen, M, & Sassone, V 2005, 'A Framework for Concrete Reputation-Systems with Applications to History-Based Access Control' I Proc. of 12th ACM Conference on Computer and Communications Security, 7. november 2005 - 11. november 2005, ACM Press.

Krukow, KK, & Twigg, A 2005, 'Distributed Approximation of Fixed-Points in Trust Structures' I ICDCS, IEEE.

Lakos, C, & Kristensen, LM 2005, 'State Space Exploration of Object-Based Systems using Equivalence Reduction and the Sweep-line Method' I Third International Symposium on Automated Technology for Verification and Analysis, 4. oktober 2005 - 7. oktober 2005, Springer LNCS s. 187-201.

Lindgaard, T, & Grønbæk, K 2005, 'Automatic geo-referencing of web-pages' I Proceedings of the IADIS International Conference on WWW/Internet 2005, 19. oktober 2005 - 22. oktober 2005.

Machado, RJ, Lassen, KB, Oliveira, S, Couto, M, & Pinto, P 2005, 'Execution of UML Models with CPN Tools for Workflow Requirements Validation' I Proceedings of Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, volume PB-576 of DAIMI, 24. oktober 2005 - 26. oktober 2005, DAIMI PB-576 s. 231-250.

Mailund, , Pedersen, CNS, Bardino, J, Vinter, B, & Karlsen, HH 2005, 'Initial experiences with GeneRecon on MiG' I Proceedings of The 2005 International Conference on Grid Computing and Applications (GCA'05),

Miltersen, PB 2005, 'Lower bounds on the size of rank and selection indexes' I SODA 05, ACM s. 11-12.

Miltersen, PB 2005, 'The Computational Complexity of One-Dimensional Sandpiles' I CiE 05, 8. juni 2005 - 12. juni 2005, Springer LNCS 3526 s. 342-350.

Møller, A, & Schwartzbach, MI 2005, 'The Design Space of Type Checkers for XML Transformation Languages' I Proc. Tenth International Conference on Database Theory, 5. januar 2005 - 7. januar 2005, Springer-Verlag, s. 17-36.

Shapiro, D, Buscher, M, Ørbæk, P, Mogensen, PH, & Christensen, M 2005, 'Spatial Computing and Ambient Collaborative Environments for Design and Construction' I AEC 2005, Rotterdam, s. 199-210.

Torgersen, M, Ernst, E, & Hansen, CP 2005, 'Wild FJ' I Proceedings of FOOL 12, 15. januar 2005 - 15. januar 2005, School of Informatics, University of Edinburgh, homepages.inf.ed.ac.uk/wadler/fool/program/.

Wells, LM 2005, 'Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets' I ICATPN 2005, 20. juni 2005 - 25. juni 2005, Springer LNCS 3536 s. 403-423.

Westergaard, M, & Lassen, KB 2006, 'Building and Deploying Visualizations of Coloured Petri Net Models Using BRITNeY Animation and CPN Tools' I Proceedings of Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, volume PB-576 of DAIMI, 24. oktober 2005 - 26. oktober 2005, s. 119-136.

van der Aalst, WMP, Jørgensen, JB, & Lassen, KB 2005, 'Let us Go All the Way: From Requirements via Coloured Workflow Nets to a BPEL Implementation of a New Bank System' Paper fremlagt ved Cooperative Information Systems (CoopIS), Agia Napa, Cypern. 31. oktober 2005 - 4. november 2005.

Bidrag til videnskabelig bog/antologi

Allan, C, Avgustinov, P, Christensen, AS, Hendren, LJ, Kuzins, S, Lhoták, J, Lhoták, O, de Moor, O, Sereni, D, Sittampalam, G, & Tibble, J 2005, ' abc : The AspectBench Compiler for AspectJ' i: Generative Programming and Component Engineering, 4th International Conference, GPCE 2005 Proceedings (Tallinn, Estonia, September 29 - October 1, 2005), s. 10-16.

Allan, C, Avgustinov, P, Christensen, AS, Dufour, B, Goard, C, Hendren, LJ, Kuzins, S, Lhoták, J, Lhoták, O, de Moor, O, Sereni, D, Sittampalam, G, Tibble, J, & Verbrugge, C 2005, 'abc the aspectBench compiler for aspectJ a workbench for aspect-oriented programming language and compilers research' i: Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005 (San Diego, CA, USA, October 16-20, 2005), s. 88-89.

Arge, L, Brodal, GS, & Fagerberg, R 2005, 'Cache-Oblivious Data Structures' i: Handbook of Data Structures and Applications, CRC Press s. chapter 34.

Arge, L, Agarwal, PK, & Yi, K 2005, 'I/O-Efficient Construction of Constrained Delaunay Triangulations' i: Proceedings of the 13th Annual European Symposium. Algorithms - ESA 2005, s. 355-366.

Arge, L, Eppstein, D, & Goodrich, MT 2005, 'Skip-webs: efficient distributed data structures for multi-dimensional data sets' i: Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, PODC 2005, Las Vegas, NV, USA, July 17-20, 2005, ACM Press s. 69-76.

Arge, L, & Toma, L 2006, 'External Data Structures for Shortest Path Queries on Planar Digraphs' i: Proceedings of 16th International Symposium on Algorithms and Computation, ISAAC 2005 (Sanya, Hainan, China, December 19-21, 2005), s. 328-338.

Arge, L, Agarwal, PK, & Yi, K 2005, 'An optimal dynamic interval stabbing-max data structure?' i: Proceedings of the Sixteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2005, Vancouver, British Columbia, Canada, January 23-25, 2005, SIAM s. 803-812.

Benkert, M, Gudmundsson, J, & Haverkort, HJ 2005, 'Constructing Interference-Minimal Networks' i: Proc. 21th European Workshop on Computational Geometry, Technische Universiteit Eindhoven s. 203-206.

Bennedsen, J, & Caspersen, ME 2005, 'Revealing the programming process' i: Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2005 (St. Louis, Missouri, USA, February 23-27, 2005), ACM s. 186-190.

Boudol, G, & Zimmer, P 2005, 'On Type Inference in the Intersection Type Discipline' i: Workshop on Intersection Types and Related Systems, ICALP-LICS 2004. Turku, Finland, s. 23-42.

Brodal, GS 2005, 'Finger Search Trees' i: Handbook of Data Structures and Applications. CRC Press.

Iversen, J 2005, 'An Action Compiler Targeting Standard ML' i: Electronic Notes in Theoretical Computer Science. Elsevier.

Kohlenbach, U 2005, 'Higher Order Reverse Mathematics' i: Reverse Mathematics 2001, Association for Symbolic Logic s. 281-295.

Lambov, BZ 2005, 'RealLib: an Efficient Implementation of Exact Real Arithmetic' i: econd International Conference on Computability and Complexity in Analysis, CCA 2005 Proceedings (Kyoto, Japan, August 25-29, 2005), s. 169-175.

Lambov, BZ 2005, 'Complexity and Intensionality in a Type-1 Framework for Computable Analysis' i: Computer Science Logic, 19th International Workshop, CSL 2005 Proceedings, 14th Annual Conference of the EACSL (Oxford, UK, August 22-25, 2005), s. 442-461.

Editorial

Nielsen, M, & Rovan, B 2005, 'Introduction - Combined TCSA/TCSB issue - Mathematical Foundations of Computer Science 2000' Theoretical Computer Science, vol. 340, nr. 3, s. 457-458.

Foredragsmanuskript/PowerPoint

Brynskov, M 2005, 'Commutable interfaces for play, gaming & learning: Doctoral Consortium position paper' I IDC 2005, 8. juni 2005 - 10. juni 2005.

Ph.d.-afhandling

Agarwal, S 2005, 'GCD Algorithms for Quadratic Number Rings' Ph.d.-afhandling, Aarhus Universitet, Aarhus.

Almansa Guerra, JF 2005, 'A Study for Cryptologic Protocols' Ph.d.-afhandling, Aarhus Universitet, Aarhus.

Biernacki, D 2005, 'The Theory and Practice of Programming Languages with Delimited Continuations' Ph.d.-afhandling, Aarhus Universitet, Aarhus.

Carbone, M 2005, 'Trust and Mobility' Ph.d.-afhandling, Aarhus Universitet, Aarhus.

Dupont, K 2005, 'Disk Encryption, Group Identification, Byzantine Agreement, and Threshold RSA' Ph.d.-afhandling, Aarhus Universitet, Aarhus.

Iversen, J 2005, 'Formalisms and tools supporting Constructive Action Semantics' Ph.d.-afhandling, Aarhus Universitet, Aarhus.

Madsen, BA 2005, 'Exact Algorithms and Exact Satisfiability' Ph.d.-afhandling, Aarhus Universitet, Aarhus.

Morozov, K 2005, 'On Cryptographic Primitives Based on Noisy Channel' Ph.d.-afhandling, Aarhus Universitet, Aarhus.

Rohde, HK 2005, 'Formal Aspects of Partial Evaluation' Ph.d.-afhandling, Aarhus Universitet, Aarhus.

Skovenborg, E 2005, 'Perceptual Features of Music and Speech - Measured by Listening Experiments, and Computer Modelled from Signal Analysis' Ph.d.-afhandling.

Patent

Nielsen, J, Grønbæk, K, & Lykke-Olesen, A 2005, 'Vision Based Simultaneous Multi Object Tracking on Semi-Transparent Surfaces' PA 2005 00795, 01-06-2005.

Poster

Brynskov, M, Christensen, BG, Ludvigsen, M, Collins, A, & Grønbæk, K 2006, 'Designing for Nomadic Play: A case study of participatory design with children' Paper fremlagt ved Interaction Design and Children 2005, Boulder, CO, USA. 8. juni 2005 - 20. juni 2005.

Bødker, S, & Petersen, AB 2005, 'Mediating the co-production of complex media products' I GROUP 05, 6. november 2005 - 9. november 2005, ACM, New York, NY, s. 338-339.

Hansen, TR, Eriksson, E, & Lykke-Olesen, A 2005, 'Mixed Interaction Spaces - a new interaction technique for mobile devices (demonstration)' Paper fremlagt ved Ubiquitous Computing Conference 2005, Tokyo, Japan.

Møller-Nielsen, P, & Gejl, J 2005, 'Room #2 (Guirlanden, Aarhus Kunstbygning)' Paper fremlagt ved Aarhus, Danmark.

Møller-Nielsen, P, & Gejl, J 2006, 'Room #2 (Den gyldne, Charlottenborg Udstillingsbygning)' Paper fremlagt ved København, Danmark.

Møller-Nielsen, P, & Gejl, J 2006, 'Room #2 (Kunsthallen Brænderigården)' Paper fremlagt ved Viborg, Danmark.

Publiceret abstrakt

Bertelsen, OW, & Zander, P 2006, 'Obstacles to Design in Volunteer Based Organisations' I Proceedings of the 5th Danish Human-Computer Interaction Research Symposium, 8. november 2005 - 8. november 2005, Copenhagen Business School, Copenhagen, Denmark, s. 93-98.

Bertelsen, OW, Bødker, S, McEwan, T, Procter, R, & Svanæs, D 2006, 'HCI Knowledge - Fit for Transfer, Share or Co-Construction' I The 19th British HCI Group Annual Conference, Napier University., 5. september 2005 - 9. september 2005, s. 341-343.

Bertelsen, OW, Marti, P, & Shapiro, D 2006, 'Workshop on Ambient Computing in a Critical, Quality of Life Perspective Aarhus, Denmark, 21 August 2005 - as part of the Fourth Aarhus Conference' I The 4th decennial conference on Critical computing: between sense and sensibility 2005, Aarhus, Denmark, 21. august 2005 - 21. august 2005.

Bødker, S 2005, 'Nordic-Scottish HCI, panel for HCI2005, Edinburgh' I The 19th British HCI Group Annual Conference, 5. september 0005 - 9. september 0005.

Ciolfi, L, Cooke, M, Bertelsen, OW, & Bannon, LJ 2005, 'Understanding and Designing for Aesthetic Experience' I The 19th British HCI Group Annual Conference, British HCI group, Edinburgh, Scotland, s. 289-291.

Houston, B, Nielsen, MB, Nilsson, O, Museth, K, & Batty, C 2005, 'Gigantic Deformable Surfaces' Paper fremlagt ved ACM SIGGRAPH 2005, Los Angeles, USA.

Videnskabelig bog/antologi

Bertelsen, OW, Bouvin, NO, Krogh, PG, & Kyng, M (red.) 2005, 4th Decennial Conference on Critical Computing: Between sense and sensibility, CC 2005 Proceedings (Aarhus, Denmark August 20-24, 2005) ACM Press, New York, NY, USA.

Brodal, GS, & Leonardi, S (red.) 2005, ESA 2005: 13th Annual European Symposium: Springer LNCS 3669.

Jensen, K (red.) 2005, Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Datalogisk Institut, Århus.

MacKinnon, L, Bertelsen, OW, & Bryan-Kinns, N (red.) 2005, The 19th British HCI Group Annual Conference, The Bigger Picture, HCI 2005, Napier University, Edinburgh, 5-9 Sept, Proceedings Volume 2 The British Computer Society, Edinburgh, Scotland.

Workingpaper/arbejdspapir/preprint

Hansen, KM, Menta, G, & Pregarz, B 2005, 'Handling Adaptability, Privacy, and Accuracy in the Design of a Location-Aware Mobile Interactive Gateway' www.mguides.info.

Hansen, TR 2005, 'Information Technology for Assisted Living at Home' Datalogisk Institut, Danmark.

Jónsdóttir, KY, Vedel, EB, & Hobolth, A 2005, 'On variance estimation in circular systematic sampling'

Mendling, J, Lassen, KB, & Zdun, U 2005, 'Transformation Strategies between Block-Oriented and Graph-Oriented Process Modelling Languages' Vienna University of Economics and Business Administration.

Støvring, K 2005, 'Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative' BRICS RS-05-35, udg., University of Aarhus.

van der Aalst, WMP, & Lassen, KB 2005, 'Translating Workflow Nets to BPEL4WS'

Ørbæk, P 2005, 'Programming with Hierarchical Maps' Datalogisk Institut, Aarhus Universitet.