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

Engberg, U. H. & Winskel, G. (1994). Linear Logic on Petri Nets. (RS-94-3 in Report Series ed.) BRICS.

Mogensen, P. H. (1994). Locating Design, Development and Use. Paper presented at Oksnøen Symposium 1994.

Miltersen, P. B. (1994). Lower bounds for union-split-find related problems on random access machines. In Proceedings of the twenty-sixth annual ACM symposium on Theory of computing (pp. 625-634). Association for Computing Machinery. https://doi.org/10.1145/195058.195415

Kyng, M. (1994). Making Representations Work. In L. Suchman (Ed.), Monograph for Proceedings of 27th HICSS Conference: Representations of Work: A Symposium (pp. 19-35)

Grønbæk, K. (1994). Object oriented model for the Distributed Hypermedia Toolkit (DHTK). CODE-AU No. 94-5

Lindeskov Knudsen, J., Løfgren, M., Magnussen, B. & Madsen, O. L. (Eds.) (1994). Object-Oriented Software Development Environments: The Mjølner Approach. Prentice-Hall.

Schwartzbach, M. I. & Palsberg, J. (1994). Object-Oriented Type Systems. John Wiley & Sons Ltd.

Damgård, I. B., Pedersen, T. P. & Pfitzmann, B. (1994). On the Existence of Statistically Hiding Bit Commitment Schemes and Fail-Stop Signatures. In D. R. Stinson (Ed.), Advances in Cryptology - CRYPTO' 93: 13th Annual International Cryptology Conference Santa Barbara, California, USA August 22-26, 1993 Proceedings (pp. 250-265). Springer. https://doi.org/10.1007/3-540-48329-2_22

Damgård, I. B. (1994). Practical and Provably Secure Release of a Secret and Exchange of Signatures. In T. Helleseth (Ed.), Advances in Cryptology - EUROCRYPT '93: Workshop on the Theory and Application of Cryptographic Techniques Lofthus, Norway, May 23-27, 1993 Proceedings (pp. 200-217). Springer. https://doi.org/10.1007/3-540-48285-7_17

Cramer, R., Damgård, I. B. & Schoenmakers, B. (1994). Proofs of Partial Knowledge and Simplified Design of Witness Hiding Protocols. In Y. G. Desmedt (Ed.), Advances in Cryptology - CRYPTO '94: 14th Annual International Cryptology Conference Santa Barbara, California, USA August 21-25, 1994 Proceedings (pp. 174-187). Springer. https://doi.org/10.1007/3-540-48658-5_19

Nielsen, M., Sassone, V. & Winskel, G. (1994). Relationships between models of concurrency. In J. W. de Bakker, W. .-P. de Roever & G. Rozenberg (Eds.), A Decade of Concurrency Reflections and Perspectives: REX School/Symposium Noordwijkerhout, The Netherlands June 1-4, 1993 Proceedings (pp. 425-476). Springer. https://doi.org/10.1007/3-540-58043-3_25

Kautz, S. M. & Miltersen, P. B. (1994). Relative to a Random Oracle, NP is not small. In Proceedings of the Ninth Annual Structure in Complexity Theory Conference, 1994. (pp. 162-174). IEEE Computer Society Press.

Kyng, M. (1994). Scandinavian design: users in product development. In CHI '94 Proceedings of the SIGCHI conference on Human factors in computing systems: celebrating interdependence (pp. 3-9). Association for Computing Machinery. https://doi.org/10.1145/191666.191673

Britz, D. & Østerby, O. (1994). Some Numerical Investigations of the Stability of Electrochemical Digital Simulation, Particularly as affected by First-Order Homogeneous Reactions. Journal of Electroanalytical Chemistry, 368(1-2), 143-147. https://doi.org/10.1016/0022-0728(93)03085-4

Frandsen, G. S., Valence, M. & Barrington, D. A. M. (1994). Some results on uniform arithmetic circuit complexity. Theory of Computing Systems, 27(2), 105-124. https://doi.org/10.1007/BF01195199

Grønbæk, K. & Trigg, R. H. (Eds.) (1994). Special Section: "Hypermedia". Association for Computing Machinery. Communications, 37(2), 26-86.

Grønbæk, K. & Mogensen, P. H. (1994). Specific Cooperative Analysis and Design in General Hypermedia Development. In R. Trigg, S. I. Anderson & E. Dykstra-Erickson (Eds.), Proceedings of the 3rd Participatory Design Conference (pp. 159-171). Computer Professionals for Social Responsibility.

