Publikationer

Søg publikationer fra Institut for Datalogi

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

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.

Østerby, O. & Zlatev, Z. (1983). Direct Methods for Sparces Matrices. Springer. Lecture Notes in Computer Science Nr. 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. Afhandling præsenteret på SIMULA 67 User's Conference, Paris, Frankrig.

Jensen, K. (1983). High-level Petri Nets. I A. Pagnoni & G. Rozenberg (red.), 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 (Bind 66, s. 166-180). Springer.

Madsen, O. L. (1983). Programmeringssprog - Syntaks, Semantik og Implementation.

Kyng, M. (1983). Specification and Verification of Networks in a Petri Net Based Language. I A. Pagnoni & G. Rozenberg (red.), Applications and Theory of Petri Nets: Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets (s. 181-198). Springer.

Ehn, P., Kyng, M. & Sundblad, Y. (1983). The UTOPIA Project. I Systems design for with and by the Users: Proceedings of the IFIP WG 9.1 Working Conference North-Holland.

Nielsen, M. & Schmidt, E. M. (red.) (1982). Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July 12-16, 1982. Springer. Lecture Notes in Computer Science Bind 140 https://doi.org/10.1007/BFb0012751

Mehlhorn, K. & Schmidt, E. M. (1982). Las Vegas is better than determinism in VLSI and distributed computing. I STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing (s. 330-337). Association for Computing Machinery. https://doi.org/10.1145/800070.802208

Jensen, K. & Kyng, M. (1982). Petri Nets and Semantics of System Descriptions. I C. Girault & W. Reisig (red.), Application and Theory of Petri Nets: Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets (s. 64 - 71). Springer.

Kristensen, B. B., Madsen, O. L., Møller-Pedersen, B. & Nygaard, K. (1982). Syntax Directed Program Modularization. I P. Degano & E. Sandewall (red.), Integrated interactive computing systems: European Conference on Integrated Computing Systems, ECICS 82, Stresa, Italy, 1-3 September, 1982 North-Holland.

Kyng, M. & Mathiassen, L. (1982). Systems development and trade union activities. Department of Computer Science, Aarhus University.

Kyng, M. & Mathiassen, L. (1982). Systesm development and trade union activities. I N. Björn-Andersen (red.), Information Society, for richer, for poorer - Selected conference papers (s. 247-260). Elsevier.

Engelfriet, J. & Skyum, S. (1982). The copying power of one-state tree transducers. Journal of Computer and System Sciences, 25(3), 418-435. https://doi.org/10.1016/0022-0000(82)90019-8

Skyum, S. & Valiant, L. (1981). A complexity theory based on Boolean algebra. I 22nd Annual Symposium on Foundations of Computer Science, 1981. SFCS '81. (s. 244-253). IEEE Computer Society Press. https://doi.org/10.1109/SFCS.1981.3

Jensen, K. (1981). Coloured Petri Nets and the Invariant Method. Theoretical Computer Science, 14(3), 317-336. https://doi.org/10.1016/0304-3975(81)90049-9

Kristensen, B. B. & Madsen, O. L. (1981). Diagnostics on LALR(k) conflicts based on a method for LR(k) testing. BIT Numerical Mathematics, 21(3), 270-293. https://doi.org/10.1007/BF01941463

Jacobsen, H., Kyng, M. & Mathiassen, L. (1981). EDB til styring, planlægning og kontrol. AOF' Forlag.

Riis, H. & Skyum, S. (1981). k-visit attribute grammars. Theory of Computing Systems, 15(1), 17-28. https://doi.org/10.1007/BF01786970

Valiant, L. & Skyum, S. (1981). Fast parallel computation of polynomials using few processors. I J. Gruska & M. Chytil (red.), Mathematical Foundations of Computer Science 1981: Proceedings, 10th Symposium Štrbské Pleso, Czechoslovakia August 31 – September 4, 1981 (s. 132-139). Springer. https://doi.org/10.1007/3-540-10856-4_79

Jensen, K. (1981). How to Find Invariants for Coloured Petri Nets. I J. Gruska & M. Chytil (red.), Mathematical Foundations of Computer Science 1981 (Bind 118, s. 327-338). Springer. https://doi.org/10.1007/3-540-10856-4_100

Jacobsen, H., Kensing, F., Kyng, M. & Mathiassen, L. (1981). Klubarbejde og EDB: Rapport om edb-udviklingen, dens konsekvenser og fagbevægelsens handlingsmuligheder - fra et projekt under Fagbevægelsens Forskningsråd. Fremad. DUE RAPPORT Nr. 4, 2. udgave

Madsen, O. L. & Kristensen, B. B. (1981). Methods for computing LALR(k) lookahead. I ACM Transaction on Programming Languages (1 udg., Bind 3, s. 60-82). Association for Computing Machinery. https://doi.org/10.1145/357121.357126

Nielsen, M., Plotkin, G. & Winskel, G. (1981). Petri nets, event structures and domains, part I. Theoretical Computer Science, 13(1), 85-108. https://doi.org/10.1016/0304-3975(81)90112-2

Zlatev, Z. & Østerby, O. (1980). Absolute stability properties of the explicit linear 3-step formulae. Department of Computer Science, Aarhus University. Daimi Report Series (DAIMI PB) Nr. 124

Viser resultater 5951 til 6000 ud af 6063

120