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

Iversen, O. S. & Hansen, F. A. (2006). Med it på lommen – mobilteknologi til nomadisk læring. http://design.emu.dk/artikler/0619-mobiltek.html

Hansen, F. A. & Iversen, O. S. (2006, May). Med IT på lommen – mobilteknologi til nomadisk læring. EMU - Danmarks Læringsportal.

Damm, C. H., Hansen, K. M., Thomsen, M. & Tyrsted, M. (2006). Method for gesture based modeling. (Patent No. 7096454).

Brønsted, J. (2006). Middleware til Pervasive Communication. (1 ed.) Komialt - Vidennetværk for Pervasive Communication.

Clemensen, J., Larsen, S. B. & Ejskjær, N. (2006). Mobil Diabetes Sårpleje i Århus Amt. Behandlerbladet, (22), 18-22.

Brynskov, M. & Ludvigsen, M. (2006). Mock Games: A New Genre of Pervasive Play. In Proceedings of the 6th ACM Conference on Designing Interactive Systems (pp. 169-178). Association for Computing Machinery.

Tjell, S. (2006). Model-Based Analysis of a Windmill Communication System. In From Model-Driven Design to Resource Management for Distributed Embedded Systems (Vol. 225/2006, pp. 245-255). Springer.

Kristensen, L. M., Mechlenborg, P., Zhang, L., Mitchell, B. & Gallasch, G. (2006). Model based Development of a Course of Action Scheduling Tool. In Proc. of Seventh Workshop and Tutorial on Practical Use of Coloured Petri Netds and the CPN Tools (Vol. 579, pp. 1-16). Department of Computer Science, University of Aarhus.

Tjell, S. (2006). Model-Based Testing of a Reactive System with Coloured Petri Nets. In Proceedings of GI Jahrestagung (2) (Vol. 94, pp. 274-281). Gesellschaft für Informatik e.V..

Blunck, H., Hinrichs, K., Sondern, J. & Vahrenhold, J. (2006). Modeling and Engineering Algorithms for Mobile Data. In A. Riedl, W. Kainz & G. A. Elmes (Eds.), Progress in Spatial Data Handling: 12th International Symposium on Spatial Data Handling (pp. 61-77). Springer. https://doi.org/10.1007/3-540-35589-8_5

Blunck, H. (2006). Modelle und Algorithmen für mobile Datenobjekte und Umgebungen.

Hansen, T. R., Bardram, J. & Søgaard, M. (2006). Moving out of the Laboratory: Deploying Pervasive Technologies in a Hospital. I E E E Pervasive Computing, 5(3), 24-31.

Khaled, E. & Katriel, I. (2006). Multiconsistency and Robustness with Global Constraints. Constraints, 11(4), 335-352.

Nielsen, J. & Grønbæk, K. (2006). MultiLightTracker: Vision based simultaneous multi object tracking on semi-transparent surfaces. In Proceedings of the Conference on Computer Vision Theory and Applications Institute for Systems and Technologies of Information, Control and Communication.

Damgård, I. B., Nicolosi, A. & Fazio, N. (2006). Non-interactive Zero-Knowledge from Homomorphic Encryption. In S. Halevi & T. Rabin (Eds.), Theory of Cryptography: Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006. Proceedings (pp. 41-59). Springer. https://doi.org/10.1007/11681878_3

Damgård, I. B., Fehr, S., Salvail, L. & Schaffner, C. (2006). Oblivious Transfer and Linear Functions. In C. Dwork (Ed.), Advances in Cryptology - CRYPTO 2006: 26th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2006. Proceedings (pp. 427-444). Springer. https://doi.org/10.1007/11818175_26

Palen, L. A. & Ballegaard, S. A. (2006). Of Pill Boxes and Piano Benches: "Home-made" Methods for Managing Medication. Paper presented at CSCW '06, Banff, Alberta, Canada.

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.

Displaying results 4151 to 4200 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