Department of Computer Science

Aarhus University Seal
You are here: Department of Computer Science Research Publications

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

Sort by: Date | Author | Title

Jensen, K., Kyng, M. & Madsen, O. L. (1979). A Petri Net Definition of a System Description Language. In G. Kahn (Ed.), Semantics of Concurrent Computation (pp. 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. In G. Kahn (Ed.), Semantics of Concurrent Computation: Proceedings of the International Symposium, Evian, France, July 2-4, 1979 (pp. 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) No. 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.
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. In G. Ausiello & C. Böhm (Eds.), Automata, Languages and Programming: Fifth Colloquium, Udine, Italy, July 17–21, 1978 (pp. 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 Universitet. Daimi Report Series (DAIMI PB) No. 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. Physical Chemistry Chemical Physics, 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. In J. Albrecht & L. Collatz (Eds.), Numerische Behandlung von Differentialgleichungen, ISNM 31 (pp. 181-190). Birkhäuser Verlag.
Berstel, J. & Nielsen, M. (1976). The growth range equivalence problem for DOL systems is decidable. In A. Lindenmayer & G. Rozenberg (Eds.), Automata, Languages, Development: at the crossroads of biology, mathematics and computer science (pp. 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. Paper presented at Conference on Formal Languages, Automata and Development, Noordwijkerhout, Netherlands.
Skyum, S. (1975). On decomposing languages defined by parallel devices. In STOC '75 Proceedings of seventh annual ACM symposium on Theory of computing (pp. 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. (Ed.) (1974). EDB-rapporten: studier i datateknikkens udvikling og indflydelse på det danske samfund. Danske Studerendes Fællesråd, Studenterrådets Tryk.
Berstel, J. & Nielsen, M. (1974). EOL and ETOL Systems with Control Devices. Department of Computer Science, Aarhus University.
Nielsen, M. (1974). Equivalence of L-systems. In G. Rozenberg & A. Salomaa (Eds.), L Systems (pp. 142-145). Springer. https://doi.org/10.1007/3-540-06867-8_11
Skyum, S. (1974). Nonterminals and codings in defining variations of OL-systems. In G. Rozenberg & A. Salomaa (Eds.), L Systems (pp. 244-249). Springer. https://doi.org/10.1007/3-540-06867-8_19
Nielsen, M., Rozenberg, G., Salomaa, A. & Skyum, S. (1974). Nonterminals, Homomorphisms and Codings in Different Variations of OL-Systems: Part I & II. Department of Computer Science, Aarhus University.
Nielsen, M., Rozenberg, G., Salomaa, A. & Skyum, S. (1974). Nonterminals, homomorphisms and codings in different variations of OL-systems. I. Deterministic systems. Acta Informatica, 4(1), 87-106. https://doi.org/10.1007/BF00288938
Nielsen, M., Rozenberg, G., Salomaa, A. & Skyum, S. (1974). Nonterminals, homomorphisms and codings in different variations of OL-systems. II. Nondeterministic systems. Acta Informatica, 3(4), 357-364. https://doi.org/10.1007/BF00263589
Skyum, S. (1974). On extensions of ALGOL-like languages. Information and control, 26(1), 82-97. https://doi.org/10.1016/S0019-9958(74)90732-3
Nielsen, M. (1974). On the decidability of some equivalence problems for DOL-systems. Information and Computation, 25(2), 166-193. https://doi.org/10.1016/S0019-9958(74)90857-2
Skyum, S. (1974). Parallel context-free languages. Information and control, 26(3), 280-285. https://doi.org/10.1016/S0019-9958(74)91399-0
Nielsen, M. (1973). On Decomposition of Stochastic Finite-State Systems. Department of Computer Science, Aarhus University.
Nielsen, M. (1973). On the Decidability of some Equivalence Problems for Dol-Systems. Department of Computer Science, Aarhus University.
Baer, R. M. & Østerby, O. (1969). Algorithms over partially ordered sets. BIT Numerical Mathematics, 9(2), 97-118. https://doi.org/10.1007/BF01933247
Lautrup, B., Møller-Nielsen, P. & Olesen, P. (1965). Comparison of Forward Dispersion Relations with Experiments around 10 GeV. Physical Review Letters, 140(B4), 984-989. https://doi.org/10.1103/PhysRev.140.B984

Displaying results 5951 to 6000 out of 6000

Previous

111

112

113

114

115

116

117

118

119

120

Browse our local DAIMI report series containing technical reports from 1972 to present

Search for publications at Aarhus University

Use Aarhus University literature search program to search for publications published and edited by scientists at Aarhus University

Revised 01.09.2025
-
Marianne Dammand Iversen