Publikationer

Søg publikationer fra Institut for Datalogi

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

Barak, B., Canetti, R., Nielsen, J. B., Pass, R. & IEEE (red.) (2004). Universally Composable Protocols with Relaxed Set-Up Assumptions. I Ikke angivet (s. 186-195). IEEE Press.

Zimmer, P. (2004). Using Ambients to Control Resources. International Journal of Information Security, 2(3-4), 126-144.

Kristensen, L. M. (2004). Using Coloured Petri Nets in the Development of Protocols for Ad-Hoc Networking. I Proceedings of 3rd International Workshop on Integration and Specification Techniques for Applications in Engineering (s. 12-13)

Blunck, H., Hinrichs, K., Puke, I. & Vahrenhold, J. (2004). Verarbeitung von Trajektorien mobiler Objekte. I Geoinformation und Mobilität - von der Forschung zur praktischen Anwendung. : Beiträge zu den Münsteraner GI-Tagen 2004 (s. 29-40)

Schougaard, K. R. (2004). Virtual Distances Used for Optimization of Applicationsin the Pervasive Computing Domain. I A. Fersha, H. Hortner & G. Kotsis (red.), Advances in Pervasive Computing: A Collection of Contributions Presented at PERVASIVE 2004 (s. 133-139). Stollfuß Medien.

Bertelsen, O. W. & Godsk, M. (2004). WAW - An Activity Theory Based Tool for Early Website Usability Assessment. International Journal of Human Resources Development and Management, 4(1), 73-93.

Büscher, M., Eriksen, M. A., Kristensen, J. F. & Mogensen, P. H. (2004). Ways of Grounding Imagination. I PDC 04 Proceedings of the eighth conference on Participatory design: Artful Integration: Interweaving Media, Materials and Practices (Bind 1, s. 193-203). Association for Computing Machinery. https://doi.org/10.1145/1011870.1011893

Valencia, R., Condit, R., Foster, R. B., Romoleroux, K., Munoz, G. V., Svenning, J.-C., Magård, E., Bass, M., Losos, E. C., Balslev, H., Losos, E. C. (red.) & Leigh, E. G. . J. (red.) (2004). Yasuní forest dynamic plot, Ecuador. I Tropical forest diversity and dynamism: Findings from a large-scale plot network (s. 609-620)

Damgård, I. B., Fehr, S. & Salvail, L. (2004). Zero-Knowledge Proofs and String Commitments Withstanding Quantum Attacks. I M. Franklin (red.), Advances in Cryptology - CRYPTO 2004: 24th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 2004. Proceedings (s. 254-272). Springer. https://doi.org/10.1007/978-3-540-28628-8_16

Hobolth, A., Pedersen, J. & Jensen, E. B. V. (2003). A continuous parametric shape model. Annals of the Institute of Statistical Mathematics, 55(2), 227-242. https://doi.org/10.1007/BF02530496

Hansen, K. M. (2003). Activity-Centred Tool Integration: Using Type-Based Publish/Subscribe for Peer-to-Peer Tool Integration. I A. Schürr & H. Dörr (red.), Proceedings of TIS 2003 Workshop on Tool Integration in System Development (s. 11-16). Association for Computing Machinery.

Bertelsen, O. W. & Bødker, S. (2003). Activity theory. I HCI Models, Theories, and Frameworks: Toward a Multidisciplinary Science (s. 291-324). Elsevier Inc.. https://doi.org/10.1016/B978-155860808-5/50011-3

Bertelsen, O. W., Bødker, S. & Caroll, J. M. (red.) (2003). Activity Theory. I HCI Models, Theories and Frameworks: Toward an Interdisciplinary Science (Bind Chapter 11, s. 291-324). Morgan Kaufmann.

Bertelsen, O. W. (2003). Activity Walkthrough - a cognitive walkthrough in activity theory terms. I M. Hertzum & S. Heilesen (red.), Proceedings of Third Danish HCI Research Symposium (s. 17-20). Roskilde Universitet.

Danvy, O. & Nielsen, L. R. (2003). A First-Order One-Pass CPS Transformation. Theoretical Computer Science, 308(1), 239-257.

Bødker, S. (2003). A for Alternatives. Scandinavian Journal of Information Systems, 15, 87-89.

