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

Grønbæk, K. (2006). Ubiquitous hypermedia and social interaction in physical environments. In HYPERTEXT '06: Proceedings of the seventeenth conference on Hypertext and hypermedia (pp. 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. 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. 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. 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. 285-304). Springer. https://doi.org/10.1007/11681878_15

Beldiceanu, N., Katriel, I. & Lorca, X. (2006). Undirected Forest Constraints. In Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2006) (Vol. LNCS 3990, pp. 29-43). Springer.

Hansen, T. R., Eriksson, E. & Lykke-Olesen, A. (2006). Use your head: Exploring face tracking for mobile interaction. In G. M. Olson & R. Jeffries (Eds.), 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. In ACM SIGGRAPH 2006 Society for Industrial and Applied Mathematics.

Palen, L. A. & Hughes, A. (2006). When home base is not a place: parents' use of mobile telephones. Personal and Ubiquitous Computing Journal.

Bødker, S. (2006). When second wave HCI meets third wave challenges. In Proceedings of the 4th Nordic conference on Human-computer interaction: changing roles NordiCHI '06 (pp. 1-8). Association for Computing Machinery.

Ballegaard, S. A., Bunde-Pedersen, J. & Bardram, J. E. (2006). Where to, Roberta?: Reflecting on the Role of Technology in Assisted Living. In Proceedings of NordiCHI 2006 Society for Industrial and Applied Mathematics.

Mailund, T., Besenbacher, S. & Schierup, M. H. (2006). Whole genome association mapping by incompatibilities and local perfect phylogenies. BMC Bioinformatics, 7(454). https://doi.org/10.1186/1471-2105-7-454

Bertelsen, O. W., Marti, P. & Shapiro, D. (2006). Workshop on Ambient Computing in a Critical, Quality of Life Perspective Aarhus, Denmark, 21 August 2005 - as part of the Fourth Aarhus Conference. In The 4th decennial conference on Critical computing: between sense and sensibility 2005, Aarhus, Denmark

Mark, B., Peter, W., McCarthy, J. & Bertelsen, O. W. (2006). Workshops: Theory and method for experience centered design. In G. M. Olson & R. Jeffries (Eds.), CHI '06: extended abstracts on Human factors in computing systems CHI '06 (pp. 1691-1695). Association for Computing Machinery. https://doi.org/10.1145/1125451.1125764

Avgustinov, P., Christensen, A. S., Hendren, L., Kuzins, S., Lhot´ak, J., Lhot´ak, O., de Moor, O., Sereni, D., Sittampalam, G. & Tibble, J. (2005). abc: An extensible AspectJ compiler. In AOSD 2005 (pp. 87-98)

Allan, C., Avgustinov, P., Christensen, A. S., Dufour, B., Goard, C., Hendren, L. J., Kuzins, S., Lhoták, J., Lhoták, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J. & Verbrugge, C. (2005). abc the aspectBench compiler for aspectJ a workbench for aspect-oriented programming language and compilers research. In R. Johnson & R. P. Gabriel (Eds.), Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005 (San Diego, CA, USA, October 16-20, 2005) (pp. 88-89). Association for Computing Machinery.

Zimmer, P. (2005). A Calculus for Context-Awareness. BRICS Report Series, (RS-05-27).

Barros, J. P. & Jørgensen, J. B. (2005). A Case Study on Coloured Petri Nets in Object-oriented Analysis and Design. Nordic Journal of Computing, 12(3), 229-250.

Hernest, M.-D. & Kohlenbach, U. (2005). A complexity analysis of functional interpretations. Theoretical Computer Science, 338(1-3), 200-246.

Hansen, T. R. & Bardram, J. E. (2005). ActiveTheatre - a Collaborative, Event-based Capture and Access System for the Operating Theatre. In UbiComp 2005 (pp. 375-392). Springer LNCS.

Bardram, J. E. (2005). Activity-Based Computing: Support for Mobility and Collaboration in Ubiquitous Computing. Personal and Ubiquitous Computing, 9(5), 312-322.

Allan, C., Avgustinov, P., Christensen, A. S., Hendren, L., Kuzins, S., Lhot´ak, O., de Moor, O., Sereni, D., Sittampalam, G. & Tibble, J. (2005). Adding Trace Matching with Free Variables to AspectJ. In Proc. 20th International Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2005 (pp. 345-364)

Ingstrup, M. & Hansen, K. M. (2005). A Declarative Approach to Architectural Reflection. In R. Nord, N. Medvidovic, R. Krikhaar, J. Stafford & J. Bosch (Eds.), 5th Working IEEE/IFIP Conference on Software Architecture (pp. 149-158). IEEE Computer Society Press. https://doi.org/10.1109/WICSA.2005.6

Biernacki, D., Danvy, O. & Millikin, K. S. (2005). A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations. BRICS Report Series, (RS-05-16), 1-26.

Petersen, M. G. (2005). Aesthetics of Interaction – a Pragmatist Perspective. In Aesthetic Approaches to Human-Computer Interaction: Proceedings of the NordiCHI 2004 Workshop (pp. 31-32). Department of Computer Science, Aarhus University.

Krukow, K. K., Nielsen, M. & Sassone, V. (2005). A Framework for Concrete Reputation-Systems. BRICS Report Series, (BRICS RS-05-23), 1-48.

Krukow, K. K., Nielsen, M. & Sassone, V. (2005). A Framework for Concrete Reputation-Systems with Applications to History-Based Access Control. In Proc. of 12th ACM Conference on Computer and Communications Security (pp. 260-269). Association for Computing Machinery. https://doi.org/10.1145/1102120.1102155

Ager, M. S., Danvy, O. & Midtgaard, J. (2005). A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects. Theoretical Computer Science, 342(1), 149-172.

