IRIF)

Identifiers

No identifiers captured yet.

Papers (5)

1. Efficient Loop Detection in Forwarding Networks and Representing Atoms in a Field of Sets cs.NI · 2018 · author #4
2. The Dependent Doors Problem: An Investigation into Sequential Decisions without Feedback cs.AI · 2017 · author #2
3. An algebraic approach to MSO-definability on countable linear orderings cs.LO · 2017 · author #3
4. Minimum Eccentricity Shortest Path Problem: an Approximation Algorithm and Relation with the k-Laminarity Problem cs.CC · 2016 · author #4
5. Set-Theoretic Types for Polymorphic Variants cs.PL · 2016 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Amos Korman (GANG 1 shared papers
• DIBRIS) 1 shared papers
• Diego Perino 1 shared papers
• Etienne Birmel\'e (MAP5) 1 shared papers
• Fabien De Montgolfier (IRIF) 1 shared papers
• Fabien Mathieu (LINCS) 1 shared papers
• Gabriele Puppis (CNRS 1 shared papers
• GANG) 1 shared papers
• Giuseppe Castagna (CNRS 1 shared papers
• Kim Nguyen (LRI) 1 shared papers
• Laurent Viennot (IRIF 1 shared papers
• Leonardo Linguaglossa (LINCS) 1 shared papers
• L\'eo Planche (MAP5 1 shared papers
• Olivier Carton (IRIF) 1 shared papers
• Thomas Colcombet (CNRS 1 shared papers
• Tommaso Petrucciani (IRIF 1 shared papers
• Yacine Boufkhad (GANG 1 shared papers
• Yoav Rodeh 1 shared papers