Skip to ContentSkip to Navigation
Rijksuniversiteit Groningenfounded in 1614  -  top 100 university
Sluiten
Over ons Praktische zaken Waar vindt u ons J.A. (Jorge) Perez Parra, Prof

J.A. (Jorge) Perez Parra, Prof

Full Professor in Software Foundations (Grondslagen van Software)
Speerpunten Publicaties Pers/media

Speerpunten

Rigorous programming models for concurrent and message-passing computation.

Publicaties

Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks

van den Heuvel, B. & Pérez, J. A., 7-okt.-2024, In: Logical Methods in Computer Science. 20, 4, blz. 6:1-6:103 103 blz.

Onderzoeksoutput: Article › › peer review

Around Classical and Intuitionistic Linear Processes

Jaramillo, J. C., Frumin, D. & Pérez, J. A., sep.-2024, 35th International Conference on Concurrency Theory, CONCUR 2024. Majumdar, R. & Silva, A. (reds.). Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 19 blz. 30. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 311).

Onderzoeksoutput: Conference contribution › › peer review

Minimal session types for the π-calculus

Arslanagić, A., Pérez, J. A. & Palamariuc, A. A., mrt.-2024, In: Information and Computation. 297, 67 blz., 105148.

Onderzoeksoutput: Article › › peer review

On the relative expressiveness of higher-order session processes

Kouzapas, D., Perez, J. A. & Yoshida, N., okt.-2019, In: Information and Computation. 268, 54 blz., 104433.

Onderzoeksoutput: Article › › 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. (reds.). Springer, blz. 176-210 35 blz.

Onderzoeksoutput › › peer review

Comparing session type systems derived from linear logic

van den Heuvel, B. & Pérez, J. A., jan.-2025, In: Journal of Logical and Algebraic Methods in Programming. 142, 26 blz., 101004.

Onderzoeksoutput: Article › › peer review

Contrasting Deadlock-Free Session Processes

Jaramillo, J. C. & Pérez, J. A., 25-jun.-2025, 39th European Conference on Object-Oriented Programming, ECOOP 2025. Aldrich, J. & Silva, A. (reds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 29 blz. 17. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 333).

Onderzoeksoutput: Conference contribution › › peer review

Preface to special issue: EXPRESS/SOS 2019 and EXPRESS/SOS 2020

Dardha, O., Pérez, J. A. & Rot, J., jan.-2025, In: Information and Computation. 302, 2 blz., 105154.

Onderzoeksoutput › › peer review

A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing

van den Heuvel, B. & Pérez, J. A., 11-dec.-2024, (Submitted) arXiv, 20 blz.

Onderzoeksoutput: Voordruk ›

Bit-Vector Typestate Analysis

Arslanagic, A., Subotić, P. & Pérez, J. A., sep.-2023, In: Formal Aspects of Computing. 35, 3, blz. 1-36 36 blz., 19.

Onderzoeksoutput: Article › › peer review

Pers/media

Research minute - Young Academy Groningen

Perez Parra, J.

03/09/2019

Pers / media: Activiteiten met een maatschappelijk belang ›

Error-free computer programs thanks to math and logic

Perez Parra, J.

09/12/2024

Pers / media: Activiteiten met een maatschappelijk belang ›

The power of logic in computation

Hansen, H. H., Perez Parra, J. & Frumin, D.

19/04/2022

Pers / media: Overig ›

Bekijk volledig onderzoeksprofiel
Volg de RUGfacebook linkedin rss instagram youtube
Stel je cookievoorkeur in. Lees onze privacy en cookie disclaimer voor meer informatie.