Lo\"ig Jezequel

Identifiers

• name variant Lo\"ig Jezequel 0.60 · backfill

Papers (2)

1. Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters cs.SE · 2016 · author #3
2. Computation of Summaries Using Net Unfoldings cs.LO · 2013 · author #2

Mentions

• 1310.2143 #2 · backfill · confidence 0.70 Lo\"ig Jezequel

Frequent Coauthors

• Beno\^it Delahaye 1 shared papers
• Javier Esparza 1 shared papers
• Ji\v{r}\'i Srba 1 shared papers
• Nicolas Markey 1 shared papers
• Stefan Schwoon 1 shared papers
• Thomas Brihaye 1 shared papers