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

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

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

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

Grønbæk, K. & Bannon, L. (1989). Hypermedia: Support for a more natural information organization. In H. Clausen (Ed.), 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. In G. Brassard (Ed.), Advances in Cryptology - CRYPTO' 89 Proceedings (pp. 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. In H. Aït-Kaci & M. Nivat (Eds.), Resolution of Equations in Algebraic Structures (Vol. 1, pp. 369-410). Academic Press.

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

Skyum, S. (1988). A Distributed Election and Spanning Tree Algorithm Based on Depth First Search. Paper presented at Symposium on Mathematics of Computation. ICOMIDC, Ho Chi Minh City, Viet Nam.

Johansen, K. E., Jørgensen, U. L., Nielsen, S. H., Nielsen, S. E. & Skyum, S. (1988). A distributed spanning tree algorithm. In J. van Leeuwen (Ed.), Distributed Algorithms: 2nd International Workshop Amsterdam, The Netherlands, July 8–10, 1987 Proceedings (pp. 1-12). Springer. https://doi.org/10.1007/BFb0019790

Bødker, S. & Greenbaum, J. (1988). A feeling for Systems Development Work - Design of the ROSA project. In K. G. Tijdens, M. Jennings, I. Wagner & M. Weggelaar (Eds.), Women, Work and Computerization: Forming New Alliances (pp. 161-170). North-Holland.

Bødker, S. & Greenbaum, J. (1988). A Feeling for Systems Development Work - Design of the ROSA Project. Department of Computer Science, Aarhus University.

Madsen, O. L. & Nørgård, C. (1988). An Object-Oriented Metaprogramming System. Paper presented at Hawaii International Conference on System Sciences , United States. https://doi.org/10.1109/HICSS.1988.11831

Bødker, S. & Greenbaum, J. (1988). A Non-Trivial Pursuit - Systems Development as Cooperation. Department of Computer Science, Aarhus University.

Bødker, S. & Greenbaum, J. (1988). A Non-Trivial Pursuit - Systems Development as Cooperation. In J. Kaasbøll (Ed.), Report of the 11th IRIS (pp. 102-122)

Brandt, J., Damgård, I. B. & Landrock, P. (1988). Anonymous and verifiable registration in databases. In Advances in cryptology - EUROCRYPT '88 (pp. 167-176). Springer. https://doi.org/10.1007/3-540-45961-8_14

Bødker, S., Ehn, P., Knudsen, J., Kyng, M. & Madsen, K. (1988). Computer Supported Cooperative Work. In Proceedings of the 1988 ACM conference on Computer-supported cooperative work (pp. 377-394). Association for Computing Machinery. https://doi.org/10.1145/62266.62296

Bødker, S., Ehn, P., Knudsen, J., Kyng, M. & Madsen, K. H. (1988). Computer Support for Coooperative Design. In Prooceedings of the Conference on Computer-Supported Cooperative Work (pp. 377-394). Society for Industrial and Applied Mathematics.

Kristensen, B. B., Madsen, O. L., Møller-Pedersen, B. & Nygaard, K. (1988). Coroutine Sequencing in BETA. Paper presented at Hawaii International Conference on System Sciences , United States. https://doi.org/10.1109/HICSS.1988.11830

Kyng, M. (1988). Designing for a Dollar a Day. In CSCW '88 Proceedings of the 1988 ACM conference on Computer-supported cooperative work (pp. 178-188). Association for Computing Machinery. https://doi.org/10.1145/62266.62281

Nielsen, M., Engberg, U. H. & Larsen, K. S. (1988). Fully abstract models for a process language with refinement. In J. W. de Bakker, W. P. de Roever & G. Rozenberg (Eds.), REX Workshop: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop (pp. 523-548). Springer. https://doi.org/10.1007/BFb0013034

Chaum, D., Crépeau, C. & Damgård, I. B. (1988). Multiparty unconditionally secure protocols. In Proceedings of the twentieth annual ACM symposium on Theory of computing (pp. 11-19). Association for Computing Machinery. https://doi.org/10.1145/62212.62214

Damgård, I. B. (1988). On The Randomness of Legendre and Jacobi Sequences. In S. Goldwasser (Ed.), Advances in Cryptology - CRYPTO' 88: Proceedings (pp. 163-172). Springer. https://doi.org/10.1007/0-387-34799-2_13

Damgård, I. B. (1988). Payment Systems and Credential Mechanisms with Provable Security Against Abuse by Individuals. In S. Goldwasser (Ed.), Advances in Cryptology - CRYPTO' 88: Proceedings (pp. 328-335). Springer. https://doi.org/10.1007/0-387-34799-2_26

Madsen, O. L. & Møller-Pedersen, B. (1988). What object-oriented programming may be - and what it does not have to be. In S. Gjessing & K. Nygaard (Eds.), ECOOP ’88 European Conference on Object-Oriented Programming : Oslo, Norway, August 15–17, 1988 Proceedings (pp. 1-20). Springer. https://doi.org/10.1007/3-540-45910-3_1

Brandt, J., Damgård, I. B., Landrock, P. & Pedersen, T. P. (1988). Zero-Knowledge Authentication Scheme with Secret Key Exchange (extended abstract). In S. Goldwasser (Ed.), Advances in Cryptology - CRYPTO' 88: Proceedings (pp. 583-588). Springer. https://doi.org/10.1007/0-387-34799-2_43

Skyum, S. (1987). A Distributed Election and Spanning Tree Algorithm Based on Depth First Search Traversals. Department of Computer Science, Aarhus University. DAIMI PB No. 232

Johansen, K. E., Jørgensen, U. L., Nielsen, S. H., Nielsen, S. E. & Skyum, S. (1987). A Distributed Spanning Tree Algorithm. Department of Computer Science, Aarhus University. DAIMI PB No. 226

Displaying results 5551 to 5600 out of 5740

112