Hugo Gimbert

78 papers A* 8A 3B 13C 3Journal 40Unranked 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
CoRR
Laurent Bienvenu, Hugo Gimbert, Subin Pulari
2025 J jnl
Log. Methods Comput. Sci.
Hugo Gimbert, Corto Mascle, Anca Muscholl, Igor Walukiewicz
2025 J jnl
CoRR
Hugo Gimbert, Corto Mascle, Patrick Totzke
2025 A* conf
AAAI
Marius Belly, Nathanaël Fijalkow, Hugo Gimbert, Florian Horn, Guillermo A. Pérez, Pierre Vandenhove
2025 A conf
AAMAS
Hugo Gimbert, Soumyajit Paul, B. Srivathsan
2025 J jnl
CoRR
Hugo Gimbert, Soumyajit Paul, B. Srivathsan
2025 conf
FSTTCS
Laurent Bienvenu, Hugo Gimbert, Subin Pulari
2025 J jnl
CoRR
Laurent Bienvenu, Hugo Gimbert, Subin Pulari
2024 J jnl
CoRR
Marius Belly, Nathanaël Fijalkow, Hugo Gimbert, Florian Horn, Guillermo A. Pérez, Pierre Vandenhove
2024 J jnl
CoRR
Julien Allali, Adrien Boussicault, Cyprien Brocaire, Céline Dobigeon, Marc Duclusaud, Clément Gaspard, Hugo Gimbert, Loïc Gondry, Olivier Ly, Grégoire Passault, Antoine Pirrone
2023 J jnl
CoRR
Nathanaël Fijalkow, Nathalie Bertrand, Patricia Bouyer-Decitre, Romain Brenguier, Arnaud Carayol, John Fearnley, Hugo Gimbert, Florian Horn, Rasmus Ibsen-Jensen, Nicolas Markey, Benjamin Monmege, Petr Novotný, Mickael Randour, Ocan Sankur, Sylvain Schmitz, Olivier Serre, Mateusz Skomra
2023 C conf
RoboCup
Julien Allali, Adrien Boussicault, Cyprien Brocaire, Céline Dobigeon, Marc Duclusaud, Clément Gaspard, Hugo Gimbert, Loïc Gondry, Olivier Ly, Grégoire Passault, Antoine Pirrone
2023 J jnl
Int. J. Game Theory
Hugo Gimbert, Edon Kelmendi
2022 J jnl
Log. Methods Comput. Sci.
Hugo Gimbert
2022 A* conf
ICALP
Hugo Gimbert, Corto Mascle, Anca Muscholl, Igor Walukiewicz
2022 J jnl
CoRR
Hugo Gimbert, Corto Mascle, Anca Muscholl, Igor Walukiewicz
2021 J jnl
CoRR
Hugo Gimbert, Claire Mathieu, Simon Mauras
2021 J jnl
CoRR
Hugo Gimbert
2021 B conf
FCT
Hugo Gimbert, Claire Mathieu, Simon Mauras
2020 A conf
AAMAS
Hugo Gimbert, Soumyajit Paul, B. Srivathsan
2020 J jnl
CoRR
Hugo Gimbert, Soumyajit Paul, B. Srivathsan
2019 J jnl
Log. Methods Comput. Sci.
Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert, Adwait Amit Godbole
2019 J jnl
CoRR
Hugo Gimbert, Claire Mathieu, Simon Mauras
2018 B conf
CONCUR
Paulin Fournier, Hugo Gimbert
2018 J jnl
CoRR
Paulin Fournier, Hugo Gimbert
2018 J jnl
CoRR
Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert, Adwait Amit Godbole
2017 J jnl
CoRR
Hugo Gimbert, Rasmus Ibsen-Jensen
2017 B conf
CONCUR
Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert
2017 J jnl
CoRR
Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert
2017 A* conf
ICALP
Mikolaj Bojanczyk, Hugo Gimbert, Edon Kelmendi
2017 J jnl
CoRR
Mikolaj Bojanczyk, Hugo Gimbert, Edon Kelmendi
2017 conf
FSTTCS
Hugo Gimbert
2017 J jnl
J. ACM
Nathalie Bertrand, Blaise Genest, Hugo Gimbert
2017 C conf
CIAA
Nathanaël Fijalkow, Hugo Gimbert, Edon Kelmendi, Denis Kuperberg
2017 J jnl
CoRR
Nathanaël Fijalkow, Hugo Gimbert, Florian Horn, Youssouf Oualhadj
2016 J jnl
CoRR
Hugo Gimbert
2016 B conf
SAGT
Edon Kelmendi, Hugo Gimbert
2016 J jnl
CoRR
Edon Kelmendi, Hugo Gimbert
2016 J jnl
CoRR
Ludovic Hofer, Hugo Gimbert
2016 J jnl
CoRR
Hugo Gimbert, Wieslaw Zielonka
2015 conf
ICARSC
Olivier Ly, Hugo Gimbert, Gregoire Passault, Gerald Baron
2015 J jnl
Log. Methods Comput. Sci.
Nathanaël Fijalkow, Hugo Gimbert, Edon Kelmendi, Youssouf Oualhadj
2015 J jnl
Inf. Comput.
Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger
2014 B conf
SOFSEM
Hugo Gimbert, Youssouf Oualhadj
2014 J jnl
CoRR
Hugo Gimbert, Jérôme Renault, Sylvain Sorin, Xavier Venel, Wieslaw Zielonka
2014 B conf
FoSSaCS
Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Youssouf Oualhadj
2014 conf
MFCS (1)
Nathanaël Fijalkow, Hugo Gimbert, Florian Horn, Youssouf Oualhadj
2014 J jnl
CoRR
Hugo Gimbert, Edon Kelmendi
2013 B conf
RO-MAN
Paul Fudal, Hugo Gimbert, Loïc Gondry, Ludovic Hofer, Olivier Ly, Gregoire Passault
2013 conf
ICALP (2)
Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz
2012 J jnl
CoRR
Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz
2012 J jnl
Int. J. Found. Comput. Sci.
Hugo Gimbert, Wieslaw Zielonka
2012 A* conf
LICS
Nathanaël Fijalkow, Hugo Gimbert, Youssouf Oualhadj
2012 J jnl
Log. Methods Comput. Sci.
Thomas Brihaye, Véronique Bruyère, Julie De Pril, Hugo Gimbert
2012 B conf
FoSSaCS
Thomas Brihaye, Véronique Bruyère, Julie De Pril, Hugo Gimbert
2011 J jnl
CoRR
Nathanaël Fijalkow, Hugo Gimbert, Youssouf Oualhadj
2011 J jnl
CoRR
Nathanaël Fijalkow, Hugo Gimbert, Youssouf Oualhadj
2010 conf
GANDALF
Hugo Gimbert, Wieslaw Zielonka
2010 conf
ICALP (2)
Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz
2010 conf
ICALP (2)
Hugo Gimbert, Youssouf Oualhadj
2010 J jnl
CoRR
Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger
2010 B conf
MFCS
Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger
2010 A* conf
SODA
Hugo Gimbert, Florian Horn
2009 A* conf
LICS
Nathalie Bertrand, Blaise Genest, Hugo Gimbert
2009 J jnl
Hugo Gimbert, Florian Horn
2008 conf
Logic and Automata
Hugo Gimbert, Wieslaw Zielonka
2008 J jnl
CoRR
Nathalie Bertrand, Blaise Genest, Hugo Gimbert
2008 J jnl
CoRR
Florian Horn, Hugo Gimbert
2008 B conf
FoSSaCS
Hugo Gimbert, Florian Horn
2008 C conf
CiE
Hugo Gimbert, Florian Horn
2007 A* conf
LICS
Hugo Gimbert, Wieslaw Zielonka
2007 A* conf
ICALP
Hugo Gimbert, Wieslaw Zielonka
2007 A conf
STACS
Hugo Gimbert
2006 conf
ICALP (2)
Hugo Gimbert, Wieslaw Zielonka
2005 B conf
CONCUR
Hugo Gimbert, Wieslaw Zielonka
2004 conf
GDV@CAV
Hugo Gimbert, Wieslaw Zielonka
2004 B conf
CSL
Hugo Gimbert
2004 B conf
MFCS
Hugo Gimbert, Wieslaw Zielonka