Publikationer

Søg publikationer fra Institut for Datalogi

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

Beldiceanu, N., Katriel, I. & Lorca, X. (2006). Undirected Forest Constraints. I Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2006) (Bind LNCS 3990, s. 29-43). Springer.

Hansen, T. R., Eriksson, E. & Lykke-Olesen, A. (2006). Use your head: Exploring face tracking for mobile interaction. I G. M. Olson & R. Jeffries (red.), CHI Extended Abstracts ´06: Extended Abstracts Proceedings of the 2006 Conference on Human Factors in Computing Systems Society for Industrial and Applied Mathematics. https://doi.org/10.1145/1125451.1125617

Nielsen, M. B., Nilsson, O., Soderstrom, A. & Museth, K. (2006). Virtually Infinite Deformable Surfaces. I ACM SIGGRAPH 2006 Society for Industrial and Applied Mathematics.

Sørensen, T. S., Mosegaard, J. & Hansen, O. K. (2006). Virtual Morphological Reconstructions for Preoperative Planning and Surgical Training. I XXXVI Nordic Meeting in Pediatric Cardiology (Bind XXXVI, s. 1)

Sørensen, T. S. & Mosegaard, J. (2006). Virtual Open Heart Surgery - Training complex surgical procedures in congenital heart disease.

