Publikationer

Søg publikationer fra Institut for Datalogi

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

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. I H. Kuchen & K. Ueda (red.), Functional and Logic Programming: 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings (s. 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. I Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001) (s. 450-464)

Christensen, S., Kristensen, L. M., Mailund, T., Margaria, T. (red.) & Yi, W. (red.) (2001). A Sweep-Line Method for State Space Exploration. I Lecture Notes in Computer Science (Lecture Notes in Computer Science 2031 udg., Bind 2031, s. 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. I W. Taha (red.), Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings (s. 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. (red.) & Moret, B. M. E. (red.) (2001). Comparing Hidden Markov Model and a Stochastic Context-Free Grammer. I Proceedings of the First International Workshop on Algorithms in Bioinformatics (2149 of Lecture Notes in Computer Science udg., Bind Volume 2149/2001, s. 69-94). Springer.

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

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

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

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

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

Bertelsen, O. W. & Bødker, S. (2001). Cooperation in massively distributed information spaces. I Proceedings of the seventh conference on European Conference on Computer Supported Cooperative Work (s. 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. (red.) & Koutny, M. (red.) (2001). CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets. I G. Goos, J. Hartmanis & J. van Leeuwen (red.), Applications and Theory of Petri Nets 2001 (Bind 2075, s. 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. I T. Margaria & W. Yi (red.), Tools and Algorithms for the Construction and Analysis of Systems (s. 574-577). Springer. https://doi.org/10.1007/3-540-45319-9_39

Danvy, O. & Nielsen, L. R. (2001). CPS Transformation of Beta-Redexes. I 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. (red.) (2001). Creating and Styling Fluid Annotations on Third-Party Web Pages. I Proceedings of First Danish Human-Computer Interaction Reseach Symposium (DAIMI PB-555 udg., s. 12-13). Department of Computer Science.

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

Danvy, O. & Nielsen, L. R. (2001). Defunctionalization at Work. I roceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming (s. 162-174). Association for Computing Machinery. https://doi.org/10.1145/773184.773202

Danvy, O. & Nielsen, L. R. (2001). Defunctionalization at Work. BRICS Report Series, (RS-01-23).

Kuijpers, G., Nielsen, T. T. & Prasad, R. (2001). Delivering Quality of Service in Mobile Ad Hoc IP Networks. Afhandling præsenteret på 4th International Symposium on Wireless Personal Multimedia Communications (WPMC), Aalborg, Danmark.

Miltersen, P. B., Rajasekaran, S. (red.), Pardalos, P. M. (red.), Reif, J. H. (red.) & Rolim, J. D. P. (red.) (2001). Derandomizing complexity classes. I Handbook on Randomized Computing: Combinatorial Optimization, Vol. 9 (chapter 19 udg., Bind II, chapter 19, s. 843-935). Kluwer Academic Publishers (Springer).

Hagerup, T., Miltersen, P. B. & Pagh, R. (2001). Deterministic Dictionaries. Journal of Algorithms, 41, 69-85.

Hagerup, T., Miltersen, P. B. & Pagh, R. (2001). Deterministic Dictionaries. J. Algorithms, 41(1), 69-85.

Pedersen, H. & Midtgaard, J. (2001). Different Evolutionary Approaches to Football Expertise. (s. p. 87-97). EVALife, Dept. of Computer Science, University of Aarhus. http://www.evalife.dk/publications/RKU_ToEC2001_reports.pdf

Mortensen, K. H. (2001). Efficient Data-Structures and Algorithms for a Coloured Petri Nets Simulator. I K. Jensen (red.), Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (s. 57-75). Department of Computer Science, Aarhus University.

Baillie, L. & Petersen, M. G. (2001). Emerging Themes in Designing Household Environments. I Proceedings of the OIKOS Workshop (s. 44-46). Aarhus Universitetsforlag.

Lindstrøm, B. & Haider, S. (2001). Equivalent Coloured Petri Net Models of a Class of Timed Influence Nets with Logic. I K. Jensen (red.), Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (s. 35-55). Department of Computer Science, Aarhus University.

Crazzolara, F. & Winskel, G. (2001). Events in Security Protocols. I Proceedings of the 8th ACM conference on Computer and Communications Security (s. 96-105). Association for Computing Machinery.

Krink, T., Ursem, R. K., Filipic, B., Spector, L. (red.), Goodman, E. D. (red.), Wu, A. (red.), Langdon, W. B. (red.), Voigt, H. (red.), Gen, M. (red.), Sen, S. (red.), Dorio, M. (red.), Pezeshk, S. (red.), Garzon, M. H. (red.) & Burke, E. (red.) (2001). Evolutionary Algorithms in Control Optimization: The Greenhouse Problem. I GECCO 2001: Proceedings of the Genetic and Evolutionary Computation Conference (s. 440-447). Morgan Kaufmann.

Nielsen, P. M., Schori, C., Sørensen, J. L., Salvail, L., Damgård, I. B. & Polzik, E. S. (2001). Experimental quantum key distribution with proven security against realistic attacks. Journal of Modern Optics, 48, 1921-1942.

Lorentsen, L. & Kristensen, L. M. (2001). Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method. I A. Valmari & A. Yakoviev (red.), Proceedings of Second International Conference on Application of Concurrency to System Design (ACSD'01) (Bind ACSD, s. 211-220). IEEE Computer Society Press.

Arge, L. A. (2001). External Memory Data Structures. I F. M. A. D. Heide (red.), Algorithms - ESA 2001: 9th Annual European Symposium Århus, Denmark, August 28-31, 2001 Proceedings (s. 1-29). Springer. https://doi.org/10.1007/3-540-44676-1_1

Ernst, E. (2001). Family Polymorphism. I J. L. Knudsen (red.), ECOOP 2001 — Object-Oriented Programming: 15th European Conference Budapest, Hungary, June 18–22, 2001 Proceedings (s. 303-326). Springer. https://doi.org/10.1007/3-540-45337-7_17

Toma, L., Wickremsinghe, R., Arge, L. A., Chase, J. S., Vitter, J. S., Halpin, P. N. & Urban, D. (2001). Flow computation on massive grids. I Proceedings of the 9th ACM international symposium on Advances in geographic information systems (s. 82-87). Association for Computing Machinery. https://doi.org/10.1145/512161.512180

Zellweger, P. T., Bouvin, N. O., Jehøj, H. & Mackinlay, J. D. (2001). Fluid Annotations in a Open World. I K. Grønbæk, H. Davis & Y. Douglas (red.), Proceedings of the twelfth ACM conference on Hypertext and Hypermedia (s. 9-18). Association for Computing Machinery. https://doi.org/10.1145/504216.504224

Hansen, K. M. (2001). Fluid Interfaces: Supporting Specific, General, and Minimal Interaction. I O. W. Bertelsen (red.), Proceedings of The First Danish Human-Computer Interaction Research Symposium (s. 25-26). Aarhus University.

Damgård, I. B. & Nielsen, J. B. (2001). From Known-Plaintext Security to Chosen-Plaintext Security. BRICS Report Series, (RS-01-43).

Davis, H., Douglas, J. Y. & Grønbæk, K. (2001). From the program chairs. iii. Afhandling præsenteret på Hypertext 2001: Proceedings of the Twelfth ACM Conference on Hypertext and Hypermedia, Arhus, Danmark.

Crepeau, C., Legare, F. & Salvail, L. (2001). How to Convert a Flavor of Quantum Bit Commitment. I Advances in cryptology - EUROCRYPT 2001: Lecture Notes in Computer Science 2045 (Bind 2045, s. 60-77). Springer. http://www.cki.au.dk/publication.html

Hansen, K. M., MacIntyre, B., Mynatt, E. D., Tullio, J. & Voida, S. (2001). Hypermedia in the Kimura System: Using Spacial, Temporal and Navigational Relationships to Support Multitasking and Background Awareness. I Proceedings of the twelfth ACM Conference on Hypertext and Hypermedia (Bind Posters). ACM Press New York, NY, USA.

MacIntyre, B., Mynatt, E. D., Voida, S., Hansen, K. M. & Tullio, J. (2001). Hypermedia in the Kimura System: Using Spatial, Temporal & Navigational Relationships to Support Multitasking and Background Awareness. I Proceedings of the 12th ACM Conference on Hypertext and Hypermedia (s. 6-8). Association for Computing Machinery. https://doi.org/10.1145/504216.504222

Grønbæk, K., Krogh, P. G. & Kyng, M. (2001). Intelligent Buildings and pervasive computing - research perspectives and discussions. I P. Bille (red.), Architectural Research and Information Technology (s. 33-40). Aarhus School of Architecture.

Ørbæk, P., Mogensen, P. H. & Grønbæk, K. (2001). Interaction Techniques for Spatial Organization of Digital and Physical materials - the Topos Approach. I O. W. Bertelsen (red.), Proceedings of the First Dansih Human-Computer Interaction Research Symposium (s. 51-53). Department of Computer Science, Aarhus University.

Grønbæk, K., Gundersen, K. K., Mogensen, P. H. & Ørbæk, P. (2001). Interactive Room Support for Complex and Distributed Design Projects. I M. Hirose (red.), Human-Computer Interaction: INTERACT'01 (s. 407-414). Ohmsha.

Mogensen, P. H. (2001). Interactive Workspaces: Demo. Afhandling præsenteret på Nordic Interactive Conference, Cobenhagen, Danmark.

Viser resultater 5151 til 5200 ud af 6061

104

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series