Publikationer

Søg publikationer fra Institut for Datalogi

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

Christensen, A. S. (2006). Something to do with Java.

Jensen, K. & Podelski, A. (red.) (2006). Special Section on "Tools and Algorithms for the Construction and Analysis of Systems". International Journal on Software Tools for Technology Transfer, 8(3), 177-299. https://doi.org/10.1007/s10009-006-0221-5

Brønsted, J. & Kristensen, L. M. (2006). Specification and Performance Evaluation of Two Zone Dissemination Protocols for Vehicular Ad-hoc Networks. Afhandling præsenteret på 39th Annual Simulation Symposium, Huntsville, Alabama, USA.

Møller, A. (2006). Static Analysis for Event-Based XML Processing. BRICS Report Series, (RS-06-16).

Kirkegaard, C. & Møller, A. (2006). Static Analysis for Java Servlets and JSP. I K. Yi (red.), Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings (s. 336-352). Springer. https://doi.org/10.1007/11823230_22

Hansen, T. R. (2006). Strings of experiments: looking at the design process as a set of socio-technical experiments. I Proceedings of the ninth conference on Participatory design: Expanding boundaries in design - Volume 1 (Bind 1, s. 1-10). Association for Computing Machinery. https://doi.org/10.1145/1147261.1147263

Gerhardy, P. & Kohlenbach, U. (2006). Strongly uniform bounds from semi-constructive proofs. Annals of Pure and Applied Logic, 141, 89-107.

Nielsen, J. B. (red.), Damgård, I. B., Salvail, L. & Cachin, C. (2006). Summary Report on Unconditionally Secure Protocols. (s. 1- 25). ECRYPT - European Network of Excellence in Cryptology.

Bardram, J., Bunde-Pedersen, J. & Søgaard, M. (2006). Support for activity-based computing in a personal computing operating system. I R. E. Grinter, T. Rodden, P. M. Aoki, E. Cutrell, R. Jeffries & G. M. Olson (red.), CHI '06: Proceedings of the 2006 Conference on Human Factors in Computing Systems (s. 211-220) https://doi.org/10.1145/1124772.1124805

Bouvin, N. O., Christensen, B. G., Hansen, F. A. & Nielsen, K. L. (2006). Supporting Mobile and Nomadic Learning. I Proceedings of the Workshop on Emerging Applications for Wireless and Mobile Access MobEA III at the 14^th World Wide Web Conference

Sørensen, T. S., Greil, G., Hansen, O. K. & Mosegaard, J. (2006). Surgical simulation - a new tool to evaluate surgical incisions in congenital heart disease? Interactive Cardiovascular and Thoracic Surgery, (5), 536-539.

Brabrand, C. (2006). Teaching Teaching & Understanding Understanding: A short-film about constructive alignment.. Billeder, Video- og Lydoptagelser (digital) . http://www.daimi.au.dk/~brabrand/short-film/

Brabrand, C. & Andersen, J. (2006). Teaching Teaching & Understanding Understanding. Billeder, Video- og Lydoptagelser (digital) . http://www.daimi.au.dk/~brabrand/short-film

Mosegaard, J. & Sørensen, T. S. (2006). Technical Aspects of the GPU Accelerated Surgical Simulator. Softwareprogram .

Anderson, K. M., Hansen, F. A. & Bouvin, N. O. (2006). Templates and Queries in Contextual Hypermedia. I Proceedings of the 17th ACM Hypertext 2006 Conference (s. 99-110). Association for Computing Machinery. https://doi.org/10.1145/1149941.1149961

Bertelsen, O. W. (2006). Tertiary Artefactness at the Interface. I P. A. Fishwick (red.), Aesthetic Computing (1 udg.). The MIT Press.

Bunde-Pedersen, J., Mogensen, M. & Bardram, J. E. (2006). The ABC Adaptive Fusion Architecture. I Proceedings of The 4th International Workshop on Middleware for Pervasive and Ad-Hoc Computing, a workshop of The 7th International Middleware Conference

Weinberg, M. S., Villeneuve, L. M., Ehsani, A., Amarzguioui, M., Aagaard, L., Chen, Z.-X., Riggs, A. D., Rossi, J. J. & Morris, K. V. (2006). The antisense strand of small interfering RNAs directs histone methylation and transcriptional gene silencing in human cells. RNA, 12(2), 256–262. https://doi.org/10.1261/rna.2235106

Westergaard, M. & Lassen, K. B. (2006). The BRITNeY Suite Animation Tool. I Petri Nets and Other Models of Concurrency ICATPN 2006 (Bind 4024, s. 331-340). Springer.

Westergaard, M. (2006). The BRITNeY Suite: A Platfor for Experiments. I K. Jensen (red.), Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: CPN'06 workshop (s. 97-116). Aarhus Universitetsforlag.

Bataillon, T., Mailund, T., Thorlacius, S., Steingrimsson, E., Rafnar, T., Halldorsson, M., Calian, V. & Schierup, M. H. (2006). The effective size of the Icelandic population and the prospects for LD mapping: inference from unphased microsatellite markers. European Journal of Human Genetics, 14, 1044–1053. https://doi.org/10.1038/sj.ejhg.5201669

Fritsch, J., Dalsgård, P. & Dindler, C. (2006). The Energy Table: Augmenting the Exhibition Space at The Danish Electricity Museum. I Proceedings of Scandinavian Student Interaction Design Conference (SIDER) 2006

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.

Viser resultater 4301 til 4350 ud af 6061

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series