Publikationer

Søg publikationer fra Institut for Datalogi

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

Grønbæk, K. & Malhotra, J. (1994). Building Tailorable Hypermedia Systems: The embedded-interpreter approach. I R. L. Wexelblat (red.), Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications (Bind 29. Issue 10, s. 85-101). Association for Computing Machinery. https://doi.org/10.1145/191080.191098

Mogensen, P. H. (1994). Challenging Practice: an Approach to Cooperative Analysis. Department of Computer Science, Aarhus University.

Jensen, H. K., Jensen, T. G., Jensen, L. G., Hansen, P. S., Kjeldsen, M., Andresen, B. S., Nielsen, V., Meinertz, H., Hansen, A. B. & Bolund, L. (1994). Characterization of a disease-causing Glu119-Lys mutation in the low-density lipoprotein receptor gene in two Danish families with heterozygous familial hypercholesterolemia. Human Mutation, 4(2), 102-13. https://doi.org/10.1002/humu.1380040203

Bross, P., Jensen, T. G., Andresen, B. S., Kjeldsen, M., Nandy, A., Kølvraa, S., Ghisla, S., Rasched, I., Bolund, L. & Gregersen, N. (1994). Characterization of wild-type human medium-chain acyl-CoA dehydrogenase (MCAD) and mutant enzymes present in MCAD-deficient patients by two-dimensional gel electrophoresis: evidence for post-translational modification of the enzyme. Molecular Genetics and Metabolism, 52(1), 36-44.

Kyng, M. (1994). Collective resources meets puritanism. Scandinavian Journal of Information Systems, 6(1), 85-96.

Miltersen, P. B., Subramanian, S., Vitter, J. S. & Tamassia, R. (1994). Complexity models for incremental computation. Theoretical Computer Science, 130(1), 203-236. https://doi.org/10.1016/0304-3975(94)90159-7

Grønbæk, K. (1994). Composites in a Dexter-Based Hypermedia Framwork. I I. Ritchie & N. Guimaráes (red.), Proceedings of the 1994 ACM European Conference on Hypermedia Technology (s. 59-69). Association for Computing Machinery. https://doi.org/10.1145/192757.192771

Grønbæk, K., Madsen, O. L., Sloth, L. & Hem, J. A. (1994). Cooperative Hypermedia Systems: A Dexter-based architecture. Association for Computing Machinery. Communications, 37(2), 64 - 74. https://doi.org/10.1145/175235.175240

Bødker, S. (1994). Creating conditions for participation: Conflicts and resources in systems design. I Proceedings of PDC '94 (s. 13-20). Association for Computing Machinery.

Bødker, S. & Knudsen, J. L. (1994). Datalogi i Gymnasiet: en diskussion af bekendtgørelse. EDB og Undervisning, (50). http://www.emu.dk/gym/fag/dl/forening/bladet/pdffiler/nr50.pdf

Ezparza, J. & Nielsen, M. (1994). Decidability in Petri Nets - a Survey. Bulletin of the European Association for Theoretical Computer Science, 52, 244-262.

Ezparza, J. & Nielsen, M. (1994). Decidability issues for Petri Nets. Information Processing and Cybernetics, 30(3), 143-160.

Grønbæk, K. & Trigg, R. H. (1994). Design issues for a Dexter-based hypermedia system. Association for Computing Machinery. Communications, 37(2), 40-49. https://doi.org/10.1145/175235.175238

Andresen, B. S., Jensen, T. G., Bross, P., Knudsen, I., Winter, V., Kølvraa, S., Bolund, L., Ding, J. H., Chen, Y. T. & Van Hove, J. L. (1994). Disease-causing mutations in exon 11 of the medium-chain acyl-CoA dehydrogenase gene. American Journal of Human Genetics, 54(6), 975-88.

Schwartzbach, M. I., Kozen, D. & Palsberg, J. (1994). Efficient Inference of Partial Types. Journal of Computer and System Sciences, 49(2), 306-324.

Kyng, M. (1994). Experience with Participative Application Development. I K. Bruunstein & E. Raubold (red.), IFIP Transaction. Information Processing: Applications and Impacts (Bind II, s. 107-114). North-Holland.

