Publikationer

Søg publikationer fra Institut for Datalogi

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

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

Bertelsen, O. W. & Zander, P.-O. (2006). Appropriation in the development of information systems for voluntary organizations. I 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. I G. Di Crescenzo & A. Rubin (red.), Financial Cryptography and Data Security: 10th International Conference, FC 2006 Anguilla, British West Indies, February 27-March 2, 2006 Revised Selected Papers (s. 142-147). Springer. https://doi.org/10.1007/11889663_10

Zhang, W. & Kunz, T. (2006). A Product Line Enhanced Unified Process. I Q. Wang, D. Pfahl, D. M. Raffo & P. Wernick (red.), 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 (s. 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. I FSTTCS '06: Foundations of Software Technology and Theoretical Computer Science, 26th International Conference (s. 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. Software

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. I 6th International Conference on ITS Telecommunications Proceedings: ITST2006 (s. 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. I Proceedings of 2nd International Workshop on Location- and Context-Awareness (LoCA 2006) (Bind LNCS 3987, s. 30-47). Springer. https://doi.org/10.1007/11752967_3

Ernst, E., Ostermann, K. & Cook, W. R. (2006). A Virtual Class Calculus. I Proceedings of Conference Record of POPL 2006: The 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (s. 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. I Proceedings of the 2006 20th anniversary conference on Computer Supported Cooperative Work (s. 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. I 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. I T. Ball & R. B. Jones (red.), CAV ´06: Computer Aided Verification, 18th International Conference (s. 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. I Proceedings of Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, volume PB-576 of DAIMI (s. 119-136)

Brodal, G. S. & Fagerberg, R. (2006). Cache-oblivious String Dictionaries. I SODA '06 Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm (s. 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. I Proceedings of the 6th ACM conference on Designing Interactive systems (s. 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. Software 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. I Proc. 17th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA'06) (s. 107-116). ACM-SIAM.

Miltersen, P. B. & Sørensen, T. B. (2006). Computing Sequential Equilibria for Two-Player Games. I Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms (1 udg., s. 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

Spitters, B. (2006). Constructive algebraic integration theory without choice. Dagstuhl Seminar Proceedings, 5021.

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 præsenteret på Interaction Design and Children 2005, Boulder, CO, USA.

Georgiadis, L., Tarjan, R. E. & Werneck, R. F. F. (2006). Design of data structures for mergeable trees. I SODA ´06: Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms (s. 394-403). Association for Computing Machinery. https://doi.org/10.1145/1109557.1109602

Christensen, B. G. (2006). Developing Mobile P2P Applications with LightPeers. Afhandling præsenteret på The Sixth IEEE International Conference on Peer-to-Peer Computing, Cambridge, Storbritannien.

Bertelsen, O. W., Petersen, M. G., Brynskov, M., Iversen, O. S., Johansson, M. W. & Dalsgård, P. (red.) (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. I T. Cant (red.), Safety Critical Systems and Software 2006 (s. 35-44). Australian Computer Society. http://crpit.com/confpapers/CRPITV69Hansen.pdf

Frandsen, G. S. & Frandsen, P. F. (2006). Dynamic Matrix Rank. I M. Bugliesi, B. Preneel, V. Sassone & I. Wegener (red.), ICALP 2006: Automata, Languages and Programming: Proceedings (part I) of 33rd International Colloquium (Venice, Italy, July 10-14, 2006) (s. 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. I A. Rashid & M. Aksit (red.), Transactions on Aspect-Oriented Software Development I (s. 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. I T. Fahringer (red.), Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks (s. 95-100). ACTA Press.

Katriel, I. (2006). Expected-Case Analysis for Delayed Filtering. I Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization Problems (LNCS 3990 udg., s. 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.

Viser resultater 4201 til 4250 ud af 6119

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series