Publikationer

Søg publikationer fra Institut for Datalogi

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

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

Skyum, S. (1988). A Distributed Election and Spanning Tree Algorithm Based on Depth First Search. Afhandling præsenteret på Symposium on Mathematics of Computation. ICOMIDC, Ho Chi Minh City, Vietnam.

Johansen, K. E., Jørgensen, U. L., Nielsen, S. H., Nielsen, S. E. & Skyum, S. (1988). A distributed spanning tree algorithm. I J. van Leeuwen (red.), Distributed Algorithms: 2nd International Workshop Amsterdam, The Netherlands, July 8–10, 1987 Proceedings (s. 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. I K. G. Tijdens, M. Jennings, I. Wagner & M. Weggelaar (red.), Women, Work and Computerization: Forming New Alliances (s. 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. Afhandling præsenteret på Hawaii International Conference on System Sciences , USA. 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. I J. Kaasbøll (red.), Report of the 11th IRIS (s. 102-122)

Brandt, J., Damgård, I. B. & Landrock, P. (1988). Anonymous and verifiable registration in databases. I Advances in cryptology - EUROCRYPT '88 (s. 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. I Proceedings of the 1988 ACM conference on Computer-supported cooperative work (s. 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. I Prooceedings of the Conference on Computer-Supported Cooperative Work (s. 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. Afhandling præsenteret på Hawaii International Conference on System Sciences , USA. https://doi.org/10.1109/HICSS.1988.11830

Kyng, M. (1988). Designing for a Dollar a Day. I CSCW '88 Proceedings of the 1988 ACM conference on Computer-supported cooperative work (s. 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. I J. W. de Bakker, W. P. de Roever & G. Rozenberg (red.), REX Workshop: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop (s. 523-548). Springer. https://doi.org/10.1007/BFb0013034

Chaum, D., Crépeau, C. & Damgård, I. B. (1988). Multiparty unconditionally secure protocols. I Proceedings of the twentieth annual ACM symposium on Theory of computing (s. 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. I S. Goldwasser (red.), Advances in Cryptology - CRYPTO' 88: Proceedings (s. 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. I S. Goldwasser (red.), Advances in Cryptology - CRYPTO' 88: Proceedings (s. 328-335). Springer. https://doi.org/10.1007/0-387-34799-2_26

Knudsen, J. L. & Madsen, O. L. (1988). Teaching Object-Oriented Programming is more than teaching Object-Oriented Programming Languages. I S. Gjessing & K. Nygaard (red.), ECOOP ’88 European Conference on Object-Oriented Programming: Oslo, Norway, August 15–17, 1988 Proceedings (s. 21-40). Springer. https://doi.org/10.1007/3-540-45910-3_2

Madsen, O. L. & Møller-Pedersen, B. (1988). What object-oriented programming may be - and what it does not have to be. I S. Gjessing & K. Nygaard (red.), ECOOP ’88 European Conference on Object-Oriented Programming : Oslo, Norway, August 15–17, 1988 Proceedings (s. 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). I S. Goldwasser (red.), Advances in Cryptology - CRYPTO' 88: Proceedings (s. 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 Report Series (DAIMI PB) Nr. 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 Report Series (DAIMI PB) Nr. 226

Christensen, S., Grønbæk, K. & Rolskov, T. (1987). Arbejdsformer under anvendelse af 4. generationsværktøjer. Department of Computer Science, Aarhus University.

Bødker, S., Kyng, M., Ehn, P., Kammersgaard, J. & Sundblad, Y. (1987). A Utopian Experience: On design of Powerful Computer-based tools for skilled graphic workers. I G. Bjerknes, P. Ehn & M. Kyng (red.), Computers and Democracy - a Scandinavian challenge (s. 251-278). Gower Publishing.

Madsen, O. L. (1987). Block Structure and Object-Oriented Languages. I B. D. Shriver & P. Wegner (red.), Research Directions in Object Oriented Programming (s. 113-128). MIT Press.

Viser resultater 5901 til 5950 ud af 6089

119