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

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

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)

Brodal, G. S. & Leonardi, S. (Eds.) (2005). ESA 2005: 13th Annual European Symposium: Springer LNCS.

Hansen, K. M., Antolin Rafael, P., Camara, J., Carro, S., Metha, G., Rosengren, P., Pagter, J. I. & Pedersen, M. Ø. (2005). eu-DOMAIN D3.1 + D4.1 Software Architecture Specification.

Madsen, B. A. (2005). Exact Algorithms and Exact Satisfiability. Aarhus Universitet.

Machado, R. J., Lassen, K. B., Oliveira, S., Couto, M. & Pinto, P. (2005). Execution of UML Models with CPN Tools for Workflow Requirements Validation. In Proceedings of Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, volume PB-576 of DAIMI (pp. 231-250). DAIMI PB-576.

Mosses, P. D. (2005). Exploiting Labels in Structural Operational Semantics. BRICS Report Series, (RS-05-8).

Foster, J. N., Greenwald, M. B., Kirkegaard, C., Pierce, B. C. & Schmitt, A. (2005). Exploiting Schemas in Data Synchronization. In DBPL 2005 (pp. 42-57). Springer LNCS.

Bardram, J. E., Christensen, H. B., Corry, A. V., Hansen, K. M. & Ingstrup, M. (2005). Exploring Quality Attributes using Architectural Prototyping. In R. Reussner, J. Mayer, J. A. Stafford, S. Overhage, S. Becker & P. J. Schroeder (Eds.), Quality of Software Architectures and Software Quality: First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings (pp. 155-170). Springer. https://doi.org/10.1007/11558569_12

Støvring, K. (2005). Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative. (BRICS RS-05-35 ed.) Aarhus University.

Jelling Kristoffersen, K., Kjærgaard, M. B., Chen, J., Sheridan, J., Rønning, R. & Aa. Sørensen, J. (2005). Extending Wireless Broadband Network Architectures with Home Gateways, Localization, and Physical Environment Surveillance. In Proceedings of the Second International CICT Conference: Next Generation Broadband -Content and User Perspectives Center for Information and Communication Technologies.

Arge, L. & Toma, L. (2005). External Data Structures for Shortest Path Queries on Planar Digraphs. In X. Deng & D. Du (Eds.), Algorithms and Computation: 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005. Proceedings (pp. 328-338). Springer. https://doi.org/10.1007/11602613_34

Biernacka, M., Danvy, O. & Sørensen, K. S. (2005). Extracting Evaluators from Proofs of Weak Head Normalization. In Electronic Notes in Theoretical Computer Science Elsevier Science Publishers.

Gerhardy, P. (2005). Extracting Herbrand Disjunctions by Functional Interpretation. Archive for Mathematical Logic, 44, 633-644.

Brodal, G. S., Demaine, E. D. & Munro, J. I. (2005). Fast Allocation and Deallocation with an Improved Buddy System. Acta Informatica, 41(4-5), 273-291. https://doi.org/10.1007/s00236-004-0159-6

Brodal, G. S., Kaligosi, K., Katriel, I. & Kutz, M. (2005). Faster Algorithms for Computing Longest Common Increasing Subsequences. BRICS Report Series, (RS-05-37).

Brodal, G. S. (2005). Finger Search Trees. In D. Mehta & S. Sahni (Eds.), Handbook of Data Structures and Applications CRC Press.

Petersen, M. G., Krogh, P., Ludvigsen, M. & Lykke-Olesen, A. (2005). Floor interaction: HCI reaching new ground. In CHI '05 extended abstracts on Human factors in computing systems (pp. 1717-1720). Association for Computing Machinery. https://doi.org/10.1145/1056808.1057005

Rohde, H. K. (2005). Formal Aspects of Partial Evaluation. Aarhus Universitet.

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

Displaying results 4301 to 4350 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