Schulz, H.-J. & Schumann, H. (2006). Visualizing Graphs - A Generalized View. I E. Banissi, R. A. Burkhard, A. Ursyn, J. J. Zhang, M. Bannatyne, C. Maple, A. J. Cowell, G. Y. Tian & M. Hou (red.), Proceedings of the 10th International Conference on Information Visualisation (IV'06) (s. 166-173). IEEE. https://doi.org/10.1109/IV.2006.130

Palen, L. A. & Hughes, A. (2006). When home base is not a place: parents' use of mobile telephones. Personal and Ubiquitous Computing Journal.

Bødker, S. (2006). When second wave HCI meets third wave challenges. I Proceedings of the 4th Nordic conference on Human-computer interaction: changing roles NordiCHI '06 (s. 1-8). Association for Computing Machinery.

Ballegaard, S. A., Bunde-Pedersen, J. & Bardram, J. E. (2006). Where to, Roberta?: Reflecting on the Role of Technology in Assisted Living. I Proceedings of NordiCHI 2006 Society for Industrial and Applied Mathematics.

Mailund, T., Besenbacher, S. & Schierup, M. H. (2006). Whole genome association mapping by incompatibilities and local perfect phylogenies. BMC Bioinformatics, 7(454). https://doi.org/10.1186/1471-2105-7-454

Bertelsen, O. W., Marti, P. & Shapiro, D. (2006). Workshop on Ambient Computing in a Critical, Quality of Life Perspective Aarhus, Denmark, 21 August 2005 - as part of the Fourth Aarhus Conference. I The 4th decennial conference on Critical computing: between sense and sensibility 2005, Aarhus, Denmark

Mark, B., Peter, W., McCarthy, J. & Bertelsen, O. W. (2006). Workshops: Theory and method for experience centered design. I G. M. Olson & R. Jeffries (red.), CHI '06: extended abstracts on Human factors in computing systems CHI '06 (s. 1691-1695). Association for Computing Machinery. https://doi.org/10.1145/1125451.1125764

Avgustinov, P., Christensen, A. S., Hendren, L., Kuzins, S., Lhot´ak, J., Lhot´ak, O., de Moor, O., Sereni, D., Sittampalam, G. & Tibble, J. (2005). abc: An extensible AspectJ compiler. I AOSD 2005 (s. 87-98)

Allan, C., Avgustinov, P., Christensen, A. S., Dufour, B., Goard, C., Hendren, L. J., Kuzins, S., Lhoták, J., Lhoták, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J. & Verbrugge, C. (2005). abc the aspectBench compiler for aspectJ a workbench for aspect-oriented programming language and compilers research. I R. Johnson & R. P. Gabriel (red.), Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005 (San Diego, CA, USA, October 16-20, 2005) (s. 88-89). Association for Computing Machinery.

Zimmer, P. (2005). A Calculus for Context-Awareness. BRICS Report Series, (RS-05-27).

Barros, J. P. & Jørgensen, J. B. (2005). A Case Study on Coloured Petri Nets in Object-oriented Analysis and Design. Nordic Journal of Computing, 12(3), 229-250.

Hernest, M.-D. & Kohlenbach, U. (2005). A complexity analysis of functional interpretations. Theoretical Computer Science, 338(1-3), 200-246.

Hansen, T. R. & Bardram, J. E. (2005). ActiveTheatre - a Collaborative, Event-based Capture and Access System for the Operating Theatre. I UbiComp 2005 (s. 375-392). Springer LNCS.

Bardram, J. E. (2005). Activity-Based Computing: Support for Mobility and Collaboration in Ubiquitous Computing. Personal and Ubiquitous Computing, 9(5), 312-322.

Allan, C., Avgustinov, P., Christensen, A. S., Hendren, L., Kuzins, S., Lhot´ak, O., de Moor, O., Sereni, D., Sittampalam, G. & Tibble, J. (2005). Adding Trace Matching with Free Variables to AspectJ. I Proc. 20th International Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2005 (s. 345-364)

Ingstrup, M. & Hansen, K. M. (2005). A Declarative Approach to Architectural Reflection. I R. Nord, N. Medvidovic, R. Krikhaar, J. Stafford & J. Bosch (red.), 5th Working IEEE/IFIP Conference on Software Architecture (s. 149-158). IEEE Computer Society Press. https://doi.org/10.1109/WICSA.2005.6

Biernacki, D., Danvy, O. & Millikin, K. S. (2005). A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations. BRICS Report Series, (RS-05-16), 1-26.

Petersen, M. G. (2005). Aesthetics of Interaction – a Pragmatist Perspective. I Aesthetic Approaches to Human-Computer Interaction: Proceedings of the NordiCHI 2004 Workshop (s. 31-32). Department of Computer Science, Aarhus University.

Krukow, K. K., Nielsen, M. & Sassone, V. (2005). A Framework for Concrete Reputation-Systems. BRICS Report Series, (BRICS RS-05-23), 1-48.

Krukow, K. K., Nielsen, M. & Sassone, V. (2005). A Framework for Concrete Reputation-Systems with Applications to History-Based Access Control. I Proc. of 12th ACM Conference on Computer and Communications Security (s. 260-269). Association for Computing Machinery. https://doi.org/10.1145/1102120.1102155

Ager, M. S., Danvy, O. & Midtgaard, J. (2005). A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects. Theoretical Computer Science, 342(1), 149-172.

Mosegaard, J. & Sørensen, T. S. (2005). A GPU Accelerated Spring Mass System for Surgical Simulation. I Medicine Meets Virtual Reality (13 udg., s. 342-348). IOS Press.

Iversen, J. (2005). An Action Compiler Targeting Standard ML. I J. Boyland & G. Hedin (red.), Electronic Notes in Theoretical Computer Science (Bind 141/4, s. 167-188). Pergamon Press.

Brønsted, J., Hansen, K. M. & Kristensen, L. M. (2005). An Infrastructure for a Traffic Warning System. I Proceedings of the International Conference on Pervasive Services 2005 (s. 136-145). IEEE. https://doi.org/10.1109/PERSER.2005.1506402

Bennedsen, J. & Caspersen, M. E. (2005). An investigation of potential success factors for an introductory model-driven programming course. I The 2005 international workshop on Computing education research, ICER '05 Proceedings (Seattle, WA, USA, October 1-2, 2005) (s. 155-163). Association for Computing Machinery. https://doi.org/10.1145/1089786.1089801

Andersen, P., Bardram, J. E., Christensen, H. B., Corry, A. V., Hansen, K. M., Schmid, R. & Greenwood, D. (2005). An Open Architecture for Palpable Computing: Some Thoughts on Object Technology, Palpable Computing, and Architectures for Ambient Computing. Afhandling præsenteret på ECOOP 2005 Object Technology for Ambient Intelligence Workshop, Glasgow, Storbritannien. http://www.ist-palcom.org/publications/files/OT4AMI-2005.pdf

Biernacka, M., Biernacki, D. & Danvy, O. (2005). An Operational Foundation for Delimited Continuations in the CPS Hierarchy. Logical Methods in Computer Science, 1(2). https://doi.org/10.2168/LMCS-1(2:5)2005

Krukow, K. K. (2005). An Operational Semantics for Trust Policies. BRICS Report Series, (BRICS RS-05-30), 1-38. http://www.brics.dk/RS/05/30/BRICS-RS-05-30.pdf

Agarwal, P. K., Arge, L. & Yi, K. (2005). An optimal dynamic interval stabbing-max data structure? I Proceedings of the sixteenth annual ACM-SIAM symposium on Discrete algorithms (s. 803-812). Society for Industrial and Applied Mathematics.

Bennedsen, J. B. & Caspersen, M. E. (2005). An Upcoming Study of Potential Success Factors for an Introductory Model-Driven Programming Course. I Proceedings of the 5th Koli Calling Conference on Computer Science Education (s. 166-169). University of Joensuu.

Zhang, W. & Peng, C. (2005). A Program State Monitoring System. Journal of Tongji University, 33(10), 1385-1390.

Damgård, I. B., Salvail, L. & Pedersen, T. B. (2005). A Quantum Cipher with Near Optimal Key-Recycling. I V. Shoup (red.), Advances in Cryptology - CRYPTO 2005: 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005. Proceedings (s. 494-510). Springer. https://doi.org/10.1007/11535218_30

Zhang, W. (2005). Architecturally Reconfigurable Development of Mobile Games. I 2nd International Conference on Embedded Software and Systems (ICESS-2005) (s. 66-72). IEEE Computer Society Press. https://doi.org/10.1109/ICESS.2005.32

Kjærside, K., Kortbek, K. J., Møller, H. H. & Grønbæk, K. (2005). ARDressCode: Augmented Dressing Room with Tag-based Motion Tracking and Real-Time Clothes Simulation. I Proceedings of Central European Multimedia and Virtual Reality Conference European Association for Computer Graphics.

Biernacki, D. & Danvy, O. (2005). A Simple Proof of a Folklore Theorem about Delimited Control. BRICS Report Series, (RS-05-25).

Almansa Guerra, J. F. (2005). A Study for Cryptologic Protocols. Aarhus Universitet.

Biernacka, M. & Danvy, O. (2005). A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines. BRICS Report Series, (RS-05-38).

Brandorff, S., Nielsen, M. L. & Christensen, H. B. (2005). A Tutorial on Design Patterns for Music Notation Software. Computer Music Journal, 29(3), 42-54.

Lindgaard, T. & Grønbæk, K. (2005). Automatic geo-referencing of web-pages. I Proceedings of the IADIS International Conference on WWW/Internet 2005 (s. 200-208). International Association for Development, IADIS.

Ernst, E., Ostermann, K. & Cook, W. R. (2005). A Virtual Class Calculus. Daimi Report Series (DAIMI PB), 577.

Jehøj, H., Bouvin, N. O. & Grønbæk, K. (2005). AwareDAV: A Generic WebDAV Notification Framework and Implementation. I Proceedings of 14th international World Wide Web Conference (s. 180-189). Association for Computing Machinery. https://doi.org/10.1145/1060745.1060774

Bardram, J. E. & Bossen, C. (2005). A web of coordinative artifacts: collaborative work at a hospital ward. I GROUP 05 (s. 168-176). Association for Computing Machinery.

Fitzi, M. (2005). Byzantine agreement given partial broadcast. Journal of Cryptology, 18(3), 191-217.

Brodal, G. S., Fagerberg, R. & Moruz, G. (2005). Cache-Aware and Cache-Oblivious Adaptive Sorting. I L. Caires, G. F. Italiano, L. Monteiro, C. Palamidessi & M. Yung (red.), Automata, Languages and Programming: 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings (s. 576-588). Springer. https://doi.org/10.1007/11523468_47

Viser resultater 4401 til 4450 ud af 6119

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series