Publications

Search for publications at Department of Computer Science

Below you find a complete list of publications published and edited by scientists at the Department of Computer Science

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

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

Jensen, K. (1991). Coloured Petri Nets: A High-level Language for System Design and Analysis. In G. Rozenberg (Ed.), Advances in Petri Nets 1990 (pp. 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. In Proceedings of NES/SAM (pp. 153-158)

Jensen, K. & Feldbrugge, F. (1991). Computer Tools for High-level Petri Nets. In K. Jensen & G. Rozenberg (Eds.), High-level Petri Nets. Theory and Application (Vol. Advances in Petri Nets 1991, pp. 691-717). Springer.

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

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

Grønbæk, K. & Bødker, S. (1991). Cooperative Prototyping: Users and Designers in Mutual Activity. In S. Greenberg (Ed.), Computer Supported Cooperative Work and Groupware (pp. 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. (Eds.) (1991). Design at Work: Cooperative design of computer systems. Lawrence Erlbaum Associates.

Greenbaum, J. & Kyng, M. (1991). Design by Doing. In J. Greenbaum & M. Kyng (Eds.), Design at Work: Cooperative Design of Computer Systems (pp. 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. In M. Kyng & J. Greenbaum (Eds.), Design at work: Cooperative design of computer systems (pp. 197-218). Lawrence Erlbaum Associates.

Bødker, S. (1991). Designing artifacts for human work. In 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.). ECO-AU No. 91-8

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

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

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

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

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

Schwartzbach, M. I. & Palsberg, J. (1991). Object-Oriented Type Inference. In A. Paepcke (Ed.), Proceedings of the 6th Conference on Object-Oriented Programming: Systems, Languages, and Applications (pp. 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. http://www.daimi.au.dk/~kgronbak/Thesis/ThesisOverview_ToC.html

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

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

Miltersen, P. B. (1991). The complexity of malign ensembles. In Proceedings of the Sixth Annual Structure in Complexity Theory Conference, 1991. (pp. 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. In J. Greenbaum & M. Kyng (Eds.), Design at Work: Cooperative Design of Computer Systems (pp. 219-240). Lawrence Erlbaum Associates.

Kyng, M. (1991). The System Work Group Computer Science Department Aarhus University. In CHI '91 Proceedings of the SIGCHI conference on Human factors in computing systems: Reaching through technology (pp. 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. In J. Feigenbaum (Ed.), Advances in Cryptology - CRYPTO '91: Proceedings (pp. 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. In TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8-12, 1991 (pp. 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? In J. Hughes (Ed.), Functional Programming Languages and Computer Architecture: 5th ACM Conference Cambridge, MA, USA, August 26–30, 1991 Proceedings (pp. 289-312). Springer. https://doi.org/10.1007/3540543961_14

Schwartzbach, M. I. & Palsberg, J. (1991). What is Type-Safe Code Reuse. In P. America (Ed.), ECOOP'91: Proceedings of the 5th European Conference on Object-Oriented Programming (pp. 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. Paper presented at 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. In R. Hellman, M. Ruohonen & P. Sørgaard (Eds.), Proceedings of the 13th IRIS conference

Boyar, J., Chaum, D., Damgård, I. B. & Pedersen, T. (1990). Convertible Undeniable Signatures. In A. J. Menezez & S. A. Vanstone (Eds.), Advances in Cryptology - CRYPT0' 90: Proceedings (pp. 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 ed.) 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. In A. Arnold (Ed.), CAAP '90: 15th Colloquium on Trees in Algebra and Programming. Copenhagen, Denmark, May 1990. Proceedings (pp. 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. Daimi Reports Vol. PB-308

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

Engberg, U. H. & Winskel, G. (1990). Petri Nets as Models of Linear Logic. Daimi Report No. PB-301

Brassard, G. & Damgård, I. B. (1990). "Practical IP" <- MA. In S. Goldwasser (Ed.), Advances in Cryptology - CRYPTO' 88: Proceedings (pp. 580-582). Springer. https://doi.org/10.1007/0-387-34799-2_42

Mogensen, P. H. (1990). Provotyping? In Proceedings of the 13th IRIS (pp. 299-312). Åbo Akademi.

Schwartzbach, M. I. (1990). Static Correctness of Hierarchical Procedures. In M. S. Paterson (Ed.), Automata, Languages and Programming: 17th International Colloquium Warwick University, England, July 16-20, 1990 Proceedings (pp. 32-45). Springer. https://doi.org/10.1007/BFb0032020

Displaying results 5451 to 5500 out of 5681

110