Publikationer

Søg publikationer fra Institut for Datalogi

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

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

Bødker, S., Grønbæk, K. & Trigg, R. (1991). Open-Ended Interaction in Cooperative Pro-to-typing: A Video-based Analysis. Scandinavian Journal of Information Systems, 3, 63 - 86.

Frandsen, G. S. (1991). Parallel Construction of Irreducible Polynomials. Department of Computer Science, Aarhus University.

Christensen, E. F., Schultz, P., Jensen, O. V., Egebo, K., Engberg, M., Grøn, I. & Juhl, B. (1991). Postoperative pulmonary complications and lung function in high-risk patients: a comparison of three physiotherapy regimens after upper abdominal surgery in general anesthesia. Acta Anaesthesiologica Scandinavica, 35(2), 97-104.

Grønbæk, K. (1991). Prototyping and Active User Involvement in System Development: Towards a Cooperative Prototyping Approach. Department of Computer Science, Aarhus University.

Bødker, S., Kyng, M. & Greenbaum, J. (1991). Setting the stage: workshops and group interaction. I M. Kyng & J. Greenbaum (red.), Design at work: Cooperative Design of Computer Systems (s. 139-154). Lawrence Erlbaum Associates.

Greenbaum, J. & Kyng, M. (1991). Situated Design. I J. Greenbaum & M. Kyng (red.), Design at Work: Cooperative Design of Computer Systems (s. 1-24). Lawrence Erlbaum Associates.

Miltersen, P. B. (1991). The complexity of malign ensembles. I Proceedings of the Sixth Annual Structure in Complexity Theory Conference, 1991. (s. 164-171). IEEE Computer Society Press. https://doi.org/10.1109/SCT.1991.160257

Henderson, A. & Kyng, M. (1991). There is no place like home - continuing design in use. I J. Greenbaum & M. Kyng (red.), Design at Work: Cooperative Design of Computer Systems (s. 219-240). Lawrence Erlbaum Associates.

Kyng, M. (1991). The System Work Group Computer Science Department Aarhus University. I CHI '91 Proceedings of the SIGCHI conference on Human factors in computing systems: Reaching through technology (s. 477-478). Association for Computing Machinery. https://doi.org/10.1145/108844.109011

Bødker, S. (1991). Through the Interface - a Human Activity Approach to User Interface. Lawrence Erlbaum Associates.

Damgård, I. B. (1991). Towards Practical Public Key Systems Secure Against Chosen Ciphertext attacks. I J. Feigenbaum (red.), Advances in Cryptology - CRYPTO '91: Proceedings (s. 445-456). Springer. https://doi.org/10.1007/3-540-46766-1_36

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

Schwartzbach, M. I. (1991). Type Inference with Inequalities. I TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8-12, 1991 (s. 441-455). Springer. https://doi.org/10.1007/3-540-53982-4_24

Frandsen, G. S. & Sturtivant, C. (1991). What is an efficient implementation of the λ-calculus? I J. Hughes (red.), Functional Programming Languages and Computer Architecture: 5th ACM Conference Cambridge, MA, USA, August 26–30, 1991 Proceedings (s. 289-312). Springer. https://doi.org/10.1007/3540543961_14

Schwartzbach, M. I. & Palsberg, J. (1991). What is Type-Safe Code Reuse. I P. America (red.), ECOOP'91: Proceedings of the 5th European Conference on Object-Oriented Programming (s. 325-341). Springer. https://doi.org/10.1007/BFb0057030

Mogensen, P. H. & Thomsen, M. (1990). Activity Theory and Heidegger: A Phenomenological Perspective on an Activity-theoretical Basis for Systems Development. Afhandling præsenteret på 2nd International Society for Cultural and Activity Research Congress. ISCRAT 1990, Lahti, Finland.

Trigg, R., Bødker, S. & Grønbæk, K. (1990). A Video-based Analysis of the Cooperative Prototyping Process. I R. Hellman, M. Ruohonen & P. Sørgaard (red.), Proceedings of the 13th IRIS conference

Boyar, J., Chaum, D., Damgård, I. B. & Pedersen, T. (1990). Convertible Undeniable Signatures. I A. J. Menezez & S. A. Vanstone (red.), Advances in Cryptology - CRYPT0' 90: Proceedings (s. 189-205). Springer. https://doi.org/10.1007/3-540-38424-3_14

Jensen, K., Huber, P. & Shapiro, R. M. (1990). Design/CPN Extensions. (II udg.) Meta Software Corporation.

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

Schwartzbach, M. I. (1990). Infinite Values in Hierarchical Imperative Types. I A. Arnold (red.), CAAP '90: 15th Colloquium on Trees in Algebra and Programming. Copenhagen, Denmark, May 1990. Proceedings (s. 254-268). Springer. https://doi.org/10.1007/3-540-52590-4_53

Engberg, U. H. (1990). Partial Orders and Fully Abstract Models for Concurrency.

Engberg, U. H. & Winskel, G. (1990). Petri Nets as Models of Linear Logic. I A. Arnold (red.), CAAP '90: 15th Colloquium on Trees in Algebra and Programming (s. 147-161). Springer.

Engberg, U. & Winskel, G. (1990). Petri Nets as Models of Linear Logic. Daimi Report Series (DAIMI PB), 19(301). https://doi.org/10.7146/dpb.v19i301.6682

Viser resultater 5851 til 5900 ud af 6089

118