Publikationer

Søg publikationer fra Institut for Datalogi

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

Madsen, O. L. (1992). ECOOP ’92 European Conference on Object-Oriented Programming: Utrecht, The Netherlands, June 29–July 3, 1992 Proceedings. Springer. Lecture Notes in Computer Science Bind 615 https://doi.org/10.1007/BFb0053026

Schwartzbach, M. I., Kozen, D. & Palsberg, J. (1992). Efficient Inference of Partial Types. I 33rd Annual Symposium on Foundations of Computer Science, 1992. Proceedings (s. 363-371). IEEE Press.

Nielsen, M., Rozenberg, G. & Thiagarajan, P. S. (1992). Elementary transition systems. Theoretical Computer Science, 96(1), 3-33. https://doi.org/10.1016/0304-3975(92)90180-N

Grønbæk, K., Madsen, O. L., Møller, K. J., Nørgaard, J., Sandvad, E. & Trigg, R. (1992). EuroCoOp Workpackage WP5 Task T5.1 Deliverable D5.1: Hypermedia Design Tool.

Grønbæk, K., Madsen, O. L., Møller, K. J., Nørgaard, J. & Sandvad, E. (1992). EuroCoOp Workpackage WP5 Task T5.3 Distributed Hypermedia Design Tool.

Grønbæk, K. (1992). Experimental System Development - combining Prototyping and specifying in a cooperative design perspective. I G. Bjerknes, T. Bratteteig & K. Kautz (red.), Proceedings of the 15th IRIS conference

Schwartzbach, M. I. (1992). Interpretations of Recursive Type Definitions. Theoretical Computer Science, 106(1), 119-134.

Schwartzbach, M. I., Oxhøj, N. & Palsberg, J. (1992). Making Type Inference Practical. I O. L. Madsen (red.), ECOOP '92, European Conference on Object-Oriented Programming: Utrecht, The Netherlands, June 29-July 3, 1992 Proceedings (s. 329-349). Springer. https://doi.org/10.1007/BFb0053045

Madsen, O. L. & Møller-Pedersen, B. (1992). Part Objects and Their Location. I G. Heeg, B. Magnusson & B. Meyer (red.), TOOLS 1992: Dortmund, Germany (s. 83-97). Prentice-Hall.

Schwartzbach, M. I. & Palsberg, J. (1992). Safety Analysis versus Type Inference with Partial Types. Information Processing Letters, 43(4), 175-180. https://doi.org/10.1016/0020-0190(92)90196-3

Kyng, M. (1992). Scenario? Guilty! S I G C H I Bulletin, 24(4), 8-9. https://doi.org/10.1145/142167.142168

Bødker, S. (1992). Technology as a vehicle for Organisational Learning and Change. Department of Computer Science, Aarhus University.

Miltersen, P. B., Paterson, M. & Tarui, J. (1992). The asymptotic complexity of merging networks. I 33rd Annual Symposium on Foundations of Computer Science, 1992. Proceedings. (s. 236-246). IEEE Computer Society Press. https://doi.org/10.1109/SFCS.1992.267768

Bødker, S., Christiansen, E. T., Markussen, R. & Lytje, I. (1992). The Man in the Woman in the Researcher. Afhandling præsenteret på Conference on Gender, Technology and Ethics, Luleå, Sverige.

Schwartzbach, M. I. & Palsberg, J. (1992). Three discussions on object-oriented typing. I S. B. Zdonik (red.), ACM SIGPLAN OOPS Messenger (April udg., Bind Vol. 3, Issue 2, s. 31-38). Association for Computing Machinery. https://doi.org/10.1145/130943.130949

Grønbæk, K. & Knudsen, J. L. (1992). Tools and Techniques for Experimental System Development. I K. Systä, P. Kellomäki & R. Mäkinen (red.), Proceedings of the Nordic Workshop on Programming Environment Research

