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., 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 PB Vol. 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

Madsen, O. L., Møller-Pedersen, B. & Nygaard, K. (1993). Object-Oriented Programming in the Beta Programming Language. (2. ed.) Addison-Wesley.

Bødker, S. & Mogensen, P. H. (1993). One Woman's job is another man's articulation work. In K. Schmidt (Ed.), Developing CSCW Systems: Design Concepts. Report of COST14 'CoTech' Working Group 4 Risø National laboratory.

Brandt, J. & Damgård, I. B. (1993). On generation of probable primes by incremental search. In Advances in cryptology - CRYPTO '92 (pp. 358-370). Springer.

Bødker, S. (1993). Re-framing research in human-computer interaction from the point-of-view of activity theory? Department of Computer Science, Aarhus University.

Chen, L. & Damgård, I. B. (1993). Security Bounds for Parallel Versions of Identification Protocols (extended abstract). 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. 461-466). Springer. https://doi.org/10.1007/3-540-47555-9_40

Brandt, J., Damgård, I. B. & Landrock, P. (1993). Speeding up prime number generation. In Advances in cryptology - ASIACRYPT '91 (pp. 440-449). Springer. https://doi.org/10.1007/3-540-57332-1

Østerby, O. (1993). Stability of finite difference formulas for linear parabolic equations. In D. D. Bainov & V. Covachev (Eds.), Proceedings of the Second International Colloquium on Numerical Analysis (pp. 165-176)

Markussen, R., Mogensen, P. H., Bødker, S., Christiansen, E., Ehn, P. & Trigg, R. (1993). The AT project. Practical Research in Cooperative Design. In The AT Project (Vol. DAIMI PB-454,). Department of Computer Science, University of Aarhus.

Miltersen, P. B. (1993). The bit probe complexity measure revisited. In P. Enjalbert, A. Finkel & K. W. Wagner (Eds.), STACS 93: 10th Annual Symposium on Theoretical Ascpects of Computer Science Würzburg, Germany, February 25-27, 1993 Proceedings (pp. 662-671). Springer. https://doi.org/10.1007/3-540-56503-5_65

Frandsen, G. S., Miltersen, P. B. & Skyum, S. (1993). The complexity of finding replicas using equality tests. In A. M. Borzyszkowsji & S. Sokolowski (Eds.), Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS'93 Gdansk, Poland, August 30-September 3, 1993 Proceedings (pp. 463-472). Springer. https://doi.org/10.1007/3-540-57182-5_38

Miltersen, P. B. (1993). The complexity of malign measures. S I A M Journal on Computing, 22(1), 147-156. https://doi.org/10.1137/0222012

Sturtivant, C. & Frandsen, G. S. (1993). The computational efficacy of finite-field arithmetic. Theoretical Computer Science, 112(2), 291-309. https://doi.org/10.1016/0304-3975(93)90022-L

Schwartzbach, M. I., Agesen, O. & Palsberg, J. (1993). Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance. In O. M. Nierstrasz (Ed.), ECOOP' 93 - Object-Oriented Programming: 7th European Conference Kaiserslautern, Germany, July 26-30, 1993 Proceedings (pp. 247-267). Springer. https://doi.org/10.1007/3-540-47910-4_14

Boyar, J., Frandsen, G. S. & Sturtivant, C. (1992). An arithmetic model of computation equivalent to threshold circuits. Theoretical Computer Science, 93(2), 303-319. https://doi.org/10.1016/0304-3975(92)90335-D

Schwartzbach, M. I., Larsen, K. S. & Schmidt, E. M. (1992). A New Formalism for Relational Algebra. Information Processing Letters, 41(3), 163-168. https://doi.org/10.1016/0020-0190(92)90047-Y

Jensen, K. (Ed.) (1992). Application and Theory of Petri Nets. Springer. Lecture Notes in Computer Science Vol. 616 https://doi.org/10.1007/3-540-55676-1

Mogensen, P. H. & Trigg, R. (1992). Artifacts as triggers for participatory analysis. In Proceedings of the Participatory Design Conference (PDC) (pp. 55-62)

Skyum, S. (1992). A Sweepline Algorithm for Generalized Delaunay Triangulations and a Simple Method for Nearest-Neighbour Search. In Proceedings of the Workshop on Computational Geometry Universiteit Utrecht.

Mukund, M. & Nielsen, M. (1992). CCS, locations and asynchronous transition systems. In R. Shyamasundar (Ed.), Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18-20, 1992 Proceedings (pp. 328-341). Springer. https://doi.org/10.1007/3-540-56287-7_116

Miltersen, P. B. (1992). Circuit depth relative to a random oracle. Information Processing Letters, 42(6), 295-298. https://doi.org/10.1016/0020-0190(92)90225-K

Jensen, K. (1992). Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts. Springer. Monographs in theoretical computer science: an EATCS series

Mogensen, P. H. (1992). Cooperative Analysis of Constraints and Possibilities for Change. In G. Bjerknes, T. Bratteteig & K. Krautz (Eds.), Proceedings of the 15th IRIS (pp. 262-270). University of Oslo.

Grønbæk, K., Kyng, M. & Mogensen, P. H. (1992). CSCW Challenges in Large-Scale Technical Projects - a case study. In Proceedings of ACM CSCW’92 Conference on Computer-Supported Cooperative Work (pp. 338-345). Society for Industrial and Applied Mathematics.

Grønbæk, K., Kyng, M. & Mogensen, P. H. (1992). CSCW Challenges in Large-Scale Technical Projets - a case study. Department of Computer Science, Aarhus University.

Grønbæk, K. & Trigg, R. H. (1992). Design issues for a Dexter-based hypermedia system. In Proceedings of ECHT 92 the Fourth ACM Conference on Hypertext (pp. 191-200). Association for Computing Machinery. https://doi.org/10.1145/168466.168525

Grønbæk, K. & Trigg, R. (1992). Design issues for a Dexter-based hypermedia system. Department of Computer Science, Aarhus University.

Madsen, O. L. (1992). ECOOP ’92 European Conference on Object-Oriented Programming: Utrecht, The Netherlands, June 29–July 3, 1992 Proceedings. Springer. Lecture Notes in Computer Science Vol. 615 https://doi.org/10.1007/BFb0053026

Schwartzbach, M. I., Kozen, D. & Palsberg, J. (1992). Efficient Inference of Partial Types. In 33rd Annual Symposium on Foundations of Computer Science, 1992. Proceedings (pp. 363-371). IEEE Press.

Nielsen, M., Rozenberg, G. & Thiagarajan, P. S. (1992). Elementary transition systems. Theoretical Computer Science, 96(1), 3-33. https://doi.org/10.1016/0304-3975(92)90180-N

Grønbæk, K., Madsen, O. L., Møller, K. J., Nørgaard, J., Sandvad, E. & Trigg, R. (1992). EuroCoOp Workpackage WP5 Task T5.1 Deliverable D5.1: Hypermedia Design Tool. ECO-AU No. 92-7

Grønbæk, K., Madsen, O. L., Møller, K. J., Nørgaard, J. & Sandvad, E. (1992). EuroCoOp Workpackage WP5 Task T5.3 Distributed Hypermedia Design Tool. ECO-AU No. 92-14

Grønbæk, K. (1992). Experimental System Development - combining Prototyping and specifying in a cooperative design perspective. In G. Bjerknes, T. Bratteteig & K. Kautz (Eds.), Proceedings of the 15th IRIS conference

Displaying results 5401 to 5450 out of 5702

109

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University