Publikationer

Søg publikationer fra Institut for Datalogi

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

Kristensen, L. M., Christensen, S. & Jensen, K. (1998). The Practitioner's guide to Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2(2), 98-132. https://doi.org/10.1007/s100090050021

Hune, T. & Nielsen, M. (1998). Timed bisimulation and open maps. I L. Brim, J. Gruska & J. Zlatuska (red.), Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS'98 Brno, Czech Republic, August 24-28, 1998 Proceedings (s. 378-387). Springer. https://doi.org/10.1007/BFb0055787

Damgård, I. B. & Knudsen, L. R. (1998). Two-Key Triple Encryption. Journal of Cryptology, 11(3), 209-218. https://doi.org/10.1007/s001459900044

Danvy, O. (1998). Type-Directed Partial Evaluation. BRICS Lecture Series, (LS-98-3).

Bødker, S. (1998). Understanding representations in design. Human-Computer Interaction, 13(2), 107-125. https://doi.org/10.1207/s15327051hci1302_1

Bødker, S. & Petersen, M. G. (1998). Usability work: From snapshot to development of use. Afhandling præsenteret på ISCRAT 1998, Århus, Danmark.

Kyng, M. (1998). Users and Computers: A contextual approach to design of computer artifact. Scandinavian Journal of Information Systems, 10(1-2), 7-44.

Christensen, H. B. (1998). Utilising a Geographic Space Metaphor in a Software Development Environment. I Proceedings of the IFIP TC2/TC13 WG2.7/WG13.4 Seventh Working Conference on Engineering for Human-Computer Interaction (s. 39-56). Klüwer.

Mogensen, P. H. & Shapiro, D. (1998). When Survival is an Issue: PD in support of landscape architecture. Computer Supported Cooperative Work: The Journal of Collaborative Computing, 7, 187-203. https://doi.org/10.1023/A:1008655302519

Jensen, K. (red.) (1998). Workshop on Practical Use of Coloured Petri Nets and Design/CPN: Aarhus, Denmark, June 10-12, 1998. Department of Computer Science, Aarhus University.

Brodal, G. S. & Katajainen, J. (1998). Worst-case efficient external-memory priority queues. I S. Arnborg & L. Ivansson (red.), Algorithm Theory — SWAT'98: 6th Scandinavian Workshop on Algorithm Theory Stockholm, Sweden, July 8–10, 1998 Proceedings (s. 107-118). Springer. https://doi.org/10.1007/BFb0054359

Brandt, J., Damgård, I. B., Landrock, P. & Pedersen, T. (1998). Zero-knowledge authentication scheme with secret key exchange. Journal of Cryptology, 11(3), 147-159. https://doi.org/10.1007/s001459900041

Damgård, I. B. & Cramer, R. (1998). Zero-knowledge proofs for finite field arithmetic, or: Can zero-knowledge be for free? I H. Krawczyk (red.), Advances in Cryptology - CRYPTO '98: 18th Annual International Cryptology Conference Santa Barbara, California, USA August 23-27, 1998 Proceedings (s. 424-441). Springer. https://doi.org/10.1007/BFb0055745

Jensen, K. (1997). A Brief Introduction to Coloured Petri Nets. I E. Brinksma (red.), Tools and Algorithms for the Construction and Analysis of Systems (Bind 1217, s. 203-208). Springer. https://doi.org/10.1007/BFb0035389

Hatcliff, J. & Danvy, O. (1997). A computational formalization for partial evaluation. Mathematical Structures in Computer Science, 7(5), 507-541. https://doi.org/10.1017/S0960129597002405

Schwartzbach, M. I. & Klarlund, N. (1997). A Domain-Specific Language for Regular Sets of Strings and Trees. I Proceedings of the Conference on Domain-Specific Languages