Mogensen, P. H. (1992). Towards a Provotyping Approach in Systems Development. Scandinavian Journal of Information Systems, 4, 31-53.

Kyng, M. & Mogensen, P. H. (1992). Workpackage WP1 Task T1.3: Evaluation of EuroCoOp prototypes re work at Storebæltsforbindelsen (Great Belt Link Ltd.).

Bødker, S. (1991). Activity theory as a challenge to systems design. I H.-E. Nissen, H. K. Klein & R. Hirscheim (red.), Information Systems Research: Contemporary Approaches and Emergent Traditions (s. 555-564). North-Holland.

Bødker, S. (1991). Activity theory as a challenge to systems design. Department of Computer Science, Aarhus University.

Damgård, I. B. (red.) (1991). Advances in Cryptology - EUROCRYPT '90: Workshop on the Theory and Application of Cryptographic Techniques Aarhus, Denmark, May 21-24, 1990 Proceedings. Springer. Lecture Notes in Computer Science Bind 473 https://doi.org/10.1007/3-540-46877-3

Grønbæk, K. (1991). ApplBuilder: An incremental object oriented application generator. Softwareprogram

Grønbæk, K., Hviid, A. & Trigg, R. H. (1991). ApplBuilder - an Object-Oriented Application Generator Supporting Rapid Prototyping. I Proceedings of the Fourth international conference on software engineering and its applications (s. 257-272)

Grønbæk, K., Hviid, A. & Trigg, R. (1991). ApplBuilder - an Object-Oriented Application Generator Supporting Rapid Prototyping. Department of Computer Science, Aarhus University.

Skyum, S. (1991). A simple algorithm for computing the smallest enclosing circle. Information Processing Letters, 37(3), 121-125. https://doi.org/10.1016/0020-0190(91)90030-L

Skyum, S. (1991). A Sweepline Algorithm for Generalized Delaunay Triangulations. Department of Computer Science, Aarhus University. Daimi Report Series (DAIMI PB) Nr. 373

Madsen, O. L. & Møller-Pedersen, B. (1991). Basic principles of the BETA programming language. I G. Blair, J. Gallagher, D. Hutchison & D. Shepherd (red.), Object-oriented languages, systems and applications (s. 299-327). Halsted Press.

Bødker, S. & Bannon, L. (1991). Beyond the interface: Encountering artifacts in use. I J. M. Carroll (red.), Psychological theory of the Human-Computer Interface: Designing interaction: psychology at the human-computer interface (s. 227-253). Cambridge University Press.

Ehn, P. & Kyng, M. (1991). Cardboard Computers: Mocking-it-up or Hands-on the Future. I J. Greenbaum & M. Kyng (red.), Design at Work: Cooperative Design of Computer Systems (s. 169-195). Lawrence Erlbaum Associates.

Jensen, K. (1991). Coloured Petri Nets: A High-level Language for System Design and Analysis. I G. Rozenberg (red.), Advances in Petri Nets 1990 (s. 342-416). Springer. https://doi.org/10.1007/3-540-53863-1_31

Bødker, S., Christiansen, E. T., Ehn, P., Markussen, R., Mogensen, P. H. & Trigg, R. (1991). Computers in Context. Report from the AT-project in progress. I Proceedings of NES/SAM (s. 153-158)

Jensen, K. & Feldbrugge, F. (1991). Computer Tools for High-level Petri Nets. I K. Jensen & G. Rozenberg (red.), High-level Petri Nets. Theory and Application (Bind Advances in Petri Nets 1991, s. 691-717). Springer.

Kyng, M. & Greenbaum, J. (1991). Cooperative Design: Bringing together the Practices of Users and Designers. I Information Systems Research: Contemporary Approaches & Emergent Traditions (s. 405-416). North-Holland.

