Research output per year
Research output per year
Personal profile
Research interests
Rigorous programming models for concurrent and message-passing computation.
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Fingerprint
Dive into the research topics where Jorge Perez Parra is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks
van den Heuvel, B. & Pérez, J. A., 7-Oct-2024, In: Logical Methods in Computer Science. 20, 4, p. 6:1-6:103 103 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile7 Downloads (Pure) -
Around Classical and Intuitionistic Linear Processes
Jaramillo, J. C., Frumin, D. & Pérez, J. A., Sept-2024, 35th International Conference on Concurrency Theory, CONCUR 2024. Majumdar, R. & Silva, A. (eds.). Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 19 p. 30. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 311).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile19 Downloads (Pure) -
Minimal session types for the π-calculus
Arslanagić, A., Pérez, J. A. & Palamariuc, A. A., Mar-2024, In: Information and Computation. 297, 67 p., 105148.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile27 Downloads (Pure) -
On the relative expressiveness of higher-order session processes
Kouzapas, D., Perez, J. A. & Yoshida, N., Oct-2019, In: Information and Computation. 268, 54 p., 104433.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile11 Citations (Scopus)72 Downloads (Pure) -
Runtime Verification for Decentralised and Distributed Systems
Francalanza, A., Pérez, J. A. & Sánchez, C., Feb-2018, Lectures on Runtime Verification. Bartocci, E. & Falcone, Y. (eds.). Springer, p. 176-210 35 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
Open AccessFile51 Citations (Scopus)673 Downloads (Pure)
-
Dutch National Association for Software Engineering (VERSEN) (External organisation)
Perez Parra, J. (Member of board)
2020 → …Activity: Membership › Academic
-
Young Academy of Groningen (YAG) (External organisation)
Perez Parra, J. (Member)
2019 → …Activity: Membership › Academic
-
ISR 2021: 12th International School on Rewriting (IFIP Working Group 1.6)
Perez Parra, J. (Contributor)
1-Jun-2021 → 15-Jun-2021Activity: Organising and attending an event › Organising and contributing to an event › Academic
-
TYPES 2021: 27th International Conference on Types for Proofs and Programs
Perez Parra, J. (Member of scientific committee)
14-Jun-2021 → 18-Jun-2021Activity: Organising and attending an event › Organising and contributing to an event › Academic
-
Session Types and Higher-Order Concurrency
Perez Parra, J. (Invited speaker)
24-Feb-2021Activity: Talk and presentation › Academic presentation › Academic
Press/Media
-
Research minute - Young Academy Groningen
03/09/2019
1 Media contribution
Press/Media: Public Engagement Activities › Popular
-
The power of logic in computation
Hansen, H. H., Perez Parra, J. & Frumin, D.
19/04/2022
1 item of Media coverage
Press/Media: Other › Professional
Prizes
-
NWO VIDI: Unifying Correctness for Communicating Software
Perez Parra, J. (Recipient), Jun-2018
Prize: Fellowship awarded competitively › Academic