Publications

...
• 2019
• 2018
• 2017
• 2016
• 2015
• 2014
• 2013
• 2012
...

• BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS
  ESCARDÓ M and OLIVA P
  Journal of Symbolic Logic, Cambridge University Press (Cup) vol. 80 (1), 1-28.  
  DOI 10.1017/jsl.2014.82

  QMRO
  
  01-03-2015
• Dynamic deadlock verification for general barrier synchronisation
  Cogumbreiro T, Hu R, Martins F and Yoshida N
  Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming., 150-160.  
  DOI 10.1145/2688500.2688519
  
  24-01-2015