Selected Publications
- R. Janicki, J. Kleijn, M. Koutny, L. Mikulski.
- Classifying invariant structures of step traces.
Journal of Computer and System Sciences 104 (2019) 297-322.
doi:10.1016/j.jcss.2017.05.002 - M. Gheorghe, G. Rozenberg, A. Salomaa, C. Zandron (eds.).
- Membrane Computing - 18th International Conference (CMC 2017). Lecture Notes in Computer Science, volume 10725, 2018.
doi:10.1007/978-3-319-73359-3 - B. Aman, J. Kleijn, M. Koutny, D. Lucanu (eds.).
- Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu. Fundamenta Informaticae, volume 153(1-2), 2017.
doi:10.3233/FI-2017-1528 - M.H. ter Beek, J. Carmona, R. Hennicker, J. Kleijn.
- Communication Requirements for Team Automata.
In: Coordination Models and Languages (COORDINATION 2017) (J.M. Jacquet, M. Massink, eds.), Lecture Notes in Computer Science, v. 10319, Springer, Cham, 2017.
doi:10.1007/978-3-319-59746-1_14 - M. Benedikt, J. Engelfriet, S. Maneth.
- Determinacy and rewriting of functional top-down and MSO tree transformations.
Journal of Computer and System Sciences 85 (2017) 57-73.
doi:10.1016/j.jcss.2016.11.001 - P. Dulio, A. Frosini, G. Rozenberg (eds.).
- An overview of Tomography and Applications. Fundamenta Informaticae, volume 155, 2017.
doi:10.3233/FI-2017-1587 - A. Ehrenfeucht, J. Kleijn, Maciej Koutny, G. Rozenberg.
- Evolving reaction systems.
Theoretical Computer Science 682 (2017) 79-99.
doi:10.1016/j.tcs.2016.12.031 - A. Ehrenfeucht, I. Petre, G. Rozenberg.
- Reaction systems: A model for computation inspired by the functioning of the living cell.
In: The role of theory in computer science (S. Konstantinidis, N. Moreira, R. Reis, J. Shallit, eds.), World Scientific, 2017. - J. Engelfriet.
- The Trees of Hanoi.
Slightly revised version of Memorandum Nr. 325, Department of Applied Mathematics, Twente University of Technology, January 1981, 2017.
arXiv: 1710.04551 . - J. Engelfriet, A. Maletti, S. Maneth.
- Multiple Context-Free Tree Grammars: Lexicalization and Characterization.
2017.
arXiv: 1707.03457 . - J.Engelfriet, Z. Fülöp, A. Maletti.
- Composition closure of linear extended top-down tree transducers.
Theory of Computing Systems 60 (2017) 129-171.
doi:10.1007/s00224-015-9660-2 - D. Genova, H.J. Hoogeboom.
- Finite Language Forbidding-Enforcing Systems.
In: Computability in Europe (CiE 2017) Turku, Lecture Notes in Computer Science, v. 10307, 258-269, 2017.
doi:10.1007/978-3-319-58741-7_25 - D. Genova, H.J. Hoogeboom.
- Enforcing Regular Languages.
Fundamenta Informaticae 154 (2017) 131-144.
doi:10.3233/FI-2017-1556 - D. Genova, H.J. Hoogeboom, N. Jonoska.
- A Graph Isomorphism Condition and Equivalence of Reaction Systems.
Theoretical Computer Science 701 (2017) 109-119.
doi:10.1016/j.tcs.2017.05.019
arXiv: 1701.01895 . - R. Janicki, J. Kleijn, M. Koutny, L. Mikulski.
- Alphabets of Acyclic Invariant Structures.
Fundamenta Informaticae 154 (2017) 207-224.
doi:10.3233/FI-2017-1562 - R. Janicki, J. Kleijn, M. Koutny, L. Mikulski.
- Invariant Structures and Dependence Relations.
Fundamenta Informaticae 155 (2017) 1-29.
doi:10.3233/FI-2017-1574 - R. Janicki, J. Kleijn, M. Koutny, L. Mikulski.
- On Synthesising Step Alphabets for Acyclic Invariant Structures.
In: ATAED@Petri Nets/ACSD 2017, 76-88, 2017.
paper (pdf) . - J. Kleijn, M. Koutny, M. Pietkiewicz-Koutny.
- Signal set tissue systems and overlapping localities.
Theoretical Computer Science 701 (2017) 132-145.
doi:10.1016/j.tcs.2017.02.036 - J. Kleijn, M. Koutny, M. Pietkiewicz-Koutny, G. Rozenberg.
- Applying regions.
Theoretical Computer Science 658 (2017) 205-215.
doi:10.1016/j.tcs.2016.01.040 - M. Koutny, J. Kleijn, W. Penczek (eds.).
- Transactions on Petri Nets and Other Models of Concurrency XII. Lecture Notes in Computer Science, volume 10470, Springer-Verlag, 2017.
doi:10.1007/978-3-662-55862-1 - A. Leporati, G. Rozenberg, A. Salomaa, C. Zandron (eds.).
- Membrane Computing - 17th International Conference (CMC 2016).
Lecture Notes in Computer Science, v. 10105, Springer, 2017.
doi:10.1007/978-3-319-54072-6 - G. Paun, I. Petre, G. Rozenberg, A. Salomaa (eds.).
- From finite state grammars to natural computing - In memory of Solomon Marcus. Theoretical Computer Science, volume 701, 2017.
doi:10.1016/j.tcs.2017.10.022 - G. Paun, G. Rozenberg, A. Salomaa (eds.).
- Elegant Structures in Computation. To Andrzej Ehrenfeucht on His 85th Birthday. Fundamenta Informaticae, volume 154, 2017.
doi:10.3233/FI-2017-1547