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

Associate Professor in Software Foundations

Research

Research units:

Postal address:
Nijenborgh9
Gebouw 5161, ruimte 0376
9747 AG
Groningen
Netherlands
Phone: +31 50 363 3971
Publications
  1. Efficient compensation handling via subjective updates

    Dedeić, J., Pantović, J. & Pérez, J. A., 3-Apr-2017, 32nd Annual ACM Symposium on Applied Computing, SAC 2017. Association for Computing Machinery, p. 51-58 8 p. (Proceedings of the ACM Symposium on Applied Computing; vol. Part F128005).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  2. 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 journalArticleAcademicpeer-review

  3. 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 proceedingConference contributionAcademicpeer-review

  4. 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 proceedingConference contributionAcademicpeer-review

  5. 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 journalEditorialAcademic

View all (59) »

Prizes
  1. NWO VIDI: Unifying Correctness for Communicating Software

    Jorge Perez Parra (Recipient), Jun-2018

    Prize: Fellowship awarded competitivelyAcademic

View all (1) »

Activities
  1. Combined 25th Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics

    Jorge Perez Parra (Chair/vice-chair of scientific committee)
    2018

    Activity: Participating in or organising an eventOrganising an eventAcademic

View all (1) »

ID: 10336811