Publikationer

Søg publikationer fra Institut for Datalogi

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

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

Grønbæk, K., Bouvin, N. O. & Sloth, L. (2000). Open Hypermedia as User Controlled Meta Data for the Web. Computer Networks, 33(1-6), 553-566. https://doi.org/10.1016/S1389-1286(00)00070-0

Grønbæk, K., Sloth, L. & Bouvin, N. O. (2000). Open Hypermedia as User Controlled Meta Data for the Web. I Proceedings of the 9th World Wide Web Conference

Danvy, O. & Hatcliff, J. (2000). Partial Evaluation. I A. Ralston, E. Reilly & D. Hemmendinger (red.), Encyclopedia of Computer Science (s. 1370-1371). Macmillan Reference.

Alstrup, S., Brodal, G. S. & Rauhe, T. (2000). Pattern matching in dynamic texts. I D. Shmoys (red.), Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms (s. 819-828). Society for Industrial and Applied Mathematics.

Nielsen, T. T. & Wigard, J. (2000). Performance Enhancements in a Frequency Hopping GSM Network. Kluwer Academic Publishers. http://www.springerlink.com/content/978-0-7923-7819-8

Brabrand, C., Møller, A., Ricky, M. & Schwartzbach, M. I. (2000). PowerForms: Declarative Client-side Form Field Validation. World Wide Web (New York), 3(4), 205-214. https://doi.org/10.1023/A:1018772405468

Jensen, K. (red.) (2000). Practical Use of High-level Petri Net. Workshop Proceedings. Department of Computer Science, Aarhus University.

Bussard, L., Carver, L., Ernst, E., Jung, M., Robillard, M. & Speck, A. (2000). Safe Aspect Composition. I G. Goos, J. Hartmanis, J. van Leeuwen, J. Malenfant, S. Moisan & A. Moreira (red.), Object-Oriented Technology: ECOOP 2000 Workshop Reader ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12–16, 2000 Proceedings (s. 205-210). Springer. https://doi.org/10.1007/3-540-44555-2_16

Bødker, S. (2000). Scenarios in user-centred design - setting the stage for reflection and action. Interacting with Computers, 13(1), 61-75. https://doi.org/10.1016/S0953-5438(00)00024-2

Bødker, S. (2000). Scenarios - setting the stage for reflection and action in user-centered design. Interacting with Computers, 13(1), 61-77.

Ernst, E. (2000). Separation of Concerns and Then What? I L. Bergmans (red.), Position papers from the workshop on Aspects and Dimensions of Concern. University of Twente. http://trese.cs.utwente.nl/Docs/workshops/adc2000/papers/Ernst.pdf

Boyar, J., Damgård, I. B. & Peralta, R. (2000). Short Non-Interactive Cryptographic Proofs. Journal of Cryptology, 13(4), 449-472. https://doi.org/10.1007/s001450010011

Cornils, A. & Hedin, G. (2000). Statically checked documentation with design patterns. I 33rd International Conference on Technology of Object-Oriented Languages, 2000. TOOLS 33. Proceedings. (s. 419-430). IEEE. https://doi.org/10.1109/TOOLS.2000.848780

Hein, J., Wiuf, C., Møller, M., Knudsen, B. & Wibling, G. (2000). Statistical alignment: computational properties, homology testing and goodness-of-fit. J. Mol. Biol., 302(1), 265-279. https://doi.org/10.1006/jmbi.2000.4061

Anderson, K. M. & Bouvin, N. O. (2000). Supporting project awareness on the WWW with the iScent framework. SIGGROUP Bulletin, 21(3), 16-20. https://doi.org/10.1145/605647.605650

Hansen, K. M., Damm, C. H., Thomsen, M. & Tyrsted, M. (2000). Supporting several levels of restriction in the UML. I A. Evans, S. Kent & B. Selic (red.), «UML» 2000 - The Unified Modeling Language: Advancing the Standard. Third International Conference York, UK, October 2-6, 2000 Proceedings (s. 396-409). Springer. https://doi.org/10.1007/3-540-40011-7_29

