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

Brodal, G. S. & Leonardi, S. (Eds.) (2005). ESA 2005: 13th Annual European Symposium: Springer LNCS.

Hansen, K. M., Antolin Rafael, P., Camara, J., Carro, S., Metha, G., Rosengren, P., Pagter, J. I. & Pedersen, M. Ø. (2005). eu-DOMAIN D3.1 + D4.1 Software Architecture Specification.

Madsen, B. A. (2005). Exact Algorithms and Exact Satisfiability. Aarhus Universitet.

Machado, R. J., Lassen, K. B., Oliveira, S., Couto, M. & Pinto, P. (2005). Execution of UML Models with CPN Tools for Workflow Requirements Validation. In Proceedings of Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, volume PB-576 of DAIMI (pp. 231-250). DAIMI PB-576.

Mosses, P. D. (2005). Exploiting Labels in Structural Operational Semantics. BRICS Report Series, (RS-05-8).

Foster, J. N., Greenwald, M. B., Kirkegaard, C., Pierce, B. C. & Schmitt, A. (2005). Exploiting Schemas in Data Synchronization. In DBPL 2005 (pp. 42-57). Springer LNCS.

Bardram, J. E., Christensen, H. B., Corry, A. V., Hansen, K. M. & Ingstrup, M. (2005). Exploring Quality Attributes using Architectural Prototyping. In R. Reussner, J. Mayer, J. A. Stafford, S. Overhage, S. Becker & P. J. Schroeder (Eds.), Quality of Software Architectures and Software Quality: First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings (pp. 155-170). Springer. https://doi.org/10.1007/11558569_12

Støvring, K. (2005). Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative. (BRICS RS-05-35 ed.) Aarhus Universitet.

Jelling Kristoffersen, K., Kjærgaard, M. B., Chen, J., Sheridan, J., Rønning, R. & Aa. Sørensen, J. (2005). Extending Wireless Broadband Network Architectures with Home Gateways, Localization, and Physical Environment Surveillance. In Proceedings of the Second International CICT Conference: Next Generation Broadband -Content and User Perspectives Center for Information and Communication Technologies.

Arge, L. & Toma, L. (2005). External Data Structures for Shortest Path Queries on Planar Digraphs. In X. Deng & D. Du (Eds.), Algorithms and Computation: 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005. Proceedings (pp. 328-338). Springer. https://doi.org/10.1007/11602613_34

Biernacka, M., Danvy, O. & Sørensen, K. S. (2005). Extracting Evaluators from Proofs of Weak Head Normalization. In Electronic Notes in Theoretical Computer Science Elsevier Science Publishers.

Gerhardy, P. (2005). Extracting Herbrand Disjunctions by Functional Interpretation. Archive for Mathematical Logic, 44, 633-644.

Brodal, G. S., Demaine, E. D. & Munro, J. I. (2005). Fast Allocation and Deallocation with an Improved Buddy System. Acta Informatica, 41(4-5), 273-291. https://doi.org/10.1007/s00236-004-0159-6

Brodal, G. S., Kaligosi, K., Katriel, I. & Kutz, M. (2005). Faster Algorithms for Computing Longest Common Increasing Subsequences. BRICS Report Series, (RS-05-37).

Brodal, G. S. (2005). Finger Search Trees. In D. Mehta & S. Sahni (Eds.), Handbook of Data Structures and Applications CRC Press.

Petersen, M. G., Krogh, P., Ludvigsen, M. & Lykke-Olesen, A. (2005). Floor interaction: HCI reaching new ground. In CHI '05 extended abstracts on Human factors in computing systems (pp. 1717-1720). Association for Computing Machinery. https://doi.org/10.1145/1056808.1057005

Rohde, H. K. (2005). Formal Aspects of Partial Evaluation. Aarhus Universitet.

Iversen, J. (2005). Formalisms and tools supporting Constructive Action Semantics. Aarhus Universitet.

Danvy, O. (2005). From Reduction-based to Reduction-free Normalization. Electronic Notes in Theoretical Computer Science, 124(2), 79-100.

Bødker, S., Bjerrum, E., Lauritzen, S. A. & Petersen, A. B. (2005). Gate Keeping or Bridge Building? - Cooperation, Learning and Boundary Working in a Cross-media Workplace. In OLKOS 2005

Agarwal, S. (2005). GCD Algorithms for Quadratic Number Rings. Aarhus Universitet.

Gerhardy, P. & Kohlenbach, U. (2005). General Logical Metatheorems for Functional Analysis. BRICS Report Series, (RS-05-21).

Zhao, Y., Nielsen, J. B., Deng, R. H. & Feng, D. (2005). Generic yet Practical ZK Arguments from any Public-Coin HVZK. Electronic Colloquium on Computational Complexity, (TR05-162), 1-16.

Houston, B., Nielsen, M. B., Nilsson, O., Museth, K. & Batty, C. (2005). Gigantic Deformable Surfaces. In Ikke angivet Society for Industrial and Applied Mathematics.

Hansen, K. M., Menta, G. & Pregarz, B. (2005). Handling Adaptability, Privacy, and Accuracy in the Design of a Location-Aware Mobile Interactive Gateway. In Proceedings of the 4th Workshop on HCI in Mobile Guides Association for Computing Machinery.

Kohlenbach, U. (2005). Higher Order Reverse Mathematics. In S. G. Simpson (Ed.), Reverse Mathematics 2001 (pp. 281-295). A K Peters.

