Travelled to:1 × Austria
1 × Denmark
1 × France
1 × Spain
1 × USA
2 × United Kingdom
Collaborated with:M.M.Bonsangue F.S.d.Boer J.J.M.M.Rutten B.Klin C.Kupke J.Moerman F.Bonchi D.Petrisan D.Pous S.d.Gouw R.Bubel R.Hähnle D.Ancona
Talks about:coinduct (4) coalgebra (2) semant (2) logic (2) set (2) bialgebra (1) techniqu (1) program (1) pointer (1) languag (1)
Person: Jurriaan Rot
DBLP: Rot:Jurriaan
Contributed to:
2015
20152014
2014
2014
2013
2012
2020Wrote 9 papers:
- CAV-2015-GouwRBBH #java
- OpenJDK’s Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case (SdG, JR, FSdB, RB, RH), pp. 273–289.
- FoSSaCS-2015-KlinR #algebra #logic #semantics
- Coalgebraic Trace Semantics via Forgetful Logics (BK, JR), pp. 151–166.
- FoSSaCS-2014-RotB #algebra #equation #semantics
- Combining Bialgebraic Semantics and Equations (JR, MMB), pp. 381–395.
- ICALP-v2-2014-BonsangueRABR #algebra #induction
- A Coalgebraic Foundation for Coinductive Union Types (MMB, JR, DA, FSdB, JJMMR), pp. 62–73.
- LICS-CSL-2014-BonchiPPR #induction
- Coinduction up-to in a fibrational setting (FB, DP, DP, JR), p. 9.
- LATA-2013-RotBR #equivalence #induction #proving
- Coinductive Proof Techniques for Language Equivalence (JR, MMB, JJMMR), pp. 480–492.
- IJCAR-2012-BoerBR #automation #pointer #recursion #source code #verification
- Automated Verification of Recursive Programs with Pointers (FSdB, MMB, JR), pp. 149–163.
- CSL-2020-KupkeR #induction #logic
- Expressive Logics for Coinductive Predicates (CK, JR), p. 18.
- CSL-2020-MoermanR #set
- Separation and Renaming in Nominal Sets (JM, JR), p. 17.