Interface Automata for Shared Memory Ayleen SchinkoWalter VoglerGerald Lüttgen Original Article Open access 30 August 2021 Pages: 521 - 556
Regular numeral systems for data structures Amr ElmasryJyrki Katajainen Original Article 25 July 2021 Pages: 245 - 281
A faster algorithm for the Birthday Song Singers Synchronization Problem (FSSP) in one-dimensional CA with multiple speeds Thomas Worsch Original Article Open access 19 July 2021 Pages: 451 - 462
A new class of the smallest FSSP partial solutions for 1D rings of length \(n=2^{k}-1\) Hiroshi UmeoNaoki KamikawaGen Fujita Original Article 19 July 2021 Pages: 427 - 450
Reversibility for stateless ordered RRWW-automata Friedrich OttoMatthias Wendlandt Original Article 19 July 2021 Pages: 397 - 425
An instruction set for reversible Turing machines Kenichi Morita Original Article 19 July 2021 Pages: 377 - 396
On the size of partial derivatives and the word membership problem Stavros KonstantinidisAntónio MachiaveloRogério Reis Original Article 19 July 2021 Pages: 357 - 375
The descriptional power of queue automata of constant length Sebastian JakobiKatja MeckelBeatrice Palano Original Article Open access 19 July 2021 Pages: 335 - 356
Nilpotency and periodic points in non-uniform cellular automata Supreeti KamilyaJarkko Kari Original Article Open access 19 July 2021 Pages: 319 - 333
On the number of active states in finite automata Henning BordihnMarkus Holzer Original Article 19 July 2021 Pages: 301 - 318
Operational complexity and right linear grammars Jürgen Dassow Original Article Open access 19 July 2021 Pages: 281 - 299
Reversible parallel communicating finite automata systems Henning BordihnGyörgy Vaszil Original Article Open access 19 July 2021 Pages: 263 - 279
Natural language guided object retrieval in images Ahmad OstovarSuna BenschThomas Hellström Original Article Open access 19 July 2021 Pages: 243 - 261
Preface to Martin Kutrib Festschrift Henning FernauAndreas MalcherGiovanni Pighizzini Preface 19 July 2021 Pages: 241 - 242
Correction to: A linear-time branching-time perspective on interface automata Walter VoglerGerald Lüttgen Correction Open access 08 July 2021 Pages: 677 - 677
Correction to: Solving high-level Petri games Manuel GiesekingErnst-Rüdiger OlderogNick Würdemann Correction Open access 08 July 2021 Pages: 675 - 676
Proportional lumpability and proportional bisimilarity Andrea MarinCarla PiazzaSabina Rossi Original Article Open access 21 June 2021 Pages: 211 - 244
An automated system repair framework with signal temporal logic Mert ErgurtunaBeyazit YalcinkayaEbru Aydin Gol Original Article Open access 17 June 2021 Pages: 183 - 209
Finite automata with undirected state graphs Martin KutribAndreas MalcherChristian Schneider Original Article Open access 24 May 2021 Pages: 163 - 181
Sound reasoning in tock-CSP James BaxterPedro RibeiroAna Cavalcanti Original Article Open access 17 April 2021 Pages: 125 - 162
Session-based concurrency, declaratively Mauricio CanoHugo A. LópezCamilo Rueda Original Article Open access 18 March 2021 Pages: 1 - 87
Configurable verification of timed automata with discrete variables Tamás TóthIstván Majzik Original Article Open access 15 December 2020 Pages: 1 - 35
Measuring the constrained reachability in quantum Markov chains Ming XuCheng-Chao HuangYuan Feng Original Article 04 November 2020 Pages: 653 - 674
DKL: an efficient algorithm for learning deterministic Kripke structures Rabia MazharMuddassar Azam Sindhu Original Article 09 September 2020 Pages: 611 - 651
Equilibria for games with combined qualitative and quantitative objectives Julian GutierrezAniello MuranoMichael Wooldridge Original Article 13 June 2020 Pages: 585 - 610
Bitopological duality for algebras of Fitting’s logic and natural duality extension Litan Kumar DasKumar Sankar Ray Original Article 24 May 2020 Pages: 571 - 584
A complete axiomatization of weighted branching bisimulation Mathias Claus JensenKim Guldstrand Larsen Original Article 06 May 2020 Pages: 689 - 725
Characteristic invariants in Hennessy–Milner logic Marc JasperMaximilian SchlüterBernhard Steffen Original Article Open access 06 May 2020 Pages: 671 - 687
Minimal consistent DFA from sample strings Chenyi Zhang Original Article 06 May 2020 Pages: 657 - 670
SMT-based generation of symbolic automata Xudong QinSimon BliudzeMin Zhang Original Article 06 May 2020 Pages: 627 - 656
Solving high-level Petri games Manuel GiesekingErnst-Rüdiger OlderogNick Würdemann Original Article Open access 06 May 2020 Pages: 591 - 626
Off-the-shelf automated analysis of liveness properties for just paths Mark BouwmanBas LuttikTim Willemse Original Article Open access 06 May 2020 Pages: 551 - 590
A linear-time branching-time perspective on interface automata Walter VoglerGerald Lüttgen Original Article Open access 06 May 2020 Pages: 513 - 550
On the probabilistic bisimulation spectrum with silent moves Christel BaierPedro R. D’ArgenioHolger Hermanns Original Article 06 May 2020 Pages: 465 - 512
Translating between models of concurrency David MestelA. W. Roscoe Original Article Open access 06 May 2020 Pages: 403 - 438
All congruences below stability-preserving fair testing or CFFD Antti Valmari Original Article Open access 06 May 2020 Pages: 353 - 383
Out for coffee: with Rob Ansgar Fehnker Private Contribution Open access 06 May 2020 Pages: 323 - 327
Synchronous and asynchronous communication(s) between three parties Ursula GoltzJens-W. Schicke-Uffmann Private Contribution 06 May 2020 Pages: 313 - 320
Team bisimilarity, and its associated modal logic, for BPP nets Roberto Gorrieri Original Article 13 March 2020 Pages: 529 - 569
Indecision and delays are the parents of failure—taming them algorithmically by synthesizing delay-resilient control Mingshuai ChenMartin FränzleNaijun Zhan Original Article Open access 20 February 2020 Pages: 497 - 528
Complement for two-way alternating automata Viliam GeffertChristos A. KapoutsisMohammad Zakzok Original Article 17 February 2020 Pages: 463 - 495
Watson–Crick quantum finite automata Debayan GangulyKingshuk ChatterjeeKumar Sankar Ray Original Article 10 February 2020 Pages: 231 - 240
A deterministic parsing algorithm for ambiguous regular expressions Angelo BorsottiLuca BreveglieriAngelo Morzenti Original Article 04 February 2020 Pages: 195 - 229
Arithmetical datatypes with true fractions Jan A. BergstraAlban Ponse Original Article Open access 13 January 2020 Pages: 385 - 402
Aggregation-based minimization of finite state automata Johanna BjörklundLoek Cleophas Original Article Open access 06 January 2020 Pages: 177 - 194
On deterministic sensing \(5'\rightarrow 3'\) Watson–Crick finite automata: a full hierarchy in 2detLIN Benedek NagyShaghayegh Parchami Original Article 06 January 2020 Pages: 153 - 175
Parameterized synthesis of self-stabilizing protocols in symmetric networks Nahal MirzaieFathiyeh FaghihBorzoo Bonakdarpour Original Article 20 December 2019 Pages: 271 - 304
Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity Joost EngelfrietKazuhiro InabaSebastian Maneth Original Article 09 December 2019 Pages: 95 - 152