Schwartzbach, M. I., Madsen, J. L., Jørgensen, M. E. & Klarlund, N. (1997). Automatic Verification of Pointer Programs using Monadic Scond-Order Logic. I Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation (s. 226-236). Association for Computing Machinery. https://doi.org/10.1145/258915.258936

Winskel, G. & Nielsen, M. (1997). Categories in Concurrency. I A. Pitts & P. Dybjer (red.), Semantics and Logics of Computation (s. 299-354). Cambridge University Press.

Jensen, K. (1997). Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol 1, Basic Concepts. (2. ed., 2. corr. printing udg.) Springer. Monographs in theoretical computer science: an EATCS series

Jensen, K. (1997). Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 3, Practical Use. Springer. Monographs in theoretical computer science: an EATCS series

Danvy, O. & Rhiger, M. (1997). Compiling Actions by Type-Directed Partial Evaluation. I Proceedings of the Nordic Workshop on Programming Theory. NWPT'97

Engberg, U. H. & Winskel, G. (1997). Completeness Results for Linear Logic on Petri Nets. Annals of Pure and Applied Logic, 86(2), 101-135.

Kyng, M. & Mathiassen, L. (red.) (1997). Computers and Design in Context. MIT Press.

Bødker, S. (1997). Computers in mediated human activity. Mind, Culture, and Activity, 4(3), 149-158. https://doi.org/10.1207/s15327884mca0403_2

Bødker, S. & Bannon, L. J. (1997). Constructing Common Information Spaces. I Proceedings of ECSCW 97 (s. 81-96). Kluwer Academic Publishers.

Christensen, S., Jørgensen, J. B. & Madsen, K. H. (1997). Design as Interaction with Computer Based Materials. I G. van der Veer, A. Henderson & S. Coles (red.), Proceeding of DIS 97 (s. 65-71). Society for Industrial and Applied Mathematics.

Grønbæk, K., Bouvin, N. O. & Sloth, L. (1997). Designing Dexter-based hypermedia services for the World Wide Web. I M. Bernstein, L. Carr & K. Østerbye (red.), Proceedings of the eighth ACM conference on Hypertext (s. 146-156). Association for Computing Machinery. https://doi.org/10.1145/267437.267453

Frandsen, G. S. & Skyum, S. (1997). Dynamic maintenance of majority information in constant time per update. Information Processing Letters, 63(2), 75-78. https://doi.org/10.1016/S0020-0190(97)00100-2

Frandsen, G. S., Miltersen, P. B. & Skyum, S. (1997). Dynamic word problems. Journal of the ACM, 44(2), 257-271. https://doi.org/10.1145/256303.256309

Cramer, R., Damgård, I. B. & Pedersen, T. P. (1997). Efficient and provable security amplifications. I M. Lomas (red.), Security Protocols: International Workshop Cambridge, United Kingdom, April 10-12, 1996 Proceedings (s. 101-109). Springer. https://doi.org/10.1007/3-540-62494-5_9

Arge, L. A. (1997). External-Memory Algorithms with Applications in GIS. I M. V. Kreveld, J. Nievergelt, T. Roos & P. Widmayer (red.), Algorithmic Foundations of Geographic Information Systems (s. 213-254). Springer.

Cramer, R. & Damgård, I. B. (1997). Fast and Secure Immunization Against Adaptive Man-in-the-Middle Impersonation. I W. Fumy (red.), Advances in Cryptology - EUROCRYPT '97: International Conference on the Theory and Application of Cryptographic Techniques Konstanz, Germany, May 11-15, 1997 Proceedings (s. 75-87). Springer. https://doi.org/10.1007/3-540-69053-0_7

Ernst, E. (1997). gbeta. Softwareprogram, Department of Computer Science, Aarhus University.

Grønbæk, K. & Trigg, R. (1997). Heterogeneity, Structure and CSCW: Three Challenges for Open Hypermedia. I Proceedings of the 8th ACM International Conference on Hypertext Association for Computing Machinery.

