bibliographer - Jan Friso Groote

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Real Equation Systems with Alternating Fixed-points (full version with proofs) Jan Friso Groote Tim A. C. Willemse [github]

Correct and Efficient Antichain Algorithms for Refinement Checking Maurice Laveaux Jan Friso Groote Tim A. C. Willemse [github]

An O(m log n) Algorithm for Stuttering Equivalence and Branching Bisimulation Jan Friso Groote Anton Wijs [github]

Structured operational semantics and bisimulation as a congruence Jan Friso Groote Frits Vaandrager [github]

Verification of Temporal Properties of Processes in a Setting with Data Jan Friso Groote Radu Mateescu [github]

An efficient algorithm for branching bisimulation and stuttering equivalence Jan Friso Groote Frits Vaandrager [github]

Notions of bisimulation and congruence formats for SOS with data Mohammad Reza Mousavi Michel A. Reniers Jan Friso Groote [github]

Parameterised boolean equation systems Jan Friso Groote Tim A.C. Willemse [github]

A linear translation from CTL* to the first-order modal mu -calculus Sjoerd Cranen Jan Friso Groote Michel Reniers [github]

SWITCHING GRAPHS JAN FRISO GROOTE BAS PLOEGER [github]

The meaning of negative premises in transition system specifications Roland Bol Jan Friso Groote [github]

Computer assisted manipulation of algebraic process specifications Jan Friso Groote Bert Lisser [github]

Library Size: 13G (12 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]