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

Christiansen, C., Mailund , Pedersen, C. N. S. & Randers, M. (2005). Quartet Distance between General Trees. In Proceedings of International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) (pp. 796-799)

Lambov, B. Z. (2005). Rates of Convergence of Recursively Defined Sequences. Electronic Notes in Computer Science, 120, 125-133.

Besenbacher, S., Mailund, Westh-Nielsen, L. & Pedersen, C. N. S. (2005). RBT—A Tool for Building Refined Buneman Trees. Bioinformatics, 21(8), 1711-1712.

Lambov, B. Z. (2005). RealLib: an Efficient Implementation of Exact Real Arithmetic. In T. Grubba, P. Hertling, H. Tsuiki & K. Weihrauch (Eds.), econd International Conference on Computability and Complexity in Analysis, CCA 2005 Proceedings (Kyoto, Japan, August 25-29, 2005) (pp. 169-175)

Brodersen, A. T. (2005). Real-Time Visualization of Large Textured Terrains. In Graphite 2005 (3 ed., pp. 439-442). Association for Computing Machinery.

Hansen, F. A. (2005). Representing Context in Hypermedia Data Models. In International Workshop on Context in Mobile HCI http://mobilehci.icts.sbg.ac.at/context/papers/hansen.pdf

Hansen, L. K., Pedersen, P. D. & Eriksson, E. (2005). Rethinking information handling: designing for information offload. In O. W. Bertelsen, N. O. Bouvin, P. G. Krogh & M. Kyng (Eds.), 4th Decennial Conference on Critical Computing: Between sense and sensibility, CC 2005 Proceedings (Aarhus, Denmark August 20-24, 2005) (pp. 161-164). Association for Computing Machinery. https://doi.org/10.1145/1094562.1094589

Zhang, W. & Jarzabek, S. (2005). Reuse without Compromising Performance: Industrial Experience from RPG Software Product Line for Mobile Devices. In Software Product Lines: 9th International Software Product Line Conference (SPLC2005). Proceedings (Vol. LNCS3714, pp. 57-69). Springer. https://doi.org/10.1007/11554844_7

Bennedsen, J. & Caspersen, M. E. (2005). Revealing the programming process. In W. Dann, T. L. Naps, P. T. Tymann & D. Baldwin (Eds.), Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2005 (St. Louis, Missouri, USA, February 23-27, 2005) (pp. 186-190). Association for Computing Machinery. https://doi.org/10.1145/1047124.1047413

Frandsen, G. S. & Miltersen, P. B. (2005). Reviewing Bounds on the Circuit Size of the Hardest Functions. Information Processing Letters, 95(2), 354-357. https://doi.org/10.1016/j.ipl.2005.03.009

Møller-Nielsen, P. & Gejl, J. (2005). Room #2 (Guirlanden, Aarhus Kunstbygning). Poster session presented at Room #2 (Guirlanden, Aarhus Kunstbygning), Aarhus, Denmark.

Hansen, F. A., Christensen, B. G. & Bouvin, N. O. (2005). RSS as a distribution medium for geo-spatial hypermedia. In Proceedings of the sixteenth ACM conference on Hypertext and hypermedia (pp. 254-256). Association for Computing Machinery. https://doi.org/10.1145/1083356.1083410

Pagter, J. I., Toft, T., Damgård, I. B., Bogetoft, P., Nielsen, K. & Jakobsen, T. (2005). Secure Computing, Economy, and Trust - A Generic Solution for Secure Auctions with Real-World Applications. BRICS Report Series, (RS-05-18), 1-35.

Gardner, R. J., Hobolth, A., Jensen, E. B. V. & Sørensen, F. B. (2005). Shape discrimination by total curvature, with a view to cancer diagnostics. J. Microsc., 217, 49-59.

Damgård, I. B., Cramer, R. & Ishai, Y. (2005). Share Conversion, Pseudorandom Secret-Sharing and Applications to Secure Computation. In J. Killian (Ed.), Theory of Cryptography: Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12, 2005. Proceedings (pp. 342-362). Springer. https://doi.org/10.1007/978-3-540-30576-7_19

Elbassioni, K., Katriel, I., Kutz, M. & Mahajan, M. (2005). Simultaneous Matchings. In ISAAC 2005 (pp. 106-115). Springer.

