Publikationer

Søg publikationer fra Institut for Datalogi

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

Ø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.

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

Jensen, K. (1980). A Method to Compare the Descriptive Power of Different Types of Petri Nets. I P. Dembinski (red.), Mathematical Foundations of Computer Science 1980 (Bind 88, s. 348-361). Springer. https://doi.org/10.1007/BFb0022516

Kristensen, B. B. & Madsen, O. L. (1980). A practical state splitting algorithm for constructing LR-parsers. Aarhus Universitet.

Jensen, K. & Kyng, M. (1980). Epsilon. A System Description Language. Department of Computer Science, Aarhus University.

Kornerup, P., Kristensen, B. B. & Madsen, O. L. (1980). Interpretation and code generation based on intermediate languages. Software: Practice & Experience, 10(8), 635-658. https://doi.org/10.1002/spe.4380100804

Kyng, M., Dybdal, E., Lundin, J. & Hansen, T. (1980). Klubarbejde og edb på Aalborg værft.

Kyng, M. (1980). Medbestemmelse på ny teknologi.

Kyng, M. (1980). Medbestemmelse på ny teknologi. I O. Hammarström & M. fl. (red.), Förhandling eller partssammansatta grupper - om former för lokala partskontakter (s. 72-83)

Jensen, K. (1980). Net Modeller i Systembeskrivelse: Summary of Ph. D. thesis. Aarhus Universitetsforlag.

Madsen, O. L. (1980). On defining semantics by means of extended attribute grammars. I N. D. Jones (red.), Semantics-Directed Compiler Generation - Proceedings of a Workshop (s. 259-299). Springer Verlag. https://doi.org/10.1007/3-540-10250-7_25

Madsen, O. L. (1980). On defining semantics of extended attribute grammars. I N. Jones (red.), Semantics directed compiler generation: Proceedings of a Workshop, Aarhus, Denmark, January 14-18 (s. 259-299). Springer.

Schmidt, E. M. (1980). Space-restricted attribute grammars. I J. de Bakker & J. van Leeuwen (red.), Automata, Languages and Programming: Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980 (s. 436-448). Springer. https://doi.org/10.1007/3-540-10003-2_90

Engelfriet, J., Schmidt, E. M. & van Leeuwen, J. (1980). Stack Machines and Classes of Nonnested Macro Languages. Journal of the ACM, 27(1), 96-117. https://doi.org/10.1145/322169.322178

Kyng, M. & Mathiassen, L. (1979). A "new systems development": Trade union and research activities. I A. Sandberg (red.), Computers Dividing Man and Work: Recent Scandinavian Research on Planning and Computers from a Trade Union Perspective (s. 54-74). Arbetslivcentrum.

Jensen, K., Kyng, M. & Madsen, O. L. (1979). A Petri Net Definition of a System Description Language. I G. Kahn (red.), Semantics of Concurrent Computation (s. 348 - 368). Springer. https://doi.org/10.1007/BFb0022479

Jones, N. D. & Skyum, S. (1979). Complexity of some problems concerning L systems. Theory of Computing Systems, 13, 29-43. https://doi.org/10.1007/BF01744286

Jensen, K., Kyng, M. & Madsen, O. L. (1979). Delta Semantics Defined By Petri Nets. Aarhus Universitetsforlag.

Jacobsen, H., Kyng, M. & Mathiassen, L. (1979). EDB - elektronisk databehandling. AOF's Forlag.

Jacobsen, H., Kyng, M. & Mathiassen, L. (1979). Edb-systemer og klubarbejde på 12 virksomheder.

Østerby, O. (1979). Efficient Solution of Tridiagonal Linear Systems. The Computer Journal, 22(3), 283-285.

Nielsen, M., Plotkin, G. & Winskel, G. (1979). Petri nets, event structures and domains. I G. Kahn (red.), Semantics of Concurrent Computation: Proceedings of the International Symposium, Evian, France, July 2-4, 1979 (s. 266-284). Springer. https://doi.org/10.1007/BFb0022474

Sand, J. & Østerby, O. (1979). Regions of Absolute Stability. Department of Computer Science, Aarhus University. Daimi Report Series (DAIMI PB) Nr. 102

Kyng, M. & Mathiassen, L. (1979). Systems Development and Trade Union Activities. Department of Computer Science, Aarhus University.

Andersen, N. E. & Kyng, M. (1978). Construction of system descriptions in SIMULA and DELTA.

Jacobsen, H., Kyng, M. & Mathiassen, L. (1978). Demokrati, Udvikling og EDB. AOF' Forlag.

Viser resultater 6001 til 6050 ud af 6089