Fundamental Computing Science

University of Groningen > Faculty of Science and Engineering > Faculty Board FSE > FSE Research > Bernoulli Institute > Fundamental Computing Science

Contact information

Nijenborgh
9
Groningen
9747 AG
Netherlands
  • Phone: +31 50 363 3939
Publications
  1. 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

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

  3. 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

  4. Reversible Session-Based Concurrency in Haskell

    Vries, de, F. & Perez, J. A., 2019, Trends in Functional Programming . Palka, M. & Myreen, M. (eds.). Cham: Springer, p. 20-45 ( Lecture Notes in Computer Science; vol. 11457).

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

  5. Interpolation in propositional Horn logic

    De Lavalette, G. R. R., Sep-2018, In : Journal of Logic and Computation. 28, 6, p. 1189-1215 27 p.

    Research output: Contribution to journalArticleAcademicpeer-review

View all (205) »

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 (Invited speaker)
    2018

    Activity: Participating in or organising an eventOrganising an eventAcademic

View all (1) »

View graph of relations

ID: 32126