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

Jensen, K. (1987). Coloured Petri Nets. In W. Brauer, W. Reisig & G. Rozenberg (Eds.), Petri Nets: Central Models and Their Properties: Advances in Petri Nets 1986, Part I (Vol. 254, pp. 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. In Proceedings of the fifth International Conference on Systems Engineering (pp. 395-401). IEEE.

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

Jensen, K. (1987). Computer Tools for Construction, Modification and Analysis of Petri Nets. In W. Brauer, W. Reisig & G. Rozenberg (Eds.), Petri Nets: Applications and Relationships to Other Models of Concurrency (Vol. 255/Part II, pp. 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. In Proceedings of the Symposium on Applied Statistics. UNI-C (pp. 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). In C. Pomerance (Ed.), Advances in Cryptology - CRYPTO '87: Proceedings (pp. 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. In C. Pomerance (Ed.), Advances in Cryptology - CRYPTO '87: Proceedings (pp. 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). In C. Pomerance (Ed.), Advances in Cryptology - CRYPTO '87: Proceedings (pp. 462). Springer. https://doi.org/10.1007/3-540-48184-2_43

Jensen, K. & Feldbrugge, F. (1987). Petri Net Tool Overview 1986. In W. Brauer, W. Reisig & G. Rozenberg (Eds.), Petri Nets: Applications and Relationships to Other Models of Concurrency (Vol. 255/Part II, pp. 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. In P. Järvinen (Ed.), Report of the 10th IRIS (pp. 71-92)

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

Ehn, P. & Kyng, M. (1987). The Collective Resource Approach to Systems Design. In G. Bjerknes, P. Ehn & M. Kyng (Eds.), Computers and Democracy - a Scandinavian Challenge (pp. 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) No. 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. In G. Rozenberg & A. Salomaa (Eds.), The Book of L (pp. 333-344). Springer.

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

Bødker, S. & Halskov, K. (1986). More or Less Systems Description. In M. Lassen & L. Mathiassen (Eds.), Report of the Eighth Scandinavian Research Seminar on Systemeering (pp. 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. In G. Rozenberg (Ed.), Advances in Petri Nets 1985 (Vol. 222, pp. 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. In G. Rozenberg & A. Salomaa (Eds.), The Book of L (pp. 427-430). Springer.

Jensen, K. (Ed.) (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. In SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments (pp. 161-170). Association for Computing Machinery. https://doi.org/10.1145/800225.806837

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

Férnandez, C., Nielsen, M. & Thiagarajan, P. S. (1985). A note on observable occurrence nets. In G. Rozenberg (Ed.), Advances in Petri Nets 1984 (pp. 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. In L. Budach (Ed.), Fundamentals of Computation Theory: FCT '85 Cottbus, GDR, September 9–13, 1985 (pp. 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) No. 196

Jensen, K. (1985). The Design of a Program Package for an Introductory Petri Net Course. In G. Rozenberg, H. Genrich & G. Roucairol (Eds.), Advances in Petri Nets 1984 (Vol. 188, pp. 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. In G. Rozenberg, H. J. Genrich & G. Roucairol (Eds.), Advances in Petri Nets 1984, Proceedings (pp. 215-233). Springer. https://doi.org/10.1007/3-540-15204-0_13

Bødker, S. (1985). UTOPIA and the Design of User Interfaces. In Precedings of the Working Conference on Development and Use of Computer-based Systems and Tools (pp. 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. In M. Sääksjärvi (Ed.), Proceedings from the seventh Scandinavian Research Seminar on Systemeering (pp. 211-242). Helsinki School of Economics.

Nielsen, M. & Thiagarajan, P. S. (1984). Degrees of non-determinism and concurrency: A Petri net view. In M. Joseph & R. Shyamasundar (Eds.), Foundations of Software Technology and Theoretical Computer Science: Fourth Conference, Bangalore, India December 13-15, 1984 Proceedings (pp. 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. & Hammerskov, J. (1984). ISAC - A Case Study of Systems Description Tools. In M. Sääksjärvi (Ed.), Proceedings from the Seventh Scandinavian Research Seminar on Systemeering (pp. 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. In Tenth ACM Symposium on Principles of Programming Languages (pp. 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

Østerby, O. & Zlatev, Z. (1983). Direct Methods for Sparces Matrices. Springer. Lecture Notes in Computer Science No. 157

Watt, D. A. & Madsen, O. L. (1983). Extended Attribute Grammars. The Computer Journal. http://comjnl.oxfordjournals.org/content/26/2/142.full.pdf

Valiant, L. G., Skyum, S., Berkowitz, S. & Rackoff, C. (1983). Fast Parallel Computation of Polynomials Using Few Processors. S I A M Journal on Computing, 12(4), 641-644. https://doi.org/10.1137/0212043

Madsen, O. L., Kristensen, B. B. & Nygaard, K. (1983). From SIMULA 67 to BETA. Paper presented at SIMULA 67 User's Conference, Paris, France.

Jensen, K. (1983). High-level Petri Nets. In A. Pagnoni & G. Rozenberg (Eds.), Applications and Theory of Petri Nets: Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, September 27-30, 1982 (Vol. 66, pp. 166-180). Springer.

Displaying results 5801 to 5850 out of 5933

117