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, 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. Computer programme

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.

Hansen, T. R., Eriksson, E. & Lykke-Olesen, A. (2005). Mixed Interaction Spaces - Designing for Camera Based Interaction with Mobile Devices. In CHI 05 (pp. 1933 - 1936). Society for Industrial and Applied Mathematics.

Zhang, W. (2005). Mobile Role-Playing-Game Engine with J2ME. Computer Engineering and Applications, 41(33), 115-117.

Bardram, J. E. & Bossen, C. (2005). Mobility Work: The Spatial Dimension of Collaboration at a Hospital. Computer Supported Cooperative Work (CSCW): The Journal of Collaborative Computing and Work Practices, 14(2), 131-160.

Kristensen, L. M., Westergaard, M. & Nørgaard, P. C. (2005). Model-based Prototyping of an Interoperability Protocol for Mobile Ad-hoc Networks. In IFM 2005 (pp. 266-286). Springer LNCS.

Barros, J. P. & Jørgensen, J. B. (2005). Model Transformations for an Elevator Controller: Coloured Petri Nets in Object-oriented Analysis and Design. In MOMPES Åbo Akademi.

Mosses, P. D. (2005). Modular Structural Operational Semantics. BRICS Report Series, (RS-05-7).

Kortbek, K. J. (2005). MORF. Abstract from Collaborative Artifacts - Interactive Furniture Workshop, Château-d'Oex, Switzerland. http://www.daimi.au.dk/~kortbek/web/Publications/caif-booklet.pdf

Nielsen, J., Grønbæk, K. & Lykke-Olesen, A. (2005). MultiLightTracker: Vision Based Simultaneous Multi Object Tracking on Semi-Transparent Surfaces. Computer programme

Madsen, B. A., Byskov, J. M. & Skjernaa, B. (2005). New Algorithms for Exact Satisfiability. Theoretical Computer Science, 332(1-3), 515-541.

Mogensen, P. H. (2005). Next Generation Collaborative Working Environments. Collaboration@Work, The 2005 Report on new working environments and practices, 106-108.

Bødker, S. (2005). Nordic-Scottish HCI, panel for HCI2005, Edinburgh. In The 19th British HCI Group Annual Conference

Støvring, K. (2005). Normalization and Simple Types: PhD progress report. Department of Computer Science.

Bertelsen, O. W. & Zander, P.-O. (2005). Obstacles to Design in Volunteer Based Organisations. In Proceedings of the 5th Danish Human-Computer Interaction Research Symposium (pp. 93-98). Copenhagen Business School.

Kjærgaard, M. B. (2005). On Abstraction Levels For Software Architecture Viewpoints. In W. C. Chu, N. J. Juzgado & W. E. Wong (Eds.), Procedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE 2005) (pp. 424-429). Knowledge Systems Institute.

Pagter, J. I. (2005). On Ajtai’s Lower Bound Technique for R-way Branching Programs and the Hamming Distance Problem. Chicago Journal of Theoretical Computer Science.

Miltersen, P. B., Radhakrishnan, J. & Wegener, I. (2005). On converting CNF to DNF. Theoretical Computer Science, 347, 325-335.

Morozov, K. (2005). On Cryptographic Primitives Based on Noisy Channel. Aarhus Universitet.

Displaying results 4351 to 4400 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