LIX

Identifiers

• name variant LIX 0.60 · backfill

Papers (5)

1. A Proof Theory for Model Checking: An Extended Abstract cs.LO · 2017 · author #4
2. The Complexity of Abstract Machines cs.PL · 2017 · author #2
3. Hide and New in the Pi-Calculus cs.PL · 2012 · author #6
4. Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems cs.CR · 2012 · author #2
5. A type checking algorithm for qualified session types cs.PL · 2011 · author #2

Mentions

• 1208.2749 #6 · backfill · confidence 0.70 LIX
• 1207.0872 #2 · backfill · confidence 0.70 LIX
• 1108.2360 #2 · backfill · confidence 0.70 LIX

Frequent Coauthors

• Ecole polytechnique 3 shared papers
• France) 3 shared papers
• Beniamino Accattoli (INRIA 1 shared papers
• Catuscia Palamidessi (INRIA 1 shared papers
• Catuscia Palamidessi (INRIA Saclay 1 shared papers
• Dale Miller (Inria Saclay 1 shared papers
• DI-FCT 1 shared papers
• \'Ecole Polytechnique) 1 shared papers
• Ecole Polytechnique) 1 shared papers
• Frank D. Valencia (INRIA Saclay 1 shared papers
• Italy) 1 shared papers
• Marco Giunti (CITI 1 shared papers
• Marco Giunti (INRIA 1 shared papers
• Marco Stronati (Universit\`a di Pisa 1 shared papers
• Portugal) 1 shared papers
• Quentin Heath (LIX 1 shared papers
• Universidade Nova de Lisboa 1 shared papers