Skip to ContentSkip to Navigation
University of Groningenfounded in 1614  -  top 100 university
Close
How to find us prof. dr. J.A. (Jorge) Perez Parra

prof. dr. J.A. (Jorge) Perez Parra

Associate Professor in Software Foundations
Research interests Publications Press/media

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. , 10-Sep-2021 , (Accepted/In press) In: The Journal of Logical and Algebraic Methods in Programming. 100717.

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

Non-Deterministic Functions as Non-Deterministic Processes

Paulus, J. W. N. , Nantes-Sobrinho, D. & Pérez, J. A. , 6-Jul-2021 , 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021). Kobayashi, N. (ed.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany , 22 p. 21

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

On primitives for compensation handling as adaptable processes

Dedeić, J., Pantović, J. & Pérez, J. A. , Jun-2021 , In: The Journal of Logical and Algebraic Methods in Programming. 121 , 65 p. , 100675.

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

Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols

Keizer, A. C., Basold, H. & Pérez, J. A. , 2021 , Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings. Yoshida, N. (ed.). Cham: Springer , p. 375-403 29 p. (Lecture Notes in Computer Science; vol. 12648).

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., 18-Mar-2021 , (E-pub ahead of print) In: Acta informatica.

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

Hyperledger Fabric: Evaluating Endorsement Policy Strategies in Supply Chains

Soelman, M., Andrikopoulos, V. , Perez, J. A. , Theodosiadis, V., Goense, K. & Rutjes, A., Jul-2020 , 2020 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS). IEEE , p. 145-152 8 p.

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

Read more

Press/media

Research minute - Young Academy Groningen

Jorge Perez Parra

03/09/2019

Press/Media: Public Engagement Activities › Popular

View full research profile
Follow the UGfacebook twitter linkedin rss instagram youtube

The UG website uses functional and anonymous analytics cookies. Please answer the question of whether or not you want to accept other cookies (such as tracking cookies). If no choice is made, only basic cookies will be stored. More information

Basic
The basic functions of the website are available. We analyse click behaviour anonymously in order to make our website more user-friendly.
Limited
In addition to functional cookies you can also view embedded content, such as YouTube videos. If you accept these cookies, the website will function optimally.
All
In addition to the optimal functioning of the website, we work together with third parties to offer you personalized content based on your visit.
The UG website uses functional and analytics cookies. Please select your preferences. Read our privacy and cookie disclaimer for more information.