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

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




4074 Publications

2017 | Journal Article | IST-REx-ID: 10417 | OA
Chalupa, Marek, Krishnendu Chatterjee, Andreas Pavlogiannis, Nishant Sinha, and Kapil Vaidya. “Data-Centric Dynamic Partial Order Reduction.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2017. https://doi.org/10.1145/3158119.
View | Files available | DOI | Download Published Version (ext.) | arXiv
 
2017 | Journal Article | IST-REx-ID: 10418 | OA
Mciver, Annabelle, Carroll Morgan, Benjamin Lucien Kaminski, and Joost P Katoen. “A New Proof Rule for Almost-Sure Termination.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2017. https://doi.org/10.1145/3158121.
View | DOI | Download Published Version (ext.) | arXiv
 
2017 | Journal Article | IST-REx-ID: 2016 | OA
Martin Del Campo Sanchez, Abraham, Sarah A Cepeda Humerez, and Caroline Uhler. “Exact Goodness-of-Fit Testing for the Ising Model.” Scandinavian Journal of Statistics. Wiley-Blackwell, 2017. https://doi.org/10.1111/sjos.12251.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2017 | Conference Paper | IST-REx-ID: 274 | OA
Kolmogorov, Vladimir. “A Faster Approximation Algorithm for the Gibbs Partition Function.” In Proceedings of the 31st Conference On Learning Theory, 75:228–49. PMLR, 2017.
View | Files available | arXiv
 
2017 | Thesis | IST-REx-ID: 938 | OA
Adamowski, Maciek. “Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana .” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_842.
View | Files available | DOI
 

Search

Filter Publications