Publikationer

Søg publikationer fra Institut for Datalogi

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

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

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. I D. Z. Chen & D. T. Lee (red.), Computing and Combinatorics: 12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006. Proceedings (s. 489-496). Springer. https://doi.org/10.1007/11809678_51

Madsen, O. L. (2006). From ECOOP'87 to ECOOP 2006 and beyond. I ECOOP 2006 - Object-Oriented Programming - 20th European Conference, Proceedings (s. 186-191). Springer Verlag. https://doi.org/10.1007/11785477_11

Arge, L., Agarwal, P. K. & Danner, A. (2006). From Point Cloud to GRID DEM: A Scalable Approach. I Proceedings of International Symposium on Spatial Data Handling

Jørgensen, J. B., Lassen, K. B. & van der Aalst, W. (2006). From Task Descriptions via Coloured Petri Nets Towards an Implementation of a New Electronic Patient Record. International Workshop on Coloured Petri Nets.

Gerhardy, P. (2006). Functional interpretation and modified realizability interpretation of the double-negation shift. I A. Beckmann, U. Berger, B. Löwe & J. V. Tucker (red.), Logical Approaches to Computational Barriers: CiE 2006 (Bind CSR 7-2006 in Computer Science Report Series). University of Wales Swansea.

Westergaard, M. (2006). Game Coloured Petri Nets. I K. Jensen (red.), Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (Bind PB-579, s. 281-301). Aarhus Universitetsforlag.

Mailund, T., Schierup, M. H., Pedersen, C. N. S., Madsen, J. N., Hein, J. & Schauser, L. (2006). GeneRecon—A coalescent based tool for fine-scale association mapping. Bioinformatics, 22(18), 2317–2318.

Mailund, T. (2006). Getting Started with Blossoc. http://www.daimi.au.dk/~mailund/Blossoc/download/getting-started-1.1.pdf

Mailund, T. (2006). Getting Started with HapCluster: An introduction to the HapCluster association mapping tool.

Ballegaard, S. A. & Fangel, A. B. (2006). Getting the Job Done: The impact of conception of work on work-life balance. Afhandling præsenteret på 24th Annual International Labour Process Conference, Storbritannien.

van Hoeve, W.-J. & Katriel, I. (2006). Global Constraints. I F. Rossi, P. van Beek & T. Walsh (red.), Handbook of Constraint Programming: Part I , Foundations Pergamon Press.

Møller-Nielsen, P. & Gejl, J. (2006). Halvanden Meter Max.

Sørensen, T. S. & Mosegaard, J. (2006). Haptic Feedback for the GPU-based Surgical Simulator. I Studies in Health Technology and Informatics (119 udg., Bind 119, s. 523-528)

Bertelsen, O. W., 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. (s. 341-343)

Hansen, K. M. & Wells, L. M. (2006). Heimdall. Softwareprogram

Vesterstrøm, J. S. (2006). Heuristic Algorithms in Bioinformatics.

Houston, B., Nielsen, M. B., Batty, C., Nilsson, O. & Museth, K. (2006). Hierarchical RLE Level Set: A Compact and Versatile Deformable Surface Representation. A C M Transactions on Graphics, 25(1), 151-175.

Støvring, K. (2006). Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal Form. Nordic Journal of Computing, 13(1-2), 117-126.

Thomsen, J. (2006). Home Appliance Integration by Pervasive Computing.

Brodal, G. S., Arge, L. & Georgiadis, L. (2006). Improved Dynamic Planar Point Location. I Proceedings of the 47th Annual Symposium on Foundations of Computer Science (s. 305-314). IEEE. https://doi.org/10.1109/FOCS.2006.40

Grønbæk, K., Rohde, A., Sundararajah, B. & Bech-Pedersen, S. (2006). InfoGallery: Informative Arts Services for Physical Library Spaces. I G. Marchionini, M. L. Nelson & C. C. Marshall (red.), 6th ACM/IEEE-CS Joint Conference on Digital Libraries 2006: Opening Information Horizons (s. 21-31). Association for Computing Machinery. https://doi.org/10.1145/1141753.1141757

Viser resultater 4201 til 4250 ud af 6089

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series