Guillermo A. Pérez
发表
Jan Kretínský,
Guillermo A. Pérez,
Jean-François Raskin,
2018,
CONCUR.
Guillermo A. Pérez,
Jean-François Raskin,
Paul Hunter,
2015,
CONCUR.
Wei-Kuan Shih,
Yeh-Ching Chung,
Guillermo A. Pérez,
2011,
2011 Proceedings of the 14th International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES).
Michaël Cadilhac,
Guillermo A. Pérez,
Shaull Almagor,
2020,
Int. J. Found. Comput. Sci..
Ufuk Topcu,
Guillermo A. Pérez,
Stéphane Le Roux,
2017,
IJCAI.
Guillermo A. Pérez,
Jean-François Raskin,
Paul Hunter,
2015,
ATVA.
Leonid Ryzhyk,
Rüdiger Ehlers,
Guillermo A. Pérez,
2015,
International Journal on Software Tools for Technology Transfer.
Lorenzo Clemente,
Mickael Randour,
Guillermo A. Pérez,
2015,
LATA.
The fixed initial credit problem for energy games with partial-observation is Ackermann-complete
pdf
Guillermo A. Pérez,
G. Pérez,
2015,
ArXiv.
Sebastian Junges,
Joost-Pieter Katoen,
Guillermo A. Pérez,
2019,
CONCUR.
Guillermo A. Pérez,
Ritam Raha,
2020,
ArXiv.
Petr Novotný,
Guillermo A. Pérez,
Stefan Kiefer,
2018,
ICALP.
Guillermo A. Pérez,
Jean-François Raskin,
Paul Hunter,
2016,
Acta Informatica.
Guillermo A. Pérez,
Jean-François Raskin,
Paul Hunter,
2017,
Acta Informatica.
Yeh-Ching Chung,
Guillermo A. Pérez,
Wei-Chung Hsu,
2012,
CASES '12.
Krishnendu Chatterjee,
Petr Novotný,
Dorde Zikelic,
2017,
AAAI.
Guillermo A. Pérez,
2020
.
Arno Pauly,
Guillermo A. Pérez,
Jean-François Raskin,
2018,
Theor. Comput. Sci..
Guillermo A. Pérez,
Jean-François Raskin,
Romain Brenguier,
2015,
SYNT.
Michaël Cadilhac,
Guillermo A. Pérez,
Marie van den Bogaard,
2018,
FoSSaCS.
Guillermo A. Pérez,
Stéphane Le Roux,
G. Pérez,
2017,
FoSSaCS.
Guillermo A. Pérez,
Jean-François Raskin,
Paul Hunter,
2013,
ArXiv.
Guillermo A. Pérez,
Jean-François Raskin,
Paul Hunter,
2016,
CSL.
Guillermo A. Pérez,
Jean-François Raskin,
Romain Brenguier,
2014,
SYNT.
James Worrell,
Guillermo A. Pérez,
Nathann Cohen,
2020,
CONCUR.
Guillermo A. Pérez,
Lukas Michel,
Jan Kretínský,
2020,
UAI.
Guillermo A. Pérez,
Jean-François Raskin,
Nathan Lhote,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Véronique Bruyère,
Guillermo A. Pérez,
Jean-François Raskin,
2019,
RP.
Krishnendu Chatterjee,
Petr Novotný,
Dorde Zikelic,
2016,
ArXiv.
Michaël Cadilhac,
Guillermo A. Pérez,
Shaull Almagor,
2018,
DLT.
Leonid Ryzhyk,
Guillermo A. Pérez,
Jean-François Raskin,
2016,
SYNT.
Guillermo A. Pérez,
Jean-François Raskin,
Romain Brenguier,
2016,
FSTTCS.
On the Complexity of Iterative Tropical Computation with Applications to Markov Decision Processes
pdf
Petr Novotný,
Guillermo A. Pérez,
Stefan Kiefer,
2018,
ArXiv.
Guillermo A. Pérez,
Jean-François Raskin,
Paul Hunter,
2014,
RP.
James Worrell,
Guillermo A. Pérez,
Marcin Jurdzinski,
2018,
ICALP.
Gabriel Renault,
Benjamin Monmege,
Guillermo A. Pérez,
2015,
FSTTCS.
Guillermo A. Pérez,
G. Pérez,
2015,
Inf. Process. Lett..
Guillermo A. Pérez,
Michael Blondin,
Filip Mazowiecki,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Sebastian Junges,
Joost-Pieter Katoen,
Guillermo A. Pérez,
2021,
J. Comput. Syst. Sci..
James Worrell,
Guillermo A. Pérez,
Marcin Jurdzinski,
2021,
J. Comput. Syst. Sci..