Publikationer

Søg publikationer fra Institut for Datalogi

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

Nielsen, M. & Thiagarajan, P. S. (2002). Regular Event Structures and Finite Petri Nets: The Conflict-Free Case. I J. Esparza & C. Lakos (red.), Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24-30, 2002 Proceedings (s. 467-488). Springer. https://doi.org/10.1007/3-540-48068-4_20

Ernst, E. (2002). Safe Dynamic Multiple Inheritance. Nordic Journal of Computing, 9(3), 191-208.

Ernst, E. (2002). Safe Dynamic Multiple Inheritance. I K. Østerbye (red.), Proceedings of the 10th Nordic workshop on Software Development Tools and Techniques http://www.it-c.dk/people/kasper/NWPER2002/papers/ernst.pdf

Thomsen, R., Krink, T., Guervós, J. J. M. (red.), Adamidis, P. (red.), Beyer, H.-G. (red.), Fernández-Villacañas, J.-L. (red.) & Schwefel, H.-P. (red.) (2002). Self-Adaptive Operator Scheduling using the Religion-Based EA. I Lecture Notes in Computer Science: Parallel Problem Solving from Nature - PPSN VII (2439 of Lecture Notes in Computer Science udg., Bind 2439/-1 / 2002, s. 214-223). Springer.

Nielsen, J. B. (2002). Separating Random Oracle Proofs from Complexity Theoretic Proofs: The Non-Committing Encryption Case. I M. Yung (red.), Advances in Cryptology — CRYPTO 2002: 22nd Annual International Cryptology Conference Santa Barbara, California, USA, August 18–22, 2002 Proceedings (s. 191-214). Springer. https://doi.org/10.1007/3-540-45708-9_8

Grønbæk, K., Whitehead, J., De Bra, P., Larsen, D., Leggett, J. & Schraefel, M. (2002). Seven Issues Revisited. I Conference on Hypertext and Hypermedia: Proceedings of the thirteenth ACM conference on Hypertext and hypermedia (s. 171). Association for Computing Machinery.

Brodal, G. S., Lyngsø, R. B., Östlin, A. & Pedersen, C. N. S. (2002). Solving the String Statistics Problem in Time O(n log n). I P. Widmayer, S. Eidenbenz, F. Triguero, R. Morales, R. Conejo & M. Hennessy (red.), Automata, Languages and Programming: 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings (s. 728-739). Springer. https://doi.org/10.1007/3-540-45465-9_62

Büscher, M., Mogensen, P. H. & Shapiro, D. (2002). Spaces of Practice. I W. Prinz, M. Jarke, Y. Rogers, K. Schmidt & V. Wulf (red.), Proceedings of the seventh conference on European Conference on Computer Supported Cooperative Work (s. 139-158). Springer. https://doi.org/10.1007/0-306-48019-0_8

Danvy, O. & Sabry, A. (2002). Special issue of Higher-Order and Symbolic Computation: Special Issue on the third ACM SIGPLAN Workshop on Continuations (CW 2001). Springer.

Bødker, S. & Iversen, O. S. (2002). Staging a Professional Participatory Design Practice: Moving PD beyond the Initial Fascination of User Involvement. I O. W. Bertelsen (red.), Proceedings of the second Nordic conference on Human-computer interaction (s. 11 - 18). Association for Computing Machinery. https://doi.org/10.1145/572020.572023

Bødker, S. & Iversen, O. S. (2002). Staging a Professional Participatory Design Practice. I Proceedings of Second Nordic Conference on Human-Computer Interaction (s. 11-18).

Christensen, A. S., Møller, A. & Schwartzbach, M. I. (2002). Static Analysis for Dynamic XML. I E-Proceeding of PLAN-X 2002 http://homepages.inf.ed.ac.uk/wadler/planx/planx-eproceed/papers/E00-1868950904.pdf

Hobolth, A. & Jensen, E. B. V. (2002). Stereological analysis of shape. Image Analysis and Stereology, 21(4), S23-S29. https://doi.org/10.5566/ias.v21.pS23-S29

Christensen, H. B. & Bardram, J. (2002). Supporting Human Activities - Exploring Activity-Centered Computing. I G. Borriello & L. E. Holmquist (red.), UbiComp 2002: Ubiquitous Computing: 4th International Conference Göteborg, Sweden, September 29 – October 1, 2002 Proceedings (s. 107-116). Springer. https://doi.org/10.1007/3-540-45809-3_8

Westergaard, M. (2002). Supporting Multiple Pointing Devices in Microsoft Windows. I L. Cardelli (red.), Proceedings of Microsoft Summer Workshop for Faculty and PhDs.: Supporting Multiple Pointing Devices in Microsoft Windows (s. 11. Talk). Microsoft Press.

