Publikationer

Søg publikationer fra Institut for Datalogi

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

Bødker, S. & Mogensen, P. H. (1993). One Woman's job is another man's articulation work. I K. Schmidt (red.), 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. I Advances in cryptology - CRYPTO '92 (s. 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). I R. A. Rueppel (red.), Advances in Cryptology - EUROCRYPT' 92: Workshop on the Theory and Application of Cryptographic Techniques Balatonfüred, Hungary, May 24-28, 1992 Proceedings (s. 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. I Advances in cryptology - ASIACRYPT '91 (s. 440-449). Springer. https://doi.org/10.1007/3-540-57332-1

Østerby, O. (1993). Stability of finite difference formulas for linear parabolic equations. I D. D. Bainov & V. Covachev (red.), Proceedings of the Second International Colloquium on Numerical Analysis (s. 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. I The AT Project (Bind DAIMI PB-454,). Department of Computer Science, University of Aarhus.

Miltersen, P. B. (1993). The bit probe complexity measure revisited. I P. Enjalbert, A. Finkel & K. W. Wagner (red.), STACS 93: 10th Annual Symposium on Theoretical Ascpects of Computer Science Würzburg, Germany, February 25-27, 1993 Proceedings (s. 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. I A. M. Borzyszkowsji & S. Sokolowski (red.), Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS'93 Gdansk, Poland, August 30-September 3, 1993 Proceedings (s. 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. I O. M. Nierstrasz (red.), ECOOP' 93 - Object-Oriented Programming: 7th European Conference Kaiserslautern, Germany, July 26-30, 1993 Proceedings (s. 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. (red.) (1992). Application and Theory of Petri Nets. Springer. Lecture Notes in Computer Science Bind 616 https://doi.org/10.1007/3-540-55676-1

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

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

Petersen, L. K., Mamsen, A. & Jakobsen, A. (1992). Carcinoma of the cervical stump. Gynecologic Oncology, 46(2), 199-202.

Mukund, M. & Nielsen, M. (1992). CCS, locations and asynchronous transition systems. I R. Shyamasundar (red.), Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18-20, 1992 Proceedings (s. 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. I G. Bjerknes, T. Bratteteig & K. Krautz (red.), Proceedings of the 15th IRIS (s. 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. I Proceedings of ACM CSCW’92 Conference on Computer-Supported Cooperative Work (s. 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. I Proceedings of ECHT 92 the Fourth ACM Conference on Hypertext (s. 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 Bind 615 https://doi.org/10.1007/BFb0053026

Schwartzbach, M. I., Kozen, D. & Palsberg, J. (1992). Efficient Inference of Partial Types. I 33rd Annual Symposium on Foundations of Computer Science, 1992. Proceedings (s. 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.

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.

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

Schwartzbach, M. I. (1992). Interpretations of Recursive Type Definitions. Theoretical Computer Science, 106(1), 119-134.

Schwartzbach, M. I., Oxhøj, N. & Palsberg, J. (1992). Making Type Inference Practical. I O. L. Madsen (red.), ECOOP '92, European Conference on Object-Oriented Programming: Utrecht, The Netherlands, June 29-July 3, 1992 Proceedings (s. 329-349). Springer. https://doi.org/10.1007/BFb0053045

Madsen, O. L. & Møller-Pedersen, B. (1992). Part Objects and Their Location. I G. Heeg, B. Magnusson & B. Meyer (red.), TOOLS 1992: Dortmund, Germany (s. 83-97). Prentice-Hall.

Schwartzbach, M. I. & Palsberg, J. (1992). Safety Analysis versus Type Inference with Partial Types. Information Processing Letters, 43(4), 175-180. https://doi.org/10.1016/0020-0190(92)90196-3

Kyng, M. (1992). Scenario? Guilty! S I G C H I Bulletin, 24(4), 8-9. https://doi.org/10.1145/142167.142168

Bødker, S. (1992). Technology as a vehicle for Organisational Learning and Change. Department of Computer Science, Aarhus University.

Miltersen, P. B., Paterson, M. & Tarui, J. (1992). The asymptotic complexity of merging networks. I 33rd Annual Symposium on Foundations of Computer Science, 1992. Proceedings. (s. 236-246). IEEE Computer Society Press. https://doi.org/10.1109/SFCS.1992.267768

Bødker, S., Christiansen, E. T., Markussen, R. & Lytje, I. (1992). The Man in the Woman in the Researcher. Afhandling præsenteret på Conference on Gender, Technology and Ethics, Luleå, Sverige.

Schwartzbach, M. I. & Palsberg, J. (1992). Three discussions on object-oriented typing. I S. B. Zdonik (red.), ACM SIGPLAN OOPS Messenger (April udg., Bind Vol. 3, Issue 2, s. 31-38). Association for Computing Machinery. https://doi.org/10.1145/130943.130949

Grønbæk, K. & Knudsen, J. L. (1992). Tools and Techniques for Experimental System Development. I K. Systä, P. Kellomäki & R. Mäkinen (red.), Proceedings of the Nordic Workshop on Programming Environment Research

Mogensen, P. H. (1992). Towards a Provotyping Approach in Systems Development. Scandinavian Journal of Information Systems, 4, 31-53.

Kyng, M. & Mogensen, P. H. (1992). Workpackage WP1 Task T1.3: Evaluation of EuroCoOp prototypes re work at Storebæltsforbindelsen (Great Belt Link Ltd.).

Bødker, S. (1991). Activity theory as a challenge to systems design. I H.-E. Nissen, H. K. Klein & R. Hirscheim (red.), Information Systems Research: Contemporary Approaches and Emergent Traditions (s. 555-564). North-Holland.

Bødker, S. (1991). Activity theory as a challenge to systems design. Department of Computer Science, Aarhus University.

Damgård, I. B. (red.) (1991). Advances in Cryptology - EUROCRYPT '90: Workshop on the Theory and Application of Cryptographic Techniques Aarhus, Denmark, May 21-24, 1990 Proceedings. Springer. Lecture Notes in Computer Science Bind 473 https://doi.org/10.1007/3-540-46877-3

Grønbæk, K. (1991). ApplBuilder: An incremental object oriented application generator. Softwareprogram

Grønbæk, K., Hviid, A. & Trigg, R. H. (1991). ApplBuilder - an Object-Oriented Application Generator Supporting Rapid Prototyping. I Proceedings of the Fourth international conference on software engineering and its applications (s. 257-272)

Grønbæk, K., Hviid, A. & Trigg, R. (1991). ApplBuilder - an Object-Oriented Application Generator Supporting Rapid Prototyping. Department of Computer Science, Aarhus University.

Viser resultater 5801 til 5850 ud af 6089

117