Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

3 Publications


2017 | Thesis | IST-REx-ID: 1155   OA
Daca P. 2017. Statistical and logical methods for property checking, IST Austria, 163p.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1130
Tarrach T. 2016. Automatic synthesis of synchronisation primitives for concurrent programs, IST Austria, 151p.
View | Files available | Download (ext.)
 

2013 | Thesis | IST-REx-ID: 1405
Zufferey D. 2013. Analysis of dynamic message passing programs, IST Austria, 134p.
View | Files available | Download (ext.)
 

Filters and Search Terms

supervisor=40876CD8-F248-11E8-B48F-1D18A9856A87

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed