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

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. 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 Report Series (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.

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.

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. & 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

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

Madsen, O. L., Magnusson, B. & Møller-Pedersen, B. (1990). Strong typing of object-oriented languages revisited. In OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications (pp. 140-150). Association for Computing Machinery. https://doi.org/10.1145/97946.97964

Grønbæk, K. (1990). Supporting Active User Involvment in Prototyping. Scandinavian Journal of Information Systems, 2(1).

Knudsen, J. L., Madsen, O. L., Nørgaard, C., Petersen, L. B. & Sandvad, E. S. (1990). Teaching Object-Oriented Programming Using Beta. In Proceedings of the Apple European University Consortium Annual Conference Apple European University Consortium Annual Conference.

Engberg, U. H. (1990). True Concurrency can be Traced. Daimi Report Series (DAIMI PB) No. PB-308

Schwartzbach, M. I. & Meineche Smidt, E. (1990). Types and Automata. Aarhus Universitetsforlag.

Schwartzbach, M. I. & Palsberg, J. (1990). Type Substitution for Object-Oriented Programming. In A. Yonezawa (Ed.), Proceedings of the European Conference on Object-Oriented Programming Systems, Languages and Applications (pp. 151-160). Association for Computing Machinery. https://doi.org/10.1145/97945.97965

Damgård, I. B. (1989). A Design Principle for Hash Functions. In G. Brassard (Ed.), Advances in Cryptology - CRYPTO' 89 Proceedings (pp. 416-427). Springer. https://doi.org/10.1007/0-387-34805-0_39

Bødker, S. (1989). A human activity approach to User Interfaces. Human-Computer Interaction, 4(3), 171-195. https://doi.org/10.1207/s15327051hci0403_1

Schwartzbach, M. I. & Schmidt, E. M. (1989). An Imperative Type Hierarchy with Partial Products. In A. Kreczmar & G. Mirkowska (Eds.), Mathematical Foundations of Computer Science 1989: Porabka-Kozubnik, Poland August 28 - September 1, 1989 Proceedings (pp. 458-470). Springer. https://doi.org/10.1007/3-540-51486-4_92

Bødker, S. & Grønbæk, K. (1989). Cooperative Prototyping Experiments: Users and Designers Envision a Dental Case Record System. In J. Bowers & S. Benford (Eds.), Proceedings of the first European Conference on Computer Supported Cooperative Work: EC-CSCW '89 (pp. 343-357). Computer Sciences House, Slough, UK.

Bødker, S. & Grønbæk, K. (1989). Cooperative Prototyping Experiments - Users and Designers Envision a Dental Case Record System. Department of Computer Science, Aarhus University.

Albert, K., Jensen, K. & Sharpiro, R. M. (1989). Design/CPN: A tool package supporting the use of Coloured Petri Nets. Petri Net Newsletter, 32, 22-35.

Kyng, M. (1989). Designing for a Dollar a Day. Information Technology & People, 4(2), 157-170.

Bisgaard, O., Mogensen, P. H., Nørby, M. & Thomsen, M. (1989). Expansive Systems Development. In S. Bødker (Ed.), Proceedings of the 12th IRIS (pp. 37-56). Department of Computer Science, Aarhus University.

Displaying results 5701 to 5750 out of 5916

115