31
Publications
447
Citations
12
h-index
13
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (15)
- Book Chapter (9)
- Preprint (4)
- Dissertation (2)
- Other (1)
Filter by Open Access Type
- Open Access (13)
- Closed Access (18)
Filter by Authors
- Marie Duflot (31)
- Claudine Picaronny (6)
- Laurent Fribourg (6)
- Paolo Ballarini (5)
- Serge Haddad (4)
Filter by Topics
- Formal Methods in Verification (13)
- Petri Nets in System Modeling (8)
- Distributed systems and fault tolerance (6)
- Advanced Photocatalysis Techniques (4)
- Software Reliability and Analysis Research (4)