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

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. In J. Staples, P. Eades, N. Katoh & A. Moffat (Eds.), Algorithms and Computations: 6th International Symposium, ISAAC '95 Cairns, Australia, December 4-6, 1995 Proceedings (pp. 82-91). Springer. https://doi.org/10.1007/BFb0015411

Nielsen, M. & Winskel, G. (1995). Trace Structures and Other Models for Concurrency. In V. Diekert & G. Rozenberg (Eds.), The Book of Traces (pp. 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. In Y. Engeström & D. Middleton (Eds.), Cognition and communication at work (pp. 130-158). Cambridge University Press.

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

Jensen, K. (1994). An Introduction to the Theoretical Aspects of Coloured Petri nets. In J. W. D. Bakker, W.-P. D. Roever & G. Rozenberg (Eds.), A Decade of Concurrency Reflections and Perspectives (Vol. 803, pp. 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. In P. Kerola, A. Juustila & J. Järvinen (Eds.), Proceedings of the 17th Information Systems Research Seminar in Scandinavia (pp. 115-125)

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

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

Nielsen, M. & Clausen, C. (1994). Bisimulations, games, and logic. In J. Karhumäki, H. Maurer & G. Rozenberg (Eds.), Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto Salomaa Graz, Austria, June 10-11, 1994 Proceedings (pp. 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. In R. L. Wexelblat (Ed.), Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications (Vol. 29. Issue 10, pp. 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.

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. In I. Ritchie & N. Guimaráes (Eds.), Proceedings of the 1994 ACM European Conference on Hypermedia Technology (pp. 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. In Proceedings of PDC '94 (pp. 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

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. In K. Bruunstein & E. Raubold (Eds.), IFIP Transaction. Information Processing: Applications and Impacts (Vol. II, pp. 107-114). North-Holland.

Bertelsen, O. W. (1994). Fitts' law as a design artefact: A Paradigm Case of Theory in Software Design. In B. Blumenthal, J. Gornostaev & C. Unger (Eds.), Human-Computer Interaction: 4th International Conference, EWHCI '94 St. Petersburg, Russia August 2–5, 1994 Selected Papers (pp. 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. In Proceedings of the 1994 ACM conference on Computer supported cooperative work (pp. 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. In S. Tison (Ed.), Trees in Algebra and Programming - CAAP'94: 19th International Colloquium Edinburgh, U.K., April 11-13, 1994 Proceedings (pp. 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). In D. R. Stinson (Ed.), Advances in Cryptology - CRYPTO' 93: 13th Annual International Cryptology Conference Santa Barbara, California, USA August 22-26, 1993 Proceedings (pp. 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 ed.) BRICS.

Mogensen, P. H. (1994). Locating Design, Development and Use. Paper presented at Oksnøen Symposium 1994.

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

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

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

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

Kyng, M. (1994). Scandinavian design: users in product development. In CHI '94 Proceedings of the SIGCHI conference on Human factors in computing systems: celebrating interdependence (pp. 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. (Eds.) (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. In R. Trigg, S. I. Anderson & E. Dykstra-Erickson (Eds.), Proceedings of the 3rd Participatory Design Conference (pp. 159-171). Computer Professionals for Social Responsibility.

Displaying results 5551 to 5600 out of 5916

112