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

Kjærgaard, M. B. (2006). An API for Integrating Spatial Context Models with Spatial Reasoning Algorithms. In Proceedings of the 3rd Workshop on Context Modelling and Reasoning (PerCom 2006) (pp. 18-23). IEEE. https://doi.org/10.1109/PERCOMW.2006.19

Toft, T. (2006). An efficient, unconditionally secure equality test for secret shared values. In Proceedings of the 2006 Workshop on Models for Cryptographic Protocols

Agarwal, S. & Frandsen, G. S. (2006). A New GCD Algorithm for Quadratic Number Rings with Unique Factorization. In J. R. Correa, A. Hevia & M. A. Kiwi (Eds.), LATIN 2006: Theoretical Informatics, Proceedings of 7th Latin American Symposium (Valdivia, Chile, March 20-24, 2006) (pp. 30-42). Springer. https://doi.org/10.1007/11682462_8

Damgård, I. B. & Frandsen, G. S. (2006). An Extended Quadratic Frobenius Primality Test with Average- and Worst-Case Error Estimate. Journal of Cryptology, 19(4), 489-520. https://doi.org/10.1007/s00145-006-0332-x

Møller, A. & Schwartzbach, M. I. (2006). An Introduction to XML and Web Technologies. Addison-Wesley.

Krukow, K. (2006). An Operational Semantics for Trust Policies. In WITS '06: 6th International Workshop on Issues in the Theory of Security (Vol. www.brics.dk/RS/05/30/). Springer.

Caspersen, M. E. & Kölling, M. (2006). A novice's process of object-oriented programming. In P. L. Tarr & W. R. Cook (Eds.), OOPSLA '06: Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (pp. 892-900). Society for Industrial and Applied Mathematics. https://doi.org/10.1145/1176617.1176741

Gerhardy, P. (2006). Applications of Proof Interpretations.

Bertelsen, O. W. & Zander, P.-O. (2006). Appropriation in the development of information systems for voluntary organizations. In Proceedings of ECIS 2006, Gothenburg, June 2006 (1. ed.)

Bertelsen, O. W. & Zander, P.-O. (2006). Appropriation in the development of information systems for voluntary organizations. In Proceedings of ECIS 2006

Damgård, I. B., Toft, T., Pagter, J. I., Jakobsen, T., Bogetoft, P. & Nielsen, K. (2006). A Practical Implementation of Secure Auctions Based on Multiparty Integer Computation. In G. Di Crescenzo & A. Rubin (Eds.), Financial Cryptography and Data Security: 10th International Conference, FC 2006 Anguilla, British West Indies, February 27-March 2, 2006 Revised Selected Papers (pp. 142-147). Springer. https://doi.org/10.1007/11889663_10

Zhang, W. & Kunz, T. (2006). A Product Line Enhanced Unified Process. In Q. Wang, D. Pfahl, D. M. Raffo & P. Wernick (Eds.), Software Process Change: International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006. Proceedings (pp. 142-149). Springer. https://doi.org/10.1007/11754305_16

Dax, C., Hofmann, M. & Lange, M. (2006). A Proof System for the Linear Time μ-Calculus. In FSTTCS '06: Foundations of Software Technology and Theoretical Computer Science, 26th International Conference (pp. 273-284). Springer LNCS. https://doi.org/10.1007/11944836_26

Gerhardy, P. (2006). A Quantitative Version of Kirk's Fixed Point Theorem for Asymptotic Contractions. Journal of Mathematical Analysis and Applications, 316(1), 339-345.

Danvy, O. & Millikin, K. (2006). A Rational Deconstruction of Landin's J Operator. BRICS Report Series, (RS-06-17). http://www.brics.dk/RS/06/17/BRICS-RS-06-17.pdf

Zhang, W. (2006). Architecture Based Configuration Management. High Technology Letters, 110-116.

Hansen, K. M. & Thomsen, J. (2006). ARex. Computer programme

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 SIGCSE Bulletin, 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.

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 ACC⁰. 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.

Displaying results 4051 to 4100 out of 5933

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University