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

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

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

  4. The Nullcone of the Lie algebra of $G_2$

    Hesselink, W. H., 1-Mar-2019, (Accepted/In press) In : Indagationes mathematicae-New series.

    Research output: Contribution to journalArticleAcademicpeer-review

  5. Group mutual exclusion by fetch-and-increment

    Aravind, A. A. & Hesselink, W. H., Feb-2019, In : ACM Transactions on Parallel Computing. 5, 4, 29 p., 14.

    Research output: Contribution to journalArticleAcademicpeer-review

View all (203) »

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