Schwartzbach, M. I. & Palsberg, J. (1994). Static Typing for Object-Oriented Programming. Science of Computer Programming, 23(1), 19-53. https://doi.org/10.1016/0167-6423(94)00014-X

Damgård, I. B. & Knudsen, L. R. (1994). The breaking of the AR Hash Function. In T. Helleseth (Ed.), Advances in Cryptology - EUROCRYPT '93: Workshop on the Theory and Application of Cryptographic Techniques Lofthus, Norway, May 23-27, 1993 Proceedings Springer. https://doi.org/10.1007/3-540-48285-7_25

Halasz, F., Schwartz, M., Grønbæk, K. (Ed.) & Trigg, R. H. (Ed.) (1994). The Dexter hypertext reference model. Association for Computing Machinery. Communications, 37(2), 30-39. https://doi.org/10.1145/175235.175237

Bødker, S., Grønbæk, K., Bannon, L. & Grudin, J. (1993). Achieving cooperative system design. In D. Schuler & A. Namioka (Eds.), Participatory design: principles and practices (pp. 79-98). Lawrence Erlbaum Associates. http://books.google.dk/books?id=pWOEk6Sk4YkC&printsec=frontcover&source=gbs_v2_summary_r&cad=0#v=onepage&q&f=false

Sassone, V., Nielsen, M. & Winskel, G. (1993). A classification of models for concurrency. In E. Best (Ed.), CONCUR'93: 4th International Conference on Concurrency Theory Hildesheim, Germany, August 23-26, 1993 Proceedings (pp. 82-96). Springer. https://doi.org/10.1007/3-540-57208-2_7

Arge, L. A., Knudsen, M. & Larsen, K. (1993). A general lower bound on the I/O-complexity of comparison-based algorithms. In F. Dehne, J.-R. Sack, N. Santoro & S. Whitesides (Eds.), Algorithms and Data Structures: Third Workshop, WADS '93 Montréal, Canada, August 11-13, 1993 Proceedings (pp. 83-94). Springer. https://doi.org/10.1007/3-540-57155-8_238

Grønbæk, K., Hviid, A. & Trigg, R. (1993). ApplBuilder - an Application Generator. In J. L. Knudsen, M. Löfgren, O. L. Madsen & B. Magnusson (Eds.), Object-oriented Software Development Environments - The Mjølner Approach (pp. 570-577). Prentice-Hall.

Joyal, A., Nielsen, M. & Winskel, G. (1993). Bisimulation and open maps. In Proceedings of Eighth Annual IEEE Symposium on Logic in Computer Science, 1993. LICS '93., (pp. 418-427). IEEE Computer Society Press. https://doi.org/10.1109/LICS.1993.287566

Engberg, U. H. & Winskel, G. (1993). Completeness Results for Linear Logic on Petri Nets. In A. M. Borzyszkowski & S. Sokolowski (Eds.), MFCS '93: Mathematical Foundations of Computer Science 1993, 18th International Symposium (pp. 442-452). Springer LNCS.

Engberg, U. H. & Winskel, G. (1993). Completeness Results for Linear Logic on Petri Nets.

Bødker, S., Grønbæk, K. & Kyng, M. (1993). Cooperative design: Techniques and experiences from the Scandinavian scene. In D. Schuler & A. Namioka (Eds.), Participatory design. Principles and practices (pp. 157-176). Lawrence Erlbaum Associates.

Andersen, J., Koch-Jensen, P. & Østerby, O. (1993). Corneal topography: Photokeratoscopy including the central region. Acta Ophthalmologica, 71(2), 145-150. https://doi.org/10.1111/j.1755-3768.1993.tb04980.x

Andersen, J., Koch-Jensen, P. & Østerby, O. (1993). Corneal topography: Image processing and numerical analysis of keratoscopy. Acta Ophthalmologica, 71(2), 151-159. https://doi.org/10.1111/j.1755-3768.1993.tb04981.x

Grønbæk, K., Kyng, M. & Mogensen, P. H. (1993). CSCW Challenges: Cooperative Design in Engineering Projects. Association for Computing Machinery. Communications, 36(6), 67-77. https://doi.org/10.1145/153571.163272

Grønbæk, K., Madsen, O. L., Sloth, L. & Hem, J. A. (1993). Designing Dexter-based cooperative hypermedia systems. In S. E. Poltrock (Ed.), Conference on Hypertext and Hypermedia: Proceedings on the fifth ACM conference (pp. 25-38). Association for Computing Machinery. https://doi.org/10.1145/168750.168764