Carbone, M., Nielsen, M., Sassone, V., Cerone, A. (red.) & Lindsay, P. (red.) (2003). A Formal Model for Trust in Dynamic Networks. I First International Conference on Software Engineering and Formal Methods, 2003.Proceedings. (s. 54-61). IEEE. https://doi.org/10.1109/SEFM.2003.1236207

Ager, M. S., Danvy, O. & Midtgaard, J. (2003). A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines. BRICS Report Series, (RS-03-24).

Ager, M. S., Biernacki, D., Danvy, O. & Midtgaard, J. (2003). A Functional Correspondence Between Evaluators and Abstract Machines. I K. Sagonas & D. Miller (red.), Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (s. 8-19). Association for Computing Machinery. https://doi.org/10.1145/888251.888254

Ager, M. S., Danvy, O. & Midtgaard, J. (2003). A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects. BRICS Report Series, (RS-03-35).

Hansen, K. M. (2003). Agile Environments: Some Pattterns for Agile Software Development Facilitation. I P. Hrubry & K. E. Sørensen (red.), Proceedings of the First Nordic Conference on Pattern Languages of Programs, 2002 (s. 259-270). Microsoft Business Solutions ApS. http://www.daimi.au.dk/~marius/documents/hansen2002vikingplop.pdf

Danvy, O. (2003). A Journey from Interpreters to Compilers and Virtual Machines. I F. Pfenning & Y. Smaragdakis (red.), Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003. Proceedings (s. 117). Springer. https://doi.org/10.1007/978-3-540-39815-8_7

Damgård, I. B. & Jurik, M. J. (2003). A Length-Flexible Threshold Cryptosystem with Applications. I R. Safavi-Naini & J. Seberry (red.), Information Security and Privacy: 8th Australasian Conference, ACISP 2003 Wollongong, Australia, July 9–11, 2003 Proceedings (s. 350-364). Springer. https://doi.org/10.1007/3-540-45067-X_30

Bennedsen, J. & Caspersen, M. E. (2003). A Model-First Approach to Teaching Introductory Object-Orientation. I Joint proceedings of the Workshops on Multiparadigm Programming with Object-Oriented Languages (MPOOL’03) Declarative Programming in the Context of Object-Oriented Languages (DP-COOL’03): NIC Series (Bind 27). Dorothea Rohrmann. http://www.intermedia.uio.no/cool/WS-03.html

Christensen, H. B. (2003). An Architectural Style for Closed-loop Process-Control. Department of Computer Science, Aarhus University.

Danvy, O. (2003). A New One-Pass Transformation into Monadic Normal Form. I G. Hedin (red.), Compiler Construction: 12th International Conference, CC 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings (s. 77-89). Springer. https://doi.org/10.1007/3-540-36579-6_6

Damgård, I. B. & Frandsen, G. S. (2003). An Extended Quadratic Frobenius Primality Test with Average and Worst Case Error Estimates. I A. Lingas & B. J. Nilsson (red.), Fundamentals of Computation Theory (s. 118-131). Springer. https://doi.org/10.1007/978-3-540-45077-1_12

Caspersen, M. E. (2003). An Inverted Curriculum for CS1. I Frontiers in Education, 2003. FIE 2003. 33rd Annual (Bind 1). IEEE Press. https://doi.org/10.1109/FIE.2003.1263334

Biernacka, M., Biernacki, D. & Danvy, O. (2003). An Operational Foundation for Delimited Continuations. BRICS Report Series, (RS-03-41).

Mortensen, K. H., Schougaard, K. S. F. & Schultz, U. P. (2003). A Programming Language Approach to Safety in Home Networks. Center for Pervasive Computing Publications, CfPC-2003-PB-53.

Mortensen, K. H., Schougaard, K. R. & Schultz, U. P. (2003). A Programming Language Approach to Safety in Home Networks. Department of Computer Science, Aarhus University.

Danvy, O. (2003). A Rational Deconstruction of Landin's SECD Machine. BRICS Report Series, (RS-03-33).

Lorenz, D. H., Ernst, E. & Aksit, M. (red.) (2003). Aspects and Polymorphism in AspectJ. I Proc. of AOSD'03: Proceedings of the 2nd international conference on Aspect-oriented software development (s. 150-157). Association for Computing Machinery. https://doi.org/10.1145/643603.643619

Ernst, E. (2003). A Stratification of Class Family Dependencies. I T. D'Hondt (red.), Technology of object-oriented languages, systems and architectures (s. 16-30). Kluwer Academic Publishers.

