Guillermo A. Pérez

Citée par

	Toutes	Depuis 2019
Citations	905	718
indice h	19	15
indice i10	27	19

220

110

165

20122013201420152016201720182019202020212022202320244 6 9 13 57 45 50 52 81 105 120 209 150

Accès public

Tout afficher

35 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Adresse e-mail validée de ulb.ac.be
Nowe AnnGewoon hoogleraarAdresse e-mail validée de vub.be
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumAdresse e-mail validée de rub.de
Veronique BruyereUniversity of MonsAdresse e-mail validée de umons.ac.be
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteAdresse e-mail validée de cs.rwth-aachen.de
Mahsa ShirmohammadiUniversity of OxfordAdresse e-mail validée de cs.ox.ac.uk
James WorrellProfessor of Computer Science, Oxford UniversityAdresse e-mail validée de cs.ox.ac.uk
Jan KřetínskýMasaryk University Brno; Technical University of MunichAdresse e-mail validée de fi.muni.cz
Stefan KieferProfessor of Computer Science, University of OxfordAdresse e-mail validée de cs.ox.ac.uk
Laure DaviaudUniversity of East AngliaAdresse e-mail validée de uea.ac.uk
Marcin JurdzińskiUniversity of Warwick, Department of Computer ScienceAdresse e-mail validée de warwick.ac.uk
Ranko LazicDepartment of Computer Science, University of WarwickAdresse e-mail validée de warwick.ac.uk
Floris GeertsUniversity of AntwerpAdresse e-mail validée de uantwerp.be
Krishnendu ChatterjeeProfessor, IST AustriaAdresse e-mail validée de ist.ac.at
Emmanuel FiliotFNRS - Université Libre de BruxellesAdresse e-mail validée de ulb.ac.be
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityAdresse e-mail validée de cs.ru.nl
Nathanaël FijalkowCNRS, LaBRI, BordeauxAdresse e-mail validée de labri.fr
Daniel NeiderTU Dortmund University and Center for Trustworthy Data Science and SecurityAdresse e-mail validée de tu-dortmund.de
Thomas BrihayeUMONSAdresse e-mail validée de umons.ac.be
Gilles GeeraertsAssociate Prof. of Computer Science, Université libre de Bruxelles (ULB)Adresse e-mail validée de ulb.be

Suivre

Guillermo A. Pérez

Associate Professor, University of Antwerp

Adresse e-mail validée de uantwerp.be - Page d'accueil

Logic and Automata Theory Formal Verification Learning Theory


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	69	2017
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	61	2020
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	60*	2021
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	57	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	52	2016
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	50	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	34	2014
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	32	2011
The reactive synthesis competition (syntcomp): 2018–2021 S Jacobs, GA Pérez, R Abraham, V Bruyere, M Cadilhac, M Colange, ... International Journal on Software Tools for Technology Transfer, 1-17, 2024	26	2024
Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints J Kretinsky, GA Perez, JF Raskin CONCUR, 2018	25	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	25*	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	23	2020
On the Complexity of Value Iteration N Balaji, S Kiefer, P Novotný, GA Pérez, M Shirmohammadi Automata, Languages, and Programming, ICALP, 2019	23	2019
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	22*	2021
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking GAP Dennis Gross, Nils Jansen, Sebastian Junges Dependable Software Engineering. Theories, Tools, and Applications: 8th …, 2022	19*	2022
Reactive synthesis without regret P Hunter, GA Pérez, JF Raskin Acta informatica 54 (1), 3-39, 2017	19	2017
Admissibility in Quantitative Graph Games R Brenguier, GA Pérez, JF Raskin, O Sankur 36th IARCS Annual Conference FSTTCS, 2016	19	2016
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	19	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
Mean-payoff games with partial observation P Hunter, A Pauly, GA Pérez, JF Raskin Theoretical Computer Science 735, 82-110, 2018	17*	2018

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs