Publikationer

Søg publikationer fra Institut for Datalogi

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

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

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. I G. Rozenberg & A. Salomaa (red.), L Systems (s. 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. I G. Rozenberg & A. Salomaa (red.), L Systems (s. 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

Viser resultater 6051 til 6089 ud af 6089

122

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series