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
An encoding of the \(\lambda \)-calculus in the String MultiSet Rewriting calculus Attila BagossyPéter Battyányi Original Article Open access 13 March 2024
Exact distributed quantum algorithm for generalized Simon’s problem Hao LiDaowen QiuPaulo Mateus Original Article 10 March 2024
Approximating subset sum ratio via partition computations Giannis AlonistiotisAntonis AntonopoulosManolis Vasilakis Original Article Open access 12 January 2024
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
Interface Automata for Shared Memory Ayleen SchinkoWalter VoglerGerald Lüttgen Original Article Open access 30 August 2021 Pages: 521 - 556