Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

Brodersen, A. C., Christensen, B. G., Grønbæk, K., Dindler, C. & Sundararajah, B. (2005). eBag: a Ubiquitous Web Infrastructure for Nomadic Learning. I Proceedings of the 14th International World Wide Web Conference (s. 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. I GROUP 05 (s. 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. I S. Vaudenay (red.), Public Key Cryptography - PKC 2005: 8th International Workshop on Theory and Practice in Public Key Cryptography, Les Diablerets, Switzerland, January 23-26, 2005. Proceedings (s. 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. I R. Glück & M. R. Lowry (red.), Generative Programming and Component Engineering, 4th International Conference, GPCE 2005 Proceedings (Tallinn, Estonia, September 29 - October 1, 2005) (s. 10-16)

Brodal, G. S. & Leonardi, S. (red.) (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. I Proceedings of Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, volume PB-576 of DAIMI (s. 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. I DBPL 2005 (s. 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. I R. Reussner, J. Mayer, J. A. Stafford, S. Overhage, S. Becker & P. J. Schroeder (red.), 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 (s. 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 udg.) Aarhus Universitet.

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. I 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. I X. Deng & D. Du (red.), Algorithms and Computation: 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005. Proceedings (s. 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. I 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. I D. Mehta & S. Sahni (red.), 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. I CHI '05 extended abstracts on Human factors in computing systems (s. 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. I 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. I 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. I Proceedings of the 4th Workshop on HCI in Mobile Guides Association for Computing Machinery.

Kohlenbach, U. (2005). Higher Order Reverse Mathematics. I S. G. Simpson (red.), Reverse Mathematics 2001 (s. 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. I Proceedings of the Fifth International Workshop on Smart Appliances and Wearable Computing (IWSAWC) (ICDCSW'05) (s. 484-490). IEEE Computer Society Press.

Christensen, H. B. (2005). Implications of perspective in teaching objects first and object design. I 10th annual SIGCSE conference on Innovation and technology in computer science education, ITiCSE '05 Proceedings (Caparica, Portugal, June 27-29, 2005) (s. 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. I Q. Zhu (red.), 11^th Joint International Computer Conference (JICC2005) (e-proceedings udg., s. 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. I 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. (red.) (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

Agarwal, P. K., Arge, L. & Yi, K. (2005). I/O-Efficient Construction of Constrained Delaunay Triangulations. I G. S. Brodal & L. Stefano (red.), Algorithms - ESA 2005: 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005. Proceedings (s. 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. I Proceedings of the Scandinavian conference on Health Informatics. SHI '05 (s. 37-41). Aalborg University.

Hansen, K. M., Damm, C. H., Thomsen, M. & Tyrsted, M. (2005). Knight. Softwareprogram

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. I Ikke angivet Springer LNCS.

Hansen, K. A. & Chattopadhyay, A. (2005). Lower Bounds for Circuits with Few Modular and Symmetric Gates. I L. Caires, G. F. Italiano, L. Monteiro, C. Palamidessi & M. Yung (red.), Automata, Languages and Programming: 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings (s. 994-1005). Springer. https://doi.org/10.1007/11523468_80

Miltersen, P. B. (2005). Lower bounds on the size of rank and selection indexes. I Proceedings of the Symposium on Discrete Algorithms (s. 11-12). Society for Industrial and Applied Mathematics.

Katriel, I. & van Hentenryck, P. (2005). Maintaining Longest Paths in Cyclic Graphs. I CP 2005 (s. 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 præsenteret på International ACM SIGGROUP Conference on Supporting Group Work, Sanibel Island, USA.

Bødker, S. & Bechmann, A. (2005). Mediating the co-production of complex media products. Poster-session præsenteret på International ACM SIGGROUP conference on Supporting group work. GROUP 2005, Sanibel Island, Florida, USA. https://doi.org/10.1145/1099203.1099267

Ernst, E. (2005). Method Mixins. I NODe 2005 - GSEM 2005 (s. 145-161). Stollfuß Medien.

Viser resultater 4451 til 4500 ud af 6089

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series