Publikationer

Søg publikationer fra Institut for Datalogi

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

Madsen, O. L. (1995). Open Issues in Object-Oriented Programming. Software: Practice & Experience, 25(S4), 3-43. https://doi.org/10.1002/spe.4380251303

Cheng, A. & Nielsen, M. (1995). Open Maps (at) Work. BRICS Report Series, (RS-95-23).

Chen, L., Damgård, I. B. & Pedersen, T. P. (1995). Parallel divertibility of proofs of knowledge (Extended abstract). I A. De Santis (red.), Advances in Cryptology - EUROCRYPT'94: Workshop on the Theory and Application of Cryptographic Techniques Perugia, Italy, May 9-12, 1994 Proceedings (s. 140-155). Springer. https://doi.org/10.1007/BFb0053431

Damgård, I. B. (1995). Practical and provably secure release of a secret and exchange of signatures. Journal of Cryptology, 8(4), 201-222. https://doi.org/10.1007/BF00191356

Schwartzbach, M. I. & Palsberg, J. (1995). Safety Analysis versus Type Inference. Information and Computation, 118(1), 128-141.

Cramer, R. & Damgård, I. B. (1995). Secure Signature Schemes based on Interactive Protocols. I D. Coppersmith (red.), Advances in Cryptology - CRYPT0' 95: 15th Annual International Cryptology Conference Santa Barbara, California, USA, August 27-31, 1995 Proceedings (s. 297-310). Springer. https://doi.org/10.1007/3-540-44750-4_24

Brixen, K., Kassem, M., Nielsen, H. K., Loft, A. G., Flyvbjerg, A. & Mosekilde, L. (1995). Short-term treatment with growth hormone stimulates osteoblastic and osteoclastic activity in osteopenic postmenopausal women: a dose response study. Journal of Bone andMineral Research (JBMR), 10(12), 1865-74. https://doi.org/10.1002/jbmr.5650101205

Bardram, J. E. & Bertelsen, O. W. (1995). Supporting the development of transparent interaction. I B. Blumenthal, J. Gornostaev & C. Unger (red.), Human-Computer Interaction: 5th International Conference, EWHCI '95 Moscow, Russia, July 3–7 1995 Selected Papers (s. 79-90). Springer. https://doi.org/10.1007/3-540-60614-9_6

Fich, F. & Miltersen, P. B. (1995). Tables should be sorted (on random access machines). I S. G. Akl, F. Dehne, J.-R. Sack & N. Santoro (red.), Algorithms and Data Structures: 4th International Workshop, WADS '95 Kingston, Canada, August 16-18, 1995 Proceedings (s. 482-493). Springer. https://doi.org/10.1007/3-540-60220-8_87

Schwartzbach, M. I., Mosses, P. D. & Nielsen, M. (red.) (1995). TAPSOFT'95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22-26, 1995 Proceedings. Springer. Lecture Notes in Computer Science Bind 915 https://doi.org/10.1007/3-540-59293-8

Arge, L. A. (1995). The buffer tree: A new technique for optimal I/O-algorithms. I S. G. Akl, F. Dehne, J.-R. Sack & N. Santoro (red.), Algorithms and Data Structures: 4th International Workshop, WADS '95 Kingston, Canada, August 16-18, 1995 Proceedings (s. 334-345). Springer. https://doi.org/10.1007/3-540-60220-8_74

Danvy, O., Malmkjær, K. & Palsberg, J. (1995). The essence of eta-expansion in partial evaluation. Higher-Order and Symbolic Computation, 8(3), 209-227. https://doi.org/10.1007/BF01019004

Arge, L. A. (1995). The I/O-complexity of Ordered Binary-Decision Diagram manipulation: Extended Abstract. I J. Staples, P. Eades, N. Katoh & A. Moffat (red.), Algorithms and Computations: 6th International Symposium, ISAAC '95 Cairns, Australia, December 4-6, 1995 Proceedings (s. 82-91). Springer. https://doi.org/10.1007/BFb0015411

Nielsen, M. & Winskel, G. (1995). Trace Structures and Other Models for Concurrency. I V. Diekert & G. Rozenberg (red.), The Book of Traces (s. 271-306). World Scientific.

Nielsen, M., Rozenberg, G. & Thiagarajan, P. S. (1995). Transition-Systems, Event Structures, and Unfoldings. Information and Computation, 118(2), 191-207. https://doi.org/10.1006/inco.1995.1062

Mogensen, P. H. & Robinson, M. (1995). Triggering Artefacts. AI & Society, 9(4), 373-388. https://doi.org/10.1007/BF01210588

Schwartzbach, M. I., Agesen, O. & Palsberg, J. (1995). Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance. Software: Practice & Experience, 25(9), 975-995.

Schwartzbach, M. I., Askari, H. & Hougaard, O. I. (1995). Type Inference of Turbo Pascal. International Journal on Software Tools for Technology Transfer, 16(4), 160-169.

Bødker, S. & Grønbæk, K. (1995). Users and Designers in Mutual Activity - an analysis of cooperative activities in systems design. I Y. Engeström & D. Middleton (red.), Cognition and communication at work (s. 130-158). Cambridge University Press.

Schmidt, E. M. & Skyum, S. (red.) (1994). Algorithm Theory — SWAT '94: 4th Scandinavian Workshop on Algorithm Theory Aarhus, Denmark, July 6–8, 1994 Proceedings. Springer. Lecture Notes in Computer Science Bind 824 https://doi.org/10.1007/3-540-58218-5

Jensen, K. (1994). An Introduction to the Theoretical Aspects of Coloured Petri nets. I J. W. D. Bakker, W.-P. D. Roever & G. Rozenberg (red.), A Decade of Concurrency Reflections and Perspectives (Bind 803, s. 230-272). Springer. https://doi.org/10.1007/3-540-58043-3

Bertelsen, O. W. (1994). An investigation into the design artefact concept as a vehicle for systems development research. I P. Kerola, A. Juustila & J. Järvinen (red.), Proceedings of the 17th Information Systems Research Seminar in Scandinavia (s. 115-125)

Schwartzbach, M. I. & Palsberg, J. (1994). Binding Time Analysis: Abstract Interpretation versus Type Inference. I Proceedings on IEEE 1994 International Conference on Computer Language (s. 289-298). IEEE Computer Society Press. https://doi.org/10.1109/ICCL.1994.288372

Nielsen, M. & Clausen, C. (1994). Bisimulation for models in concurrency. I B. Jonsson & J. Parrow (red.), CONCUR '94: Concurrency Theory: 5th International Conference Uppsala, Sweden, August 22-25, 1994 Proceedings (s. 385-400). Springer. https://doi.org/10.1007/BFb0015021

Nielsen, M. & Clausen, C. (1994). Bisimulations, games, and logic. I J. Karhumäki, H. Maurer & G. Rozenberg (red.), Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto Salomaa Graz, Austria, June 10-11, 1994 Proceedings (s. 289-306). Springer. https://doi.org/10.1007/3-540-58131-6_54

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. Biochemical Medicine and Metabolic Biology, 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

Viser resultater 5701 til 5750 ud af 6088

115

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series