Skip to Content Skip to Navigation

Over ons Praktische zaken Waar vindt u ons J.A. (Jorge) Perez Parra, Prof

J.A. (Jorge) Perez Parra, Prof

Associate Professor in Software Foundations (Grondslagen van Software)

Profielfoto van J.A. (Jorge) Perez Parra, Prof

Faculteit Science and Engineering

Telefoon:

E-mail:

j.a.perez rug.nl

Homepage ORCID Research Portal

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 › › 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. (uitgave). 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 › › 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 › › 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. (uitgave). Springer, blz. 176-210 35 blz.

Onderzoeksoutput: Chapter › › 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 › › 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 › › peer review

Monitoring Blackbox Implementations of Multiparty Session Protocols

van den Heuvel, B., Pérez, J. A. & Dobre, R. A., 1-okt.-2023, Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings. Katsaros, P. & Nenzi, L. (uitgave). Springer, blz. 66-85 20 blz. (Lecture Notes in Computer Science; vol. 14245).

Onderzoeksoutput: Conference contribution › › peer review

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)

Paulus, J., Nantes-Sobrinho, D. & Pérez, J. A., 10-okt.-2023, In: Logical Methods in Computer Science. 19, 4, 120 blz.

Onderzoeksoutput › › peer review

Alle (91) publicaties

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 ›

Alle (3) pers/media

Bekijk volledig onderzoeksprofiel

Volg de RUGfacebook linkedin rss instagram youtube