Publications

Search for publications at Department of Computer Science

Below you find a complete list of publications published and edited by scientists at the Department of Computer Science

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. Paper presented at International Conference on Pervasive Computing Technologies for Healthcare, Austria. https://doi.org/10.1109/PCTHEALTH.2006.361663

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

Møller-Nielsen, P. & Gejl, J. (2006). Room #2 (Den gyldne, Charlottenborg Udstillingsbygning). Poster session presented at Room #2 (Den gyldne, Charlottenborg Udstillingsbygning), København, Denmark.

Møller-Nielsen, P. & Gejl, J. (2006). Room #2 (Kunsthallen Brænderigården). Poster session presented at Room #2 (Kunsthallen Brænderigården), Viborg, Denmark.

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

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

Jensen, K. (Ed.) (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. In Proceedings of the twenty-second annual symposium on Computational geometry (pp. 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. In S. Vaudenay (Ed.), 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 (pp. 593-611). Springer. https://doi.org/10.1007/11761679_35

Brodal, G. S. & Moruz, G. (2006). Skewed Binary Search Trees. In Y. Azar & T. Erlebach (Eds.), Algorithms – ESA 2006: 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006. Proceedings (pp. 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. In S. Jarzabek, D. C. Schmidt & T. L. Veldhuizen (Eds.), Generative Programming and Component Engineering '06: Proceedings of the 5th international conference on Generative programming and component engineering (pp. 161-170). Association for Computing Machinery.

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

Jensen, K. & Podelski, A. (Eds.) (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. Paper presented at 39th Annual Simulation Symposium, Huntsville, Alabama, United States.

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. In K. Yi (Ed.), Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings (pp. 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. In Proceedings of the ninth conference on Participatory design: Expanding boundaries in design - Volume 1 (Vol. 1, pp. 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. (Ed.), Damgård, I. B., Salvail, L. & Cachin, C. (2006). Summary Report on Unconditionally Secure Protocols. (pp. 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. In R. E. Grinter, T. Rodden, P. M. Aoki, E. Cutrell, R. Jeffries & G. M. Olson (Eds.), CHI '06: Proceedings of the 2006 Conference on Human Factors in Computing Systems (pp. 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. In Proceedings of the Workshop on Emerging Applications for Wireless and Mobile Access MobEA III at the 14^th World Wide Web Conference

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

Brabrand, C. & Andersen, J. (2006). Teaching Teaching & Understanding Understanding. Pictures, Video and sound recordings (digital) . http://www.daimi.au.dk/~brabrand/short-film

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

Bertelsen, O. W. (2006). Tertiary Artefactness at the Interface. In P. A. Fishwick (Ed.), Aesthetic Computing (1 ed.). The MIT Press.

Bunde-Pedersen, J., Mogensen, M. & Bardram, J. E. (2006). The ABC Adaptive Fusion Architecture. In 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. In Petri Nets and Other Models of Concurrency ICATPN 2006 (Vol. 4024, pp. 331-340). Springer.

Westergaard, M. (2006). The BRITNeY Suite: A Platfor for Experiments. In K. Jensen (Ed.), Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: CPN'06 workshop (pp. 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. In Proceedings of Scandinavian Student Interaction Design Conference (SIDER) 2006

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

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

Damgård, I. B. (2006). Theory and Practice of Multiparty Computation. In R. De Prisco & M. Yung (Eds.), Security and Cryptography for Networks: 5th International Conference, SCN 2006, Maiori, Italy, September 6-8, 2006. Proceedings (pp. 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. In Proceedings of the First International Workshop on Combining Theory and Systems Building in Pervasive Computing (Pervasive 2006) (pp. 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. In 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. In DHRS 2006: Proceedings of the Sixth Danish Human-Computer Interaction Research Symposium, November 15, 2006 (pp. 7-8). Datalogisk Institut, Aahus Universitet.

Bertelsen, O. W. & Zander, P.-O. (2006). Towards a Value Theory of the Interface. In O. Bertelsen, M. Brynskov, P. Dalsgaard, O. S. Iversen, M. G. Petersen & M. Wetterstrand (Eds.), Proceedings of the Sixth Danish Human-Computer Interaction Research Symposium (pp. 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. In 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. (pp. 1-24). Aarhus Universitetsforlag.

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

Kirkegaard, C. & Møller, A. (2006). Type Checking with XML Schema in XACT. Paper presented at PLAN-X 2006: ACM SIGPLAN Workshop on Programming Language Technologies for XML, Charleston, SC, United States.

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

Displaying results 4201 to 4250 out of 5933

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University