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

Bennedsen, J. B. & Caspersen, M. E. (2005). An Upcoming Study of Potential Success Factors for an Introductory Model-Driven Programming Course. In Proceedings of the 5th Koli Calling Conference on Computer Science Education (pp. 166-169). University of Joensuu.

Czumaj, A., Halldorsson, M. M., Lingas, A. & Nilsson, J. P. (2005). Approximation Algorithms for Optimization Problems in Graphs with Super logarithmic Tree width. Information Processing Letters, 94(2), 49-53.

Zhang, W. & Peng, C. (2005). A Program State Monitoring System. Journal of Tongji University, 33(10), 1385-1390.

Damgård, I. B., Salvail, L. & Pedersen, T. B. (2005). A Quantum Cipher with Near Optimal Key-Recycling. In V. Shoup (Ed.), Advances in Cryptology - CRYPTO 2005: 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005. Proceedings (pp. 494-510). Springer. https://doi.org/10.1007/11535218_30

Zhang, W. (2005). Architecturally Reconfigurable Development of Mobile Games. In 2nd International Conference on Embedded Software and Systems (ICESS-2005) (pp. 66-72). IEEE Computer Society Press. https://doi.org/10.1109/ICESS.2005.32

Kjærside, K., Kortbek, K. J., Møller, H. H. & Grønbæk, K. (2005). ARDressCode: Augmented Dressing Room with Tag-based Motion Tracking and Real-Time Clothes Simulation. In Proceedings of Central European Multimedia and Virtual Reality Conference European Association for Computer Graphics.

Biernacki, D. & Danvy, O. (2005). A Simple Proof of a Folklore Theorem about Delimited Control. BRICS Report Series, (RS-05-25).

Almansa Guerra, J. F. (2005). A Study for Cryptologic Protocols. Aarhus Universitet.

Biernacka, M. & Danvy, O. (2005). A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines. BRICS Report Series, (RS-05-38).

Brandorff, S., Nielsen, M. L. & Christensen, H. B. (2005). A Tutorial on Design Patterns for Music Notation Software. Computer Music Journal, 29(3), 42-54.

Lindgaard, T. & Grønbæk, K. (2005). Automatic geo-referencing of web-pages. In Proceedings of the IADIS International Conference on WWW/Internet 2005 (pp. 200-208). International Association for Development, IADIS.

Ernst, E., Ostermann, K. & Cook, W. R. (2005). A Virtual Class Calculus. Daimi Report Series (DAIMI PB), 577.

Jehøj, H., Bouvin, N. O. & Grønbæk, K. (2005). AwareDAV: A Generic WebDAV Notification Framework and Implementation. In Proceedings of 14th international World Wide Web Conference (pp. 180-189). Association for Computing Machinery. https://doi.org/10.1145/1060745.1060774

Bardram, J. E. & Bossen, C. (2005). A web of coordinative artifacts: collaborative work at a hospital ward. In GROUP 05 (pp. 168-176). Association for Computing Machinery.

Fitzi, M. (2005). Byzantine agreement given partial broadcast. Journal of Cryptology, 18(3), 191-217.

Brodal, G. S., Fagerberg, R. & Moruz, G. (2005). Cache-Aware and Cache-Oblivious Adaptive Sorting. 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. 576-588). Springer. https://doi.org/10.1007/11523468_47

Arge, L., Brodal, G. S. & Fagerberg, R. (2005). Cache-Oblivious Data Structures. In D. Mehta & S. Sahni (Eds.), Handbook of Data Structures and Applications CRC Press.

Arge, L., Brodal, G. S., Fagerberg, R. & Laustsen, M. (2005). Cache-Oblivious Planar Orthogonal Range Searching and Counting. In Proceedings of the twenty-first annual symposium on Computational geometry (pp. 160-169). Association for Computing Machinery. https://doi.org/10.1145/1064092.1064119

Arge, L., de Berg, M. & Haverkort, H. (2005). Cache-Oblivious R-trees. In J. Mitchell & G. Rote (Eds.), Proceedings of 21th ACM Symposium on Computational Geometry (pp. 170-179). Association for Computing Machinery.

