Publikationer

Søg publikationer fra Institut for Datalogi

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

Nielsen, M. (1987). CCS - and its relationship to net theory. I W. Brauer, W. Reisig & G. Rozenberg (red.), Petri Nets: Applications and Relationships to Other Models of Concurrency: Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef, 8.-19. September 1986 (s. 393-415). Springer. https://doi.org/10.1007/3-540-17906-2_32

Kristensen, B. B., Madsen, O. L., Møller-Pedersen, B. & Nygaard, K. (1987). Classification of Actions or Inheritance also for Methods. I ECOOP'87, European Conference on Object-Oriented Programming (s. 98-107). Springer. https://doi.org/10.1007/3-540-47891-4_10

Damgård, I. B. (1987). Collision Free Hash Functions and Public Key Signature Schemes. I D. Chaum & W. L. Price (red.), Advances in Cryptology - EUROCRYPT' 87: Workshop on the Theory and Application of Cryptographic Techniques Amsterdam, The Netherlands, April 13-15, 1987 Proceedings (s. 203-216). Springer. https://doi.org/10.1007/3-540-39118-5_19

Jensen, K. (1987). Coloured Petri Nets. I W. Brauer, W. Reisig & G. Rozenberg (red.), Petri Nets: Central Models and Their Properties: Advances in Petri Nets 1986, Part I (Bind 254, s. 248-299). Springer. https://doi.org/10.1007/BFb0046842

Jensen, K. (1987). Coloured Petri Nets: A way to describe and analyse real-world systems - without drowning in unnecessary details. I Proceedings of the fifth International Conference on Systems Engineering (s. 395-401). IEEE.

Bjerknes, G., Ehn, P. & Kyng, M. (red.) (1987). Computers and Democracy - a Scandinavian Challenge. Gower Publishing.

Jensen, K. (1987). Computer Tools for Construction, Modification and Analysis of Petri Nets. I W. Brauer, W. Reisig & G. Rozenberg (red.), Petri Nets: Applications and Relationships to Other Models of Concurrency (Bind 255/Part II, s. 4-19). Springer. https://doi.org/10.1007/3-540-17906-2_20

Damgård, I. B. (1987). Concatenated Group Codes and Their Exponents. I E E E Transactions on Information Theory, Vol. 33, Issue 6.

Østerby, O. (1987). Estimation of Reaction Parameters in Gas Chromatograhy. I Proceedings of the Symposium on Applied Statistics. UNI-C (s. 369-378)

Brickell, E. F., Chaum, D., Damgård, I. B. & van der Graaf, J. (1987). Gradual and Verifiable Release of a Secret (Extended Abstract). I C. Pomerance (red.), Advances in Cryptology - CRYPTO '87: Proceedings (s. 156-166). Springer. https://doi.org/10.1007/3-540-48184-2_11

Chaum, D., Damgård, I. B. & van der Graaf, J. (1987). Multiparty Computations Ensuring Privacy of Each Party's Input and Correctness of the Result. I C. Pomerance (red.), Advances in Cryptology - CRYPTO '87: Proceedings (s. 87-119). Springer. https://doi.org/10.1007/3-540-48184-2_7

Chaum, D., Crépeau, C. & Damgård, I. B. (1987). Multiparty Unconditionally Secure Protocols (Abstract). I C. Pomerance (red.), Advances in Cryptology - CRYPTO '87: Proceedings (s. 462). Springer. https://doi.org/10.1007/3-540-48184-2_43

Jensen, K. & Feldbrugge, F. (1987). Petri Net Tool Overview 1986. I W. Brauer, W. Reisig & G. Rozenberg (red.), Petri Nets: Applications and Relationships to Other Models of Concurrency (Bind 255/Part II, s. 20-61). Springer. https://doi.org/10.1007/3-540-17906-2

Bødker, S. (1987). Prototyping revisited - design with users in a cooperative setting. Department of Computer Science, Aarhus University.

Bødker, S. (1987). Prototyping revisited - design with users in a cooperative setting. I P. Järvinen (red.), Report of the 10th IRIS (s. 71-92)

