Research output per year
Research output per year
Personal profile
Research interests
Rigorous programming models for concurrent and message-passing computation.
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
-
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 AccessFile9 Citations (Scopus)32 Downloads (Pure) -
Domain-Aware Session Types
Caires, L., Pérez, J. A., Pfenning, F. & Toninho, B., 2019, 30th International Conference on Concurrency Theory (CONCUR 2019). Fokkink, W. & Glabbeek, R. V. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 35:1-35:17 17 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 140).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile2 Citations (Scopus)59 Downloads (Pure) -
Minimal Session Types
Arslanagic, A., Pérez, J. A. & Voogd, E., 2019, 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Donaldson, A. F. (ed.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 50 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 134).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile2 Citations (Scopus)81 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 AccessFile41 Citations (Scopus)569 Downloads (Pure) -
Bit-Vector Typestate Analysis
Arslanagic, A., Subotić, P. & Pérez, J. A., Sept-2023, In: Formal Aspects of Computing. 35, 3, p. 1-36 36 p., 19.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile6 Downloads (Pure)
-
Dutch National Association for Software Engineering (VERSEN) (External organisation)
Jorge Perez Parra (Member of board)
2020 → …Activity: Membership › Academic
-
Young Academy of Groningen (YAG) (External organisation)
Jorge Perez Parra (Member)
2019 → …Activity: Membership › Academic
-
FORTE 2021: 41th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems
Jorge Perez Parra (Member of scientific committee)
14-Jun-2021 → 18-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
Jorge Perez Parra (Member of scientific committee)
14-Jun-2021 → 18-Jun-2021Activity: Organising and attending an event › Organising and contributing to an event › Academic
-
FACS 2021: 17th International Conference on Formal Aspects of Component Software
Jorge Perez Parra (Member of scientific committee)
28-Oct-2021 → 29-Oct-2021Activity: Organising and attending an event › Organising and contributing to an event › 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
Helle Hvid Hansen, Jorge Perez Parra & Dan Frumin
19/04/2022
1 item of Media coverage
Press/Media: Other › Professional
Prizes
-
NWO VIDI: Unifying Correctness for Communicating Software
Perez Parra, Jorge (Recipient), Jun-2018
Prize: Fellowship awarded competitively › Academic