Iversen, J. (2005). An Action Compiler Targeting Standard ML. In J. Boyland & G. Hedin (Eds.), Electronic Notes in Theoretical Computer Science (Vol. 141/4, pp. 167-188). Pergamon Press.

Brønsted, J., Hansen, K. M. & Kristensen, L. M. (2005). An Infrastructure for a Traffic Warning System. In Proceedings of the International Conference on Pervasive Services 2005 (pp. 136-145). IEEE. https://doi.org/10.1109/PERSER.2005.1506402

Bennedsen, J. & Caspersen, M. E. (2005). An investigation of potential success factors for an introductory model-driven programming course. In The 2005 international workshop on Computing education research, ICER '05 Proceedings (Seattle, WA, USA, October 1-2, 2005) (pp. 155-163). Association for Computing Machinery. https://doi.org/10.1145/1089786.1089801

Andersen, P., Bardram, J. E., Christensen, H. B., Corry, A. V., Hansen, K. M., Schmid, R. & Greenwood, D. (2005). An Open Architecture for Palpable Computing: Some Thoughts on Object Technology, Palpable Computing, and Architectures for Ambient Computing. Paper presented at ECOOP 2005 Object Technology for Ambient Intelligence Workshop, Glasgow, United Kingdom. http://www.ist-palcom.org/publications/files/OT4AMI-2005.pdf

Biernacka, M., Biernacki, D. & Danvy, O. (2005). An Operational Foundation for Delimited Continuations in the CPS Hierarchy. Logical Methods in Computer Science, 1(2). https://doi.org/10.2168/LMCS-1(2:5)2005

Krukow, K. K. (2005). An Operational Semantics for Trust Policies. BRICS Report Series, (BRICS RS-05-30), 1-38. http://www.brics.dk/RS/05/30/BRICS-RS-05-30.pdf

Agarwal, P. K., Arge, L. & Yi, K. (2005). An optimal dynamic interval stabbing-max data structure? In Proceedings of the sixteenth annual ACM-SIAM symposium on Discrete algorithms (pp. 803-812). Society for Industrial and Applied Mathematics.

Bennedsen, J. B. & Caspersen, M. E. (2005). An Upcoming Study of Potential Success Factors for an Introductory Model-Driven Programming Course. In Proceedings of the 5th Koli Calling Conference on Computer Science Education (pp. 166-169). University of Joensuu.

Czumaj, A., Halldorsson, M. M., Lingas, A. & Nilsson, J. P. (2005). Approximation Algorithms for Optimization Problems in Graphs with Super logarithmic Tree width. Information Processing Letters, 94(2), 49-53.

Zhang, W. & Peng, C. (2005). A Program State Monitoring System. Journal of Tongji University, 33(10), 1385-1390.

Damgård, I. B., Salvail, L. & Pedersen, T. B. (2005). A Quantum Cipher with Near Optimal Key-Recycling. In V. Shoup (Ed.), Advances in Cryptology - CRYPTO 2005: 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005. Proceedings (pp. 494-510). Springer. https://doi.org/10.1007/11535218_30

Zhang, W. (2005). Architecturally Reconfigurable Development of Mobile Games. In 2nd International Conference on Embedded Software and Systems (ICESS-2005) (pp. 66-72). IEEE Computer Society Press. https://doi.org/10.1109/ICESS.2005.32

Kjærside, K., Kortbek, K. J., Møller, H. H. & Grønbæk, K. (2005). ARDressCode: Augmented Dressing Room with Tag-based Motion Tracking and Real-Time Clothes Simulation. In Proceedings of Central European Multimedia and Virtual Reality Conference European Association for Computer Graphics.

Biernacki, D. & Danvy, O. (2005). A Simple Proof of a Folklore Theorem about Delimited Control. BRICS Report Series, (RS-05-25).

Almansa Guerra, J. F. (2005). A Study for Cryptologic Protocols. Aarhus Universitet.

Biernacka, M. & Danvy, O. (2005). A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines. BRICS Report Series, (RS-05-38).

Brandorff, S., Nielsen, M. L. & Christensen, H. B. (2005). A Tutorial on Design Patterns for Music Notation Software. Computer Music Journal, 29(3), 42-54.

Lindgaard, T. & Grønbæk, K. (2005). Automatic geo-referencing of web-pages. In Proceedings of the IADIS International Conference on WWW/Internet 2005 (pp. 200-208). International Association for Development, IADIS.

Ernst, E., Ostermann, K. & Cook, W. R. (2005). A Virtual Class Calculus. Daimi Report Series (DAIMI PB), 577.

Jehøj, H., Bouvin, N. O. & Grønbæk, K. (2005). AwareDAV: A Generic WebDAV Notification Framework and Implementation. In Proceedings of 14th international World Wide Web Conference (pp. 180-189). Association for Computing Machinery. https://doi.org/10.1145/1060745.1060774

Bardram, J. E. & Bossen, C. (2005). A web of coordinative artifacts: collaborative work at a hospital ward. In GROUP 05 (pp. 168-176). Association for Computing Machinery.

Fitzi, M. (2005). Byzantine agreement given partial broadcast. Journal of Cryptology, 18(3), 191-217.

Brodal, G. S., Fagerberg, R. & Moruz, G. (2005). Cache-Aware and Cache-Oblivious Adaptive Sorting. In L. Caires, G. F. Italiano, L. Monteiro, C. Palamidessi & M. Yung (Eds.), Automata, Languages and Programming: 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings (pp. 576-588). Springer. https://doi.org/10.1007/11523468_47

Arge, L., Brodal, G. S. & Fagerberg, R. (2005). Cache-Oblivious Data Structures. In D. Mehta & S. Sahni (Eds.), Handbook of Data Structures and Applications CRC Press.

Displaying results 4251 to 4300 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