Publikationer

Søg publikationer fra Institut for Datalogi

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

Bennedsen, J. & Caspersen, M. E. (2005). An investigation of potential success factors for an introductory model-driven programming course. I The 2005 international workshop on Computing education research, ICER '05 Proceedings (Seattle, WA, USA, October 1-2, 2005) (s. 155-163). Association for Computing Machinery. https://doi.org/10.1145/1089786.1089801

Andersen, P., Bardram, J. E., Christensen, H. B., Corry, A. V., Hansen, K. M., Schmid, R. & Greenwood, D. (2005). An Open Architecture for Palpable Computing: Some Thoughts on Object Technology, Palpable Computing, and Architectures for Ambient Computing. Afhandling præsenteret på ECOOP 2005 Object Technology for Ambient Intelligence Workshop, Glasgow, Storbritannien. http://www.ist-palcom.org/publications/files/OT4AMI-2005.pdf

Biernacka, M., Biernacki, D. & Danvy, O. (2005). An Operational Foundation for Delimited Continuations in the CPS Hierarchy. Logical Methods in Computer Science, 1(2). https://doi.org/10.2168/LMCS-1(2:5)2005

Krukow, K. K. (2005). An Operational Semantics for Trust Policies. BRICS Report Series, (BRICS RS-05-30), 1-38. http://www.brics.dk/RS/05/30/BRICS-RS-05-30.pdf

Agarwal, P. K., Arge, L. & Yi, K. (2005). An optimal dynamic interval stabbing-max data structure? I Proceedings of the sixteenth annual ACM-SIAM symposium on Discrete algorithms (s. 803-812). Society for Industrial and Applied Mathematics.

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

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. I V. Shoup (red.), Advances in Cryptology - CRYPTO 2005: 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005. Proceedings (s. 494-510). Springer. https://doi.org/10.1007/11535218_30

Zhang, W. (2005). Architecturally Reconfigurable Development of Mobile Games. I 2nd International Conference on Embedded Software and Systems (ICESS-2005) (s. 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. I 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. I Proceedings of the IADIS International Conference on WWW/Internet 2005 (s. 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. I Proceedings of 14th international World Wide Web Conference (s. 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. I GROUP 05 (s. 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. 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. 576-588). Springer. https://doi.org/10.1007/11523468_47

Arge, L., Brodal, G. S. & Fagerberg, R. (2005). Cache-Oblivious Data Structures. I D. Mehta & S. Sahni (red.), 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. I Proceedings of the twenty-first annual symposium on Computational geometry (s. 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. I J. Mitchell & G. Rote (red.), Proceedings of 21th ACM Symposium on Computational Geometry (s. 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. I Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (s. 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. I C.-H. L. Ong (red.), Computer Science Logic, 19th International Workshop, CSL 2005 Proceedings, 14th Annual Conference of the EACSL (Oxford, UK, August 22-25, 2005) (s. 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. I Proceedings of the 5th International Workshop on Algorithms in Bioinformatics (WABI) (s. 77-88)

Damgård, I. B. & Ishai, Y. (2005). Constant-Round Multiparty Computation Using a Black-Box Pseudorandom Generator. I V. Shoup (red.), Advances in Cryptology - CRYPTO 2005: 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005. Proceedings (s. 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. I Proc. 21th European Workshop on Computational Geometry (s. 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

Bertelsen, O. W. & Kyng, M. (2005). Critical Computing - Between Sense and Sensibility - Proceedings of the 4th Decennial Aarhus Conference: Foreword. Critical Computing - Between Sense and Sensibility - Proceedings of the 4th Decennial Aarhus Conference.

Hirt, M., Nielsen, J. B. & Przydatek, B. (2005). Cryptographic Asynchronous Multi-party Computation with Optimal Resilience: Extended abstract. I R. Cramer (red.), Advances in Cryptology – EUROCRYPT 2005: 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, May 22-26, 2005. Proceedings (s. 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. I Proceedings of the 46th Annual IEEE Symposium on Foundations of Computer Science (s. 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. I GROUP´05: Proceedings of teh 2005 International ACM SIGGROUP Conference on Supporting Group Work (s. 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. I GROUP 05 (s. 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 præsenteret på 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. I CollaborateCom 2005 (s. 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. I ICDCS IEEE.

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

Christensen, B. G. (2005). Do Social Computing Make You Happy? A Case Study of Nomadic Children in Mixed Environments. I O. W. Bertelsen, P. Marti & D. Shapiro (red.), 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. I Database Programming Languages: 10th International Workshop, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers (s. 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. I J. Buur & B. Mathews (red.), Proceedings of Student Interaction Design Conference SIDER05 (s. 116-121).

Viser resultater 4401 til 4450 ud af 6089

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series