The Church Synthesis Problem over Continuous Time

Subjects: “…Computer Science & Information Science…”
Get full text

Rewriting techniques for relative coherence

Subjects: “…Computer Science & Information Science…”
Get full text

A Monoidal View on Fixpoint Checks

Subjects: “…Computer Science & Information Science…”
Get full text

A Curry-Howard Correspondence for Linear, Reversible Computation

Subjects: “…Computer Science & Information Science…”
Get full text

The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)

Subjects: “…Computer Science & Information Science…”
Get full text

Automata Linear Dynamic Logic on Finite Traces

Subjects: “…Computer Science & Information Science…”
Get full text

A Behavioral Theory for Distributed Systems with Weak Recovery

Subjects: “…Computer Science & Information Science…”
Get full text

Hydra Battles and AC Termination

Subjects: “…Computer Science & Information Science…”
Get full text

Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems

Subjects: “…Computer Science & Information Science…”
Get full text

Algorithms for Markov Binomial Chains

Subjects: “…Computer Science & Information Science…”
Get full text

On first-order transductions of classes of graphs

Subjects: “…Computer Science & Information Science…”
Get full text

Fractals from Regular Behaviours

Subjects: “…Computer Science & Information Science…”
Get full text

Beyond Value Iteration for Parity Games: Strategy Iteration with Universal Trees

Subjects: “…Computer Science & Information Science…”
Get full text

Conjunctive Queries with Free Access Patterns under Updates

Subjects: “…Computer Science & Information Science…”
Get full text

Indivisibility and uniform computational strength

Subjects: “…Computer Science & Information Science…”
Get full text

The Identity Problem in the special affine group of $mathbb{Z}^2$

Subjects: “…Computer Science & Information Science…”
Get full text

Relating Reversible Petri Nets and Reversible Event Structures, categorically

Subjects: “…Computer Science & Information Science…”
Get full text

Stochastic Window Mean-Payoff Games

Subjects: “…Computer Science & Information Science…”
Get full text

Discounted-Sum Automata with Multiple Discount Factors

Subjects: “…Computer Science & Information Science…”
Get full text

Completions of Kleene's second model

Subjects: “…Computer Science & Information Science…”
Get full text