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

Nielsen, M. & Valencia Posso, F. D. (2002). Temporal Concurrent Constraint Programming: Applications and Behavior. In W. Brauer, H. Ehrig, J. Karhumäki & A. Salomaa (Eds.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (pp. 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. In T. Mogensen, D. Schmidt & H. Sudborough (Eds.), The Essence of Computation: Complexity, Analysis, Transformation (pp. 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. A C M 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. (Ed.), Adamidis, P. (Ed.), Beyer, H.-G. (Ed.), Fernández-Villacañas Martin, J.-L. (Ed.) & Schwefel, H.-P. (Ed.) (2002). The LifeCycle model: Combining Particle Swarm Optimisation, Genetic Algorithms and HillClimbers. In Lecture Notes in Computer Science: Parallel Problem Solving from Nature --- PPSN VII (Vol. 2439, pp. 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. In Proceedings of the The Sixth European Conference on Computer Supported Cooperative Work (pp. 21-40). Springer. https://doi.org/10.1007/0-306-47316-X_2

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

Danvy, O. & Goldberg, M. (2002). There and Back Again. B R I C S Report Series, (RS-02-12).

Damgård, I. B., Groth, J., Salomonsen, G. & Gritzalis, D. (Ed.) (2002). The Theory and Implementation of Electronic Voting Systems. In Secure Electronic Voting (Vol. 7, pp. 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, Vol. 9, No. 2 , June 2002, 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. D A I M I P B, (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. B R I C S 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. B R I C S 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. B R I C S Report Series, (RS-01-29).

Brodal, G. S., Fagerberg, R. & Jacob, R. (2001). Cache Oblivious Search Trees via Binary Trees of Small Height. B R I C S 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.

Displaying results 4751 to 4800 out of 5679

100

101

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University