Jorge A. Pérez

Cited by

	All	Since 2016
Citations	980	570
h-index	19	13
i10-index	33	19

120

200520062007200820092010201120122013201420152016201720182019202020213 2 5 14 48 25 29 46 51 67 111 118 88 104 120 98 42

Public access

View all

18 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Luis CairesProfessor of Computer Science, Universidade Nova de LisboaVerified email at fct.unl.pt
Cinzia Di GiustoLaboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MDSC (C&A))Verified email at unice.fr
Bernardo ToninhoUniversidade Nova de LisboaVerified email at fct.unl.pt
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Mario BravettiUniversity of BolognaVerified email at cs.unibo.it
Ivan LaneseUniversity of BolognaVerified email at unibo.it
Hugo Andrés LópezAssistant Professor, University of CopenhagenVerified email at di.ku.dk
Frank D. ValenciaCNRS, École Polytechnique de Paris & Pontificia Universidad Javeriana CaliVerified email at lix.polytechnique.fr
Carlos OlarteProfessor of Computer Science, ECT, Universidade Federal do Rio Grande do Norte, BrazilVerified email at ect.ufrn.br
Jovanka PantovicUniversity of Novi SadVerified email at uns.ac.rs
Hugo Torres VieiraUniversidade da Beira InteriorVerified email at ubi.pt
Alan SchmittInria, IRISAVerified email at inria.fr
Davide SangiorgiProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Claudio Antares MezzinaUniversità degli studi di UrbinoVerified email at uniurb.it
Ilaria CastellaniResearcher in Theoretical Computer Science, INRIA, FranceVerified email at inria.fr
JESUS A. ARANDA B.Lecturer, Universidad del ValleVerified email at correounivalle.edu.co
Julian GutierrezMonash University LecturerVerified email at monash.edu
Nobuko YoshidaDepartment of Computing, Imperial College LondonVerified email at doc.ic.ac.uk
Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityVerified email at di.unito.it

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
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	79	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	79	2008
Behavioral polymorphism and parametricity in session-based communication L Caires, JA Pérez, F Pfenning, B Toninho European Symposium on Programming, 330-349, 2013	68	2013
Linear logical relations for session-based concurrency JA Pérez, L Caires, F Pfenning, B Toninho European Symposium on Programming, 539-558, 2012	60	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	43	2014
Runtime Verification for Decentralised and Distributed Systems A Francalanza, JA Pérez, C Sánchez Lectures on Runtime Verification, 176-210, 2018	42	2018
Multiparty session types within a canonical binary theory, and beyond L Caires, JA Pérez International Conference on Formal Techniques for Distributed Objects …, 2016	33	2016
Adaptable processes M Bravetti, C Di Giusto, JA Pérez, G Zavattaro arXiv preprint arXiv:1210.6379, 2012	33	2012
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	33	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	31	2007
Linearity, Control Effects, and Behavioral Types L Caires, JA Pérez European Symposium on Programming, 229-259, 2017	30	2017
Towards a unified framework for declarative structured communications HA López, C Olarte, JA Pérez arXiv preprint arXiv:1002.0930, 2010	26	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 International Conference on Logic Programming, 509-513, 2009	26	2009
Towards a correct and efficient implementation of simulation and verification tools for probabilistic ntcc M Toro arXiv preprint arXiv:1810.05495, 2018	25	2018
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	23	2011
Higher-Order Concurrency: Expressiveness and Decidability Results JA Pérez PhD thesis, University of Bologna, 2010	22	2010
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	21	2016
On the expressiveness of forwarding in higher-order communication C Di Giusto, JA Pérez, G Zavattaro International Colloquium on Theoretical Aspects of Computing, 155-169, 2009	20	2009
Towards global and local types for adaptation M Bravetti, M Carbone, T Hildebrandt, I Lanese, J Mauro, JA Pérez, ... International Conference on Software Engineering and Formal Methods, 3-14, 2013	19	2013
Non-determinism and probabilities in timed concurrent constraint programming JA Pérez, C Rueda International Conference on Logic Programming, 677-681, 2008	19	2008

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

Upload PDF

Follow this author

Cited by

Co-authors