Jorge A. Pérez

Cited by

	All	Since 2020
Citations	1520	696
h-index	21	15
i10-index	44	22

180

135

20072008200920102011201220132014201520162017201820192020202120222023202420255 16 49 25 22 45 48 76 100 112 87 101 117 80 169 132 115 165 33

Public access

View all

43 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Bernardo ToninhoUniversidade Nova de LisboaVerified email at fct.unl.pt
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Cinzia Di GiustoLaboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MDSC (C&A))Verified email at univ-cotedazur.fr
Bas van den HeuvelPostdoctoral Researcher, Karlsruhe University of Applied Science and University of FreiburgVerified email at informatik.uni-freiburg.de
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Ivan LaneseUniversity of BolognaVerified email at unibo.it
Jovanka PantovicUniversity of Novi SadVerified email at uns.ac.rs
Hugo Andrés LópezAssociate Professor, Technical University of DenmarkVerified email at dtu.dk
Carlos OlarteAssociate Professor at Université Sorbonne Paris NordVerified email at lipn.univ-paris13.fr
Daniele Nantes-SobrinhoResearcher, Imperial College London and Professor of Mathematics, University of BrasíliaVerified email at mat.unb.br
Claudio Antares MezzinaUniversità degli studi di UrbinoVerified email at uniurb.it
Mario BravettiUniversity of BolognaVerified email at cs.unibo.it
Frank D. ValenciaCNRS, École Polytechnique de ParisVerified email at lix.polytechnique.fr
Ilaria CastellaniResearcher in Computer Science, INRIA, FranceVerified email at inria.fr
Hugo Torres VieiraEvidence SrlVerified email at evidence.eu.com
Alan SchmittInria, IRISAVerified email at inria.fr
Davide SangiorgiProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Nobuko YoshidaDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Jesus Aranda-BuenoLecturer, Universidad del ValleVerified email at correounivalle.edu.co

Jorge A. Pérez

Associate Professor, University of Groningen

Verified email at rug.nl - Homepage

Computer Science Theoretical Computer Science Programming Languages Concurrency Theory Process Calculi


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Behavioral polymorphism and parametricity in session-based communication L Caires, JA Pérez, F Pfenning, B Toninho Programming Languages and Systems: 22nd European Symposium on Programming …, 2013	98	2013
Runtime verification for decentralised and distributed systems A Francalanza, JA Pérez, C Sánchez Lectures on Runtime Verification: Introductory and Advanced Topics, 176-210, 2018	97	2018
On the expressiveness and decidability of higher-order process calculi I Lanese, JA Pérez, D Sangiorgi, A Schmitt Information and Computation 209 (2), 198-226, 2011	90	2011
On the expressiveness and decidability of higher-order process calculi I Lanese, JA Pérez, D Sangiorgi, A Schmitt Logic in Computer Science, 2008. LICS'08. 23rd Annual IEEE Symposium on, 145-155, 2008	90	2008
Linear logical relations for session-based concurrency JA Pérez, L Caires, F Pfenning, B Toninho Programming Languages and Systems: 21st European Symposium on Programming …, 2012	79	2012
Linear logical relations and observational equivalences for session-based concurrency JA Pérez, L Caires, F Pfenning, B Toninho Information and Computation 239, 254-302, 2014	75	2014
Linearity, control effects, and behavioral types L Caires, JA Pérez Programming Languages and Systems: 26th European Symposium on Programming …, 2017	68	2017
Multiparty session types within a canonical binary theory, and beyond L Caires, JA Pérez International Conference on Formal Techniques for Distributed Objects …, 2016	58	2016
Adaptable processes M Bravetti, C Di Giusto, JA Perez, G Zavattaro Logical Methods in Computer Science 8, 2012	50	2012
On the relative expressiveness of higher-order session processes D Kouzapas, JA Pérez, N Yoshida European Symposium on Programming Languages and Systems, 446-475, 2016	39	2016
Self-adaptation and secure information flow in multiparty communications I Castellani, M Dezani-Ciancaglini, JA Pérez Formal Aspects of Computing 28 (4), 669-696, 2016	34	2016
Comparing deadlock-free session typed processes O Dardha, JA Pérez arXiv preprint arXiv:1508.06707, 2015	34	2015
On the expressiveness of polyadic and synchronous communication in higher-order process calculi I Lanese, JA Pérez, D Sangiorgi, A Schmitt Automata, Languages and Programming, 442-453, 2010	32	2010
Timed concurrent constraint programming for analysing biological systems J Gutiérrez, JA Pérez, C Rueda, FD Valencia Electronic Notes in Theoretical Computer Science 171 (2), 117-137, 2007	32	2007
Type-based access control in data-centric systems L Caires, JA Pérez, JC Seco, HT Vieira, L Ferrão European Symposium on Programming, 136-155, 2011	30	2011
Comparing type systems for deadlock freedom O Dardha, JA Pérez Journal of Logical and Algebraic Methods in Programming 124, 100717, 2022	28	2022
Towards a unified framework for declarative structured communications HA López, C Olarte, JA Pérez arXiv preprint arXiv:1002.0930, 2010	27	2010
An overview of FORCES: an INRIA project on declarative formalisms for emergent systems J Aranda, G Assayag, C Olarte, JA Pérez, C Rueda, M Toro, FD Valencia Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA …, 2009	27	2009
Towards a correct and efficient implementation of simulation and verification tools for probabilistic ntcc M Toro arXiv preprint arXiv:1810.05495, 2018	26	2018
Higher-Order Concurrency: Expressiveness and Decidability Results JA Pérez PhD thesis, University of Bologna, 2010	26	2010

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