| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
A Foundational Framework for Step-by-step Model Construction
|
Barash, Mikhail
|
|
2017
|
154 |
1-4 |
p. 15-24
|
article
|
| 2 |
Alphabets of Acyclic Invariant Structures
|
Janicki, Ryszard
|
|
2017
|
154 |
1-4 |
p. 207-224
|
article
|
| 3 |
A New Proof for Undecidability of the Bi-Infinite Post Correspondence Problem
|
Halava, Vesa
|
|
2017
|
154 |
1-4 |
p. 167-176
|
article
|
| 4 |
AUTHOR INDEX VOLUME 154
|
Păun, Gheorghe
|
|
2017
|
154 |
1-4 |
p. 387-388
|
article
|
| 5 |
CCS(25,12) is Turing-complete
|
Gorrieri, Roberto
|
|
2017
|
154 |
1-4 |
p. 145-166
|
article
|
| 6 |
Cooperation in Transport of Chemical Substances: A Complexity Approach within Membrane Computing
|
Valencia-Cabrera, Luis
|
|
2017
|
154 |
1-4 |
p. 373-385
|
article
|
| 7 |
D0L Sequences and their Equality Sets
|
Honkala, Juha
|
|
2017
|
154 |
1-4 |
p. 201-206
|
article
|
| 8 |
Efficient Simulation of Reaction Systems on Graphics Processing Units
|
Nobile, Marco S.
|
|
2017
|
154 |
1-4 |
p. 307-321
|
article
|
| 9 |
Enforcing Regular Languages
|
Genova, Daniela
|
|
2017
|
154 |
1-4 |
p. 131-144
|
article
|
| 10 |
From Leśniewski, Łukasiewicz, Tarski to Pawlak: Enriching Rough Set Based Data Analysis. A Retrospective Survey
|
Polkowski, Lech T.
|
|
2017
|
154 |
1-4 |
p. 343-358
|
article
|
| 11 |
Incremental Process Discovery using Petri Net Synthesis
|
Badouel, Eric
|
|
2017
|
154 |
1-4 |
p. 1-13
|
article
|
| 12 |
Interactive Logical Structures
|
Dutta, Soma
|
|
2017
|
154 |
1-4 |
p. 95-108
|
article
|
| 13 |
It is Undecidable if Two Regular Tree Languages can be Separated by a Deterministic Tree-walking Automaton
|
Bojańczyk, Mikołaj
|
|
2017
|
154 |
1-4 |
p. 37-46
|
article
|
| 14 |
k-Abelian Equivalence and Rationality
|
Cassaigne, Julien
|
|
2017
|
154 |
1-4 |
p. 65-94
|
article
|
| 15 |
Morphic Characterizations of Language Families Based on Local and Star Languages
|
Okubo, Fumiya
|
|
2017
|
154 |
1-4 |
p. 323-341
|
article
|
| 16 |
On Fixed Points of the Burrows-Wheeler Transform
|
Mantaci, Sabrina
|
|
2017
|
154 |
1-4 |
p. 277-288
|
article
|
| 17 |
Oritatami System; a Survey and the Impossibility of Simple Simulation at Small Delays
|
Rogers, Trent A.
|
|
2017
|
154 |
1-4 |
p. 359-372
|
article
|
| 18 |
Patterns and Distances in Words Related to DNA Rearrangement
|
Jonoska, Nataša
|
|
2017
|
154 |
1-4 |
p. 225-238
|
article
|
| 19 |
Preface
|
Păun, Gheorghe
|
|
2017
|
154 |
1-4 |
p. vii
|
article
|
| 20 |
Small Semi-Thue System Universal with Respect to the Termination Problem
|
Halava, Vesa
|
|
2017
|
154 |
1-4 |
p. 177-184
|
article
|
| 21 |
Smart Tile Self-Assembly and Replication
|
Kari, Lila
|
|
2017
|
154 |
1-4 |
p. 239-260
|
article
|
| 22 |
Species-Driven Persistent Phylogeny
|
Bonizzoni, Paola
|
|
2017
|
154 |
1-4 |
p. 47-63
|
article
|
| 23 |
State Complexity of k-Parallel Tree Concatenation
|
Han, Yo-Sub
|
|
2017
|
154 |
1-4 |
p. 185-199
|
article
|
| 24 |
Synthesis of Transition Systems from Quantum Logics
|
Bernardinello, Luca
|
|
2017
|
154 |
1-4 |
p. 25-36
|
article
|
| 25 |
The Weighted Matching Approach to Maximum Cardinality Matching
|
Gabow, Harold N.
|
|
2017
|
154 |
1-4 |
p. 109-130
|
article
|
| 26 |
Tissue P Systems with Small Cell Volume
|
Leporati, Alberto
|
|
2017
|
154 |
1-4 |
p. 261-275
|
article
|
| 27 |
Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations
|
Męski, Artur
|
|
2017
|
154 |
1-4 |
p. 289-306
|
article
|
Journal description