Invariant relations for affine loops Wided GhardallouHessamaldin MohammadiAli Mili Original Article Open access 13 May 2024
Revisiting 2–3 red–black trees with a pedagogically sound yet efficient deletion algorithm: parity-seeking Kamaledin Ghiasi-ShiraziTaraneh GhandiAli Rahimi-Baigi Original Article 29 March 2024
Distance-edge-monitoring sets of networks Gang YangJiannan ZhouYaping Mao Original Article 19 March 2024 Pages: 183 - 198
An encoding of the \(\lambda \)-calculus in the String MultiSet Rewriting calculus Attila BagossyPéter Battyányi Original Article Open access 13 March 2024 Pages: 161 - 181
Exact distributed quantum algorithm for generalized Simon’s problem Hao LiDaowen QiuPaulo Mateus Original Article 10 March 2024 Pages: 131 - 159
New families of Laplacian borderenergetic graphs Cahit Dede Original Article 26 February 2024 Pages: 115 - 129
Approximating subset sum ratio via partition computations Giannis AlonistiotisAntonis AntonopoulosManolis Vasilakis Original Article Open access 12 January 2024 Pages: 101 - 113
Neighborhood mutual remainder: self-stabilizing distributed implementation and applications Shlomi DolevSayaka KameiKoichi Wada Original Article 18 December 2023 Pages: 83 - 100
n-PS-codes, 2-infix-outfix codes and some related classes of codes Haiyan LiuRongdong CuiTianjie Zhang Original Article 15 December 2023 Pages: 67 - 81
Balancing m-ary search trees with compressions on the fringe Shuyang GaoLeen HatemHosam Mahmoud Original Article 15 December 2023 Pages: 53 - 66
Editorial 2023: changes and invariants Henning Fernau Editorial Open access 03 November 2023 Pages: 331 - 333
A decision procedure for string constraints with string/integer conversion and flat regular constraints Hao WuYu-Fang ChenNaijun Zhan Original Article 24 October 2023 Pages: 23 - 52
Discovering workflow nets of concurrent iterative processes Tonatiuh Tapia-FloresErnesto López-Mellado Original Article Open access 14 September 2023 Pages: 1 - 21
The second step in characterizing a three-word code Chunhua CaoJiao XuQian Du Original Article 08 September 2023 Pages: 453 - 465
On first-order runtime enforcement of branching-time properties Luca AcetoIan CassarAnna Ingólfsdóttir Original Article 03 August 2023 Pages: 385 - 451
Dot to dot, simple or sophisticated: a survey on shape reconstruction algorithms Farnaz SheikhiBehnam ZeraatkarSama Hanaie Review 01 August 2023 Pages: 335 - 359
Testing membership for timed automata Richard LassaigneMichel de Rougemont Original Article 17 July 2023 Pages: 361 - 384
Simple chain automaton random number generator for IoT devices Pál DömösiGéza HorváthNorbert Tihanyi Original Article Open access 08 June 2023 Pages: 317 - 329
Constrained polynomial zonotopes Niklas KochdumperMatthias Althoff Original Article Open access 05 May 2023 Pages: 279 - 316
On the undecidability and descriptional complexity of synchronized regular expressions Jingnan XieHarry B. Hunt III Original Article Open access 10 April 2023 Pages: 257 - 278
Toward a theory of program repair Besma KhaireddineAleksandr ZakharchenkoAli Mili Original Article 27 March 2023 Pages: 209 - 255
On partial information retrieval: the unconstrained 100 prisoner problem Ivano LodatoSnehal M. ShekatkarTian An Wong Original Article 30 December 2022 Pages: 179 - 208
Decentralized runtime verification of message sequences in message-based systems Mahboubeh SamadiFatemeh GhassemiRamtin Khosravi Original Article 10 October 2022 Pages: 145 - 178
Exploration of k-edge-deficient temporal graphs Thomas ErlebachJakob T. Spooner Original Article Open access 27 August 2022 Pages: 387 - 407
Properties of graphs specified by a regular language Volker DiekertHenning FernauPetra Wolf Original Article Open access 12 August 2022 Pages: 357 - 385
Preface to Klaus-Jörn Lange Festschrift Henning FernauMarkus HolzerPetra Wolf Editorial Open access 09 August 2022 Pages: 285 - 287
On the decidability of finding a positive ILP-instance in a regular set of ILP-instances Petra Wolf Original Article Open access 04 August 2022 Pages: 505 - 519
Pushdown automata and constant height: decidability and bounds Giovanni PighizziniLuca Prigioniero Original Article Open access 27 July 2022 Pages: 123 - 144
Reoptimization of parameterized problems Hans-Joachim BöckenhauerElisabet BurjonsPeter Rossmanith Original Article Open access 25 July 2022 Pages: 427 - 450
The regular languages of wire linear AC\(^0\) Michaël CadilhacCharles Paperman Original Article 25 July 2022 Pages: 321 - 336
Careful synchronization of partial deterministic finite automata Hanan ShabanaM. V. Volkov Original Article 22 July 2022 Pages: 479 - 504
Operational complexity and pumping lemmas Jürgen DassowIsmaël Jecker Original Article Open access 20 July 2022 Pages: 337 - 355
Weighted throughput in a single machine preemptive scheduling with continuous controllable processing times Asaf LevinTal Shusterman Original Article 19 July 2022 Pages: 101 - 122
Alternating complexity of counting first-order logic for the subword order Dietrich KuskeChristian Schwarz Original Article Open access 26 June 2022 Pages: 79 - 100
Lamplighter groups and automata Sanjay JainBirzhan MoldagaliyevTien Dat Tran Original Article 08 June 2022 Pages: 451 - 478
Depth-first search in directed planar graphs, revisited Eric AllenderArchit ChauhanSamir Datta Original Article 04 June 2022 Pages: 289 - 319
Secret-shared RAM indefinite private and secure RAM execution of perfectly unrevealed programs Shlomi DolevYin Li Original Article 20 April 2022 Pages: 59 - 78
Reactive bisimulation semantics for a process algebra with timeouts Rob van Glabbeek Original Article Open access 08 April 2022 Pages: 11 - 57
Translation validation of coloured Petri net models of programs on integers Soumyadip BandyopadhyayDipankar SarkarHolger Giese Original Article 06 April 2022 Pages: 725 - 759
From regular expression matching to parsing Philip BilleInge Li Gørtz Original Article 30 March 2022 Pages: 709 - 724
\(\mathcal {L}\)-reduction computation revisited Kaoru FujiokaFumiya OkuboTakashi Yokomori Original Article 24 March 2022 Pages: 409 - 426
Minimum status of trees with a given degree sequence Haiyan GuoBo Zhou Original Article 17 February 2022 Pages: 1 - 10
On Huang and Wong’s algorithm for generalized binary split trees Marek ChrobakMordecai GolinNeal E. Young Original Article Open access 14 February 2022 Pages: 687 - 708
A jumping \(5'\rightarrow 3'\) Watson–Crick finite automata model Radim KocmanZbyněk KřivkaBenedek Nagy Original Article 24 January 2022 Pages: 557 - 584
Improved complement for two-way alternating automata Viliam GeffertChristos A. KapoutsisMohammad Zakzok Original Article 21 January 2022 Pages: 619 - 669
Hierarchical heuristics for Boolean-reasoning-based binary bicluster induction Marcin Michalak Original Article Open access 21 January 2022 Pages: 673 - 685
Index appearance record with preorders Jan KřetínskýTobias MeggendorferMaximilian Weininger Original Article Open access 30 December 2021 Pages: 585 - 618
Correction to: Reactive synthesis without regret Paul HunterGuillermo A. PérezJean-François Raskin Correction 20 October 2021 Pages: 671 - 671
Correction to: Sound reasoning in tock-CSP James BaxterPedro RibeiroAna Cavalcanti Correction 15 October 2021 Pages: 283 - 283
