Jan Rutten

Identifiers

• name variant Jan Rutten 0.60 · backfill

Papers (2)

1. Stream Differential Equations: Specification Formats and Solution Methods cs.LO · 2016 · author #3
2. Automatic Equivalence Proofs for Non-deterministic Coalgebras cs.LO · 2013 · author #5

Mentions

• 1303.1994 #5 · backfill · confidence 0.70 Jan Rutten

Frequent Coauthors

• Alexandra Silva 1 shared papers
• Clemens Kupke 1 shared papers
• Dorel Lucanu 1 shared papers
• Eugen-Ioan Goriac 1 shared papers
• Georgiana Caltais 1 shared papers
• Helle Hvid Hansen 1 shared papers
• Marcello Bonsangue 1 shared papers