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

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. PalCom Working Note No. #66

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.

Ernst, E. (2005). The Hardship of Software. In Proceedings of the workshop 'Software Engineering Properties of Languages and Aspect Technologies 2005' The Aspect-Oriented Software Association.

Bardram, J. E. (2005). The Java Context Awareness Framework (JCAF): A Service Infrastructure and Programming Framework for Context-Aware Applications. In Proceedings of the 3rd International Conference on Pervasive Computing (Pervasive 2005) (pp. 98-115). Springer LNCS.

Danvy, O. & Goldberg, M. (2005). There and Back Again. Fundamenta Informaticae, 66(4), 397-413.

Gerhardy, P. (2005). The Role of Quantifier Alternations in Cut Elimination. Notre Dame Journal of Formal Logic, 46(2), 165-171.

Corry, A. V., Gjerlufsen, T. & Olsen, J. W. (2005). The Stone: Digital Support for (Un)common Pregnancies. In 3rd Scandinavian conference on Health Informatics (3 ed., pp. 37-41). Aalborg University.

Biernacki, D. (2005). The Theory and Practice of Programming Languages with Delimited Continuations. Aarhus Universitet.

Bardram, J. E. (2005). The Trouble with Login - On Usability and Computer Security in Ubiquitous Computing. Personal and Ubiquitous Computing, 9(6), 357-367.

Bouvin, N. O., Brodersen, A. C., Hansen, F. A., Iversen, O. S. & Nørregaard, P. (2005). Tools of Contextualization: Extending the Classroom to the Field. In Proceedings of the 2005 conference on Interaction design and children (pp. 24-31). Association for Computing Machinery. https://doi.org/10.1145/1109540.1109544

Christensen, H. B. (2005). Towards an Operational Framework for Architectural Prototyping. In Proceedings of the 5th Working IEEE/IFIP Conference on Software Architecture. WICSA’05 (pp. 301-302). IEEE Computer Society Press. https://doi.org/10.1109/WICSA.2005.73

Jørgensen, J. B. (2005). Towards Arguing the Cost-effectiveness of Coloured Petri Nets. In SERP CSREA Press.

Brodal, G. S. & Moruz, G. (2005). Tradeoffs Between Branch Mispredictions and Comparisons for Sorting Algorithms. In F. Dehne, A. Lopez-Ortiz & J.-R. Sack (Eds.), Algorithms and Data Structures: 9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005. Proceedings (pp. 385-395). Springer. https://doi.org/10.1007/11534273_34

Mendling, J., Lassen, K. B. & Zdun, U. (2005). Transformation Strategies between Block-Oriented and Graph-Oriented Process Modelling Languages. (pp. 20). Vienna University of Economics and Business Administration.

van der Aalst, W. M. P. & Lassen, K. B. (2005). Translating Workflow Nets to BPEL4WS.

Condit, R., Ashton, P., Balslev, H., Brokaw, N., Bunyavejchewin, S., Chuyong, G., Co, L., Shivaramaiah, H. S., Davies, S., Ewango, C. E. N., Foster, R., Gunatilleke, N., Gunatilleke, S., Hernandez, C., Hubbell, S., John, R., Kenfack, D., Kiratiprayoon, S., Hall, P. ... Zimmerman, J. K. (2005). Tropical tree α-diversity: Results from a worldwide network of large plots. Biologiske Skrifter, 55, 565-582.

Carbone, M. (2005). Trust and Mobility. Aarhus Universitet.

Christensen, H. B. (2005). TS-05: 150 lines of java with high architectural complexity. In 10th annual SIGCSE conference on Innovation and technology in computer science education, ITiCSE '05 Proceedings (Caparica, Portugal, June 27-29, 2005) (pp. 396-396). Association for Computing Machinery. https://doi.org/10.1145/1067445.1067599

Ciolfi, L., Cooke, M., Bertelsen, O. W. & Bannon, L. J. (2005). Understanding and Designing for Aesthetic Experience. In L. MacKinnon, O. Bertelsen & N. Bryan-Kinns (Eds.), The 19th British HCI Group Annual Conference (pp. 289-291). The British Computer Society.

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