LIG

Identifiers

• name variant LIG 0.60 · backfill

Papers (5)

1. Variational Encoder--Multi-Decoder (VE-MD) for Privacy-by-functional-design (Group) Emotion Recognition cs.CV · 2026 · author #2
2. A Formal TLS Handshake Model in LNT cs.CR · 2018 · author #8
3. Completeness of algebraic CPS simulations cs.LO · 2012 · author #6
4. Deciding Kleene Algebras in Coq cs.LO · 2011 · author #2
5. A System F accounting for scalars cs.LO · 2009 · author #6

Mentions

• 1207.7146 #6 · backfill · confidence 0.70 LIG
• 1105.4537 #2 · backfill · confidence 0.70 LIG
• 0903.3741 #6 · backfill · confidence 0.70 LIG

Frequent Coauthors

• France) 2 shared papers
• 38000 Grenoble 1 shared papers
• Alejandro Diaz-Caro (Universite de Grenoble 1 shared papers
• Ali Assaf (LIG 1 shared papers
• Anderson Augusma (UGA 1 shared papers
• Austria) 1 shared papers
• CNRS 1 shared papers
• Damien Pous (CNRS 1 shared papers
• Dominique Vaufreydaz (LIG 1 shared papers
• \'Ecole polytechnique 1 shared papers
• F\'ed\'erique Letu\'e (SVH) 1 shared papers
• Franz Wotawa (Graz University of Technology - Institute of Software Technology 1 shared papers
• Graz 1 shared papers
• Grenoble INP 1 shared papers
• Inria 1 shared papers
• Josip Bozic (Graz University of Technology - Institute of Software Technology 1 shared papers
• Laboratoire LIPN) 1 shared papers
• LIG) 1 shared papers
• Lina Marsso (Univ. Grenoble Alpes 1 shared papers
• LIP 1 shared papers