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

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 Report Series (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 Report Series (DAIMI PB) No. 226

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

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. In G. Bjerknes, P. Ehn & M. Kyng (Eds.), Computers and Democracy - a Scandinavian challenge (pp. 251-278). Gower Publishing.

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

Nielsen, M. (1987). CCS - and its relationship to net theory. In W. Brauer, W. Reisig & G. Rozenberg (Eds.), Petri Nets: Applications and Relationships to Other Models of Concurrency: Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef, 8.-19. September 1986 (pp. 393-415). Springer. https://doi.org/10.1007/3-540-17906-2_32

Kristensen, B. B., Madsen, O. L., Møller-Pedersen, B. & Nygaard, K. (1987). Classification of Actions or Inheritance also for Methods. In ECOOP'87, European Conference on Object-Oriented Programming (pp. 98-107). Springer. https://doi.org/10.1007/3-540-47891-4_10

Damgård, I. B. (1987). Collision Free Hash Functions and Public Key Signature Schemes. In D. Chaum & W. L. Price (Eds.), Advances in Cryptology - EUROCRYPT' 87: Workshop on the Theory and Application of Cryptographic Techniques Amsterdam, The Netherlands, April 13-15, 1987 Proceedings (pp. 203-216). Springer. https://doi.org/10.1007/3-540-39118-5_19

Jensen, K. (1987). Coloured Petri Nets. In W. Brauer, W. Reisig & G. Rozenberg (Eds.), Petri Nets: Central Models and Their Properties: Advances in Petri Nets 1986, Part I (Vol. 254, pp. 248-299). Springer. https://doi.org/10.1007/BFb0046842

Jensen, K. (1987). Coloured Petri Nets: A way to describe and analyse real-world systems - without drowning in unnecessary details. In Proceedings of the fifth International Conference on Systems Engineering (pp. 395-401). IEEE.

Bjerknes, G., Ehn, P. & Kyng, M. (Eds.) (1987). Computers and Democracy - a Scandinavian Challenge. Gower Publishing.

Jensen, K. (1987). Computer Tools for Construction, Modification and Analysis of Petri Nets. In W. Brauer, W. Reisig & G. Rozenberg (Eds.), Petri Nets: Applications and Relationships to Other Models of Concurrency (Vol. 255/Part II, pp. 4-19). Springer. https://doi.org/10.1007/3-540-17906-2_20

Damgård, I. B. (1987). Concatenated Group Codes and Their Exponents. I E E E Transactions on Information Theory, Vol. 33, Issue 6.

Østerby, O. (1987). Estimation of Reaction Parameters in Gas Chromatograhy. In Proceedings of the Symposium on Applied Statistics. UNI-C (pp. 369-378)

Brickell, E. F., Chaum, D., Damgård, I. B. & van der Graaf, J. (1987). Gradual and Verifiable Release of a Secret (Extended Abstract). In C. Pomerance (Ed.), Advances in Cryptology - CRYPTO '87: Proceedings (pp. 156-166). Springer. https://doi.org/10.1007/3-540-48184-2_11

Chaum, D., Damgård, I. B. & van der Graaf, J. (1987). Multiparty Computations Ensuring Privacy of Each Party's Input and Correctness of the Result. In C. Pomerance (Ed.), Advances in Cryptology - CRYPTO '87: Proceedings (pp. 87-119). Springer. https://doi.org/10.1007/3-540-48184-2_7

Chaum, D., Crépeau, C. & Damgård, I. B. (1987). Multiparty Unconditionally Secure Protocols (Abstract). In C. Pomerance (Ed.), Advances in Cryptology - CRYPTO '87: Proceedings (pp. 462). Springer. https://doi.org/10.1007/3-540-48184-2_43

Jensen, K. & Feldbrugge, F. (1987). Petri Net Tool Overview 1986. In W. Brauer, W. Reisig & G. Rozenberg (Eds.), Petri Nets: Applications and Relationships to Other Models of Concurrency (Vol. 255/Part II, pp. 20-61). Springer. https://doi.org/10.1007/3-540-17906-2

Bødker, S. (1987). Prototyping revisited - design with users in a cooperative setting. Department of Computer Science, Aarhus University.

Bødker, S. (1987). Prototyping revisited - design with users in a cooperative setting. In P. Järvinen (Ed.), Report of the 10th IRIS (pp. 71-92)

Kristensen, B. B., Madsen, O. L., Møller-Pedersen, B. & Nygaard, K. (1987). The BETA Programming Language. In B. D. Shriver & P. Wegner (Eds.), Research Directions in Object Oriented Programming (pp. 7-48). MIT Press.

Ehn, P. & Kyng, M. (1987). The Collective Resource Approach to Systems Design. In G. Bjerknes, P. Ehn & M. Kyng (Eds.), Computers and Democracy - a Scandinavian Challenge (pp. 17-58). Gower Publishing.

Bødker, S. (1987). Through the Interface - a human activity approach to user interfaces. Department of Computer Science, Aarhus University.

Engberg, U. H. & Nielsen, M. (1986). A Calculus of Communicating Systems with Label Passing. Aarhus Universitetsforlag. Daimi Report Series (DAIMI PB) No. 208 http://www.daimi.au.dk/PB/208/PB-208.pdf

Schwartzbach, M. I. (1986). A Category Theoretic Analysis of Predicative Type Theory. Cornell University Press.

Displaying results 5751 to 5800 out of 5916

116