Publikationer

Søg publikationer fra Institut for Datalogi

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

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

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.

Jensen, K. (1978). Extended and Hyper Petri nets. Aarhus Universitetsforlag. DAIMI TR Nr. 5

Engelfriet, J. & Schmidt, E. M. (1978). IO and OI. II. Journal of Computer and System Sciences, 16(1), 67-99. https://doi.org/10.1016/0022-0000(78)90051-X

Skyum, S. (1978). On good ETOL forms. Theoretical Computer Science, 7(3), 263-272. https://doi.org/10.1016/0304-3975(78)90017-8

Fortune, S., Hopcroft, J. & Schmidt, E. M. (1978). The complexity of equivalence and containment for free single variable program schemes. I G. Ausiello & C. Böhm (red.), Automata, Languages and Programming: Fifth Colloquium, Udine, Italy, July 17–21, 1978 (s. 227-240). Springer. https://doi.org/10.1007/3-540-08860-1_17

Madsen, O. L., Kristensen, B. B. & Nygaard, K. (1977). BETA Language Development. Norsk Regnesentral.

Engelfriet, J. & Schmidt, E. M. (1977). IO and OI. I. Journal of Computer and System Sciences, 15(3), 328-353. https://doi.org/10.1016/S0022-0000(77)80034-2

Jones, N. D. & Skyum, S. (1977). Recognition of deterministic ETOL languages in logarithmic space. Information and Control, 35(3), 177-181. https://doi.org/10.1016/S0019-9958(77)90058-4

Schmidt, E. M. & Szymanski, T. G. (1977). Succinctness of Descriptions of Unambiguous Context-Free Languages. S I A M Journal on Computing, 6(3), 547-553. https://doi.org/10.1137/0206039

Kyng, M. (1977). Systemarbejde og Fagbevægelsesprojekter: Materiale fra marts-seminaret.

Eriksen, S. H., Jensen, B. B., Kristensen, B. B. & Madsen, O. L. (1977). The BOBS-system. Aarhus University. Daimi Report Series (DAIMI PB) Nr. 71

Ehrenfeucht, A., Rozenberg, G. & Skyum, S. (1976). A relationship between ET0L and EDT0L languages. Theoretical Computer Science, 1(4), 325-330. https://doi.org/10.1016/0304-3975(76)90076-1

Engelfriet, J. & Skyum, S. (1976). Copying theorems. Information Processing Letters, 4(6), 157-161. https://doi.org/10.1016/0020-0190(76)90086-7

Skyum, S. (1976). Decomposition Theorems for Various Kinds of Languages Parallel in Nature. S I A M Journal on Computing, 5(3), 284-296. https://doi.org/10.1137/0205022

Kläning, U. K. & Østerby, O. (1976). Hydration and Ion Pairing of Maleinates, Malonates and Substituted Malonates in Aqueos Solution. Journal of the Chemical Society, Faraday Transactions, 72, 513-525.

Kyng, M. (1976). Implementation of the Delta Language Interrupt Concept within the Quasiparallel Environment of Simula.

Madsen, O. L. & Kristensen, B. B. (1976). LR-parsing of Extended Context-free Grammars. Acta Informatica, 7, 61-73. https://doi.org/10.1007/BF00265221

Østerby, O. (1976). Prime Decompositions with Minimum Sum. BIT Numerical Mathematics, 16, 451-458.

Østerby, O. (1976). SOR with Non-property a Matrices. I J. Albrecht & L. Collatz (red.), Numerische Behandlung von Differentialgleichungen, ISNM 31 (s. 181-190). Birkhäuser Verlag.

Berstel, J. & Nielsen, M. (1976). The growth range equivalence problem for DOL systems is decidable. I A. Lindenmayer & G. Rozenberg (red.), Automata, Languages, Development: at the crossroads of biology, mathematics and computer science (s. 161-178). North-Holland.

Kyng, M. & Mathiassen, L. (1976). Udkast til ansøgning om projekttilskud fra Teknologirådet.

Skyum, S. (1975). Confusion in the Garden of Eden. Proceedings of the American Mathematical Society, 50, 332-336.

Skyum, S. (1975). Decomposition of Languages. Afhandling præsenteret på Conference on Formal Languages, Automata and Development, Noordwijkerhout, Holland.

Skyum, S. (1975). On decomposing languages defined by parallel devices. I STOC '75 Proceedings of seventh annual ACM symposium on Theory of computing (s. 121-125). Association for Computing Machinery. https://doi.org/10.1145/800116.803760

Østerby, O., Møller-Pedersen, K. & North, J. (1975). Summa Ratione Confectum. Archives Internationales d'Histoire des Sciences, 25(96), 73-81.

Kyng, M. & Pedersen, B. M. (1974). Description of a model of a single helix pomatia brain neuron and an associated neurophysiological experiment.

Kyng, M. (red.) (1974). EDB-rapporten: studier i datateknikkens udvikling og indflydelse på det danske samfund. Danske Studerendes Fællesråd, Studenterrådets Tryk.

Viser resultater 6001 til 6050 ud af 6063