Publikationer

Søg publikationer fra Institut for Datalogi

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

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

Damgård, I. B. & Jurik, M. J. (2001). A Generalisation, a Simplification and some Applications of Paillier's Probabilistic Public-Key System. I K. Kim (red.), Public Key Cryptography: 4th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2001 Cheju Island, Korea, February 13-15, 2001 Proceedings (s. 119-136). Springer. https://doi.org/10.1007/3-540-44586-2_9

Cáccamo, M. J., Winskel, G., Boulton, R. J. (red.) & Jackson, P. B. (red.) (2001). A Higher-Order Calculus for Categories. I Lecture Notes in Computer Science: Theorem Proving in Higher Order Logics (Lecture Notes in Computer Science udg., Bind 2152, s. 136-153). Springer.

Danvy, O. & Nielsen, L. R. (2001). A Higher-Order Colon Translation. I H. Kuchen & K. Ueda (red.), Functional and Logic Programming: 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings (s. 78-91). Springer. https://doi.org/10.1007/3-540-44716-4_5

Kirchner, H. & Mosses, P. D. (2001). Algebraic Specifications, Higher-order Types and Set-theoretic Models. Journal of Logic and Computation, 11(3), 453-481.

Brodal, G. S., Frigioni, D. & Marchetti-Spaccamela, A. (red.) (2001). Algorithm Engineering: Proceedings of 5th International Workshop on Algorithm Engineering (WAE 2001). (2141 i Lecture Notes in Computer Science udg.) Springer.

Sandvad, E. S., Grønbæk, K., Sloth, L. & Knudsen, J. L. (2001). A Metro Map Metaphor for Guided Tours on the Web: The Webwise Guided Tour System. I Proceedings of the 10th international conference on World wide web (s. 326-333). Association for Computing Machinery. https://doi.org/10.1145/371920.372079

Damgård, I. B. & Frandsen, G. S. (2001). An Extended Quadratic Frobenius Primality Test with Average Case Error Estimates.

Krogh, P. G. & Grønbæk, K. (2001). Architecture and pervasive Computing when buildings and design artifacts become popular interfaces. Nordic Journal of Architectural Research, 14(3), 11-22. http://www.arkitekturforskning.net/Tidsskrift/2001/2001_3/Krogh.pdf

Viser resultater 5101 til 5150 ud af 6061

103