Jurriaan Rot

Identifiers

• name variant Jurriaan Rot 0.60 · backfill

Papers (6)

1. Correct and Complete Symbolic Execution for Free cs.PL · 2026 · author #4
2. Incremental Fingerprinting in an Open World cs.CR · 2026 · author #6
3. Separation and Renaming in Nominal Sets cs.LO · 2019 · author #2
4. Bisimilarity of Open Terms in Stream GSOS cs.LO · 2018 · author #4
5. Coalgebraic Determinization of Alternating Automata cs.LO · 2018 · author #2
6. Coalgebraic trace semantics via forgetful logics cs.LO · 2016 · author #2

Mentions

• 2601.21680 #6 · arxiv_oai · confidence 0.70 Jurriaan Rot
• 2606.21698 #4 · arxiv_oai · confidence 0.70 Jurriaan Rot

Frequent Coauthors

• Einar Broch Johnsen 2 shared papers
• {\AA}smund Aqissiaq Arild Kl{\o}vstad 1 shared papers
• Alexandra Silva 1 shared papers
• Andrea Pferscher 1 shared papers
• Bartek Klin 1 shared papers
• Erik Voogd 1 shared papers
• Filippo Bonchi 1 shared papers
• Joshua Moerman 1 shared papers
• Loes Kruger 1 shared papers
• Matias David Lee 1 shared papers
• Meven Bertrand 1 shared papers
• Paul Kobialka 1 shared papers
• Sebastian Junges 1 shared papers
• Tom van Bussel 1 shared papers