Guillermo A. Pérez

Cited by

	All	Since 2016
Citations	381	349
h-index	12	11
i10-index	16	16

20122013201420152016201720182019202020213 5 9 10 52 46 52 48 88 60

Public access

View all

21 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
James WorrellProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Jan KřetínskýTechnical University of Munich (tenure-track assistant professor)Verified email at fi.muni.cz
Mahsa ShirmohammadiUniversity of OxfordVerified email at cs.ox.ac.uk
Laure DaviaudCity, University of LondonVerified email at city.ac.uk
Marcin JurdzińskiUniversity of Warwick, Department of Computer ScienceVerified email at warwick.ac.uk
Ranko LazicDepartment of Computer Science, University of WarwickVerified email at warwick.ac.uk
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Nils JansenAssistant Professor, Radboud University NijmegenVerified email at science.ru.nl
Stefan KieferAssociate Professor, University of OxfordVerified email at cs.ox.ac.uk
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Gilles GeeraertsAssociate Prof. of Computer Science, Université Libre de Bruxelles (ULB)Verified email at ulb.ac.be
Emmanuel FiliotFNRS - Université Libre de BruxellesVerified email at ulb.ac.be
Floris GeertsUniversity of AntwerpVerified email at uantwerp.be
Thomas BrihayeUMONSVerified email at umons.ac.be
Veronique BruyereUniversity of MonsVerified email at umons.ac.be
Michael BlondinAssistant professor, Université de SherbrookeVerified email at usherbrooke.ca

Guillermo A. Pérez

Assistant Professor, University of Antwerp

Verified email at uantwerpen.be - Homepage

Logic and Automata Theory Formal Verification Learning Theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The 4th reactive synthesis competition (SYNTCOMP 2017): Benchmarks, participants & results S Jacobs, N Basset, R Bloem, R Brenguier, M Colange, P Faymonville, ... arXiv preprint arXiv:1711.11439, 2017	40	2017
Non-zero sum games for reactive synthesis R Brenguier, L Clemente, P Hunter, GA Pérez, M Randour, JF Raskin, ... Language and Automata Theory and Applications, 3-23, 2016	31	2016
The first reactive synthesis competition (SYNTCOMP 2014) S Jacobs, R Bloem, R Brenguier, R Ehlers, T Hell, R Könighofer, ... STTT 19 (3), 367–390, 2017	30*	2017
A method-based ahead-of-time compiler for android applications CS Wang, G Perez, YC Chung, WC Hsu, WK Shih, HR Hsu Proceedings of the 14th international conference on Compilers, architectures …, 2011	27	2011
AbsSynthe: abstract synthesis from succinct safety specifications R Brenguier, GA Pérez, JF Raskin, O Sankur Proceedings of the 3rd Workshop on Synthesis, SYNT 2014 157, 100--116, 2014	25	2014
The Second Reactive Synthesis Competition (SYNTCOMP 2015) AW Swen Jacobs, Roderick Bloem, Romain Brenguier, Robert Könighofer ... Proceedings Fourth Workshop on Synthesis, SYNT 2015, San Francisco, CA, USA …, 2016	19*	2016
Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints J Kretinsky, GA Perez, JF Raskin CONCUR, 2018	18	2018
A hybrid just-in-time compiler for android: comparing jit types and the result of cooperation GA Perez, CM Kao, YC Chung, WC Hsu Proceedings of the 2012 international conference on Compilers, architectures …, 2012	18	2012
The 3rd reactive synthesis competition (SYNTCOMP 2016): Benchmarks, participants & results S Jacobs, R Bloem, R Brenguier, A Khalimov, F Klein, R Könighofer, ... arXiv preprint arXiv:1609.00507, 2016	17	2016
When are emptiness and containment decidable for probabilistic automata? L Daviaud, M Jurdziński, R Lazić, F Mazowiecki, GA Pérez, J Worrell Journal of Computer and System Sciences 119, 78-96, 2021	15*	2021
Mean-payoff games with partial observation P Hunter, A Pauly, GA Pérez, JF Raskin Theoretical Computer Science 735, 82-110, 2018	14*	2018
The complexity of reachability in parametric Markov decision processes S Junges, JP Katoen, GA Pérez, T Winkler Journal of Computer and System Sciences 119, 183-210, 2021	12*	2021
The fixed initial credit problem for partial-observation energy games is Ack-complete GA Pérez Information processing letters 118, 91-99, 2017	12*	2017
Admissibility in Quantitative Graph Games R Brenguier, GA Pérez, JF Raskin, O Sankur 36th IARCS Annual Conference FSTTCS, 2016	11	2016
On Delay and Regret Determinization of Max-Plus Automata E Filiot, I Jecker, N Lhote, GA Pérez, JF Raskin LICS, 2017	10	2017
Compositional algorithms for succinct safety games R Brenguier, GA Pérez, JF Raskin, O Sankur arXiv preprint arXiv:1602.01174, 2016	10	2016
Airtime-based resource allocation modeling for network slicing in IEEE 802.11 RANs PH Isolani, N Cardona, C Donato, GA Pérez, JM Marquez-Barja, ... IEEE Communications Letters 24 (5), 1077-1080, 2020	8	2020
Looking at mean payoff through foggy windows P Hunter, GA Pérez, JF Raskin Acta Informatica 55 (8), 627-647, 2018	8	2018
Reactive synthesis without regret P Hunter, GA Pérez, JF Raskin Acta informatica 54 (1), 3-39, 2017	7	2017
Optimizing Expectation with Guarantees in POMDPs K Chatterjee, P Novotný, GA Pérez, JF Raskin, Đ Žikelić AAAI, 3725--3732, 2017	7	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors