BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Rot:Jurriaan

Contributed to:

CAV 20152015
FoSSaCS 20152015
FoSSaCS 20142014
ICALP (2) 20142014
CSL-LICS 20142014
LATA 20132013
IJCAR 20122012
CSL 20202020

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.