Filippo Bonchi (LIP)

Identifiers

• name variant Filippo Bonchi (LIP) 0.60 · backfill

Papers (2)

1. Coinduction up to in a fibrational setting cs.LO · 2014 · author #1
2. Partition Refinement for Bisimilarity in CCP cs.LO · 2012 · author #3

Mentions

• 1401.6675 #1 · backfill · confidence 0.70 Filippo Bonchi (LIP)
• 1212.1548 #3 · backfill · confidence 0.70 Filippo Bonchi (LIP)

Frequent Coauthors

• Andr\'es Aristiz\'abal (INRIA Saclay - Ile de France 1 shared papers
• Damien Pous (LIP) 1 shared papers
• Daniela Petrisan (LIP) 1 shared papers
• Frank D. Valencia (INRIA Saclay - Ile de France 1 shared papers
• Jurriaan Rot (LIACS) 1 shared papers
• LIX) 1 shared papers
• Luis Pino (INRIA Saclay - Ile de France) 1 shared papers