Gallasch, G. E., Kristensen, L. M. & Mailund (2002). Sweep-Line State Space Exploration for Coloured Petri Nets. I Proceedings of Fourth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools (CPN 2002) (s. 101-119)

Danvy, O. & Nielsen, L. R. (2002). Syntactic Theories in Practice. BRICS Report Series, (RS-02-4).

Nielsen, M., Palamidessi, C. & Valencia, F. D. (2002). Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. Nordic Journal of Computing, 9(2), 145-188.

Nielsen, M. & Valencia Posso, F. D. (2002). Temporal Concurrent Constraint Programming: Applications and Behavior. I W. Brauer, H. Ehrig, J. Karhumäki & A. Salomaa (red.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (s. 298-324). Springer. https://doi.org/10.1007/3-540-45711-9_17

Amtoft, T., Consel, C., Danvy, O. & Malmkjær, K. (2002). The Abstraction and Instantiation of String-Matching Programs. I T. Mogensen, D. Schmidt & H. Sudborough (red.), The Essence of Computation: Complexity, Analysis, Transformation (s. 332-357). Springer. https://doi.org/10.1007/3-540-36377-7_15

Lyngsø, R. B. & Pedersen, C. N. S. (2002). The Consensus String Problem and the Complexity of Comparing Hidden Markov Models. Journal of Computer and System Sciences, 65(3), 545-569.

Videbech, P., Ravnkilde, B., Pedersen, T. H., Hartvig, H., Egander, A., Clemmensen, K., Rasmussen, N. A., Andersen, F., Gjedde, A. & Rosenberg, R. (2002). The Danish PET/depression project: clinical symptoms and cerebral blood flow. A regions-of-interest analysis. Acta Psychiatrica Scandinavica, 106(1), 35-44.

Bødker, S. & Buur, J. (2002). The Design Collaboratorium - a place for usability design. ACM Transactions on Computer-Human Interaction, 9(2), 152-169. https://doi.org/10.1145/513665.513670

Klarlund, N., Møller, A. & Schwartzbach, M. I. (2002). The DSD Schema Language. Automated Software Engineering, 9(3), 285-319. https://doi.org/10.1023/A:1016376608070

Krink, T., Løvbjerg, M., Guervós, J. J. M. (red.), Adamidis, P. (red.), Beyer, H.-G. (red.), Fernández-Villacañas Martin, J.-L. (red.) & Schwefel, H.-P. (red.) (2002). The LifeCycle model: Combining Particle Swarm Optimisation, Genetic Algorithms and HillClimbers. I Lecture Notes in Computer Science: Parallel Problem Solving from Nature --- PPSN VII (Bind 2439, s. 621-630). Springer.

Brabrand, C., Møller, A. & Schwartzbach, M. I. (2002). The <bigwig> Project. A C M Transactions on Internet Technology, 2(2), 79-114. https://doi.org/10.1145/514183.514184

Buscher, M., Mogensen, P. H., Shapiro, D. & Wagner, I. (2002). The Manufaktur: Supporting Work Practice in (Landscape) Architecture. I Proceedings of the The Sixth European Conference on Computer Supported Cooperative Work (s. 21-40). Springer. https://doi.org/10.1007/0-306-47316-X_2

Danvy, O. & Goldberg, M. (2002). There and Back Again. I Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (s. 230-234). Association for Computing Machinery. https://doi.org/10.1145/581478.581500

Danvy, O. & Goldberg, M. (2002). There and Back Again. BRICS Report Series, (RS-02-12).

Damgård, I. B., Groth, J., Salomonsen, G. & Gritzalis, D. (red.) (2002). The Theory and Implementation of Electronic Voting Systems. I Secure Electronic Voting (Bind 7, s. 77-100). Kluwer Academic Publishers.

Petersen, M. G., Madsen, K. H. & Kjær, A. (2002). The Usability of Everyday Technology: Emerging and Fading Opportunities. ACM Transactions on Computer-Human Interaction, 9(2), (74-105).

Petersen, M. G. (2002). Time and Learning in HCI. I E. Frøkjær & K. Hornbæk (red.), Proceedings of the 2nd Danish Human-Computer Interaction Research Symposium (s. 42-45). University of Copenhagen.

Alstrup, S., Brodal, G. S., Gørtz, I. L. & Rauhe, T. (2002). Time and Space Efficient Multi-Method Dispatching. I M. Penttonen & E. M. Schmidt (red.), Algorithm Theory — SWAT 2002: 8th Scandinavian Workshop on Algorithm Theory Turku, Finland, July 3–5, 2002 Proceedings (s. 20-29). Springer. https://doi.org/10.1007/3-540-45471-3_3

Hansen, K. M. & Ratzer, A. V. (2002). Tool Support for Collaborative Teaching and Learning of Object-Oriented Modelling. I Proceedings of the 7th annual conference on Innovation and technology in computer science education (s. 146-150). Association for Computing Machinery. https://doi.org/10.1145/544414.544458

Breinbjerg, M., Caprani, O. & Lunding, R. (2002). Touch the Sound. I International Workshop of Interaction Design and Children

Lindstrøm, B., Wells, L., Silva, M. (red.), Giva, A. (red.) & Colom, J. M. (red.) (2002). Towards a Monitoring Framework for Discrete-Event System Simulations. I Ikke angivet (s. 127-134). IEEE Computer Society Press.

Grønbæk, K., Vestergaard, P. P. & Ørbæk, P. (2002). Towards Geo-spatial Hypermedia: Concepts and Prototype Implementation. I J. Blustein (red.), Proceedings of the 13th ACM Conference on Hypertext and Hypermedia (s. 117-126). Association for Computing Machinery. https://doi.org/10.1145/513338.513370

Bertelsen, O. W. & Pold, S. B. (2002). Towards the aesthetics of Human-computer interaction. I E. Frøkjær & K. Hornbæk (red.), Proceedings of the Second Danish Human-Computer Interaction Research Symposium (s. 11-12). University of Copenhagen.

Schultz, U. P. (2002). Towards unifying inheritance and automatic program specialization. Daimi Report Series (DAIMI PB), (566).

Arge, L. A., Barve, R., Hutchinson, D., Procopiuc, O., Toma, L., Vengroff, D. E. & Wickeremsinghe, R. (2002). TPIE: User Manual and Reference. (082902 udg.) Duke University Press. http://www.cs.duke.edu/TPIE/tpie.pdf

Iversen, J. & Mosses, P. D. (red.) (2002). Type Inference for the New Action Notation. Afhandling præsenteret på International Workshop on Action Semantics (AS 2002), København, Danmark.

Bertelsen, O. W., Eskildsen, T. & Sperschneider, W. (2002). Use in the oven - product development in HCI research. I E. Frøkjær & K. Hornbæk (red.), Proceedings of the Second Danish Human-Computer Interaction Research Symposium (s. 13-14). University of Copenhagen.

Grønbæk, K., Bang, T. & Hansen, P. S. (2002). Using a Metro Map Metaphor for organizing Web-based learning resources. I P. Barker & S. Rebelsky (red.), Proceedings of World Conference on Educational Multimedia, Hypermedia and Telecommunications 2002 (s. 647-652). Association for the Advancement of Computing in Education.

Christensen, H. B. (2002). Using Logic Programming to Detect Activities in Pervasive Healthcare. I P. J. Stuckey (red.), Logic Programming: 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 – August 1, 2002 Proceedings (2401 udg., s. 185-199). Springer. https://doi.org/10.1007/3-540-45619-8_29

Bardram, J. E., Bossen, C., Lykke-Olesen, A., Madsen, K. H. & Nielsen, R. (2002). Virtual Video Prototyping for Healthcare Systems. I Proceedings of the Conference on Designing Interactive Systems: Processes, Practices, Methods, and Techniques (s. 167 - 177). Association for Computing Machinery.

Bardram, J. E., Bossen, C., Lykke-Olesen, A., Madsen, K. H., Nielsen, R. & MacDonald, N. (red.) (2002). Virtual Video Prototyping of Pervasive Healthcare Systems. I Proceedings of the conference on Designing interactive systems: processes, practices, methods, and techniques (s. 167-177). Association for Computing Machinery.

Bardram, J. E., Bossen, C., Madsen, K. H., Nielsen, R. & Lykke-Olesen, A. (2002). Virtual Video Prototyping of Pervasive Healthcare Systems. I DIS2002, Designing Interactive Systems

Christensen, B. G. & Hansen, F. A. (2002). XLink - Linking the Web and Open Hypermedia. Afhandling præsenteret på The International Workshop on Open Hypermedia Systems Core Concepts and Research Directions (OHS 2002), College Park, Maryland, USA.

Danvy, O. & Nielsen, L. R. (2001). A First-Order One-Pass CPS Transformation. BRICS Report Series, RS-01-49.

Agarwal, P. K., Arge, L. A., Procopiuc, O. & Vitter, J. S. (2001). A Framework for Index Bulk Loading and Dynamization. I F. Orejas, P. G. Spirakis & J. van Leeuwen (red.), Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8-12, 2001 Proceedings (s. 115-127). Springer. https://doi.org/10.1007/3-540-48224-5_10

Viser resultater 5151 til 5200 ud af 6119

104