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.

377 Publications

2019 | Journal Article | IST-REx-ID: 6660   OA
Sumin, D., Weyrich, T., Rittig, T., Babaei, V., Nindel, T., Wilkie, A., … Myszkowski, K. (2019). Geometry-aware scattering compensation for 3D printing. ACM Transactions on Graphics, 38(4).
View | Files available | DOI

2019 | Journal Article | IST-REx-ID: 6672   OA
Boissonnat, J.-D., Rouxel-Labbé, M., & Wintraecken, M. (2019). Anisotropic triangulations via discrete Riemannian Voronoi diagrams. SIAM Journal on Computing, 48(3), 1046–1097.
View | DOI | Download (ext.) | arXiv

2019 | Conference Paper | IST-REx-ID: 6677
Choudhuri, A. R., Hubáček, P., Kamath Hosdurg, C., Pietrzak, K. Z., Rosen, A., & Rothblum, G. N. (2019). Finding a Nash equilibrium is no easier than breaking Fiat-Shamir. In Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing  - STOC 2019 (pp. 1103–1114). Phoenix, AZ, United States: ACM Press.
View | DOI

2019 | Journal Article | IST-REx-ID: 6658
Raices, J., Otto, P., & Vibranovski, M. (2019). Haploid selection drives new gene male germline expression. Genome Research, 29(7), 1115–1122.
View | Files available | DOI

2019 | Conference Paper | IST-REx-ID: 6780   OA
Huang, M., Fu, H., Chatterjee, K., & Goharshady, A. K. (n.d.). Modular verification for almost-sure termination of probabilistic programs. In Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications . Athens, Greece: ACM.
View | Files available | Download (ext.) | arXiv

Filters and Search Terms



Filter Publications

Display / Sort

Citation Style: APA

Export / Embed