Serial and parallel algorithms for order-preserving pattern matching based on the duel-and-sweep paradigm

2024-8-31

Linear-size suffix tries and linear-size CDAWGs simplified and improved

2024-8-23

Parameterized aspects of distinct kemeny rank aggregation

2024-8-15

Word-representable graphs from a word’s perspective

2024-8-10

A closer look at Hamiltonicity and domination through the lens of diameter and convexity

2024-8-3

Cycle encoding-based parameter synthesis for timed automata safety

2024-7-30

The longest letter-duplicated subsequence and related problems

2024-7-20

Invariant relations for affine loops

2024-5-13

Reachability analysis of linear systems

2024-4-9

Revisiting 2–3 red–black trees with a pedagogically sound yet efficient deletion algorithm: parity-seeking

2024-3-29

Distance-edge-monitoring sets of networks

2024-3-19

An encoding of the $$\lambda $$-calculus in the String MultiSet Rewriting calculus

2024-3-13

Exact distributed quantum algorithm for generalized Simon’s problem

2024-3-10

New families of Laplacian borderenergetic graphs

2024-2-26

Approximating subset sum ratio via partition computations

2024-1-12

Neighborhood mutual remainder: self-stabilizing distributed implementation and applications

2023-12-18

n-PS-codes, 2-infix-outfix codes and some related classes of codes

2023-12-15

Balancing m-ary search trees with compressions on the fringe

2023-12-15

Editorial 2023: changes and invariants

2023-11-3

A decision procedure for string constraints with string/integer conversion and flat regular constraints

2023-10-24

Discovering workflow nets of concurrent iterative processes

2023-9-14

The second step in characterizing a three-word code

2023-9-8

On first-order runtime enforcement of branching-time properties

2023-8-3

Dot to dot, simple or sophisticated: a survey on shape reconstruction algorithms

2023-8-1

Testing membership for timed automata

2023-7-17

Simple chain automaton random number generator for IoT devices

2023-6-8

Constrained polynomial zonotopes

2023-5-5

On the undecidability and descriptional complexity of synchronized regular expressions

2023-4-10

Toward a theory of program repair

2023-3-27

On partial information retrieval: the unconstrained 100 prisoner problem

2022-12-30

Decentralized runtime verification of message sequences in message-based systems

2022-10-10

Exploration of k-edge-deficient temporal graphs

2022-8-1

Preface to Klaus-Jörn Lange Festschrift

2022-8-1

Properties of graphs specified by a regular language

2022-8-1

On the decidability of finding a positive ILP-instance in a regular set of ILP-instances

2022-8-1

Pushdown automata and constant height: decidability and bounds

2022-7-27

Reoptimization of parameterized problems

2022-7-25

The regular languages of wire linear AC$$^0$$

2022-7-25

Careful synchronization of partial deterministic finite automata

2022-7-22

Operational complexity and pumping lemmas

2022-7-20

Weighted throughput in a single machine preemptive scheduling with continuous controllable processing times

2022-7-19

Alternating complexity of counting first-order logic for the subword order

2022-6-26

Lamplighter groups and automata

2022-6-8

Depth-first search in directed planar graphs, revisited

2022-6-4

Secret-shared RAM indefinite private and secure RAM execution of perfectly unrevealed programs

2022-4-20

Reactive bisimulation semantics for a process algebra with timeouts

2022-4-8

Translation validation of coloured Petri net models of programs on integers

2022-4-6

From regular expression matching to parsing

2022-3-30

$$\mathcal {L}$$-reduction computation revisited

2022-3-24

Minimum status of trees with a given degree sequence

2022-2-17