Bertelsen, O. W. (1994). Fitts' law as a design artefact: A Paradigm Case of Theory in Software Design. I B. Blumenthal, J. Gornostaev & C. Unger (red.), Human-Computer Interaction: 4th International Conference, EWHCI '94 St. Petersburg, Russia August 2–5, 1994 Selected Papers (s. 11-18). Springer. https://doi.org/10.1007/3-540-58648-2_22

Bødker, S. & Trigg, R. (1994). From implementation to design: tailoring and the emergence of systematization in CSCW. I Proceedings of the 1994 ACM conference on Computer supported cooperative work (s. 45-54). Association for Computing Machinery. https://doi.org/10.1145/192844.192869

Schwartzbach, M. I. & Klarlund, N. (1994). Graphs and Desidable Transductions based on Edge Constraints. I S. Tison (red.), Trees in Algebra and Programming - CAAP'94: 19th International Colloquium Edinburgh, U.K., April 11-13, 1994 Proceedings (s. 187-201). Springer. https://doi.org/10.1007/BFb0017482

Grønbæk, K. & Trigg, R. H. (1994). Hypermedia System: Design Applying Dexter Model. Association for Computing Machinery. Communications, 37(2), 26-29. https://doi.org/10.1145/175235.175236

Schwartzbach, M. I. & Larsen, K. S. (1994). Injectivity of Composite Functions. Journal of Symbolic Computation, 17(5), 393-408.

Damgård, I. B. (1994). Interactive Hashing can Simplify Zero-Knowledge Protocol Design Without Computational Assumptions (Extended Abstract). I D. R. Stinson (red.), Advances in Cryptology - CRYPTO' 93: 13th Annual International Cryptology Conference Santa Barbara, California, USA August 22-26, 1993 Proceedings (s. 100-109). Springer. https://doi.org/10.1007/3-540-48329-2_9

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

Mogensen, P. H. (1994). Locating Design, Development and Use. Afhandling præsenteret på Oksnøen Symposium 1994.

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

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

Brandt, S. & Madsen, O. L. (1994). Object-oriented distributed programming in BETA. I R. Guerraoui, O. Nierstrasz, M. Riveill & M. Riveill (red.), Object-Based Distributed Programming - ECOOP 1993 Workshop, Proceedings (s. 185-212). Springer Verlag. https://doi.org/10.1007/bfb0017541

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

Lindeskov Knudsen, J., Løfgren, M., Magnussen, B. & Madsen, O. L. (red.) (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. I D. R. Stinson (red.), Advances in Cryptology - CRYPTO' 93: 13th Annual International Cryptology Conference Santa Barbara, California, USA August 22-26, 1993 Proceedings (s. 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. I T. Helleseth (red.), Advances in Cryptology - EUROCRYPT '93: Workshop on the Theory and Application of Cryptographic Techniques Lofthus, Norway, May 23-27, 1993 Proceedings (s. 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. I Y. G. Desmedt (red.), Advances in Cryptology - CRYPTO '94: 14th Annual International Cryptology Conference Santa Barbara, California, USA August 21-25, 1994 Proceedings (s. 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. I J. W. de Bakker, W. .-P. de Roever & G. Rozenberg (red.), A Decade of Concurrency Reflections and Perspectives: REX School/Symposium Noordwijkerhout, The Netherlands June 1-4, 1993 Proceedings (s. 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. I Proceedings of the Ninth Annual Structure in Complexity Theory Conference, 1994. (s. 162-174). IEEE Computer Society Press.

Kyng, M. (1994). Scandinavian design: users in product development. I CHI '94 Proceedings of the SIGCHI conference on Human factors in computing systems: celebrating interdependence (s. 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. (red.) (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. I R. Trigg, S. I. Anderson & E. Dykstra-Erickson (red.), Proceedings of the 3rd Participatory Design Conference (s. 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. I T. Helleseth (red.), 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. (red.) & Trigg, R. H. (red.) (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. I D. Schuler & A. Namioka (red.), Participatory design: principles and practices (s. 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. 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. Daimi Report Nr. PB-435

Viser resultater 5701 til 5750 ud af 6063

115