Inria

Identifiers

• name variant Inria 0.60 · backfill

Papers (18)

1. Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications cs.PL · 2026 · author #3
2. Global types and event structure semantics for asynchronous multiparty sessions cs.LO · 2021 · author #2
3. Is affine invariance well defined on SPD matrices? A principled continuum of metrics math.DG · 2019 · author #2
4. Efficient Primal-Dual Algorithms for Large-Scale Multiclass Classification stat.ML · 2019 · author #2
5. Rational normal forms and stability of small solutions to nonlinear Schr\"odinger equations math.AP · 2018 · author #4
6. Unique Solutions of Contractions, CCS, and their HOL Formalisation cs.LO · 2018 · author #4
7. Sharing a Library between Proof Assistants: Reaching out to the HOL Family cs.LO · 2018 · author #5
8. A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and Beyond quant-ph · 2018 · author #3
9. Database Consistency Models cs.DC · 2018 · author #2
10. A Formal TLS Handshake Model in LNT cs.CR · 2018 · author #5
11. Co-processor-based Behavior Monitoring: Application to the Detection of Attacks Against the System Management Mode cs.CR · 2018 · author #8
12. Language and Proofs for Higher-Order SMT (Work in Progress) cs.LO · 2017 · author #3
13. Transforming face-to-face identity proofing into anonymous digital identity using the Bitcoin blockchain cs.CR · 2017 · author #2
14. Tableaux Modulo Theories Using Superdeduction cs.LO · 2015 · author #7
15. Avoiding Shared Clocks in Networks of Timed Automata cs.FL · 2013 · author #3
16. Tiling Problems on Baumslag-Solitar groups cs.DM · 2013 · author #4
17. Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus cs.LO · 2012 · author #3
18. On Selective Unboundedness of VASS cs.FL · 2010 · author #4

Mentions

• 1310.5558 #3 · backfill · confidence 0.70 Inria
• 1309.1266 #4 · backfill · confidence 0.70 Inria
• 1203.0670 #3 · backfill · confidence 0.70 Inria
• 1011.0217 #4 · backfill · confidence 0.70 Inria

Frequent Coauthors

• CNRS 8 shared papers
• France) 3 shared papers
• CNRS) 2 shared papers
• Grenoble INP 2 shared papers
• INRIA) 2 shared papers
• LIX) 2 shared papers
• LORIA 2 shared papers
• 2) 1 shared papers
• (2) CIDRE Team 1 shared papers
• 38000 Grenoble 1 shared papers
• Austria) 1 shared papers
• Beniamino Accattoli (LIPN (CNRS 1 shared papers
• Benoit Grebert (LMJL) 1 shared papers
• Catherine Dubois (CEDRIC 1 shared papers
• CentraleSup\'elec 1 shared papers
• Chun Tian (Fondazione Bruno Kessler 1 shared papers
• CNAM Paris 1 shared papers
• Daniel Augot (GRACE 1 shared papers
• Daniel El Ouraoui (University of Lorraine 1 shared papers
• David Delahaye (CEDRIC 1 shared papers