Kristensen, B. B., Madsen, O. L., Møller-Pedersen, B. & Nygaard, K. (1987). The BETA Programming Language. I B. D. Shriver & P. Wegner (red.), Research Directions in Object Oriented Programming (s. 7-48). MIT Press.

Ehn, P. & Kyng, M. (1987). The Collective Resource Approach to Systems Design. I G. Bjerknes, P. Ehn & M. Kyng (red.), Computers and Democracy - a Scandinavian Challenge (s. 17-58). Gower Publishing.

Bødker, S. (1987). Through the Interface - a human activity approach to user interfaces. Department of Computer Science, Aarhus University.

Engberg, U. H. & Nielsen, M. (1986). A Calculus of Communicating Systems with Label Passing. Aarhus Universitetsforlag. Daimi Report Series (DAIMI PB) Nr. 208 http://www.daimi.au.dk/PB/208/PB-208.pdf

Schwartzbach, M. I. (1986). A Category Theoretic Analysis of Predicative Type Theory. Cornell University Press.

Nielsen, M. (1986). A Programming Language for Lindenmayer Systems. I G. Rozenberg & A. Salomaa (red.), The Book of L (s. 333-344). Springer.

Mayoh, B. H. (1986). A Uniform Model for the Growth of Biological Organisms: Cooperating Sequential Processes. I G. Rozenberg & A. Salomaa (red.), The Book of L (s. 291-302). Springer.

Bødker, S. & Halskov, K. (1986). More or Less Systems Description. I M. Lassen & L. Mathiassen (red.), Report of the Eighth Scandinavian Research Seminar on Systemeering (s. 57-67). Department of Computer Science, Aarhus University.

Fernández, C., Nielsen, M. & Thiagarajan, P. S. (1986). Notions of Realizable Non-Sequential Processes. Department of Computer Science, Aarhus University.

Jensen, K. & Schmidt, E. M. (1986). Pascal Semantics by a Combination of Denotational Semantics and High-level Petri Nets. I G. Rozenberg (red.), Advances in Petri Nets 1985 (Bind 222, s. 297-329). Springer. https://doi.org/10.1007/BFb0016218

Jensen, K., Jensen, A. M., Jepsen, L. O. & Huber, P. (1986). Reachability Trees for High-level Petri Nets. Theoretical Computer Science, 45(3), 261-292. https://doi.org/10.1016/0304-3975(86)90046-0

Skyum, S. & Eriksen, O. (1986). Symmetric Distributed Termination. I G. Rozenberg & A. Salomaa (red.), The Book of L (s. 427-430). Springer.

Jensen, K. (red.) (1985). 6th European Workshop on Applications and Theory of Petri Nets. Proceedings: Held in Espoo, Finland in June 1985.

Skyum, S. & Valiant, L. (1985). A complexity theory based on Boolean algebra. Journal of the ACM, 32(2), 484-502. https://doi.org/10.1145/3149.3158

Frandsen, G. S. (1985). A Denotational Semantics for Logic Programming. Department of Computer Science, Aarhus University.

Kristensen, B. B., Madsen, O. L., Møller-Pedersen, B. & Nygaard, K. (1985). An Algebra for Program Fragments. I SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments (s. 161-170). Association for Computing Machinery. https://doi.org/10.1145/800225.806837

Jensen, K. (1985). An Introduction to High-level Petri Nets. I Proceedings of the 1985 International Symposium on Circuits and Systems: Kyoto 85 (s. 723-726). IEEE.

Férnandez, C., Nielsen, M. & Thiagarajan, P. S. (1985). A note on observable occurrence nets. I G. Rozenberg (red.), Advances in Petri Nets 1984 (s. 122-138). Springer. https://doi.org/10.1007/3-540-15204-0_8

Frandsen, G. S. (1985). Learnability. Department of Computer Science, Aarhus University.

