Mickael Randour
发表
Kim G. Larsen,
Patricia Bouyer,
Nicolas Markey,
2015,
ArXiv.
Véronique Bruyère,
Mickael Randour,
Jean-François Raskin,
2019,
CONCUR.
Patricia Bouyer,
Nicolas Markey,
Mickael Randour,
2016,
FoSSaCS.
Patricia Bouyer,
Nicolas Markey,
Mickael Randour,
2016,
ICALP.
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.
Mickael Randour,
Jean-François Raskin,
Ocan Sankur,
2017,
Formal Methods Syst. Des..
Mickael Randour,
Thomas Brihaye,
Youssouf Oualhadj,
2019,
CONCUR.
Krishnendu Chatterjee,
Mickael Randour,
Jean-François Raskin,
2012,
CONCUR.
Lorenzo Clemente,
Mickael Randour,
Guillermo A. Pérez,
2015,
LATA.
Joost-Pieter Katoen,
Mickael Randour,
Tim Quatmann,
2019,
ArXiv.
Patricia Bouyer,
Nicolas Markey,
Mickael Randour,
2018,
GandALF.
Patricia Bouyer,
Mickael Randour,
Thomas Brihaye,
2020,
GandALF.
Mickael Randour,
2019
.
Mickael Randour,
Jean-François Raskin,
Ocan Sankur,
2014,
VMCAI.
Véronique Bruyère,
Mickael Randour,
Jean-François Raskin,
2014,
SR.
Mickael Randour,
Jean-François Raskin,
Raphaël Berthon,
2017,
ICALP.
Mickael Randour,
Mickael Randour,
2016,
ArXiv.
Patricia Bouyer,
Mickael Randour,
Stéphane Le Roux,
2020,
CONCUR.
Mickael Randour,
Jean-François Raskin,
Ocan Sankur,
2014,
CAV.
Krishnendu Chatterjee,
Mickael Randour,
Jean-François Raskin,
2013,
Inf. Comput..
Kim G. Larsen,
Patricia Bouyer,
Nicolas Markey,
2015,
Acta Informatica.
Mickael Randour,
Joost-Pieter Katoen,
Tim Quatmann,
2020,
TACAS.
Patricia Bouyer,
Mickael Randour,
Youssouf Oualhadj,
2020,
ArXiv.
Véronique Bruyère,
Mickael Randour,
Jean-François Raskin,
2013,
STACS.
Véronique Bruyère,
Mickael Randour,
Quentin Hautem,
2016
.
Krishnendu Chatterjee,
Mickael Randour,
Jean-François Raskin,
2015,
Inf. Comput..
Mickael Randour,
Mickael Randour,
2012,
ArXiv.
Patricia Bouyer,
Nicolas Markey,
Mickael Randour,
2015
.
Arno Pauly,
Mickael Randour,
Stéphane Le Roux,
2018,
FSTTCS.
Krishnendu Chatterjee,
Mickael Randour,
Jean-François Raskin,
2012,
Acta Informatica.
Patricia Bouyer,
Mickael Randour,
Pierre Vandenhove,
2021,
ArXiv.
Patricia Bouyer,
Mickael Randour,
Youssouf Oualhadj,
2021,
CONCUR.
Mickael Randour,
James C. A. Main,
2022
.
Mickael Randour,
Jeremy Sproston,
James C. A. Main,
2021,
CONCUR.
Patricia Bouyer,
Mickael Randour,
Thomas Brihaye,
2021,
Information and Computation.