Department of Computer Science

Aarhus University Seal
 Department of Computer Science Research Publications

Publications

Search for publications at Department of Computer Science

Below you find a complete list of publications published and edited by scientists at the Department of Computer Science

Sort by: Date | Author | Title

Biernacki, D. & Danvy, O. (2006). A Simple Proof of a Folklore Theorem about Delimited Control. Journal of Functional Programming, 16(3), 269-280.
Frandsen, G. S. & Schwartzbach, M. I. (2006). A singular choice for multiple choice. ACM Inroads, 38(4), 34-38. https://doi.org/10.1145/1189136.1189164
Brønsted, J., Hansen, K. M. & Thorup, R. (2006). A Uniform Publish-Subscribe Infrastructure for Communication in Wireless Mobile Environments. In 6th International Conference on ITS Telecommunications Proceedings: ITST2006 (pp. 1145-1150). IEEE Press. https://doi.org/10.1109/ITST.2006.288809
Kjærgaard, M. B. (2006). Automatic Mitigation of Sensor Variations for Signal Strength Based Location Systems. In Proceedings of 2nd International Workshop on Location- and Context-Awareness (LoCA 2006) (Vol. LNCS 3987, pp. 30-47). Springer. https://doi.org/10.1007/11752967_3
Ernst, E., Ostermann, K. & Cook, W. R. (2006). A Virtual Class Calculus. In Proceedings of Conference Record of POPL 2006: The 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (pp. 270-282). Association for Computing Machinery. https://doi.org/10.1145/1111320.1111062
Bardram, J., Hansen, T. R. & Søgaard, M. (2006). AwareMedia - A Shared Interactive Display Supporting Social, Temporal, and Spatial Awareness in Surgery. In Proceedings of the 2006 20th anniversary conference on Computer Supported Cooperative Work (pp. 109-118). Society for Industrial and Applied Mathematics. https://doi.org/10.1145/1180875.1180892
Corry, A. V., Ingstrup, M. & Larsen, S. B. (2006). Beyond the Archive: Thinking CSCW into EHRs for Home Care. In 1st International Conference on Pervasive Computing Technologies for Healthcare: First International Workshop on Connected Health: Using IT to Integrate the HealthCare Enterprise IEEE. https://doi.org/10.1109/PCTHEALTH.2006.361695
Salvail, L. & Arrighi, P. (2006). Blind Quantum Computation. International Journal of Quantum Information, 4(5), 883-898.
Heljanko, K., Junttila, T. A., Keinänen, M., Lange, M. & Latvala, T. (2006). Bounded Model Checking for Weak Alternating Büchi Automata. In T. Ball & R. B. Jones (Eds.), CAV ´06: Computer Aided Verification, 18th International Conference (pp. 95-108) https://doi.org/10.1007/11817963_12
Westergaard, M. & Lassen, K. B. (2006). Building and Deploying Visualizations of Coloured Petri Net Models Using BRITNeY Animation and CPN Tools. In Proceedings of Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, volume PB-576 of DAIMI (pp. 119-136)
Brodal, G. S. & Fagerberg, R. (2006). Cache-oblivious String Dictionaries. In SODA '06 Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm (pp. 581-590). Association for Computing Machinery. https://doi.org/10.1145/1109557.1109621
Bødker, S., Sutcliffe, A., Karat, J. & Gavel, B. (2006). Can we measure quality in design and do we need to? Panel. In Proceedings of the 6th ACM conference on Designing Interactive systems (pp. 119-121). Association for Computing Machinery.
Mosegaard, J. (2006). Cardiac Surgery Simulation.
Palen, L. A., Grinter, R. & Eldridge, M. (2006). Chatting with Teenagers: Considering the Place of Chat Technologies in Teen Life. ACM Transactions on Computer-Human Interaction, 13(4).
Hansen, K. A., Miltersen, P. B. & Vinay, V. (2006). Circuits on Cylinders. Computational Complexity, 15(1), 62-81. https://doi.org/10.1007/s00037-006-0207-4
Pedersen, H. & Boomsma, W. (2006). Classifying Parasite Eggs in Microscope Images. Computer programme http://www.daimi.au.dk/~henrikp/publications/ClassifyingParasiteEggs.pdf
Bødker, S. & Christiansen, E. (2006). Computer support for social awareness in flexible work. Computer Supported Cooperative Work (CSCW): The Journal of Collaborative Computing and Work Practices, 15(1), 1-28.
Bødker, S. & Christiansen, E. (2006). Computer support for social awareness in flexible work. Computer Supported Cooperative Work (CSCW): The Journal of Collaborative Computing and Work Practices, 15(1), 1-28.
Miltersen, P. B. (2006). Computing sequential equilibria for two-player games. In Proc. 17th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA'06) (pp. 107-116). ACM-SIAM.
Miltersen, P. B. & Sørensen, T. B. (2006). Computing Sequential Equilibria for Two-Player Games. In Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms (1 ed., pp. 107-116). Association for Computing Machinery.
Hansen, K. A. (2006). Constant Width and Constant Depth Computation.
Hansen, K. A. (2006). Constant Width Planar Computation Characterizes ACC0. Theory of Computing Systems, 39(1), 79-92. https://doi.org/10.1007/s00224-005-1258-7
Hansen, F. A. (2006). Context-aware Mobile Hypermedia: Concepts, Framework, and Applications. Department of Computer Science, Aarhus University.
Böttger, H., Møller, A. & Schwartzbach, M. I. (2006). Contracts for Cooperation between Web Service Programmers and HTML Designers. Journal of Web Engineering, 5(1), 65-90.
Brynskov, M., Christensen, B. G., Ludvigsen, M., Collins, A.-M. & Grønbæk, K. (2006). Designing for Nomadic Play: A case study of participatory design with children. Poster session presented at Interaction Design and Children 2005, Boulder, CO, United States.
Georgiadis, L., Tarjan, R. E. & Werneck, R. F. F. (2006). Design of data structures for mergeable trees. In SODA ´06: Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 394-403). Association for Computing Machinery. https://doi.org/10.1145/1109557.1109602
Christensen, B. G. (2006). Developing Mobile P2P Applications with LightPeers. Paper presented at The Sixth IEEE International Conference on Peer-to-Peer Computing, Cambridge, United Kingdom.
Bertelsen, O. W., Petersen, M. G., Brynskov, M., Iversen, O. S., Johansson, M. W. & Dalsgård, P. (Eds.) (2006). DHRS 2006: Proceedings of the Sixth Danish Human-Computer Interaction Research Symposium. Aarhus, Denmark, November 15, 2006. Aarhus Universitet, Datalogisk Institut.
Krink, T. & Paterlini, S. (2006). Differential Evolution and Particle Swarm Optimization for Partitional Clustering. Computational Statistics & Data Analysis, 50/5(446), 27.
Hansen, K. M. & Wells, L. M. (2006). Dynamic Design and Evaluation of Software Architecture in Critical Systems Development. In T. Cant (Ed.), Safety Critical Systems and Software 2006 (pp. 35-44). Australian Computer Society. http://crpit.com/confpapers/CRPITV69Hansen.pdf
Frandsen, G. S. & Frandsen, P. F. (2006). Dynamic Matrix Rank. In M. Bugliesi, B. Preneel, V. Sassone & I. Wegener (Eds.), ICALP 2006: Automata, Languages and Programming: Proceedings (part I) of 33rd International Colloquium (Venice, Italy, July 10-14, 2006) (pp. 395-406) https://doi.org/10.1007/11786986_35
Nielsen, M. B. & Museth, K. (2006). Dynamic Tubular Grid: An Efficient Data Structure and Algorithms for High Resolution Level Sets. Journal of Scientific Computing, 26(3), 261-299.
Danvy, O., Filinski, A., Giavitto, J.-L., Moreau, P.-E. & Talcott, C. (2006). Editorial. Higher-Order and Symbolic Computation, 19(1), 343-344.
Danvy, O., de Moor, O., Padget, J. & Thiemann, P. (2006). Editorial. Higher-Order and Symbolic Computation, 19(1), 5-5.
Nielsen, M. B. (2006). Efficient and High Resolution Level Set Simulations: Algorithms, Data Structures and Applications.
Avgustinov, P., Christensen, A. S., Hendren, L. J., Kuzins, S., Lhoták, J., Lhoták, O., de Moor, O., Sereni, D., Sittampalam, G. & Tibble, J. (2006). abc: An Extensible AspectJ Compiler. In A. Rashid & M. Aksit (Eds.), Transactions on Aspect-Oriented Software Development I (pp. 87-98). Springer LNCS. https://doi.org/10.1007/11687061_9
Lassen, K. B. & Westergaard, M. (2006). Embedding Java Types in CPN Tools: Technical Report. http://www.daimi.au.dk/~krell/download.php?file=Embedding Java Types in CPN Tools.pdf.
Thomsen, J. & Husemann, D. (2006). Evaluating the Use of Motes and TinyOS for a Mobile Sensor Platform. In T. Fahringer (Ed.), Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks (pp. 95-100). ACTA Press.
Katriel, I. (2006). Expected-Case Analysis for Delayed Filtering. In Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization Problems (LNCS 3990 ed., pp. 119-125). Springer.
Christensen, B. G. (2006). Experiences Developing Mobile P2P Applications with LightPeers. Proceedings of the Sixth IEEE International Conference on Peer-to-Peer Computing, 229-231.
Bardram, J. E., Hansen, T. R., Mogensen, M. & Søgaard, M. (2006). Experiences from Real-World Deployment of Context-Aware Technologies in a Hospital Environment. In UbiComp 2006: Ubiquitous Computing (Volume 4206 ed., pp. 369-386). Springer LNCS. https://doi.org/10.1007/11853565
Mendling, J., Lassen, K. B. & Zdun, U. (2006). Experiences in enhancing existing BPM Tools with BPEL Import and Export. In Proceedings of the 4th International Conference Business Process Management: LNCS (Vol. 4102, pp. 348-357). Springer.
Støvring, K. (2006). Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative. Logical Methods in Computer Science, 2(2(1)), 1-14.
Møller-Nielsen, P. & Gejl, J. (2006). Eyes On <-> Hands On.
Ernst, E. (2006). Family Genericity. Daimi Report Series (DAIMI PB), (PB-578). http://www.daimi.au.dk/publications/PB/578/PB-578.pdf
Christiansen, C., Mailund, T., Pedersen, C. N. S., Randers, M. & Stissing, M. (2006). Fast Calculation of the Quartet Distance Between Trees of Arbitrary Degrees. Algorithms for Molecular Biology, 1(16).
Brodal, G. S., Kaligosi, K., Katriel, I. & Kutz, M. (2006). Faster Algorithms for Computing Longest Common Increasing Subsequences. In M. Lewenstein & G. Valiente (Eds.), Combinatorial Pattern Matching (pp. 330-341). Springer. https://doi.org/10.1007/11780441_30
Ager, M. S., Danvy, O. & Rohde, H. K. (2006). Fast Partial Evaluation of Pattern Matching in Strings. A C M Transactions on Programming Languages and Systems, 28(4), 696-714. https://doi.org/10.1145/1146809.1146812
Kristensen, J. T. & Miltersen, P. B. (2006). Finding small OBDDs for incompletely specified truth tables is hard. Electronic Colloquium on Computational Complexity, (TR06-004), 1-6. http://eccc.hpi-web.de/eccc-reports/2006/TR06-004/index.html
Miltersen, P. B. & Kristensen, J. T. (2006). Finding small OBDDs for incompletely specified truth tables is hard. In D. Z. Chen & D. T. Lee (Eds.), Computing and Combinatorics: 12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006. Proceedings (pp. 489-496). Springer. https://doi.org/10.1007/11809678_51

Displaying results 4051 to 4100 out of 5916

Previous

78

79

80

81

82

83

84

85

86

87

Next

Browse our local DAIMI report series containing technical reports from 1972 to present

Search for publications at Aarhus University

Use Aarhus University literature search program to search for publications published and edited by scientists at Aarhus University

Revised 01.09.2025
-
Marianne Dammand Iversen