Frandsen, G. S. (1985). Logic programming and substitutions. I L. Budach (red.), Fundamentals of Computation Theory: FCT '85 Cottbus, GDR, September 9–13, 1985 (s. 146-158). Springer. https://doi.org/10.1007/BFb0028799

Madsen, O. L., Møller-Pedersen, B. & Nygaard, K. (1985). Multi-sequential execution in the BETA programming language. ACM SIGPLAN Notices, 20(4), 57-69. https://doi.org/10.1145/988316.988322

Østerby, O. (1985). Step Change Strategies for Multistep Methods. Department of Computer Science, Aarhus University. Daimi Report Series (DAIMI PB) Nr. 196

Jensen, K. (1985). The Design of a Program Package for an Introductory Petri Net Course. I G. Rozenberg, H. Genrich & G. Roucairol (red.), Advances in Petri Nets 1984 (Bind 188, s. 259-266). Springer. https://doi.org/10.1007/3-540-15204-0_15

Huber, P., Jensen, A. M., Jepsen, L. O. & Jensen, K. (1985). Towards Reachability Trees for High-level Petri Nets. I G. Rozenberg, H. J. Genrich & G. Roucairol (red.), Advances in Petri Nets 1984, Proceedings (s. 215-233). Springer. https://doi.org/10.1007/3-540-15204-0_13

Bødker, S. (1985). UTOPIA and the Design of User Interfaces. I Precedings of the Working Conference on Development and Use of Computer-based Systems and Tools (s. 109-124). Department of Computer Science, Aarhus University.

Ehn, P. & Kyng, M. (1984). A tool perspective on design of interactive computer support for skilled workers. I M. Sääksjärvi (red.), Proceedings from the seventh Scandinavian Research Seminar on Systemeering (s. 211-242). Helsinki School of Economics.

Nielsen, M. & Thiagarajan, P. S. (1984). Degrees of non-determinism and concurrency: A Petri net view. I M. Joseph & R. Shyamasundar (red.), Foundations of Software Technology and Theoretical Computer Science: Fourth Conference, Bangalore, India December 13-15, 1984 Proceedings (s. 89-117). Springer. https://doi.org/10.1007/3-540-13883-8_66

Jerrum, M. & Skyum, S. (1984). Families of Fixed Degree Graphs for Processor Interconnection. I E E E Transactions on Computers, C-33(2), 190-194. https://doi.org/10.1109/TC.1984.1676410

Bødker, S. & Kammersgaard, J. (1984). Interaktionsbegreber.

Bødker, S. & Hammerskov, J. (1984). ISAC - A Case Study of Systems Description Tools. I M. Sääksjärvi (red.), Proceedings from the Seventh Scandinavian Research Seminar on Systemeering (s. 201-210)

Bødker, S. & Hammerskov, J. (1984). ISAC - A Case Study of Systems Despription Tools. Department of Computer Science, Aarhus University.

Gear, C. W. & Østerby, O. (1984). Solving Ordinary Differential Equations with Discontinuities. A C M Transactions on Mathematical Software, 10(1), 23-44. https://doi.org/10.1145/356068.356071

Kristensen, B. B., Madsen, O. L., Møller-Pedersen, B. & Nygaard, K. (1983). Abstraction Mechanisms in the BETA Programming Language. I Tenth ACM Symposium on Principles of Programming Languages (s. 285-298). Association for Computing Machinery. https://doi.org/10.1145/567067.567094

Skyum, S. (1983). A measure in which Boolean negation is exponentially powerful. Information Processing Letters, 17(3), 125-128. https://doi.org/10.1016/0020-0190(83)90051-0

Kyng, M. (1983). DESIGN OF ALTERNATIVES/ALTERNATIVE DESIGN. I U. Briefs, C. Ciborra & L. Schneider (red.), Systems Design For, With, and by the Users: Proceedings of the IFIP WG 9.1 Working Conference on Systems Design For, With, and by the Users, Riva Del Sole, Italy, 20-24 September 1982 (s. 391-394). North-Holland Publ Co.

Viser resultater 5951 til 6000 ud af 6089

120