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.
3023 Publications
2013 | Conference Paper | IST-REx-ID: 1385 | 
Hofferek, Georg, et al. “Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof.” 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84, doi:10.1109/FMCAD.2013.6679394.
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 1387 |
Boker, Udi, et al. Nondeterminism in the Presence of a Diverse or Unknown Future. Vol. 7966, no. PART 2, Springer, 2013, pp. 89–100, doi:10.1007/978-3-642-39212-2_11.
View
| Files available
| DOI
2013 | Thesis | IST-REx-ID: 1406
Campinho, Pedro. Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading. IST Austria, 2013.
View
2013 | Journal Article | IST-REx-ID: 2009 |
Uhler, Caroline, et al. “Privacy-Preserving Data Sharing for Genome-Wide Association Studies.” Journal of Privacy and Confidentiality , vol. 5, no. 1, Carnegie Mellon University, 2013, pp. 137–66, doi:10.29012/jpc.v5i1.629.
View
| DOI
| Download Published Version (ext.)
2013 | Journal Article | IST-REx-ID: 2010 |
Uhler, Caroline, et al. “Geometry of the Faithfulness Assumption in Causal Inference.” The Annals of Statistics, vol. 41, no. 2, Institute of Mathematical Statistics, 2013, pp. 436–63, doi:10.1214/12-AOS1080.
View
| DOI
| Download Published Version (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 2181 |
Henzinger, Thomas A., et al. “Quantitative Relaxation of Concurrent Data Structures.” Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 317–28, doi:10.1145/2429069.2429109.
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2182
Cerny, Pavol, et al. “Quantitative Abstraction Refinement.” Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 115–28, doi:10.1145/2429069.2429085.
View
| DOI
2013 | Conference Paper | IST-REx-ID: 2209
Biedl, Therese, et al. Recognizing Straight Skeletons and Voronoi Diagrams and Reconstructing Their Input. IEEE, 2013, pp. 37–46, doi:10.1109/ISVD.2013.11.
View
| DOI
2013 | Conference Paper | IST-REx-ID: 2210 |
Biedl, Therese, et al. “Reconstructing Polygons from Embedded Straight Skeletons.” 29th European Workshop on Computational Geometry, TU Braunschweig, 2013, pp. 95–98.
View
| Download Submitted Version (ext.)
2013 | Conference Paper | IST-REx-ID: 2237 |
Blanc, Régis, et al. Tree Interpolation in Vampire. Vol. 8312, Springer, 2013, pp. 173–81, doi:10.1007/978-3-642-45221-5_13.
View
| Files available
| DOI