156
Publications
3,215
Citations
23
h-index
46
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (66)
- Preprint (49)
- Book Chapter (35)
- Report (3)
- Dissertation (2)
Filter by Open Access Type
- Open Access (50)
- Closed Access (106)
Filter by Authors
- Jérôme Leroux (156)
- Grégoire Sutre (31)
- Alain Finkel (11)
- Patrick Totzke (9)
- Dimitri Lague (9)
Filter by Topics
- Formal Methods in Verification (89)
- semigroups and automata theory (46)
- Petri Nets in System Modeling (43)
- Logic, programming, and type systems (39)
- Distributed systems and fault tolerance (18)