Publications

Search for publications at Department of Computer Science

Below you find a complete list of publications published and edited by scientists at the Department of Computer Science

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. In E. Frøkjær & K. Hornbæk (Eds.), Proceedings of the 2nd Danish Human-Computer Interaction Research Symposium (pp. 42-45). University of Copenhagen.

Alstrup, S., Brodal, G. S., Gørtz, I. L. & Rauhe, T. (2002). Time and Space Efficient Multi-Method Dispatching. In M. Penttonen & E. M. Schmidt (Eds.), Algorithm Theory — SWAT 2002: 8th Scandinavian Workshop on Algorithm Theory Turku, Finland, July 3–5, 2002 Proceedings (pp. 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. In Proceedings of the 7th annual conference on Innovation and technology in computer science education (pp. 146-150). Association for Computing Machinery. https://doi.org/10.1145/544414.544458

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

Lindstrøm, B., Wells, L., Silva, M. (Ed.), Giva, A. (Ed.) & Colom, J. M. (Ed.) (2002). Towards a Monitoring Framework for Discrete-Event System Simulations. In Ikke angivet (pp. 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. In J. Blustein (Ed.), Proceedings of the 13th ACM Conference on Hypertext and Hypermedia (pp. 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. In E. Frøkjær & K. Hornbæk (Eds.), Proceedings of the Second Danish Human-Computer Interaction Research Symposium (pp. 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 ed.) Duke University Press. http://www.cs.duke.edu/TPIE/tpie.pdf

Iversen, J. & Mosses, P. D. (Ed.) (2002). Type Inference for the New Action Notation. Paper presented at International Workshop on Action Semantics (AS 2002), København, Denmark.

Bertelsen, O. W., Eskildsen, T. & Sperschneider, W. (2002). Use in the oven - product development in HCI research. In E. Frøkjær & K. Hornbæk (Eds.), Proceedings of the Second Danish Human-Computer Interaction Research Symposium (pp. 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. In P. Barker & S. Rebelsky (Eds.), Proceedings of World Conference on Educational Multimedia, Hypermedia and Telecommunications 2002 (pp. 647-652). Association for the Advancement of Computing in Education.

Christensen, H. B. (2002). Using Logic Programming to Detect Activities in Pervasive Healthcare. In P. J. Stuckey (Ed.), Logic Programming: 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 – August 1, 2002 Proceedings (2401 ed., pp. 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. In Proceedings of the Conference on Designing Interactive Systems: Processes, Practices, Methods, and Techniques (pp. 167 - 177). Association for Computing Machinery.

Bardram, J. E., Bossen, C., Lykke-Olesen, A., Madsen, K. H., Nielsen, R. & MacDonald, N. (Ed.) (2002). Virtual Video Prototyping of Pervasive Healthcare Systems. In Proceedings of the conference on Designing interactive systems: processes, practices, methods, and techniques (pp. 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. In DIS2002, Designing Interactive Systems

Christensen, B. G. & Hansen, F. A. (2002). XLink - Linking the Web and Open Hypermedia. Paper presented at The International Workshop on Open Hypermedia Systems Core Concepts and Research Directions (OHS 2002), College Park, Maryland, United States.

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. In F. Orejas, P. G. Spirakis & J. van Leeuwen (Eds.), Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8-12, 2001 Proceedings (pp. 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. In K. Kim (Ed.), Public Key Cryptography: 4th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2001 Cheju Island, Korea, February 13-15, 2001 Proceedings (pp. 119-136). Springer. https://doi.org/10.1007/3-540-44586-2_9

Cáccamo, M. J., Winskel, G., Boulton, R. J. (Ed.) & Jackson, P. B. (Ed.) (2001). A Higher-Order Calculus for Categories. In Lecture Notes in Computer Science: Theorem Proving in Higher Order Logics (Lecture Notes in Computer Science ed., Vol. 2152, pp. 136-153). Springer.

Danvy, O. & Nielsen, L. R. (2001). A Higher-Order Colon Translation. In H. Kuchen & K. Ueda (Eds.), Functional and Logic Programming: 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings (pp. 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. (Eds.) (2001). Algorithm Engineering: Proceedings of 5th International Workshop on Algorithm Engineering (WAE 2001). (2141 i Lecture Notes in Computer Science ed.) 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. In Proceedings of the 10th international conference on World wide web (pp. 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

Damian, D. & Danvy, O. (2001). A Simple CPS Transformation of Control-Flow Information. BRICS Report Series, (RS-01-55).

Danvy, O. & Rhiger, M. (2001). A Simple Take on Typed Abstract Syntax in Haskell-like Languages. In H. Kuchen & K. Ueda (Eds.), Functional and Logic Programming: 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings (pp. 343-358). Springer. https://doi.org/10.1007/3-540-44716-4_22

Christensen, S., Kristensen, L. M. & Mailund (2001). A Sweep-Line Method for State Space Exploration. In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001) (pp. 450-464)

Christensen, S., Kristensen, L. M., Mailund, T., Margaria, T. (Ed.) & Yi, W. (Ed.) (2001). A Sweep-Line Method for State Space Exploration. In Lecture Notes in Computer Science (Lecture Notes in Computer Science 2031 ed., Vol. 2031, pp. 450-464). Springer.

Danvy, O., Grobauer, B. & Rhiger, M. (2001). A Unifying Approach to Goal-Directed Evaluation. New Generation Computing, 20(1), 53-74. https://doi.org/10.1007/BF03037259

Danvy, O., Rhiger, M. & Grobauer, B. (2001). A Unifying Approach to Goal-Directed Evaluation. In W. Taha (Ed.), Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings (pp. 108-125). Springer. https://doi.org/10.1007/3-540-44806-3_7

Danvy, O., Grobauer, B. & Rhiger, M. (2001). A Unifying Approach to Goal-Directed Evaluation. BRICS Report Series, (RS-01-29).

Brodal, G. S., Fagerberg, R. & Jacob, R. (2001). Cache Oblivious Search Trees via Binary Trees of Small Height. BRICS Report Series, (RS-01-36), 1-20.

Brodal, G. S. & Pinotti, M. C. (2001). Comparator Networks for Binary Heap Construction. Theoretical Computer Science, 250(1-2), 235-245. https://doi.org/10.1016/S0304-3975(99)00137-1

Jagota, A., Lyngsø, R. B., Pedersen, C. N. S., Gascuel, O. (Ed.) & Moret, B. M. E. (Ed.) (2001). Comparing Hidden Markov Model and a Stochastic Context-Free Grammer. In Proceedings of the First International Workshop on Algorithms in Bioinformatics (2149 of Lecture Notes in Computer Science ed., Vol. Volume 2149/2001, pp. 69-94). Springer.

Lyngsø, R. B., Pedersen, C. N. S., Eades, P. (Ed.) & Takaoka, T. (Ed.) (2001). Complexity of Comparing Hidden Markov Models. In Ikke angivet (2223 of Lecture Notes in Computer Science ed., pp. 416-428). Springer.

Doh, K., Mosses, P. D., van den Brand, M. (Ed.) & Parigot, D. (Ed.) (2001). Composing Programming Languages by Combining Action-Semantics Modules. In Ikke angivet (44(2) of Elec. Notes in Theoretical Comp. Sci ed., Vol. 44, pp. 87-109). Pergamon Press.

Brodal, G. S., Fagerberg, R., Pedersen, C. N. S., Eades, P. (Ed.) & Takaoka, T. (Ed.) (2001). Computing the Quartet Distance Between Evolutionary Trees in Time O(n log² n). In Proceedings of Algorithms and Computation : 12th International Symposium, ISAAC 2001 (2223 of Lecture Notes in Computer Science ed., Vol. 2223/2001, pp. 731-742). Springer.

Larsen, K. G. & Nielsen, M. (Eds.) (2001). CONCUR 2001 - Concurrency Theory: 12th International Conference Aalborg, Denmark, August 20-25, 2001 Proceedings. Springer. Lecture Notes in Computer Science Vol. 2154 https://doi.org/10.1007/3-540-44685-0

Christensen, S., Kristensen, L. M. & Mailund (2001). Condensed State Spaces for Timed Petri Nets. In Proceedings of International Conference on Application and Theory of Petri Nets (ICATPN 2001) (pp. 101-120)

Bertelsen, O. W. & Bødker, S. (2001). Cooperation in massively distributed information spaces. In Proceedings of the seventh conference on European Conference on Computer Supported Cooperative Work (pp. 1-17). Kluwer Academic Publishers. http://www.ecscw.org/2001.htm

Andersen, P., Beaudouin-Lafon, M., Mackay, W. E., Janecek, P., Lassen, M., Jensen, M., Mortensen, K., Munck, S., Ratzer, A., Ravn, K., Christensen, S., Jensen, K., Colom, J. M. (Ed.) & Koutny, M. (Ed.) (2001). CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets. In G. Goos, J. Hartmanis & J. van Leeuwen (Eds.), Applications and Theory of Petri Nets 2001 (Vol. 2075, pp. 71-80). Springer. https://doi.org/10.1007/3-540-45740-2_6

Jensen, K., Christensen, S., Ravn, K., Ratzer, A., Munck, S., Mortensen, K., Lund, K., Lassen, H. M., Jacecek, P., Andersen, P., Jensen, M., Mackay, W. E. & Beaudouin-Lafon, M. (2001). CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets: ETAPS Tool Demonstration Related to TACAS. In T. Margaria & W. Yi (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (pp. 574-577). Springer. https://doi.org/10.1007/3-540-45319-9_39

Danvy, O. & Nielsen, L. R. (2001). CPS Transformation of Beta-Redexes. In Proceedings of the Third ACM SIGPLAN Workshop on Continuations

Damian, D. & Danvy, O. (2001). CPS Transformation of Flow Information, Part II: Administrative Reductions. BRICS Report Series, (RS-01-40).

Bouvin, N. O. & Bertelsen, O. W. (Ed.) (2001). Creating and Styling Fluid Annotations on Third-Party Web Pages. In Proceedings of First Danish Human-Computer Interaction Reseach Symposium (DAIMI PB-555 ed., pp. 12-13). Department of Computer Science.

Nielsen, M., Paun, G., Rozenberg, G. & Salomaa, A. (Eds.) (2001). Current Trends in Theoretical Computer Science Entering the 21st Century: Concurrency. World Scientific.

Displaying results 5001 to 5050 out of 5916

101