Publikationer

Søg publikationer fra Institut for Datalogi

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

Bouvin, N. O. (2000). Augmenting the Web through Open Hypermedia: The Development of the Arakne Environment, a Collaborative Open Hypermedia System for Web Augmentation. Department of Computer Science, Aarhus University.

Arge, L. A., Procopiuc, O., Ramaswamy, S., Suel, T., Vahrenhold, J. & Vitter, J. S. (2000). A Unified Approach for Indexed and Non-indexed Spatial Joins. I C. Zaniolo, P. C. Lockemann, M. H. Scholl & T. Grust (red.), Advances in Database Technology - EDBT 2000: 7th International Conference on Extending Database Technology Konstanz, Germany, March 27-31, 2000 Proceedings (s. 413-429). Springer. https://doi.org/10.1007/3-540-46439-5_29

Christensen, H. B. & Røn, H. (2000). Case Study of Maturing and Reusing a Framework. Department of Computer Science, Aarhus University.

Buscher, M., Christensen, M., Grønbæk, K., Krogh, P., Mogensen, P. H., Shapiro, D. & Ørbæk, P. (2000). Collaborative Augmented Reality Environments: Integrating VR, Working Materials, and Distributed Work Spaces. I Proceedings of the third international conference on Collaborative virtual environments (s. 47-56). Association for Computing Machinery. https://doi.org/10.1145/351006.351012

Elgaard, J., Møller, A. & Schwartzbach, M. I. (2000). Compile-Time Debugging of C Programs Working on Trees. I G. Smolka (red.), Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings (s. 119-134). Springer. https://doi.org/10.1007/3-540-46425-5_8

Kalinowski, T., Schulz, H.-J. & Briese, M. (2000). Cooperation in the Minority Game with local information. Physica A, 277(3-4), 502-508. https://doi.org/10.1016/S0378-4371(99)00553-1

Bødker, S., Grønbæk, K. & Mogensen, P. H. (2000). Cooperative Design. I A. Kent (red.), Encyclopedia of Library and Information Science (Bind 67, s. 108-119). Marcel Dekker.

Bødker, S., Ehn, P., Sjögren, D. & Sundblad, Y. (2000). Cooperative design perspectives on 20 years with "the Scandinavian IT Design Model". I Proceedings of the first Nordic conference on Human-computer interaction Association for Computing Machinery.

Bødker, S. (2000). Coordinating technical support platforms. Association for Computing Machinery. Communications, 43(11). https://doi.org/10.1145/352515.352520

Danvy, O. & Nielsen, L. R. (2000). CPS Transformation of Beta-Redexes. BRICS Report Series, (RS-00-35).

Damm, C. H., Hansen, K. M., Thomsen, M. & Tyrsted, M. (2000). Creative Object-Oriented Modelling: Support for Intuition, Flexibility, and Collaboration in CASE Tools. I E. Bertino (red.), ECOOP 2000 - Object-Oriented Programming: 14th European Conference Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings (s. 27-43). Springer. https://doi.org/10.1007/3-540-45102-1_2

Buscher, M., Christensen, M., Mogensen, P. H., shapiro, D. & Ørbæk, P. (2000). Creativity, Complexity, and Precision: Information Visualization for (Landscape) Architecture. I Proceedings of the IEEE Symposium on Information Visualization 2000 (InfoVis 2000) (s. 167-172). IEEE. https://doi.org/10.1109/INFVIS.2000.885105

Bødker, S., Petersen, M. G. & Brodersen, A. C. (2000). Creativity, cooperation and interactive design. I Proceedings of the 3rd conference on Designing interactive systems: processes, practices, methods, and techniques (s. 252-261). Association for Computing Machinery. https://doi.org/10.1145/347642.347757

Bertelsen, O. W. (2000). Design artefacts: Towards a design-oriented epistemology. Scandinavian Journal of Information Systems.

Bødker, S. & Petersen, M. G. (2000). Design for learning in use. Scandinavian Journal of Information Systems, 12, 61-80. http://iris.cs.aau.dk/tl_files/volumes/volume12/no1/3-SB_p61-80.pdf

Bouvin, N. O. (2000). Designing user interfaces for collaborative web-based open hypermedia. I Proceedings of the eleventh ACM on Hypertext and hypermedia (s. 230-231). Association for Computing Machinery. https://doi.org/10.1145/336296.336389

Klarlund, N., Møller, A. & Schwartzbach, M. I. (2000). Document Structure Description 1.0. BRICS Notes Series, (NS-00-7).

Klarlund, N., Møller, A. & Schwartzbach, M. I. (2000). DSD: A Schema Language for XML. I Proceedings of the third workshop on Formal methods in software practice (s. 101-111). Association for Computing Machinery. https://doi.org/10.1145/349360.351158

Brodal, G. S. & Jakob, R. (2000). Dynamic Planar Convex Hull with Optimal Query Time and O(log n · log log n ) Update Time. I Algorithm Theory - SWAT 2000: 7th Scandinavian Workshop on Algorithm Theory Bergen, Norway, July 5–7, 2000 Proceedings (s. 181-186). Springer. https://doi.org/10.1007/3-540-44985-X_7

Damgård, I. B. (2000). Efficient Concurrent Zero-Knowledge in the Auxiliary String Model. I B. Preneel (red.), Advances in Cryptology - EUROCRYPT 2000: International Conference on the Theory and Application of Cryptographic Techniques Bruges, Belgium, May 14-18, 2000 Proceedings (s. 418-430). Springer. https://doi.org/10.1007/3-540-45539-6_30

Agarwal, P. K., Arge, L. A., Erickson, J., Franciosa, P. G. & Vitter, J. S. (2000). Efficient Searching with Linear Constraints. Journal of Computer and System Sciences, 61, Issue 2, 194-216. https://doi.org/10.1006/jcss.2000.1709

Arge, L. A., Chase, J. S., Vitter, J. S. & Wickremsinghe, R. (2000). Efficient Sorting Using Registers and Caches. I S. Näher & D. Wagner (red.), Algorithm Engineering: 4th International Workshop, WAE 2000 Saarbrücken, Germany, September 5-8, 2000 Proceedings (s. 51-62) https://doi.org/10.1007/3-540-44691-5_5

Cramer, R., Damgård, I. B. & MacKenzie, P. (2000). Efficient Zero-Knowledge Proofs of Knowledge without Intractability Assumptions. I H. Imai & Y. Zheng (red.), Public Key Cryptography: Third International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2000, Melbourne, Victoria, Australia, January 18-20, 2000. Proceedings (s. 354-373). Springer. https://doi.org/10.1007/978-3-540-46588-1_24

Bouvin, N. O. & Anderson, K. M. (2000). Enabling project awareness and intersubjectivity via hypermedia-enabled event trails. University of Colorado.

Bouvin, N. O. (2000). Experiences with OHP and Issues for the Future. I Open Hypermedia Systems and Structural Computing: 6th International Workshop, OHS-6 2nd International Workshop, SC-2 San Antonio, Texas, USA, May 30 – June 3, 2000 Proceedings (s. 191-206). Springer. https://doi.org/10.1007/3-540-39941-0_3

Brodal, G. S. & Pedersen, C. N. S. (2000). Finding Maximal Quasiperiodicities in Strings. I R. Giancarlo & D. Sankoff (red.), Combinatorial Pattern Matching: 11th Annual Symposium, CPM 2000 Montreal, Canada, June 21–23, 2000 Proceedings (s. 397-411). Springer. https://doi.org/10.1007/3-540-45123-4_33

Danvy, O. (2000). Formalizing Implementation Strategies for First-Class Continuations. I G. Smolka (red.), Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings (s. 88-103). Springer. https://doi.org/10.1007/3-540-46425-5_6

Bødker, S. & Buur, J. (2000). From usability lab to design collaboratorium: reframing usability practice. I Proceedings of the 3rd conference on Designing interactive systems: processes, practices, methods, and techniques (s. 297-307). Association for Computing Machinery. https://doi.org/10.1145/347642.347768

Danvy, O. (2000). Functional unparsing. Journal of Functional Programming, 621-625.

Cramer, R., Damgård, I. B. & Maurer, U. (2000). General Secure Multi-party Computation from any Linear Secret-Sharing Scheme. I B. Preneel (red.), Advances in Cryptology - EUROCRYPT 2000: International Conference on the Theory and Application of Cryptographic Techniques Bruges, Belgium, May 14-18, 2000 Proceedings (s. 316-334). Springer. https://doi.org/10.1007/3-540-45539-6_22

Jurdzinski, M. & Nielsen, M. (2000). Hereditary History Preserving Bisimilarity Is Undecidable. I H. Reichel & S. Tison (red.), STACS 2000: 17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17-19, 2000 Proceedings (s. 358-369). Springer. https://doi.org/10.1007/3-540-46541-3_30

Christensen, H. B. & Caspersen, M. E. (2000). Here, There and Everywhere - On the Recurring Use of Turtle Graphics in CS1. I Proceedings of the Australasian conference on Computing education (s. 34-40). Association for Computing Machinery. https://doi.org/10.1145/359369.359375

