LIPN

Identifiers

No identifiers captured yet.

Papers (3)

1. A Rocq Formalization of Simplicial Lagrange Finite Elements cs.LO · 2026 · author #8
2. Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications cs.LO · 2014 · author #4
3. Proceedings 1st International Workshop on Synthesis of Continuous Parameters cs.SC · 2014 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• CNRS 2 shared papers
• France) 2 shared papers
• Sorbonne Paris Cit\'e 2 shared papers
• Villetaneuse 2 shared papers
• CERMICS UMR 9032) 1 shared papers
• \'Etienne Andr\'e (Universit\'e Paris 13 1 shared papers
• F-93430 1 shared papers
• Fran\c{c}ois Cl\'ement (SERENA 1 shared papers
• Goran Frehse (Verimag 1 shared papers
• Grenoble 1 shared papers
• Houda Mouhcine (TOCCATA 1 shared papers
• Laure Petrucci (Universit\'e Paris 13 1 shared papers
• LIPN) 1 shared papers
• Micaela Mayero (TOCCATA 1 shared papers
• SERENA 1 shared papers
• Shang-Wei Lin 1 shared papers
• Sylvie Boldo (TOCCATA) 1 shared papers
• UMR 7030 1 shared papers
• Vincent Martin (LMAC) 1 shared papers