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

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

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

Preface to Special Issue: EXPRESS/SOS 2018

Pérez, J. A. (Guest ed.) & Tini, S. (Guest ed.), 27-Nov-2020 , In : Information and Computation.

Research output: Contribution to journal › Editorial › Academic

Session Type Systems based on Linear Logic: Classical versus Intuitionistic

Heuvel, B. V. D. & Pérez, J. A. , 3-Apr-2020 , (Submitted) In : Electronic Notes in Theoretical Computer Science. 314 , p. 1-11 11 p.

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

Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, Proceedings

Perez, J. A. (ed.) & Yoshida, N. (ed.), 2019 , Springer Verlag . (Lecture Notes in Computer Science)

Research output: Book/Report › Book › Academic › peer-review

Preface to special issue: ICTAC 2015

Leucker, M., Perez, J. A. , Rueda, C. & Valencia, F. D., Jan-2019 , In : Mathematical structures in computer science. 29 , 1 , p. 1-2 2 p.

Research output: Contribution to journal › Editorial › Academic

Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, EXPRESS/SOS 2019, Amsterdam, The Netherlands, 26th August 2019

Perez, J. A. (ed.) & Rot, J. (ed.), 2019 , Electronic Proceedings in Theoretical Computer Science (EPTCS) .

Research output: Book/Report › Book › Academic › peer-review

All (65) publications

Press/media

Research minute - Young Academy Groningen

Jorge Perez Parra

03/09/2019

Press/Media: Public Engagement Activities › Popular

All (1) press/media

View full research profile