Publikationer

Søg publikationer fra Institut for Datalogi

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

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

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

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. I UbiComp 2006: Ubiquitous Computing (Volume 4206 udg., s. 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. I Proceedings of the 4th International Conference Business Process Management: LNCS (Bind 4102, s. 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. I M. Lewenstein & G. Valiente (red.), Combinatorial Pattern Matching (s. 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

Viser resultater 4151 til 4200 ud af 6061

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series