J.A. (Jorge) Perez Parra, Prof Dr

Associate Professor in Software Foundations

Faculty of Science and Engineering

Telephone:

+31 50 36 33971

E-mail:

j.a.perez rug.nl

Homepage ORCID Research Portal

Research interests

Rigorous programming models for concurrent and message-passing computation.

Publications

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

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

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

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

Comparing type systems for deadlock freedom

Dardha, O. & Pérez, J. A. , Jan-2022 , In: The Journal of Logical and Algebraic Methods in Programming. 124 , 43 p. , 100717.

Research output: Contribution to journal › Article › Academic › peer-review

Scalable Typestate Analysis for Low-Latency Environments

Arslanagic, A. , Pérez, J. A. & Subotić, P. , 1-Jun-2022 , Integrated Formal Methods: 17th International Conference, IFM 2022 Lugano, Switzerland, June 7–10, 2022 Proceedings. ter Beek, M. H. & Monahan, R. (eds.). Cham: Springer , p. 322–340 9 p. (Lecture Notes in Computer Science; vol. 13274).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Session-based concurrency, declaratively

Cano, M. , López, H. A. , Pérez, J. A. & Rueda, C. , Feb-2022 , In: Acta informatica. 59 , p. 1-87 87 p.

Research output: Contribution to journal › Article › Academic › peer-review

Causal Consistency for Reversible Multiparty Protocols

Mezzina, C. & Pérez, J. A. , 2021 , In: Logical Methods in Computer Science. 17 , 4 , p. 1:1-1:41 41 p.

Research output: Contribution to journal › Article › Academic › peer-review

Deadlock Freedom for Asynchronous and Cyclic Process Networks

van den Heuvel, B. & Pérez, J. A. , 2-Oct-2021 , Proceedings 14th Interaction and Concurrency Experience (ICE 2021). Lange, J., Mavridou, A., Safina, L. & Scalas, A. (eds.). Open Publishing Association , p. 38-56 19 p. (Electronic Proceedings in Theoretical Computer Science; vol. 347).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Minimal Session Types for the π-calculus

Arslanagic, A. , Palamariuc, A. & Pérez, J. A. , 6-Sep-2021 , PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming. Veltri, N., Benton, N. & Ghilezan, S. (eds.). New York: Association for Computing Machinery , 15 p. 12

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

All (75) publications

Press/media

Research minute - Young Academy Groningen

Jorge Perez Parra

03/09/2019

Press/Media: Public Engagement Activities › Popular

The power of logic in computation

Helle Hvid Hansen , Jorge Perez Parra & Dan Frumin

19/04/2022

Press/Media: Other › Professional

All (2) press/media

View full research profile