Ocan Sankur
发表
Patricia Bouyer,
Nicolas Markey,
Pierre-Alain Reynier,
2013,
CONCUR.
Nicolas Markey,
Ocan Sankur,
Victor Roussanaly,
2019,
CAV.
Jean-François Raskin,
Ocan Sankur,
Gilles Geeraerts,
2017,
ICALP.
Bernd Finkbeiner,
Jean-François Raskin,
Romain Brenguier,
2019,
ArXiv.
Jean-François Raskin,
Ocan Sankur,
Nicolas Basset,
2017,
Models, Algorithms, Logics and Tools.
François Schwarzentruber,
Ocan Sankur,
Tristan Charrier,
2020,
Autonomous Agents and Multi-Agent Systems.
Pierre-Alain Reynier,
Ocan Sankur,
Youssouf Oualhadj,
2014,
CONCUR.
Leonid Ryzhyk,
Rüdiger Ehlers,
Guillermo A. Pérez,
2015,
International Journal on Software Tools for Technology Transfer.
Nicolas Markey,
Ocan Sankur,
Thierry J'eron,
2020,
FORMATS.
Mickael Randour,
Jean-François Raskin,
Ocan Sankur,
2017,
Formal Methods Syst. Des..
Patricia Bouyer,
Nicolas Markey,
Ocan Sankur,
2015,
Theor. Comput. Sci..
Patricia Bouyer,
Nicolas Markey,
Ocan Sankur,
2013,
RP.
François Schwarzentruber,
Ocan Sankur,
Tristan Charrier,
2019,
AAMAS.
Lorenzo Clemente,
Mickael Randour,
Guillermo A. Pérez,
2015,
LATA.
Nicolas Markey,
Ocan Sankur,
Nathalie Bertrand,
2020,
FSTTCS.
Patricia Bouyer,
Nicolas Markey,
Ocan Sankur,
2011,
FORMATS.
Jean-François Raskin,
Romain Brenguier,
Ocan Sankur,
2015,
CONCUR.
Ocan Sankur,
Arthur Queffelec,
Franccois Schwarzentruber,
2020,
ArXiv.
Ocan Sankur,
2015,
TACAS.
Ocan Sankur,
2015
.
Ocan Sankur,
2013,
CAV.
Claire Mathieu,
Ocan Sankur,
Warren Schudy,
2010,
STACS.
Patricia Bouyer,
Nicolas Markey,
Ocan Sankur,
2013,
FORMATS.
Ocan Sankur,
O. Sankur,
2013
.
Mickael Randour,
Jean-François Raskin,
Ocan Sankur,
2014,
VMCAI.
Christel Baier,
Nathalie Bertrand,
Ocan Sankur,
2018,
LICS.
Benjamin Monmege,
Pierre-Alain Reynier,
Ocan Sankur,
2019,
CAV.
Arno Pauly,
Jean-François Raskin,
Romain Brenguier,
2017,
CONCUR.
Patricia Bouyer,
Nicolas Markey,
Ocan Sankur,
2014,
FSTTCS.
Jean-François Raskin,
Romain Brenguier,
Ocan Sankur,
2015,
Acta Informatica.
Romain Brenguier,
Stefan Göller,
Ocan Sankur,
2012,
CONCUR.
Arno Pauly,
Jean-François Raskin,
Romain Brenguier,
2017,
CONCUR 2017.
Mickael Randour,
Jean-François Raskin,
Ocan Sankur,
2014,
CAV.
Guillermo A. Pérez,
Jean-François Raskin,
Romain Brenguier,
2015,
SYNT.
Ocan Sankur,
2013
.
Patricia Bouyer,
Nicolas Markey,
Ocan Sankur,
2012,
ICALP.
Kim G. Larsen,
Patricia Bouyer,
Nicolas Markey,
2011,
CONCUR.
Guillermo A. Pérez,
Jean-François Raskin,
Romain Brenguier,
2014,
SYNT.
Patricia Bouyer,
Nicolas Markey,
Ocan Sankur,
2011,
FSTTCS.
François Schwarzentruber,
Ocan Sankur,
Tristan Charrier,
2019,
AAMAS.
Ocan Sankur,
Ocan Sankur,
2013
.
Ocan Sankur,
2011,
MFCS.
Christel Baier,
Ocan Sankur,
Nathalie Bertrand,
2019,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Nathalie Bertrand,
Loïc Hélouët,
Ocan Sankur,
2019,
RSSRail.
Jean-François Raskin,
Ocan Sankur,
Gilles Geeraerts,
2017,
ArXiv.
Leonid Ryzhyk,
Guillermo A. Pérez,
Jean-François Raskin,
2016,
SYNT.
Jean-Pierre Talpin,
Ocan Sankur,
J. Talpin,
2017,
TACAS.
Guillermo A. Pérez,
Jean-François Raskin,
Romain Brenguier,
2016,
FSTTCS.
Nicolas Markey,
Ocan Sankur,
Patricia Bouyer-Decitre,
2010
.
Jean-François Raskin,
Ocan Sankur,
2014,
FSTTCS.
François Schwarzentruber,
Ocan Sankur,
Arthur Queffelec,
2021,
IJCAI.
François Schwarzentruber,
Ocan Sankur,
Arthur Queffelec,
2021,
Canadian Conference on AI.
Hervé Marchand,
Ocan Sankur,
Dinh Thai Bui,
2021,
2021 17th International Conference on the Design of Reliable Communication Networks (DRCN).
Christel Baier,
Nathalie Bertrand,
Ocan Sankur,
2021,
CONCUR.