Publikationer

Søg publikationer fra Institut for Datalogi

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

Danvy, O. (red.), O’Hearn, P. & Wadler, P. (2006). Preface, Festschrift for John C. Reynolds's 70th birthday. I Theoretical Computer Science, Volume 375, Issues 1–3, (s. 1-2). Elsevier.

Carroll, J. M., Bødker, S. & Coughlin, J. (red.) (2006). Proceedings of the Conference on Designing Interactive Systems, University Park, PA, USA, June 26-28, 2006. Society for Industrial and Applied Mathematics.

Zhang, W. & Kunz, T. (2006). Product line based ontology development for semantic web service. I C. Chi-Hung, F. B. Bastani & X. Xiangyang (red.), Proceedings of the IEEE International Symposium on Service-Oriented System Engineering (SOSE 2006): Session 7: Service Discovery (s. 183-188). IEEE Computer Society Press. https://doi.org/10.1109/SOSE.2006.25

Zhang, W. & Kunz, T. (2006). Product line based ontology reuse in context-aware e-business environment. I Proceedings of the IEEE International Conference on e-Business Engineering: ICEBE 2006 (s. 138-145). IEEE Computer Society Press.

Kirkegaard, C. (2006). Programming with XML.

Lassen, K. B. (2006). Progress Report: From Real World Problems to Implementation Using Coloured Petri Nets and Translations Between Workflow Languages. Datalogisk Institut, Aarhus Universitet.

Brodal, G. S., Makris, C. & Tsichlas, K. (2006). Purely Functional Worst Case Constant Time Catenable Sorted Lists. I Y. Azar & T. Erlebach (red.), Algorithms – ESA 2006: 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006. Proceedings (s. 172-183). Springer. https://doi.org/10.1007/11841036_18

Pedersen, T. B. (2006). Quantum Encryption Minimising Key Leakage under Known Plaintext Attacks.

Kristensen, L. M., Valmari, A. & Schmidt, K. (2006). Question-Guided Stubborn Set Methods for State Properties. Formal Methods in System Design, 29(3), 215-251.

Alphonce, C., Caspersen, M. E., Decker, A. & Trask, B. (2006). "Killer examples" for design patterns: the fifth annual OOPSLA "Killer Examples" workshop. I P. L. Tarr & W. R. Cook (red.), OOPSLA '06: Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (s. 625-626). Society for Industrial and Applied Mathematics. https://doi.org/10.1145/1176617.1176640

Alphonce, C., Caspersen, M. E., Decker, A. & Trask, B. (2006). "Killer examples" for design patterns: a poster reporting results of the workshop. Poster-session præsenteret på "Killer examples" for design patterns, Portland, Oregon, USA. https://doi.org/10.1145/1176617.1176648

Ernst, E. (2006). Reconciling Virtual Classes with Genericity. I Modular Programming Languages: 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 2006, Proceedings (s. 57-72). Springer. https://doi.org/10.1007/11860990_5

Mailund , Brodal, G. S., Fagerberg, R., Pedersen, C. N. S. & Phillips, D. (2006). Recrafting the Neighbor-Joining Method. BMC Bioinformatics, 7(29).

Frandsen, J., Hobolth, A., Østergaard, L., Vestergaard-Poulsen, P. & Vedel, E. B. (2006). Regularization of Diffusion Tensor Fields in Axonal Fibre Tracking. Poster-session præsenteret på PhD Day 2006, The Faculty of Health Sciences, Aarhus, Danmark.

Jørgensen, J. B. & Lassen, K. B. (2006). Requirements Engineering for the Adviser Portal Bank System. I Ikke angivet IEEE Computer Society Press.

Jørgensen, J. B. & Lassen, K. B. (2006). Requirements Engineering for the Adviser Portal Bank System. International Conference on Engineering Computer Based Systems.

Bucur, D. & Bardram, J. (2006). Resource Discovery in Activity-Based Sensor Networks. Afhandling præsenteret på International Conference on Pervasive Computing Technologies for Healthcare, Østrig. https://doi.org/10.1109/PCTHEALTH.2006.361663

Hirt, M. & Nielsen, J. B. (2006). Robust Multiparty Computation with Linear Communication Complexity. I C. Dwork (red.), Advances in Cryptology - CRYPTO 2006: 26th Annual International Cryptology Conference (s. 463-482) https://doi.org/10.1007/11818175_28

Møller-Nielsen, P. & Gejl, J. (2006). Room #2 (Den gyldne, Charlottenborg Udstillingsbygning). Poster-session præsenteret på Room #2 (Den gyldne, Charlottenborg Udstillingsbygning), København, Danmark.

Møller-Nielsen, P. & Gejl, J. (2006). Room #2 (Kunsthallen Brænderigården). Poster-session præsenteret på Room #2 (Kunsthallen Brænderigården), Viborg, Danmark.

Fitzi, M., Garay, J. A., Gollakota, S., Rangan, C. P. & Srinathan, K. (2006). Round-optimal and Efficient Verifiable Secret Sharing. I S. Halevi & T. Rabin (red.), Theory of Cryptography, Third Theory of Cryptography Conference, TCC 2006 Proceedings (s. 329-342). Springer. https://doi.org/10.1007/11681878_17

Damgård, I. B. & Ishai, Y. (2006). Scalable Secure Multiparty Computation. I C. Dwork (red.), Advances in Cryptology - CRYPTO 2006: 26th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2006. Proceedings (s. 501-520). Springer. https://doi.org/10.1007/11818175_30

Jensen, K. (red.) (2006). Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, October 24-26, 2006. Department of Computer Science, Aarhus University.

Arge, L. & Zeh, N. (2006). Simple and Semi-Dynamic Structures for Cache-Oblivious Planar Orthogonal Range Searching. I Proceedings of the twenty-second annual symposium on Computational geometry (s. 158-166). Association for Computing Machinery. https://doi.org/10.1145/1137856.1137883

Almansa Guerra, J. F., Damgård, I. B. & Nielsen, J. B. (2006). Simplified Threshold RSA with Adaptive and Proactive Security. 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. 593-611). Springer. https://doi.org/10.1007/11761679_35

Brodal, G. S. & Moruz, G. (2006). Skewed Binary Search Trees. I Y. Azar & T. Erlebach (red.), Algorithms – ESA 2006: 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006. Proceedings (s. 708-719). Springer. https://doi.org/10.1007/11841036_63

Brynskov, M. (2006). Social Construction Kits for Kids: New Models for Game Design in the Era of MySpace and Disney Mobile. Journal of Game Development, 2(1), 11-30.

Lämmel, R. & Ostermann, K. (2006). Software extension and integration with type classes: A tutorial for functional and OO programmers. I S. Jarzabek, D. C. Schmidt & T. L. Veldhuizen (red.), Generative Programming and Component Engineering '06: Proceedings of the 5th international conference on Generative programming and component engineering (s. 161-170). Association for Computing Machinery.

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

Viser resultater 4301 til 4350 ud af 6089

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series