Nicolas Maquet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2008–2010
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | ATVA | Lattice-Valued Binary Decision Diagrams. | Gilles Geeraerts, Gabriel Kalyon, Tristan Le Gall, Nicolas Maquet, Jean-Franois Raskin |
| 2008 | ATVA | Alaska. | Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-Franois Raskin |
| 2008 | TACAS | Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking. | Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-Franois Raskin |