Gallasch, G. E., Vanit-Anunchai, S., Billington, J. & Kristensen, L. M. (2005). Checking Language Inclusion On-The-Fly with the Sweep-line Method. In Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (pp. 1-20). Department of Computer Science, University of Aarhus.

Mailund , Schierup, M. H., Pedersen, C. N. S., Mechlenborg, P., Madsen, J. N. & Schauser, L. (2005). CoaSim: A Flexible Environment for Simulating Genetic Data under Coalescent Models. BMC Bioinformatics, 6(252). http://www.biomedcentral.com/1471-2105/6/252

Lambov, B. Z. (2005). Complexity and Intensionality in a Type-1 Framework for Computable Analysis. In C.-H. L. Ong (Ed.), Computer Science Logic, 19th International Workshop, CSL 2005 Proceedings, 14th Annual Conference of the EACSL (Oxford, UK, August 22-25, 2005) (pp. 442-461). Springer LNCS.

Bødker, S. & Andersen, P. B. (2005). Complex Mediation. Journal of Human Computer Interaction, 20(4), 353-402.

Christiansen, C., Mailund , Pedersen, C. N. S. & Randers, M. (2005). Computing the Quartet Distance between Trees of Arbitrary Degree. In Proceedings of the 5th International Workshop on Algorithms in Bioinformatics (WABI) (pp. 77-88)

Damgård, I. B. & Ishai, Y. (2005). Constant-Round Multiparty Computation Using a Black-Box Pseudorandom Generator. In V. Shoup (Ed.), Advances in Cryptology - CRYPTO 2005: 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005. Proceedings (pp. 378-394). Springer. https://doi.org/10.1007/11535218_23

Gudmundsson, J., Haverkort, H. J. & van Krefeld, M. (2005). Constrained Higher-Order Delaunay Triangulations. Computational Geometry, 30(3), 271-277.

Benkert, M., Gudmundsson, J. & Haverkort, H. J. (2005). Constructing Interference-Minimal Networks. In Proc. 21th European Workshop on Computational Geometry (pp. 203-206). Technische Universiteit Eindhoven.

Danvy, O. & Nielsen, L. (2005). CPS Transformation of Beta-Redexes. Information Processing Letters, 94(5), 217-224. https://doi.org/10.1016/j.ipl.2005.02.002

Hirt, M., Nielsen, J. B. & Przydatek, B. (2005). Cryptographic Asynchronous Multi-party Computation with Optimal Resilience: Extended abstract. In R. Cramer (Ed.), Advances in Cryptology – EUROCRYPT 2005: 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, May 22-26, 2005. Proceedings (pp. 322-340). Springer LNCS. https://doi.org/10.1007/11426639_19

Damgård, I. B., Salvail, L., Schaffner, C. & Fehr, S. (2005). Cryptography In The Bounded Quantum-Storage Model. In Proceedings of the 46th Annual IEEE Symposium on Foundations of Computer Science (pp. 449-458). IEEE. https://doi.org/10.1109/SFCS.2005.30

Zhang, W. & Ding, P. (2005). Debugging Environment for a Meta-programming Language. Mini-Micro Systems, 26(4), 707-709.

Filinski, A. & Rohde, H. K. (2005). Denotational Aspects of Untyped Normalization by Evaluation. BRICS Report Series, (RS-05-4).

Miltersen, P. B. & Vinodchandran, N. V. (2005). Derandomizing Arthur-Merlin Games using Hitting Sets. Computational Complexity, 14(3), 256-279. https://doi.org/10.1007/s00037-005-0197-7

Andersen, J. R., Bak, L., Grarup, S., Lund, K. V., Hansen, K. M. & Torgersen, M. (2005). Design, implementation, and evaluation of the Resilient Smalltalk embedded platform. Computer Languages, Systems and Structures, 31(3-4), 127-141. https://doi.org/10.1016/j.cl.2005.02.003