Grønbæk, K., Madsen, O. L., Sloth, L. & Hem, J. A. (1993). Designing Dexter-based Cooperative Hypermedia Systems. Department of Computer Science, Aarhus University.

Bødker, S. & Greenbaum, J. (1993). Design of information systems - things versus people. In E. Green, J. Oven & D. Pain (Eds.), Gendered by design? (pp. 53-63). Taylor & Francis.

Sassone, V., Nielsen, M. & Winskel, G. (1993). Deterministic behavioural models for concurrency. In A. M. Borzyszkowski & S. Sokolowski (Eds.), Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS'93 Gdansk, Poland, August 30-September 3, 1993 Proceedings (pp. 682-692). Springer. https://doi.org/10.1007/3-540-57182-5_59

Grønbæk, K. (1993). Devise Hypermedia (DHM): An object oriented hypermedia framework and several applications. Computer programme

Kyng, M. & Nielsen, P. A. (1993). Domain Modelling and Application Frameworks. In The 16th IRIS Information Systems Research Seminar (pp. 221-235)

Frandsen, G. S., Miltersen, P. B. & Skyum, S. (1993). Dynamic Word Problems. In 34th Annual Symposium on Foundations of Computer Science, 1993. Proceedings. (pp. 470-479). IEEE Computer Society Press. https://doi.org/10.1109/SFCS.1993.366840

Schwartzbach, M. I., Kozen, D. & Palsberg, J. (1993). Efficient Recursive Subtyping. In Proceedings of the 20th Annual Symposium on Principles of Programming Languages (pp. 419-428). Association for Computing Machinery. https://doi.org/10.1145/158511.158700

Braa, J., Sørgaard, P., Holmes, P., Mogensen, P. H., Kyng, M., Thüring, M. & Robinson, S. (1993). EuroCODE deliverable: D-1.2: Requirements for EuroCODE Systems.

Grønbæk, K. (1993). EuroCODE Workpackage WP2 Task T2.2 report: Object oriented model for the Distributed Hypermedia Toolkit. CODE-AU No. 93-10

Knudsen, J. L., Grønbæk, K., Lassen, H. M., Møller, K. J. & Sandvad, E. (1993). EuroCODE Workpackage WP2 Task T2.2 report: Object-Oriented Model of the User Interface Construction Toolkit. CODE-AU No. 93-12

Bødker, S. & Markussen, R. (1993). Gender, Culture and Technology: Introduction to Special issue. AI & Society, 7(4), 275-279.

Schwartzbach, M. I. & Klarlund, N. (1993). Graph Types. In Proceedings of the 20th Annual Symposium on Principles of Programming Languages (pp. 196-205). Association for Computing Machinery. https://doi.org/10.1145/158511.158628

Bødker, S. (1993). Historical analysis and conflicting perspectives - Contextualizing HCI. In L. J. Bass, J. Gornostaev & C. Unger (Eds.), Human-Computer Interaction: Third International Conference, EWHCI '93 Moscow, Russia, August 3-7, 1993 Selected Papers (pp. 1-10). Springer. https://doi.org/10.1007/3-540-57433-6_34

Schwartzbach, M. I. (1993). Interpretations of Rekursive Type Definitions. Theoretical Computer Science, 106(1), 119-134. https://doi.org/10.1016/0304-3975(92)90280-S

Frandsen, G. S., Palsberg, J., Schmidt, E. M. & Sjøgaard, S. (1993). Layout Construction: A Case Study In Algorithm Engineering. Department of Computer Science, Aarhus University.

Engberg, U. H. & Winskel, G. (1993). Linear Logic on Petri Nets. In J. W. de Bakker, W. P. de Roever & G. Rozenberg (Eds.), REX School/Symposium: A Decade of Concurrency, Reflections and Perspectives (pp. 176-229). Springer LNCS.

Winskel, G. & Nielsen, M. (1993). Models for Concurrency. Department of Computer Science, Aarhus University. Daimi Report Series (DAIMI PB) No. 429

Damgård, I. B. (1993). Non-Interactive Circuit Based Proofs and Non-Interactive Perfect Zero-knowledge with Preprocessing. In R. A. Rueppel (Ed.), Advances in Cryptology - EUROCRYPT' 92: Workshop on the Theory and Application of Cryptographic Techniques Balatonfüred, Hungary, May 24-28, 1992 Proceedings (pp. 341-355). Springer. https://doi.org/10.1007/3-540-47555-9_28

Displaying results 5601 to 5650 out of 5933

113