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. Group mutual exclusion by fetch-and-increment

    Aravind, A. A. & Hesselink, W. H. 16-Dec-2018 (Accepted/In press) In : ACM Transactions on Parallel Computing.

    Research output: Contribution to journalArticle

  2. Conditionally complete sponges: new results on generalized lattices

    van de Gronde, J. J. & Hesselink, W. H. 16-Dec-2018 (Accepted/In press) In : Indagationes mathematicae-New series.

    Research output: Contribution to journalArticle

  3. A Typed Model for Dynamic Authorizations

    Ghilezan, S., Jaksic, S., Pantovic, J., Perez, J. A. & Vieira, H. T. 2016 In : Electronic Proceedings in Theoretical Computer Science. 203, p. 73-84 12 p.

    Research output: Contribution to journalArticle

  4. Relating Process Languages for Security and Communication Correctness (Extended Abstract)

    Nantes, D. & Pérez, J. A. 2018 p. 79-100 22 p.

    Research output: Contribution to conferencePaper

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

View all (198) »

Prizes
  1. NWO VIDI: Unifying Correctness for Communicating Software

    Jorge Perez Parra (Recipient), Jun-2018

    Prize: Fellowship awarded competitively

View all (1) »

View graph of relations

ID: 32126