Jean Goubault-Larrecq (LSV

Identifiers

• name variant Jean Goubault-Larrecq (LSV 0.60 · backfill

Papers (2)

1. Forward Analysis for WSTS, Part II: Complete WSTS cs.LO · 2012 · author #4
2. QRB-Domains and the Probabilistic Powerdomain cs.PL · 2012 · author #1

Mentions

• 1208.4549 #4 · backfill · confidence 0.70 Jean Goubault-Larrecq (LSV
• 1202.2287 #1 · backfill · confidence 0.70 Jean Goubault-Larrecq (LSV

Frequent Coauthors

• CNRS 2 shared papers
• ENS Cachan 2 shared papers
• INRIA) 2 shared papers
• Alain Finkel (LSV 1 shared papers
• CNRS) 1 shared papers