EDBT 2026 Demo / reviewers in the wild / expert
P. J. A. van Tilburg
dblp:50/147 · also Paul van Tilburg
· DBLP profile ↗
5ranked-venue papers
0as first author
0since 2021 · last 2016
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 5
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
1 paper |
Automata and formal languages · 50% Logic in computer science · 50% |
Topics — the 2 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Logic in computer science
concurrency theory |
0.2 | 1 | 2013 | Reactive Turing machines · Inf. Comput. 2013 |
Automata and formal languages
turing machines |
0.2 | 1 | 2013 | Reactive Turing machines · Inf. Comput. 2013 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2016 | Expressiveness modulo bisimilarity of regular expressions with parallel compositionabstractThe languages accepted by finite automata are precisely the languages denoted by regular expressions. In contrast, finite automata may exhibit behaviours that cannot be described by regular expressions up to bisimilarity. In this paper, we consider extensions of the theory of regular expressions with various forms of parallel composition and study the effect on expressiveness. First we prove that adding pure interleaving to the theory of regular expressions strictly increases its expressiveness modulo bisimilarity. Then, we prove that replacing the operation for pure interleaving by ACP-style parallel composition gives a further increase in expressiveness, still insufficient, however, to facilitate the expression of all finite automata up to bisimilarity. Finally, we prove that the theory of regular expressions with ACP-style parallel composition and encapsulation is expressive enough to express all finite automata up to bisimilarity. Our results extend the expressiveness results obtained by Bergstra, Bethke and Ponse for process algebras with (the binary variant of) Kleene's star operation. Jos C. M. Baeten, Bas Luttik, Tim Muller, P. J. A. van Tilburg |
Math. Struct. Comput. Sci. | 4 |
| 2013 | Reactive Turing machines
Jos C. M. Baeten, Bas Luttik, P. J. A. van Tilburg |
Inf. Comput. | 3 |
| 2012 | Turing Meets Milner
Jos C. M. Baeten, Bas Luttik, P. J. A. van Tilburg |
CONCUR | 3 |
| 2011 | Reactive Turing Machines
Jos C. M. Baeten, Bas Luttik, P. J. A. van Tilburg |
FCT | 3 |
| 2008 | A Context-Free Process as a Pushdown Automaton
Jos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. van Tilburg |
CONCUR | 3 |