Guillermo A. Pérez

Cited by

	All	Since 2018
Citations	641	507
h-index	16	13
i10-index	22	16

140

105

2012201320142015201620172018201920202021202220234 5 9 11 57 44 51 47 86 109 128 86

Public access

View all

25 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
Nils JansenAssociate Professor, Radboud University NijmegenVerified email at science.ru.nl
Nowe AnnGewoon hoogleraarVerified email at vub.be
Veronique BruyereUniversity of MonsVerified email at umons.ac.be
Jan KřetínskýTechnical University of MunichVerified email at fi.muni.cz
James WorrellProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Mahsa ShirmohammadiUniversity of OxfordVerified email at cs.ox.ac.uk
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Laure DaviaudUniversity of East AngliaVerified email at uea.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
Stefan KieferAssociate Professor, University of OxfordVerified email at cs.ox.ac.uk
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Floris GeertsUniversity of AntwerpVerified email at uantwerp.be
Emmanuel FiliotFNRS - Université Libre de BruxellesVerified email at ulb.ac.be
Thomas BrihayeUMONSVerified email at umons.ac.be
Gilles GeeraertsAssociate Prof. of Computer Science, Université libre de Bruxelles (ULB)Verified email at ulb.be
Michael BlondinAssociate professor, Université de SherbrookeVerified email at usherbrooke.ca
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityVerified email at cs.ru.nl

Guillermo A. Pérez

Assistant Professor, University of Antwerp

Verified email at uantwerp.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	58	2017
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	49*	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: 10th International Conference …, 2016	48	2016
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	35*	2021
Let’s agree to degree: Comparing graph convolutional networks in the message-passing framework F Geerts, F Mazowiecki, G Perez International Conference on Machine Learning, 3640-3649, 2021	32	2021
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	32	2014
Adversarial patch camouflage against aerial detection R den Hollander, A Adhikari, I Tolios, M van Bekkum, A Bal, S Hendriks, ... Artificial Intelligence and Machine Learning in Defense Applications II …, 2020	31	2020
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	26	2011
Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints J Kretinsky, GA Perez, JF Raskin CONCUR, 2018	24	2018
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	22*	2016
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	19	2012
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	18*	2021
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	18	2016
Mean-payoff games with partial observation P Hunter, A Pauly, GA Pérez, JF Raskin Theoretical Computer Science 735, 82-110, 2018	17*	2018
Reactive synthesis without regret P Hunter, GA Pérez, JF Raskin Acta informatica 54 (1), 3-39, 2017	17	2017
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	16	2020
On the Complexity of Value Iteration N Balaji, S Kiefer, P Novotný, GA Pérez, M Shirmohammadi Automata, Languages, and Programming, ICALP, 2019	15	2019
On Delay and Regret Determinization of Max-Plus Automata E Filiot, I Jecker, N Lhote, GA Pérez, JF Raskin LICS, 2017	14	2017
Optimizing Expectation with Guarantees in POMDPs K Chatterjee, P Novotný, GA Pérez, JF Raskin, Đ Žikelić AAAI, 3725--3732, 2017	14	2017
Admissibility in Quantitative Graph Games R Brenguier, GA Pérez, JF Raskin, O Sankur 36th IARCS Annual Conference FSTTCS, 2016	14	2016

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

Cited by

Co-authors