Damian, D. & Danvy, O. (2000). Syntactic accidents in program analysis: on the impact of the CPS transformation. I Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (s. 209-220). Association for Computing Machinery.

Daniel, D. & Danvy, O. (2000). Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation. BRICS Report Series, (RS-00-15).

Ernst, E. (2000). Syntax Based Modularization: Invasive or Not?. Afhandling præsenteret på Conference on Object-Oriented Programming, Systems, Languages, and Applications. OOPSLA 2000, Minneapolis. MN, USA.

Grønbæk, K. (red.) (2000). Technical documentation for the COCONUT project. Department of Computer Science, Aarhus University.

Damm, C. H., Hansen, K. M., Thomsen, M. & Tyrsted, M. (2000). The Knight Project: Tool Support for Collaborative Object-Oriented Modeling. Billeder, Video- og Lydoptagelser (digital)

Damm, C. H., Hansen, K. M., Thomsen, M. & Tyrsted, M. (2000). Tool Integration: Experiences and Issues in Using XMI and Component Technology. I Proceedings of the Technology of Object-Oriented Languages and Systems Conference (s. 94-107). IEEE Computer Society Press. https://doi.org/10.1109/TOOLS.2000.848754

Schwartzbach, M. I. & Graf, S. (red.) (2000). Tools and Algorithms for Construction and Analysis of Systems: 6th International Conference, TACAS 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. Springer. Lecture Notes in Computer Science Bind 1785 https://doi.org/10.1007/3-540-46419-0

Damm, C. H., Hansen, K. M. & Thomsen, M. (2000). Tool support for cooperative object-oriented design: gesture based modelling on an electric whiteboard. I Proceedings of the SIGCHI conference on Human factors in computing systems (s. 518-525). Association for Computing Machinery. https://doi.org/10.1145/332040.332488

Cornils, A. & Hedin, G. (2000). Tool Support for Design Patterns based on Reference Attribute Grammars. I Proceedings of WAGA'00, Third Workshop on Attribute Grammars and their Applications

Andersen, C. J., Hansen, K. M., Sandvad, E. S., Thomsen, M. & Tyrsted, M. (2000). Tool Support for Iterative System Development Activities: Issues and Experiences. I K. A. Mughal, A. L. Opdahl & D. I. K. Sjøberg (red.), Proceedings of NWPER'2000: Nordic Workshop on Programming Environment Research http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.4642

Madsen, O. L. (2000). Towards a Unified Programming Language. I E. Bertino (red.), ECOOP 2000 - Object-Oriented Programming: 14th European Conference Sophia Antipolis and Cannes, France, June 12–16, 2000 Proceedings (s. 1-26). Springer. https://doi.org/10.1007/3-540-45102-1_1

Camenisch, J. & Damgård, I. B. (2000). Verifiable Encryption, Group Encryption, and Their Applications to Separable Group Signatures and Signature Sharing Schemes (Extended Abstract). I T. Okamoto (red.), Advances in Cryptology - ASIACRYPT 2000: 6th International Conference on the Theory and Application of Cryptology and Information Security Kyoto, Japan, December 3-7, 2000 Proceedings (s. 331-345). Springer. https://doi.org/10.1007/3-540-44448-3_25

Hansen, N. D., Klarlund, N. & Schwartzbach, M. I. (2000). YakYak: Parsing with Logical Side Constraints. I G. Rozenberg & W. Thomas (red.), Proceedings of the 4th International Conference on Development in Language Theory (s. 286-301). World Scientific.

Caspersen, M. E. (1999). A C++ framework for active objects in embedded real-time systems-bridging the gap between modeling and implementation. I Technology of Object-Oriented Languages and Systems, 1999. TOOLS 32. Proceedings (s. 52-65). IEEE Computer Society Press. https://doi.org/10.1109/TOOLS.1999.809414

Grønbæk, K., Nürnberg, P. J., Bucka-Lassen, D., Aagaard Pedersen, C. & Reinert, O. (1999). A component-based open hypermedia approach to integreting structure services. New Review of Hypermedia and Multimedia, 5(1), 179-205. https://doi.org/10.1080/13614569908914713

Viser resultater 5351 til 5400 ud af 6088

108