O. Sankur
发表
P. Reynier,
Y. Oualhadj,
O. Sankur,
2014
.
J. Raskin,
Mathieu Sassolas,
G. Pérez,
2018
.
C. Baier,
O. Sankur,
Jakob Piribauer,
2022,
ICALP.
J. Raskin,
O. Sankur,
Mickael Randour,
2014,
Formal Methods in System Design.
C. Jard,
P. Bouyer,
B. Bérard,
2012
.
N. Bertrand,
N. Markey,
O. Sankur,
2022,
ArXiv.
N. Markey,
O. Sankur,
Aline Goeminne,
2022,
FORMATS.
D. Lime,
P. Bouyer,
O. Roux,
2013
.
Warren Schudy,
C. Mathieu,
O. Sankur,
2010
.
P. Bouyer,
P. Gastin,
O. Sankur,
2022,
FORMATS.
François Schwarzentruber,
O. Sankur,
Tristan Charrier,
2020,
Autonomous Agents and Multi-Agent Systems.
Claire Mathieu,
Ocan Sankur,
Warren Schudy,
2010,
STACS.
Ocan Sankur,
O. Sankur,
2013
.
Kim G. Larsen,
Patricia Bouyer,
Nicolas Markey,
2011,
CONCUR.
Nicolas Markey,
Ocan Sankur,
Nathalie Bertrand,
2020,
FSTTCS.
Jean-François Raskin,
Ocan Sankur,
Nicolas Basset,
2017,
Models, Algorithms, Logics and Tools.
Guillermo A. Pérez,
Jean-François Raskin,
Romain Brenguier,
2016,
FSTTCS.
Lorenzo Clemente,
Mickael Randour,
Guillermo A. Pérez,
2015,
LATA.
Jean-François Raskin,
Romain Brenguier,
Ocan Sankur,
2015,
Acta Informatica.
Nicolas Markey,
Ocan Sankur,
Victor Roussanaly,
2019,
CAV.
François Schwarzentruber,
Ocan Sankur,
Arthur Queffelec,
2021,
Canadian Conference on AI.
Patricia Bouyer,
Nicolas Markey,
Ocan Sankur,
2015,
Theor. Comput. Sci..
Patricia Bouyer,
Nicolas Markey,
Ocan Sankur,
2012,
ICALP.
Christel Baier,
Nathalie Bertrand,
Ocan Sankur,
2021,
CONCUR.
Christel Baier,
Nathalie Bertrand,
Ocan Sankur,
2018,
LICS.
Bernd Finkbeiner,
Jean-François Raskin,
Romain Brenguier,
2019,
ArXiv.
H. Marchand,
O. Sankur,
Abdul Majith,
2021
.
O. Sankur,
Mickael Randour,
Jean-François Raskin,
2017,
Formal methods in system design.
Mickael Randour,
Jean-François Raskin,
Ocan Sankur,
2014,
VMCAI.
Mickael Randour,
Jean-François Raskin,
Ocan Sankur,
2014,
CAV.
Romain Brenguier,
Stefan Göller,
Ocan Sankur,
2012,
CONCUR.
Leonid Ryzhyk,
Guillermo A. Pérez,
Jean-François Raskin,
2016,
SYNT.
Leonid Ryzhyk,
Rüdiger Ehlers,
Guillermo A. Pérez,
2015,
International Journal on Software Tools for Technology Transfer.
R. Bloem,
Robert Könighofer,
Nina Narodytska,
2016,
SYNT@CAV.
Nicolas Markey,
Ocan Sankur,
Patricia Bouyer-Decitre,
2010
.
Benjamin Monmege,
Pierre-Alain Reynier,
Ocan Sankur,
2019,
CAV.
Pierre-Alain Reynier,
Ocan Sankur,
Youssouf Oualhadj,
2014,
CONCUR.
Patricia Bouyer,
Nicolas Markey,
Pierre-Alain Reynier,
2013,
CONCUR.
Jean-Pierre Talpin,
Ocan Sankur,
J. Talpin,
2017,
TACAS.
N. Markey,
O. Sankur,
Thierry J'eron,
2020,
FORMATS.
Patricia Bouyer,
Nicolas Markey,
Ocan Sankur,
2014,
FSTTCS.
François Schwarzentruber,
Ocan Sankur,
Tristan Charrier,
2020,
Autonomous Agents and Multi-Agent Systems.
François Schwarzentruber,
Ocan Sankur,
Tristan Charrier,
2019,
AAMAS.