Publikationer

Søg publikationer fra Institut for Datalogi

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

Sassone, V., Nielsen, M. & Winskel, G. (1993). A classification of models for concurrency. I E. Best (red.), CONCUR'93: 4th International Conference on Concurrency Theory Hildesheim, Germany, August 23-26, 1993 Proceedings (s. 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. I F. Dehne, J.-R. Sack, N. Santoro & S. Whitesides (red.), Algorithms and Data Structures: Third Workshop, WADS '93 Montréal, Canada, August 11-13, 1993 Proceedings (s. 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. I J. L. Knudsen, M. Löfgren, O. L. Madsen & B. Magnusson (red.), Object-oriented Software Development Environments - The Mjølner Approach (s. 570-577). Prentice-Hall.

Joyal, A., Nielsen, M. & Winskel, G. (1993). Bisimulation and open maps. I Proceedings of Eighth Annual IEEE Symposium on Logic in Computer Science, 1993. LICS '93., (s. 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. I A. M. Borzyszkowski & S. Sokolowski (red.), MFCS '93: Mathematical Foundations of Computer Science 1993, 18th International Symposium (s. 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. I D. Schuler & A. Namioka (red.), Participatory design. Principles and practices (s. 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. I S. E. Poltrock (red.), Conference on Hypertext and Hypermedia: Proceedings on the fifth ACM conference (s. 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. I E. Green, J. Oven & D. Pain (red.), Gendered by design? (s. 53-63). Taylor & Francis.

Sassone, V., Nielsen, M. & Winskel, G. (1993). Deterministic behavioural models for concurrency. I A. M. Borzyszkowski & S. Sokolowski (red.), Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS'93 Gdansk, Poland, August 30-September 3, 1993 Proceedings (s. 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. Software

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

Frandsen, G. S., Miltersen, P. B. & Skyum, S. (1993). Dynamic Word Problems. I 34th Annual Symposium on Foundations of Computer Science, 1993. Proceedings. (s. 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. I Proceedings of the 20th Annual Symposium on Principles of Programming Languages (s. 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 Nr. 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 Nr. 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. I Proceedings of the 20th Annual Symposium on Principles of Programming Languages (s. 196-205). Association for Computing Machinery. https://doi.org/10.1145/158511.158628

Bødker, S. (1993). Historical analysis and conflicting perspectives - Contextualizing HCI. I L. J. Bass, J. Gornostaev & C. Unger (red.), Human-Computer Interaction: Third International Conference, EWHCI '93 Moscow, Russia, August 3-7, 1993 Selected Papers (s. 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. I J. W. de Bakker, W. P. de Roever & G. Rozenberg (red.), REX School/Symposium: A Decade of Concurrency, Reflections and Perspectives (s. 176-229). Springer LNCS.

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

Damgård, I. B. (1993). Non-Interactive Circuit Based Proofs and Non-Interactive Perfect Zero-knowledge with Preprocessing. 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. 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. udg.) Addison-Wesley.

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

Viser resultater 5801 til 5850 ud af 6119

117