Jensen, K. (Ed.) (2005). Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, October 24-26, 2005. Department of Computer Science, Aarhus University.

Arge, L., Eppstein, D. & Goodrich, M. T. (2005). Skip-webs: Efficient distributed data structures for multi-dimensional data sets. In M. Aguilera & J. Aspners (Eds.), Proceedings of 24th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (pp. 69-76). Association for Computing Machinery. https://doi.org/10.1145/1073814.1073827

Andersen, P., Christensen, H. B., Ernst, E., Ingstrup, M. & Schultz, U. P. (2005). Software Architecture Contributions to Conceptual Framework Months 1-15. The Alexandra Institut.

Kohlenbach, U. (2005). Some Logical Metatheorems with Applications in Functional Analysis. Transactions of the American Mathematical Society, 357(1), 89-128.

Shapiro, D., Buscher, M., Ørbæk, P., Mogensen, P. H. & Christensen, M. (2005). Spatial Computing and Ambient Collaborative Environments for Design and Construction. In Proceedings of the 3rd international conference on innovation in architecture, engineering and construction (pp. 199-210)

Jensen, K. & Podelski, A. (Eds.) (2005). Special section on: Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2004: Barcelona, Spain, March 29 - April 2, 2004, Proceedings. Part of ETAPS 2004. Theoretical Computer Science, 345(1), 1-170. https://doi.org/10.1016/j.tcs.2005.07.034

Wells, L. M. (2005). Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets. In G. Ciardo & P. Darondeau (Eds.), ICATPN 2005 (pp. 403-423). Springer LNCS.

Lakos, C. & Kristensen, L. M. (2005). State Space Exploration of Object-Based Systems using Equivalence Reduction and the Sweep-line Method. In Third International Symposium on Automated Technology for Verification and Analysis (pp. 187-201). Springer LNCS.

Bent, R., Katriel, I. & van Hentenryck, P. (2005). Sub-Optimality Approximations. In Springer LNCS 3709 (pp. 122-136). Springer.

Bergin, J., Wallingford, E., Caspersen, M. E., Goldweber, M. & Kolling, M. (Eds.) (2005). Teaching polymorphism early. In 10th annual SIGCSE conference on Innovation and technology in computer science education, ITiCSE '05 Proceedings (Caparica, Portugal, June 27-29, 2005) (pp. 342-343). Association for Computing Machinery. https://doi.org/10.1145/1067445.1067541

Clemensen, J., Larsen, S. B. & Ejskjær, N. (2005). Telemedical Treatment at Home of Diabetic Foot Ulcers. Journal of Telemedicine and Telecare, 11(Suppl. 2), S14-16.

Strandberg, B., Magård, E., Bak, J. L., Pedersen, M. B., Damgaard, C., Fredshavn, J. R., Løkke, H. & Nielsen, K. E. (2005). Terrestriske naturtyper 2004: NOVANA. Danmarks Miljøundersøgelser, Aarhus Universitet. Faglig rapport fra DMU No. 557 http://www2.dmu.dk/1_viden/2_Publikationer/3_fagrapporter/rapporter/FR557.PDF

MacKinnon, L., Bertelsen, O. W. & Bryan-Kinns, N. (Eds.) (2005). The 19th British HCI Group Annual Conference, The Bigger Picture, HCI 2005, Napier University, Edinburgh, 5-9 Sept, Proceedings Volume 2. The British Computer Society.

Breinbjerg, M., Caprani, O. & Lunding, R. (2005). The Acousmatic Music Environment: Musique Concret for Children.

Miltersen, P. B. (2005). The Computational Complexity of One-Dimensional Sandpiles. In S. B. Cooper, B. Löwe & L. Torenvliet (Eds.), New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings (pp. 342-350). Springer. https://doi.org/10.1007/11494645_42

Møller, A. & Schwartzbach, M. I. (2005). The Design Space of Type Checkers for XML Transformation Languages. In Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings (pp. 17-36). Springer. https://doi.org/10.1007/978-3-540-30570-5_2

Zheng, S. & Zhang, W. (2005). The DW Shortest Path Algorithm and Its Application In Logic Diagram Routing. Jisuanji Gongcheng, 31(19), 192-194.

Displaying results 4401 to 4450 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