Damgård, I. B., Fitzi, M., Nielsen, J. B. & Toft, T. (2005). How to Split a Shared Secret into Shared Bits in Constant-Round. Cryptology ePrint Archive. http://eprint.iacr.org/2005/140.pdf

Bardram, J. E. & Bunde-Pedersen, J. (2005). Iaso - an activity-based computing platform for wearable computing. In Proceedings of the Fifth International Workshop on Smart Appliances and Wearable Computing (IWSAWC) (ICDCSW'05) (pp. 484-490). IEEE Computer Society Press.

Christensen, H. B. (2005). Implications of perspective in teaching objects first and object design. In 10th annual SIGCSE conference on Innovation and technology in computer science education, ITiCSE '05 Proceedings (Caparica, Portugal, June 27-29, 2005) (pp. 94-98). Association for Computing Machinery. https://doi.org/10.1145/1067445.1067474

Zhang, W. & Li, J. (2005). Industrial Experience with the Architecture based Reengineering. In Q. Zhu (Ed.), 11^th Joint International Computer Conference (JICC2005) (e-proceedings ed., pp. 732-738). World Scientific. https://doi.org/10.1142/9789812701534_0164

Hansen, T. R. (2005). Information Technology for Assisted Living at Home. Datalogisk Institut.

Mailund , Pedersen, C. N. S., Bardino, J., Vinter, B. & Karlsen, H. H. (2005). Initial experiences with GeneRecon on MiG. In Proceedings of The 2005 International Conference on Grid Computing and Applications (GCA)

Petersen, M. G. (2005). Interactive Spaces: Towards a Better Everyday? Interactions, July+August, 44-45. https://doi.org/10.1145/1070960.1070985

Nielsen, M. & Rovan, B. (Eds.) (2005). Introduction - Combined TCSA/TCSB issue - Mathematical Foundations of Computer Science 2000. Theoretical Computer Science, 340(3), 457-458. https://doi.org/10.1016/j.tcs.2005.03.010

Agarwal, P. K., Arge, L. & Yi, K. (2005). I/O-Efficient Construction of Constrained Delaunay Triangulations. In G. S. Brodal & L. Stefano (Eds.), Algorithms - ESA 2005: 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005. Proceedings (pp. 355-366). Springer. https://doi.org/10.1007/11561071_33

Kristensen, M., Kyng, M. & Nielsen, E. T. (2005). IT-support for healthcare professionals acting in major incidents. In Proceedings of the Scandinavian conference on Health Informatics. SHI '05 (pp. 37-41). Aalborg University.

Hansen, K. M., Damm, C. H., Thomsen, M. & Tyrsted, M. (2005). Knight. Software

van der Aalst, W. M. P., Jørgensen, J. B. & Lassen, K. B. (2005). Let us Go All the Way: From Requirements via Coloured Workflow Nets to a BPEL Implementation of a New Bank System. In Ikke angivet Springer LNCS.

Hansen, K. A. & Chattopadhyay, A. (2005). Lower Bounds for Circuits with Few Modular and Symmetric Gates. 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. 994-1005). Springer. https://doi.org/10.1007/11523468_80

Miltersen, P. B. (2005). Lower bounds on the size of rank and selection indexes. In Proceedings of the Symposium on Discrete Algorithms (pp. 11-12). Society for Industrial and Applied Mathematics.

Katriel, I. & van Hentenryck, P. (2005). Maintaining Longest Paths in Cyclic Graphs. In CP 2005 (pp. 358-372). Springer LNCS.

Rohde, H. K. (2005). Measuring the Propagation of Information in Partial Evaluation. BRICS Report Series, (RS-05-26).

Bødker, S. & Petersen, A. B. (2005). Mediating the co-production of complex media products. Poster session presented at International ACM SIGGROUP Conference on Supporting Group Work, Sanibel Island, United States.

Bødker, S. & Bechmann, A. (2005). Mediating the co-production of complex media products. Poster session presented at International ACM SIGGROUP conference on Supporting group work. GROUP 2005, Sanibel Island, Florida, United States. https://doi.org/10.1145/1099203.1099267

Ernst, E. (2005). Method Mixins. In NODe 2005 - GSEM 2005 (pp. 145-161). Stollfuß Medien.

Fitzi, M. (2005). Minimal complete primitives for unconditional multi-party computation. Journal of Cryptology, 18(1), 37-61.

Dindler, C., Eriksson, E., Iversen, O. S., Ludvigsen, M. & Lykke-Olesen, A. (2005). Mission from Mars: a method for exploring user requirements for children in a narrative space. In Proceeding of the 2005 conference on Interaction design and children (pp. 40-47). Association for Computing Machinery.

Dindler, C., Ludvigsen, M., Lykke-Olesen, A., Eriksson, E. & Iversen, O. S. (2005). Mission from Mars - a method for exploring user requirements for children in a narrative space. In A. Eisenberg & M. Eisenberg (Eds.), Proceedings of the 2005 conference on Interaction design and children (pp. 40-47). Association for Computing Machinery.

Hansen, T. R., Eriksson, E. & Lykke-Olesen, A. (2005). Mixed Interaction Space - Expanding the Interaction Space with Mobile Devices. In People and Computers XIX - The Bigger Picture Springer.

Hansen, T. R., Eriksson, E. & Lykke-Olesen, A. (2005). Mixed Interaction Spaces - a new interaction technique for mobile devices (demonstration). Poster session presented at Ubiquitous Computing Conference 2005, Tokyo, Japan.

Displaying results 4401 to 4450 out of 6000

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University