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.
2616 Publications
2012 | Journal Article | IST-REx-ID: 506 | 
Sixt, M. K. (2012). Cell migration: Fibroblasts find a new way to get ahead. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.201204039
View
| Files available
| DOI
2012 | Technical Report | IST-REx-ID: 5377 |
Chatterjee, K., & Velner, Y. (2012). Mean-payoff pushdown games. IST Austria. https://doi.org/10.15479/AT:IST-2012-0002
View
| Files available
| DOI
2012 | Technical Report | IST-REx-ID: 5378 |
Chatterjee, K., Chaubal, S., & Kamath, P. (2012). Faster algorithms for alternating refinement relations. IST Austria. https://doi.org/10.15479/AT:IST-2012-0001
View
| Files available
| DOI
2012 | Technical Report | IST-REx-ID: 5396 |
Korc, F., Kolmogorov, V., & Lampert, C. (2012). Approximating marginals using discrete energy minimization. IST Austria. https://doi.org/10.15479/AT:IST-2012-0003
View
| Files available
| DOI
2012 | Report | IST-REx-ID: 5398 |
Porsche, J. (2012). Actual state of research data @ ISTAustria. IST Austria.
View
| Files available
2012 | Book Chapter | IST-REx-ID: 5745 |
Gupta, A. (2012). Improved Single Pass Algorithms for Resolution Proof Reduction. In Automated Technology for Verification and Analysis (Vol. 7561, pp. 107–121). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-33386-6_10
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 6588 |
Pausinger, F. (2012). Elementary solutions of the Bernstein problem on two intervals. Journal of Mathematical Physics, Analysis, Geometry. B. Verkin Institute for Low Temperature Physics and Engineering.
View
| Download Published Version (ext.)
| WoS
2012 | Conference Paper | IST-REx-ID: 1384 |
Beyer, D., Henzinger, T. A., Keremoglu, M., & Wendler, P. (2012). Conditional model checking: A technique to pass information between verifiers. In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. Cary, NC, USA: ACM. https://doi.org/10.1145/2393596.2393664
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 3846 |
Chatterjee, K., & Henzinger, T. A. (2012). A survey of stochastic ω regular games. Journal of Computer and System Sciences. Elsevier. https://doi.org/10.1016/j.jcss.2011.05.002
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3115 |
Berberich, E., Halperin, D., Kerber, M., & Pogalnikova, R. (2012). Deconstructing approximate offsets. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-012-9441-5
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Journal Article | IST-REx-ID: 3117 |
Kolmogorov, V. (2012). Minimizing a sum of submodular functions. Discrete Applied Mathematics. Elsevier. https://doi.org/10.1016/j.dam.2012.05.025
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 3118 |
Bojsen-Hansen, M., Li, H., & Wojtan, C. J. (2012). Tracking surfaces with evolving topology. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/2185520.2185549
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 3119 |
Raveendran, K., Thuerey, N., Wojtan, C. J., & Turk, G. (2012). Controlling liquids using meshes. In Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation (pp. 255–264). Aire-la-Ville, Switzerland: ACM.
View
| Files available
2012 | Journal Article | IST-REx-ID: 3120 |
Brown, G., Kerber, M., & Reid, M. (2012). Fano 3 folds in codimension 4 Tom and Jerry Part I. Compositio Mathematica. Cambridge University Press. https://doi.org/10.1112/S0010437X11007226
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 3121 |
Williams, C., Chen, W., Lee, C., Yaeger, D., Vyleta, N., & Smith, S. (2012). Coactivation of multiple tightly coupled calcium channels triggers spontaneous release of GABA. Nature Neuroscience. Nature Publishing Group. https://doi.org/10.1038/nn.3162
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Conference Paper | IST-REx-ID: 3123 |
Yu, J., Wojtan, C. J., Turk, G., & Yap, C. (2012). Explicit mesh surfaces for particle based fluids. In Computer Graphics Forum (Vol. 31, pp. 815–824). Cagliari, Sardinia, Italy: Blackwell Publishing. https://doi.org/10.1111/j.1467-8659.2012.03062.x
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 3124 |
Korc, F., Kolmogorov, V., & Lampert, C. (2012). Approximating marginals using discrete energy minimization. Presented at the ICML: International Conference on Machine Learning, Edinburgh, Scotland: ICML.
View
| Files available
2012 | Conference Paper | IST-REx-ID: 3125 |
Sharmanska, V., Quadrianto, N., & Lampert, C. (2012). Augmented attribute representations (Vol. 7576, pp. 242–255). Presented at the ECCV: European Conference on Computer Vision, Florence, Italy: Springer. https://doi.org/10.1007/978-3-642-33715-4_18
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 3127 |
Quadrianto, N., Lampert, C., & Chen, C. (2012). The most persistent soft-clique in a set of sampled graphs. In Proceedings of the 29th International Conference on Machine Learning (pp. 211–218). Edinburgh, United Kingdom: Omnipress.
View
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 3128 |
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2012). A survey of partial-observation stochastic parity games. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-012-0164-2
View
| Files available
| DOI