Publikationer

Søg publikationer fra Institut for Datalogi

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

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

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

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

Kristensen, B. B. & Madsen, O. L. (1990). Specification and implementation of application-oriented languages. I L. W. Hoevel, B. D. Shriver, J. F. J. Nunamaker, R. H. J. Sprague & V. Milutinovic (red.), Proceedings of the Hawaii International Conference on System Science (s. 55-63). Publ by Western Periodicals Co.

Schwartzbach, M. I. (1990). Static Correctness of Hierarchical Procedures. I M. S. Paterson (red.), Automata, Languages and Programming: 17th International Colloquium Warwick University, England, July 16-20, 1990 Proceedings (s. 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. I OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications (s. 140-150). Association for Computing Machinery. https://doi.org/10.1145/97946.97964

Madsen, O. L., Magnusson, B. & Møller-Pedersen, B. (1990). Strong typing of object-oriented languages revisited. I Proceedings of the European Conference on Object-Oriented Programming on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA/ECOOP 1990 (s. 140-150). Association for Computing Machinery. https://doi.org/10.1145/97945.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. I 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) Nr. 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. I A. Yonezawa (red.), Proceedings of the European Conference on Object-Oriented Programming Systems, Languages and Applications (s. 151-160). Association for Computing Machinery. https://doi.org/10.1145/97945.97965

Damgård, I. B. (1989). A Design Principle for Hash Functions. I G. Brassard (red.), Advances in Cryptology - CRYPTO' 89 Proceedings (s. 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. I A. Kreczmar & G. Mirkowska (red.), Mathematical Foundations of Computer Science 1989: Porabka-Kozubnik, Poland August 28 - September 1, 1989 Proceedings (s. 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. I J. Bowers & S. Benford (red.), Proceedings of the first European Conference on Computer Supported Cooperative Work: EC-CSCW '89 (s. 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. I S. Bødker (red.), Proceedings of the 12th IRIS (s. 37-56). Department of Computer Science, Aarhus University.

Grønbæk, K. (1989). Extending the Boundaries of Prototyping - Towards Cooperative Prototyping. I S. Bødker (red.), Proceedings of the 12th IRIS - Part 1 (s. 219-238). Department of Computer Science, Aarhus University.

Grønbæk, K. & Bannon, L. (1989). Hypermedia: Support for a more natural information organization. I H. Clausen (red.), Proceedings of the 7th Nordic Conference for Information and Documentation Dansk Teknisk Litteraturselskab.

Bannon, L. & Grønbæk, K. (1989). Hypermedia: Support for a more natural information organization. Department of Computer Science, Aarhus University.

Damgård, I. B. (1989). On the Existence of Bit Commitment Schemes and Zero-Knowledge Proofs. I G. Brassard (red.), Advances in Cryptology - CRYPTO' 89 Proceedings (s. 17-27). Springer. https://doi.org/10.1007/0-387-34805-0_3

Grønbæk, K. (1989). Rapid Prototyping with Fourth Generation Systems - an Empirical Study. Information Technology & People, 5(2). https://doi.org/10.1108/EUM0000000003530

Schwartzbach, M. I., Panangaden, P. & Mendler, P. (1989). Recursively Defined Types in Constructive Type Theory. I H. Aït-Kaci & M. Nivat (red.), Resolution of Equations in Algebraic Structures (Bind 1, s. 369-410). Academic Press.

Madsen, O. L. & Møller-Pedersen, B. (1989). Virtual classes: a powerful mechanism in object-oriented programming. I OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications (s. 397-406). Association for Computing Machinery. https://doi.org/10.1145/74878.74919

Viser resultater 5851 til 5900 ud af 6063

118