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

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.

Brodal, G. S., Fagerberg, R. & Moruz, G. (2005). On the Adaptiveness of Quicksort. In ALENEX05 (pp. 130-140). Society for Industrial and Applied Mathematics.

Allender, E., Bürgisser, P., Kjeldgaard-Pedersen, J. & Miltersen, P. B. (2005). On the Complexity of Numerical Analysis. Electronic Colloquium on Computational Complexity, (TR05-037), 1-12.

Biernacki, D., Danvy, O. & Shan, K. (2005). On the Dynamic Extent of Delimited Continuations. Information Processing Letters, 96(1), 7-17. https://doi.org/10.1016/j.ipl.2005.04.003

Byskov, J. M., Madsen, B. A. & Skjernaa, B. (2005). On the Number of Maximal Bipartite Subgraphs of a Graph. Journal of Graph Theory, 48(2), 127-132.

Rohde, H. K. (2005). On the Recursive Enumerability of Fixed-Point Combinators. BRICS Report Series, (RS-05-34).

Biernacki, D. & Danvy, O. (2005). On the Static and Dynamic Extent of Delimited Continuations. BRICS Report Series, (RS-05-36).

Boudol, G. & Zimmer, P. (2005). On Type Inference in the Intersection Type Discipline. In Workshop on Intersection Types and Related Systems, ICALP-LICS 2004: Turku, Finland (Vol. 136, pp. 23-42)

Tetsuo, A., de Berg, M., Cheong, O., Everett, H., Haverkort, H. J., Katoh, N. & Wolff, A. (2005). Optimal Spanners for Axis-Aligned Rectangles. Computational Geometry, 30(1), 59-77.

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). Optimising AspectJ. In PLDI 2005 (pp. 117-128). Association for Computing Machinery.

Hansen, K. M. & Ingstrup, M. (2005). Palpable Assemblies: Dynamic Service Composition in Ubiquitous Computing. In W. C. Chu, N. J. Juzgado & W. E. Wong (Eds.), Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (pp. 632-638). Knowledge Systems Institute.

Skovenborg, E. (2005). Perceptual Features of Music and Speech - Measured by Listening Experiments, and Computer Modelled from Signal Analysis.

Du, Q. & Zhang, W. (2005). Performance optimization analysis based on oracle database application system. Jisuanji Gongcheng, 31(14), 91-93.

Wernersson, R., Schierup, M. H., Jørgensen, F. G., Gorodkin, J., Panitz, F., Staerfeldt, HH., Christensen, O. F., Mailund, T., Hornshøj, H., Klein, A., Jun, W., Liu, B., Hu, S., Dong, W., Li, W., Wong, GK.-S., Yu, J., Wang, J., Bendixen, C. ... Bolund, L. (2005). Pigs in Sequence Space: A 0.66X Coverage Pig Genome Survey based on Shotgun Sequencing. BMC Genomics, 6(70). http://www.biomedcentral.com/1471-2164/6/70

Bertelsen, O. W., Bouvin, N. O., Krogh, P. G. & Kyng, M. (Eds.) (2005). Proceedings of the CC 2005 Decennial Conference on Critical Computing: Between sense and sensibility. Association for Computing Machinery. http://portal.acm.org/citation.cfm?id=1094562&picked=prox&CFID=62292468&CFTOKEN=10234823

Cattani, G. L. & Winskel, G. (2005). Profunctors, open maps and bisimulation. Mathematical Structures in Computer Science, 15(3), 553-614.

Biernacka, M., Danvy, O. & Støvring, K. (2005). Program Extraction from Proofs of Weak Head Normalization. BRICS Report Series, (RS-05-12).

Ørbæk, P. (2005). Programming with Hierarchical Maps. Datalogisk Institut.

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