Mogensen, P. H. & Grønbæk, K. (2000). Hypermedia in the Virtual Project Room - Toward Open 3D Spatial Hypermedia. I Proceedings of the Eleventh Conference on Hypertext and Hypermedia (s. 113-122). Association for Computing Machinery. https://doi.org/10.1145/336296.336340

Brodal, G. S. & Srinivasan, V. (2000). Improved Bounds for Dictionary Look-up with One Error. Information Processing Letters, 75(1-2), 57-59. https://doi.org/10.1016/S0020-0190(00)00079-X

Damgård, I. B. & Nielsen, J. B. (2000). Improved Non-committing Encryption Schemes Based on a General Complexity Assumption. I M. Bellare (red.), Advances in Cryptology - CRYPTO 2000: 20th Annual International Cryptology Conference Santa Barbara, California, USA, August 20-24, 2000 Proceedings (s. 432-450). Springer. https://doi.org/10.1007/3-540-44598-6_27

Agarwal, P. K., Arge, L. A. & Erickson, J. (2000). Indexing Moving Points. I Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (s. 175-186). Association for Computing Machinery. https://doi.org/10.1145/335168.335220

Bødker, S. & Bertelsen, O. W. (2000). Introduction to special issue on activity theory and information systems design. Scandinavian Journal of Information Systems, 12, 3-14. http://iris.cs.aau.dk/tl_files/volumes/volume12/no1/01-intro_p3-14.pdf

Arge, L. A. & Vahrenhold, J. (2000). I/O-efficient dynamic planar point location. I Proceedings of the sixteenth annual symposium on Computational geometry (s. 191-200). Association for Computing Machinery. https://doi.org/10.1145/336154.336205

Pagter, J. I. & Arge, L. (2000). I/O-Space Trade-Offs: Extended Abstract. I Algorithm Theory - SWAT 2000: 7th Scandinavian Workshop on Algorithm Theory Bergen, Norway, July 5-7, 2000 Proceedings (s. 509-514). Springer. https://doi.org/10.1007/3-540-44985-X_38

Danvy, O. & Schultz, U. P. (2000). Lambda-dropping: transforming recursive equations into programs with block structure . Theoretical Computer Science, 248(1-2), 243-287. https://doi.org/10.1016/S0304-3975(00)00054-2

Nielsen, M. & Rovan, B. (red.) (2000). Mathematical Foundations of Computer Science 2000: 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings. Springer. Lecture Notes in Computer Science Bind 1893 https://doi.org/10.1007/3-540-44612-5

Kjær, A., Petersen, M. G. & Madsen, K. H. (2000). Methodological Challenges in the Study of Technology at Home. I A. Sloane & F. van Rijn (red.), Home Informatics and Telematics: Information Society and Technology (s. 45-60). Kluwer Academic Publishers.

Hansen, K. M. (2000). Modelling in Experimental System Development.

Christensen, H. B. (2000). Modularisation of Software Configuration Management I W. Weck & J. Gutknecht (red.), Modular Programming Languages: Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000. Proceedings (s. 134-146). Springer. https://doi.org/10.1007/10722581_12

Buhrman, H., Miltersen, P. B. & Laplante, S. (2000). New bounds for the language compression problem. I 15th Annual IEEE Conference on Computational Complexity, 2000. Proceedings. (s. 126-130). IEEE Computer Society Press. https://doi.org/10.1109/CCC.2000.856742

Alstrup, S., Brodal, G. S. & Rauhe, T. (2000). New data structures for orthogonal range searching. I 41st Annual Symposium on Foundations of Computer Science, 2000. Proceedings. (s. 198-207). IEEE Computer Society Press. https://doi.org/10.1109/SFCS.2000.892088

Arge, L. A., Brodal, G. S. & Toma, L. (2000). On External-Memory MST, SSSP, and Multi-way Planar Graph Separation. I Algorithm Theory - SWAT 2000: 7th Scandinavian Workshop on Algorithm Theory Bergen, Norway, July 5-7, 2000 Proceedings (s. 709-715). Springer. https://doi.org/10.1007/3-540-44985-X_37

Cramer, R., Damgård, I. B. & Dziembowski, S. (2000). On the complexity of verifiable secret sharing and multiparty computation. I Proceedings of the thirty-second annual ACM symposium on Theory of computing (s. 325-334). Association for Computing Machinery. https://doi.org/10.1145/335305.335343

Frandsen, G. S. (2000). On the Density of Normal Bases in Finite Fields. Finite Fields and Their Applications, 6(1), 23-38. https://doi.org/10.1006/ffta.1999.0263

Miltersen, P. B. (2000). On the Shannon function for partially defined Boolean functions. I Proceedings of the Workshop on Boolean Functions and Applications

Viser resultater 5351 til 5400 ud af 6119

108