Nicolas Maquet

Publication Activity (10 Years)

Years Active: 2008-2010
Publications (10 Years): 0

Publications

Pierre Ganty, Nicolas Maquet, Jean-François Raskin
Fixed point guided abstraction refinement for alternating automata. Theor. Comput. Sci. 411 (38-39) (2010)
Gilles Geeraerts, Gabriel Kalyon, Tristan Le Gall, Nicolas Maquet, Jean-François Raskin
Lattice-Valued Binary Decision Diagrams. ATVA (2010)
Pierre Ganty, Nicolas Maquet, Jean-François Raskin
Fixpoint Guided Abstraction Refinement for Alternating Automata. CIAA (2009)
Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin
Alaska. ATVA (2008)
Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin
Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking. TACAS (2008)