Danvy, O. & Rose, K. H. (1997). Higher-Order Rewriting and Partial Evaluation. BRICS Report Series, (RS-97-46).

Wigard, J., Nielsen, T. T. & Mogensen, P. E. (1997). Improved Intelligent Underlay-Overlay Combined with Frequency Hopping in GSM. I The 8th IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, 1997. 'Waves of the Year 2000'. PIMRC '97. : 'Waves of the Year 2000'. PIMRC '97. IEEE Computer Society Press. https://doi.org/10.1109/PIMRC.1997.630948

Grønbæk, K. & Mogensen, P. H. (1997). Informing General CSCW Product Development through Cooperative Design in Specific Work Domains. Computer Supported Cooperative Work (CSCW): The Journal of Collaborative Computing and Work Practices, 6(4), 275-304. https://doi.org/10.1023/A:1008626106968

Bødker, S. (1997). Interative design, hands-on experience and guiding lights. I Proceedings of the SIGCHI conference on Human factors in computing systems Association for Computing Machinery.

Alon, N., Dietzfelbinger, M., Miltersen, P. B., Petrank, E. & Tardos, G. (1997). Is linear hashing good? I Proceedings of the twenty-ninth annual ACM symposium on Theory of computing (s. 465-474). Association for Computing Machinery. https://doi.org/10.1145/258533.258639

Danvy, O. & Schultz, U. P. (1997). Lambda-dropping: transforming recursive equations into programs with block structure. I PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (s. 90-106). Association for Computing Machinery. https://doi.org/10.1145/258993.259007

Danvy, O. & Schultz, U. P. (1997). Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure. BRICS Report Series, (RS-97-6).

Ernst, E. (1997). Language Developments. I E. Ernst, L. Wohlrab & F. Gerhardt (red.), Proceedings the 7th Workshop for PhD Students in Object-Oriented Systems Department of Computer Science, Aarhus University.

Cramer, R. & Damgård, I. B. (1997). Linear zero-knowledge-a note on efficient zero-knowledge proofs and arguments. I Proceedings of the twenty-ninth annual ACM symposium on Theory of computing (s. 436-445). Association for Computing Machinery. https://doi.org/10.1145/258533.258635

Büscher, M. & Mogensen, P. H. (1997). Mediating Change: Translation and Mediation in the Context of Bricolage. I T. McMaster, E. Mumford, E. B. Swanson, B. Warboys & D. Wastell (red.), Facilitating Technology Transfer through Partnership: Learning from Practice and Research (s. 76-91). Chapman and Hall.

Danvy, O. (1997). Online Type-Directed Partial Evaluation. BRICS Report Series, (RS-97-53).

Arge, L. A., Ferragina, P., Grossi, R. & Vitter, J. S. (1997). On sorting strings in external memory. I Proceedings of the twenty-ninth annual ACM symposium on Theory of computing (s. 540-548). Association for Computing Machinery. https://doi.org/10.1145/258533.258647

Nielsen, T. T., Wigard, J. & Mogensen, P. E. (1997). On the Capacity of a GSM Frequency Hopping network with Intelligent Underlayer-Overlayer. I 1997 IEEE 47th Vehicular Technology Conference IEEE Computer Society Press. https://doi.org/10.1109/VETEC.1997.605882

Damgård, I. B., Pedersen, T. P. & Pfitzmann, B. (1997). On the existence of statistically hiding bit commitment schemes and fail-stop signatures. Journal of Cryptology, 10(3), 163-194. https://doi.org/10.1007/s001459900026

Danvy, O. & Goldberg, M. (1997). Partial Evaluation of the Euclidian Algorithm. Higher-Order and Symbolic Computation, 10(2), 101-111. https://doi.org/10.1023/A:1007736916360

Danvy, O. & Goldberg, M. (1997). Partial Evaluation of the Euclidian Algorithm. BRICS Report Series, (RS-97-1).

Viser resultater 5551 til 5600 ud af 6088

112