Aarhus University Seal

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

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