Mickael Randour
发表
J. Raskin,
Mathieu Sassolas,
G. Pérez,
2018
.
J. Raskin,
O. Sankur,
Mickael Randour,
2014,
Formal Methods in System Design.
James C. A. Main,
J. Sproston,
Mickael Randour,
2022,
FORMATS.
P. Bouyer,
Mickael Randour,
P. Vandenhove,
2021,
STACS.
P. Bouyer,
Mickael Randour,
P. Vandenhove,
2022,
ArXiv.
K. Larsen,
P. Bouyer,
N. Markey,
2018
.
K. Larsen,
P. Bouyer,
N. Markey,
2015,
1509.07205.
Stéphane Le Roux,
P. Bouyer,
Y. Oualhadj,
2020,
CONCUR.
P. Bouyer,
Mickael Randour,
P. Vandenhove,
2022,
ArXiv.
James C. A. Main,
Mickael Randour,
2022,
CONCUR.
Mickael Randour,
Mickael Randour,
2016,
ArXiv.
Mickael Randour,
Mickael Randour,
2012,
ArXiv.
Lorenzo Clemente,
Mickael Randour,
Guillermo A. Pérez,
2015,
LATA.
Patricia Bouyer,
Nicolas Markey,
Mickael Randour,
2016,
ICALP.
Krishnendu Chatterjee,
Mickael Randour,
Jean-François Raskin,
2013,
Inf. Comput..
Window Parity Games: An Alternative Approach Toward Parity Games with Time Bounds (Full Version)
pdf
Véronique Bruyère,
Mickael Randour,
Quentin Hautem,
2016,
GandALF.
Kim G. Larsen,
Patricia Bouyer,
Nicolas Markey,
2015,
Acta Informatica.
Krishnendu Chatterjee,
Mickael Randour,
Jean-François Raskin,
2012,
Acta Informatica.
Stéphane Le Roux,
P. Bouyer,
Y. Oualhadj,
2020,
ArXiv.
Stéphane Le Roux,
P. Bouyer,
Y. Oualhadj,
2020,
CONCUR.
P. Bouyer,
Nathanaël Fijalkow,
Mickael Randour,
2022,
International Colloquium on Automata, Languages and Programming.
P. Bouyer,
Mickael Randour,
Antonio Casares,
2022,
CONCUR.
P. Bouyer,
Mickael Randour,
Pierre Vandenhove,
2021,
STACS.
Patricia Bouyer,
Mickael Randour,
Youssouf Oualhadj,
2021,
CONCUR.
P. Bouyer,
Mickael Randour,
Pierre Vandenhove,
2022,
FSTTCS.
J. Katoen,
Tim Quatmann,
Mickael Randour,
2019,
TACAS.
Véronique Bruyère,
Mickael Randour,
Jean-François Raskin,
2019,
CONCUR.
Mickael Randour,
Thomas Brihaye,
Youssouf Oualhadj,
2019,
CONCUR.
Arno Pauly,
Mickael Randour,
Stéphane Le Roux,
2018,
FSTTCS.
Patricia Bouyer,
Nicolas Markey,
Mickael Randour,
2016,
FoSSaCS.
Véronique Bruyère,
Mickael Randour,
Jean-François Raskin,
2013,
STACS.
O. Sankur,
Mickael Randour,
Jean-François Raskin,
2017,
Formal methods in system design.
J. Katoen,
Tim Quatmann,
Mickael Randour,
2019,
ArXiv.
Patricia Bouyer,
Nicolas Markey,
Mickael Randour,
2018,
GandALF.
Mickael Randour,
Jean-François Raskin,
Raphaël Berthon,
2017,
ICALP.
Mickael Randour,
Jean-François Raskin,
Ocan Sankur,
2014,
VMCAI.
Mickael Randour,
Jean-François Raskin,
Ocan Sankur,
2014,
CAV.
Mickael Randour,
Jeremy Sproston,
James C. A. Main,
2021,
CONCUR.
Kim G. Larsen,
Patricia Bouyer,
Nicolas Markey,
2015,
ArXiv.
P. Bouyer,
Nathanaël Fijalkow,
Mickael Randour,
2022,
ICALP.
P. Bouyer,
Mickael Randour,
Cédric Rivière,
2020,
GandALF.