Bardram, J. E., Bossen, C. & Thomsen, A. B. (2005). Designing for Transformations in Collaboration: A Study of the Deployment of Homecare Technology. In GROUP´05: Proceedings of teh 2005 International ACM SIGGROUP Conference on Supporting Group Work (pp. 294-303). Association for Computing Machinery.

Bardram, J. E., Bossen, C. & Thomsen, A. (2005). Designing for transformations in collaboration: a study of the deployment of homecare technology. In GROUP 05 (pp. 294-303). Association for Computing Machinery.

Bardram, J. E., Clemensen, J. & Larsen, S. B. (2005). Developing Pervasive E-Health for Moving Experts from Hospital to Home. IADIS International Journal of WWW / Internet, II(2), 57-68.

Lindholm, M. (2005). Development of Object-understanding Among Students in the Humanities. Poster session presented at ITiCSE 2005, Monte de Caparica, Portugal.

Bardram, J. E., Bunde-Pedersen, J. & Mogensen, M. (2005). Differentiating between Accountable and Ephemeral Events in the ABC Hybrid Architecture for Activity-Based Collaboration. In CollaborateCom 2005 (pp. 168--176). IEEE Press.

Dupont, K. (2005). Disk Encryption, Group Identification, Byzantine Agreement, and Threshold RSA. Aarhus Universitet.

Krukow, K. K. & Twigg, A. (2005). Distributed Approximation of Fixed-Points in Trust Structures. In ICDCS IEEE.

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

Christensen, B. G. (2005). Do Social Computing Make You Happy? A Case Study of Nomadic Children in Mixed Environments. In O. W. Bertelsen, P. Marti & D. Shapiro (Eds.), The 4th decennial conference on Critical computing: between sense and sensibility 2005, Aarhus, Denmark

Brabrand, C., Møller, A. & Schwartzbach, M. I. (2005). Dual Syntax for XML Languages. In Database Programming Languages: 10th International Workshop, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers (pp. 27-41). Springer. https://doi.org/10.1007/11601524_2

Fritsch, J., Fogtmann, M. H. & Lassen, T. M. (2005). Dunning the Data: Towards Para-functional Qualities of Product Design. In J. Buur & B. Mathews (Eds.), Proceedings of Student Interaction Design Conference SIDER05 (pp. 116-121).

Brodersen, A. C., Christensen, B. G., Grønbæk, K., Dindler, C. & Sundararajah, B. (2005). eBag: a Ubiquitous Web Infrastructure for Nomadic Learning. In Proceedings of the 14th International World Wide Web Conference (pp. 298-306). Association for Computing Machinery. https://doi.org/10.1145/1060745.1060791

Brodersen, A. C. & Iversen, O. S. (2005). eCell: Spatial IT Design for Group Collaboration in School Environments. In GROUP 05 (pp. 227-235). Society for Industrial and Applied Mathematics.

Damgård, I. B. & Frandsen, G. S. (2005). Efficient algorithms for gcd and cubic residuosity in the ring of Eisenstein integers. Journal of Symbolic Computation, 39(6), 643-652. https://doi.org/10.1016/j.jsc.2004.02.006

Damgård, I. B. & Dupont, K. (2005). Efficient Threshold RSA Signatures with General Moduli and no Extra Assumptions. In S. Vaudenay (Ed.), Public Key Cryptography - PKC 2005: 8th International Workshop on Theory and Practice in Public Key Cryptography, Les Diablerets, Switzerland, January 23-26, 2005. Proceedings (pp. 346-361). Springer. https://doi.org/10.1007/978-3-540-30580-4_24

Allan, C., Avgustinov, P., Christensen, A. S., Hendren, L. J., Kuzins, S., Lhoták, J., Lhoták, O., de Moor, O., Sereni, D., Sittampalam, G. & Tibble, J. (2005). abc: The AspectBench Compiler for AspectJ. In R. Glück & M. R. Lowry (Eds.), Generative Programming and Component Engineering, 4th International Conference, GPCE 2005 Proceedings (Tallinn, Estonia, September 29 - October 1, 2005) (pp. 10-16)

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