Alaska. - Martin De Wulf; Laurent Doyen 001; Nicolas Maquet; Jean-François Raskin (ATVA, 2008)

Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking. - Martin De Wulf; Laurent Doyen 001; Nicolas Maquet; Jean-François Raskin (TACAS, 2008)

Fixpoint Guided Abstraction Refinement for Alternating Automata. - Pierre Ganty; Nicolas Maquet; Jean-François Raskin (CIAA, 2009)

Lattice-Valued Binary Decision Diagrams. - Gilles Geeraerts; Gabriel Kalyon; Tristan Le Gall; Nicolas Maquet; Jean-François Raskin (ATVA, 2010)

Fixed point guided abstraction refinement for alternating automata. - Pierre Ganty; Nicolas Maquet; Jean-François Raskin (Theor. Comput. Sci., 2010)