Bødker, S. & Grønbæk, K. (1991). Cooperative Prototyping Studies - users and designers envision a dental case record system. I J. Bowers & S. Benford (red.), Studies in computer supported cooperative work: theory, practice and design (Human Factors in Information Technology) (s. 315-332). North-Holland.

Grønbæk, K. & Bødker, S. (1991). Cooperative Prototyping: Users and Designers in Mutual Activity. I S. Greenberg (red.), Computer Supported Cooperative Work and Groupware (s. 331-359). Academic Press.

Bødker, S. & Grønbæk, K. (1991). Cooperative Prototyping: Users and Designers in Mutual Activity. International Journal of Human-Computer Studies, 34(3), 453-478. http://www.gronbak.dk/kgronbak/publications/uploads/PB-332.pdf

Kyng, M. & Greenbaum, J. (red.) (1991). Design at Work: Cooperative design of computer systems. Lawrence Erlbaum Associates.

Greenbaum, J. & Kyng, M. (1991). Design by Doing. I J. Greenbaum & M. Kyng (red.), Design at Work: Cooperative Design of Computer Systems (s. 269-280). Lawrence Erlbaum Associates.

Jensen et. al, K. (1991). Design/CPN. A Reference Manual. Department of Computer Science, Aarhus University. http://www.daimi.au.dk/designCPN/man/

Bødker, S. & Grønbæk, K. (1991). Design in action: From prototyping by demonstration to cooperative prototyping. I M. Kyng & J. Greenbaum (red.), Design at work: Cooperative design of computer systems (s. 197-218). Lawrence Erlbaum Associates.

Bødker, S. (1991). Designing artifacts for human work. I Proceedings of the first Oksnøen Symposium

Kyng, M. (1991). Designing for cooperation - cooperating in design. Association for Computing Machinery. Communications, 34(12), 64-73. https://doi.org/10.1145/125319.125323

Nielsen, M., Rozenberg, G. & Thiagarajan, P. S. (1991). Elementary Transition Systems and Refinement. Department of Computer Science, Aarhus University.

Grønbæk, K., Kyng, M. & Mogensen, P. H. (1991). EuroCoOp Workpackage WP1 Task T1.1 report: On cooperation, computers and the organization of work at A/S Storebæltsforbindelsen (Great Belt Link Ltd.).

Aceto, L. & Engberg, U. H. (1991). Failures Semantics for a Simple Process Language with Refinement. I S. Biswas & K. V. Nori (red.), FSTTCS '91: Foundations of Software Technology and Theoretical Computer Science, 11th Conference (s. 89-108). Springer LNCS.

Huber, P., Jensen, K. & Shapiro, R. M. (1991). Hierarchies in Coloured Petri Nets. I G. Rozenberg (red.), Advances in Petri Nets 1990 (s. 313-341). Springer. https://doi.org/10.1007/3-540-53863-1_30

Jensen, K. & Rozenberg, G. (red.) (1991). High-level Petri Nets: Theory and Applications. Springer.

Nielsen, M. (1991). Models for concurrency. I A. Tarlecki (red.), Mathematical Foundations of Computer Science 1991: 16th International Symposium Kazimierz Dolny, Poland, September 9-13, 1991 Proceedings (s. 43-46). Springer. https://doi.org/10.1007/3-540-54345-7_47

Engberg, U. H., Nielsen, M. & Winskel, G. (red.) (1991). Models, Languages and Logics for Concurrent Distributed Systems: CEDISYS Workshop (Aarhus, 1991, May 21-24). Department of Computer Science, Aarhus University. Daimi Report Series (DAIMI PB) Nr. 392

Schwartzbach, M. I. & Palsberg, J. (1991). Object-Oriented Type Inference. I A. Paepcke (red.), Proceedings of the 6th Conference on Object-Oriented Programming: Systems, Languages, and Applications (s. 146-161). Association for Computing Machinery. https://doi.org/10.1145/118014.117965

Viser resultater 5801 til 5850 ud af 6063

117