Jorge A. Pérez 个人学术档案

引用次数

	总计	2019 年至今
引用	1442	744
h 指数	21	14
i10 指数	39	20

180

135

2007200820092010201120122013201420152016201720182019202020212022202320245 16 50 25 22 45 48 76 100 108 86 97 121 80 167 132 115 127

开放获取的出版物数量

查看全部

43 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de Lisboa在 tecnico.ulisboa.pt 的电子邮件经过验证
Bernardo ToninhoUniversidade Nova de Lisboa在 fct.unl.pt 的电子邮件经过验证
Cinzia Di GiustoLaboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MDSC (C&A))在 univ-cotedazur.fr 的电子邮件经过验证
Frank PfenningProfessor of Computer Science, Carnegie Mellon University在 cs.cmu.edu 的电子邮件经过验证
Bas van den HeuvelPostdoctoral Researcher, Karlsruhe University of Applied Science and University of Freiburg在 informatik.uni-freiburg.de 的电子邮件经过验证
Gianluigi ZavattaroProfessor in Computer Science, University of Bologna在 cs.unibo.it 的电子邮件经过验证
Ivan LaneseUniversity of Bologna在 unibo.it 的电子邮件经过验证
Jovanka PantovicUniversity of Novi Sad在 uns.ac.rs 的电子邮件经过验证
Hugo Andrés LópezAssociate Professor, Technical University of Denmark在 dtu.dk 的电子邮件经过验证
Carlos OlarteAssociate Professor at Université Sorbonne Paris Nord在 lipn.univ-paris13.fr 的电子邮件经过验证
Mario BravettiUniversity of Bologna在 cs.unibo.it 的电子邮件经过验证
Claudio Antares MezzinaUniversità degli studi di Urbino在 uniurb.it 的电子邮件经过验证
Frank D. ValenciaCNRS, École Polytechnique de Paris在 lix.polytechnique.fr 的电子邮件经过验证
Daniele Nantes-SobrinhoResearcher, Imperial College London and Professor of Mathematics, University of Brasília在 mat.unb.br 的电子邮件经过验证
Ilaria CastellaniResearcher in Theoretical Computer Science, INRIA, France在 inria.fr 的电子邮件经过验证
Hugo Torres VieiraEvidence Srl在 evidence.eu.com 的电子邮件经过验证
Alan SchmittInria, IRISA在 inria.fr 的电子邮件经过验证
Davide SangiorgiProfessor of Computer Science, University of Bologna在 cs.unibo.it 的电子邮件经过验证
Nobuko YoshidaDepartment of Computer Science, University of Oxford在 cs.ox.ac.uk 的电子邮件经过验证
Jesus Aranda-BuenoLecturer, Universidad del Valle在 correounivalle.edu.co 的电子邮件经过验证

关注

Jorge A. Pérez

Associate Professor, University of Groningen

在 rug.nl 的电子邮件经过验证 - 首页

Computer Science Theoretical Computer Science Programming Languages Concurrency Theory Process Calculi


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
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	93	2013
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	89	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	89	2008
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	87	2018
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	73	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	68	2014
Linearity, control effects, and behavioral types L Caires, JA Pérez Programming Languages and Systems: 26th European Symposium on Programming …, 2017	61	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	57	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	38	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	33	2016
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
Comparing deadlock-free session typed processes O Dardha, JA Pérez arXiv preprint arXiv:1508.06707, 2015	31	2015
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	29	2011
Towards a unified framework for declarative structured communications HA López, C Olarte, JA Pérez arXiv preprint arXiv:1002.0930, 2010	28	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	25	2010
Comparing type systems for deadlock freedom O Dardha, JA Pérez Journal of Logical and Algebraic Methods in Programming 124, 100717, 2022	24	2022

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用