Publikationer

Søg publikationer fra Institut for Datalogi

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

Hansen, K. M. (2006). The Ex hoc Architecture. Softwareprogram

Dooms, G. & Katriel, I. (2006). The Minimum Spanning Tree Constraint. I F. Benhamou (red.), CP 2006 (s. 152-166) https://doi.org/10.1007/11889205_13

Damgård, I. B. (2006). Theory and Practice of Multiparty Computation. I R. De Prisco & M. Yung (red.), Security and Cryptography for Networks: 5th International Conference, SCN 2006, Maiori, Italy, September 6-8, 2006. Proceedings (s. 360-364). Springer. https://doi.org/10.1007/11832072_25

Jørgensen, J. B., Christensen, S., Tuovinen, A.-P. & Xu, J. (2006). Tool Support for Estimating the Memory Usage of Mobile Phone Software. Software Tools for Technology Transfer.

Lambov, B. Z. (2006). Topics in the Theory and Practice of Computable Analysis.

Kjærgaard, M. B. & Bunde-Pedersen, J. (2006). Towards a Formal Model of Context Awareness. I Proceedings of the First International Workshop on Combining Theory and Systems Building in Pervasive Computing (Pervasive 2006) (s. 667-674) http://www.smartlab.cis.strath.ac.uk/CTSB/Pedersen.pdf

Bunde-Pedersen, J. & Bardram, J. E. (2006). Towards an Activity-Based World-Wide-Web. I Proceedings of workshop on Information Integration on the Web, 2006 (IIWeb2006) http://iiweb2006.cs.uiuc.edu/12.pdf

Krukow, K. (2006). Towards a Theory of Trust for the Global Ubiquitous Computer.

Bertelsen, O. W. & Zander, P.-O. (2006). Towards a Value Theory of the Interface. I DHRS 2006: Proceedings of the Sixth Danish Human-Computer Interaction Research Symposium, November 15, 2006 (s. 7-8). Datalogisk Institut, Aahus Universitet.

Bertelsen, O. W. & Zander, P.-O. (2006). Towards a Value Theory of the Interface. I O. Bertelsen, M. Brynskov, P. Dalsgaard, O. S. Iversen, M. G. Petersen & M. Wetterstrand (red.), Proceedings of the Sixth Danish Human-Computer Interaction Research Symposium (s. 7-8). Department of Computer Science, Aarhus University.

Ingstrup, M. (2006). Towards Distributed Declarative Architectural Reflection.

Mendling, J., Lassen, K. B. & Zdun, U. (2006). Transformation Strategies between Block-Oriented and Graph-Oriented Process Modelling Languages. I 3rd GI Workshop XML4BPM - XML Integration and Transformation for Business Process Management at MKWI 2006

Mendling, J., Lassen, K. B. & Zdun, U. (2006). Transformation Strategies between Block-Oriented and Graph-Oriented Process Modelling Languages. Multikonferenz Wirtschaftsinformatik.

Lassen, K. B. (2006). Translating BPEL to FLOWer. (s. 1-24). Aarhus Universitetsforlag.

Corry, A. V., Hansen, K. M. & Svensson, D. (2006). Traveling Architects: A New Way of Herding Cats. I C. Hofmeister, I. Crnkovic & R. Reussner (red.), Quality of Software Architectures (s. 111-126). Springer. https://doi.org/10.1007/11921998_12

Kirkegaard, C. & Møller, A. (2006). Type Checking with XML Schema in XACT. Afhandling præsenteret på PLAN-X 2006: ACM SIGPLAN Workshop on Programming Language Technologies for XML, Charleston, SC, USA.

Hansen, F. A. (2006). Ubiquitous Annotation Systems: Technologies and Challenges. I Proceedings of the Seventeenth Conference on Hypertext and Hypermedia (s. 121-132). Association for Computing Machinery. https://doi.org/10.1145/1149941.1149967

Grønbæk, K. (2006). Ubiquitous hypermedia and social interaction in physical environments. I HYPERTEXT '06: Proceedings of the seventeenth conference on Hypertext and hypermedia (s. 119-120). Association for Computing Machinery. https://doi.org/10.1145/1149941.1149965

Damgård, I. B., Dupont, K. & Pedersen, M. Ø. (2006). Unclonable Group Identification. I S. Vaudenay (red.), Advances in Cryptology - EUROCRYPT 2006: 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006. Proceedings (s. 555-572). Springer. https://doi.org/10.1007/11761679_33

Damgård, I. B., Nielsen, J. B., Toft, T., Kiltz, E. & Fitzi, M. (2006). Unconditionally Secure Constant-Rounds Multi-party Computation for Equality, Comparison, Bits and Exponentiation. I S. Halevi & T. Rabin (red.), Theory of Cryptography: Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006. Proceedings (s. 285-304). Springer. https://doi.org/10.1007/11681878_15

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

Viser resultater 4351 til 4400 ud af 6089

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series