H. Gimbert

发表

A. Muscholl, I. Walukiewicz, H. Gimbert, 2022, 2204.12409.

K. Chatterjee, L. Doyen, H. Gimbert, 2012 .

Nathanaël Fijalkow, H. Gimbert, Y. Oualhadj, 2015 .

T. Henzinger, K. Chatterjee, L. Doyen, 2014 .

H. Gimbert, 2021, Log. Methods Comput. Sci..

Hugo Gimbert, Edon Kelmendi, Youssouf Oualhadj, 2011, 2012 27th Annual IEEE Symposium on Logic in Computer Science.

Hugo Gimbert, Youssouf Oualhadj, H. Gimbert, 2010, ICALP.

Nathalie Bertrand, Hugo Gimbert, Blaise Genest, 2009, 2009 24th Annual IEEE Symposium on Logic In Computer Science.

Florian Horn, Hugo Gimbert, Florian Horn, 2007, Logical Methods in Computer Science.

Véronique Bruyère, Hugo Gimbert, Thomas Brihaye, 2012, 1205.6346.

Véronique Bruyère, Hugo Gimbert, Thomas Brihaye, 2012, FoSSaCS.

Olivier Mangin, Pierre-Yves Oudeyer, Olivier Ly, 2011 .

Olivier Ly, Hugo Gimbert, Gregoire Passault, 2015, 2015 IEEE International Conference on Autonomous Robot Systems and Competitions.

H. Gimbert, Edon Kelmendi, 2014, International Journal of Game Theory.

Sylvain Sorin, Hugo Gimbert, Wieslaw Zielonka, 2014, ArXiv.

Hugo Gimbert, Wieslaw Zielonka, W. Zielonka, 2007, 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).

Florian Horn, Hugo Gimbert, Florian Horn, 2010, SODA '10.

S. Mauras, H. Gimbert, Claire Mathieu, 2019, FCT.

Claire Mathieu, Hugo Gimbert, Simon Mauras, 2019, ArXiv.

Hugo Gimbert, Wieslaw Zielonka, W. Zielonka, 2012, Int. J. Found. Comput. Sci..

Hugo Gimbert, Wieslaw Zielonka, W. Zielonka, 2007, Logic and Automata.

Hugo Gimbert, Wieslaw Zielonka, W. Zielonka, 2007, ICALP.

Hugo Gimbert, Wieslaw Zielonka, W. Zielonka, 2005, CONCUR.

Hugo Gimbert, Wieslaw Zielonka, W. Zielonka, 2004, MFCS.

Hugo Gimbert, H. Gimbert, 2004, CSL.

Hugo Gimbert, Wieslaw Zielonka, W. Zielonka, 2006, ICALP.

Anca Muscholl, Igor Walukiewicz, Hugo Gimbert, 2010, ICALP.

Krishnendu Chatterjee, Hugo Gimbert, Laurent Doyen, 2014, FoSSaCS.

Krishnendu Chatterjee, Thomas A. Henzinger, Hugo Gimbert, 2010, MFCS.

Hugo Gimbert, H. Gimbert, 2016, FSTTCS.

Anca Muscholl, Igor Walukiewicz, Hugo Gimbert, 2012, ICALP.

Florian Horn, Hugo Gimbert, Florian Horn, 2008, CiE.

Florian Horn, Hugo Gimbert, Florian Horn, 2008, FoSSaCS.