Concepedia

Jorge A. Pérez

JA

18

Publications

388

Citations

13

H-Index

2007

Active since

Affiliations

University of Groningen(Current)

Universidade Nova de Lisboa

Institut national de recherche en sciences et technologies du numérique

IMT School for Advanced Studies Lucca

University of Bologna

Jorge A. Pérez is an author at University of Groningen specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationAutomated ReasoningVerificationProgram AnalysisFormal SpecificationSystem SoftwareSystems Engineering

Publications per year

2007–2022

18

Publications

18

On the expressiveness and decidability of higher-order process calculi

Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi et al. · Information and Computation · 2010 · 75 citations · Full text

Formal Specification, Engineering, Automated Reasoning +6

Linear logical relations and observational equivalences for session-based concurrency

Jorge A. Pérez, Frank Pfenning, Bernardo Toninho · Information and Computation · 2014 · 52 citations · Full text

Engineering, Automated Reasoning, Linear Logical Relations +6

Model Interpretability through the Lens of Computational Complexity

Pablo Barceló, Mikaël Monet, Jorge A. Pérez et al. · arXiv (Cornell University) · 2020 · 38 citations · Full text

Cognitive Science, Engineering, Computational Complexity Theory +14

Self-adaptation and secure information flow in multiparty communications

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez · Formal Aspects of Computing · 2016 · 24 citations · Full text

On the Expressiveness and Decidability of Higher-Order Process Calculi

Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi et al. · Proceedings - Symposium on Logic in Computer Science · 2008 · 21 citations · Full text

Core Calculus, Formal Specification, Engineering +15

Rows per page

1–5 of 18