Lambov, B. Z. (2003). A Two Layer Approach to the Computability and Complexity of Real Functions. I Computability and Complexity in Analysis 2003 (302 of Informatic Berichte udg., s. 279-302). Fern-Universität Hagen.

Grønbæk, K., Kristensen, J. F., Ørbæk, P. & Eriksen, M. A. (2003). Augmenting Physical Material with Hypermedia Structures. New Review of Hypermedia and Multimedia, 9(1), 5-34. https://doi.org/10.1080/13614560410001725293

Bouvin, N. O. (2003). Augmenting the Web through Open Hypermedia. New Review of Hypermedia and Multimedia, 8, 3-26. https://doi.org/10.1080/13614560208914733

Schultz, U. P., Lawall, J. L. & Consel, C. (2003). Automatic program specialization for Java. ACM Transactions on Programming Languages and Systems, 25(4), 452-499.

Procopiuc, O., Agarwal, P. K., Arge, L. A. & Vitter, J. S. (2003). Bkd-Tree: A Dynamic Scalable kd-Tree. I Advances in Spatial and Temporal Databases: 8th International Symposium, SSTD 2003 Santorini Island, Greece, July 24-27, 2003. Proceedings (s. 46-65). Springer. https://doi.org/10.1007/978-3-540-45072-6_4

Kohlenbach, U. & Lambov, B. (2003). Bounds on Iterations of Asymptotically Quasi-Nonexpansive Mappings. BRICS Report Series, (RS-03-51).

Agarwal, P. K., Arge, L. A., Danner, A. & Holland-Minkley, B. (2003). Cache-oblivious data structures for orthogonal range searching. I Proceedings of the nineteenth annual symposium on Computational geometry (s. 237-245). Association for Computing Machinery. https://doi.org/10.1145/777792.777828

Hansen, K. A., Miltersen, P. B. & Vinay, V. (2003). Circuits on Cylinders. I Fundamentals of Computation Theory (s. 171-182). Springer. https://doi.org/10.1007/978-3-540-45077-1_17

Jørgensen, J. B., Aalst, W. M. P. V. D. (red.) & Best, E. (red.) (2003). Coloured Petri Nets in Development of a Pervasive Health Care System. I Ikke angivet (2679 of Lecture Notes in Computer Science udg., Bind 2679/2003, s. 256-275). Springer.

Schultz, U. P., Burgaard, K., Christensen, F. G. & Knudsen, J. L. (2003). Compiling Java for low-end embedded systems. I Proceedings of the 2003 ACM SIGPLAN conference on Languages, compilers, and tools for embedded systems (s. 42-50). Association for Computing Machinery.

Doh, K. & Mosses, P. D. (2003). Composing Programming Languages by Combining Action-Semantics Modules. Science of Computer Programming, 47(1), 3-36.

Crépeau, C., Dumais, P., Mayers, D. & Salvail, L. (2003). Computational Collapse of Quantum State with Application to Oblivious Transfer. BRICS Report Series, (RS-03-37).

Brodal, G. S., Fagerberg, R., Östlin, A., Pedersen, C. N. S. & Rao, S. S. (2003). Computing Refined Buneman Trees in Cubic Time. I G. Benson & R. Page (red.), Algorithms in Bioinformatics: Third International Workshop, WABI 2003, Budapest, Hungary, September 15-20, 2003. Proceedings (s. 259-270). Springer. https://doi.org/10.1007/978-3-540-39763-2_20

Brodal, G. S., Fagerberg, R. & Pedersen, C. N. S. (2003). Computing the Quartet Distance Between Evolutionary Trees in Time O(n log n). Algorithmica, 38(2), 377-395. https://doi.org/10.1007/s00453-003-1065-y

Bardram, J. E., Kjær, R. E. & Pedersen, M. Ø. (2003). Context-Aware User Authentication - Supporting Proximity-Based Login in Pervasive Computing. I Proceedings of Ubicomp 2003: Ubiquitous Computing (2864 udg., s. 107-123). Springer.

Ratzer, A. V., Wells, L. M., Lassen, H. M., Laursen, M., Qvortrup, J. F., Stissing, M. S., Westergaard, M., Christensen, S., Jensen, K., Aalst, W. M. P. V. D. (red.) & Best, E. (red.) (2003). CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. I W. V. D. Aalst & E. Best (red.), Applications and Theory of Petri Nets 2003 (Bind 2679, s. 450-462). Springer.

Viser resultater 4851 til 4900 ud af 6119