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

Katriel, I. & Bodlaender, H. L. (2006). Online Topological Ordering. A C M Transactions on Algorithms, 2(3), 364-379.

Hansen, K. A. (2006). On Modular Counting with Polynomials. In 21st Annual IEEE Conference on Computational Complexity (CCC'06) (pp. 202-212). IEEE Computer Society Press. https://doi.org/10.1109/CCC.2006.29

Danvy, O. & Rohde, H. K. (2006). On Obtaining the Boyer-Moore String-Matching Algorithm by Partial Evaluation. Information Processing Letters, 99(4), 158-162.

Miltersen, P. B., Kjeldgaard-Pedersen, J., Burgisser, P. & Allender, E. (2006). On the Complexity of Numerical Analysis. In Proceedings of the 21st Annual IEEE Conference on Computational Complexity (pp. 331-339). IEEE Computer Society Press.

Fitzi, M., Wolf, S. & Wullschleger, J. (2006). On the Power of Imperfect Broadcast. In Ikke angivet (pp. 504-505). IEEE Press.

Biernacki, D. P., Danvy, O. & Shan, C. (2006). On the Static and Dynamic Extents of Delimited Continuations. Science of Computer Programming, 60(3), 274-297.

Fitzi, M. & Hirt, M. (2006). Optimally Efficient Multi-valued (Byzantine) Agreement. In Proceedings of the 25th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (pp. 163-168). Society for Industrial and Applied Mathematics.

Thomsen, J. (2006). OSGi-based Gateway Replication. In N. Guimarães, P. Isaías & A. Goikoetxea (Eds.), Proceedings of the IADIS Applied Computing Conference 2006 (pp. 123-129). International Association for Development, IADIS.

Aracic, I., Gasiunas, V., Mezini, M. & Ostermann, K. (2006). Overview of CaesarJ . Lecture Notes in Computer Science, 3880, 135.

Ager, M. S. (2006). Partial Evaluation of String Matchers & Constructions of Abstract Machines.

Kristensen, M., Kyng, M. & Palen, L. A. (2006). Participatory Design in Emergency Medical Service: Designing for Future Practice. In Proceedings of the ACM Conference on Human Factors in Computing Systems CHI 2006 (pp. 161-170). Association for Computing Machinery. https://doi.org/10.1145/1124772.1124798

Wells, L. M. (2006). Performance Analysis using CPN Tools. In Valuetools '06: Proceedings of the 1st International Conference On Performance Evaluation Methodolgies And Tools Association for Computing Machinery.

Larsen, S. B. (2006). Pervasive Home Care - Technological support for treatment of diabetic foot ulcers at home.

Hansen, T. R. (2006). Pervasive Interaction - Designing interactive pervasive systems for complex work environments.

Hansen, T. R. (2006). Pervasive Mashups. In Proceedings of the Sixth Danish Human-Computer Interaction Research Symposium.: DHRS 2006 (DAIMI PB-580 ed., pp. 25-26). Department of Computer Science, University of Aarhus.

Kjærgaard, M. B. (2006). "Pervasive" trends 2006. (Forskningsformidlende rapport ed.) Komialt - Vidennetværk for Pervasive Communication - Pixibog.

Schwartzbach, M. I. & Ball, T. (Eds.) (2006). PLDI 2006. Proceedings of the 2006 ACM SIGPLAN Conferenceon Programming Language Design and Implementation: June 10-16, 2006 Ottawa, Ontario, Canada. Association for Computing Machinery. http://portal.acm.org/citation.cfm?id=1133981&coll=Portal&dl=GUIDE&CFID=93833102&CFTOKEN=69088742

Schwartzbach, M. I. & Ball, T. (Eds.) (2006). PLDI '06: Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation. Society for Industrial and Applied Mathematics.

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

Carroll, J. M., Bødker, S. & Coughlin, J. (Eds.) (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. In C. Chi-Hung, F. B. Bastani & X. Xiangyang (Eds.), Proceedings of the IEEE International Symposium on Service-Oriented System Engineering (SOSE 2006): Session 7: Service Discovery (pp. 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. In Proceedings of the IEEE International Conference on e-Business Engineering: ICEBE 2006 (pp. 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. In Y. Azar & T. Erlebach (Eds.), Algorithms – ESA 2006: 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006. Proceedings (pp. 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. In P. L. Tarr & W. R. Cook (Eds.), OOPSLA '06: Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (pp. 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 presented at "Killer examples" for design patterns, Portland, Oregon, United States. https://doi.org/10.1145/1176617.1176648

Ernst, E. (2006). Reconciling Virtual Classes with Genericity. In Modular Programming Languages: 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 2006, Proceedings (pp. 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 presented at PhD Day 2006, The Faculty of Health Sciences, Aarhus, Denmark.

Jørgensen, J. B. & Lassen, K. B. (2006). Requirements Engineering for the Adviser Portal Bank System. In 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. 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).

Displaying results 4151 to 4200 out of 5916

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University