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.

2543 Publications


2012 | Technical Report | IST-REx-ID: 5396 | OA
Approximating marginals using discrete energy minimization
F. Korc, V. Kolmogorov, C. Lampert, Approximating Marginals Using Discrete Energy Minimization, IST Austria, 2012.
View | Files available | DOI
 

2012 | Report | IST-REx-ID: 5398 | OA
Actual state of research data @ ISTAustria
J. Porsche, Actual State of Research Data @ ISTAustria, IST Austria, 2012.
View | Files available
 

2012 | Book Chapter | IST-REx-ID: 5745 | OA
Improved Single Pass Algorithms for Resolution Proof Reduction
A. Gupta, in:, Automated Technology for Verification and Analysis, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 107–121.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 6588 | OA
Elementary solutions of the Bernstein problem on two intervals
F. Pausinger, Journal of Mathematical Physics, Analysis, Geometry 8 (2012) 63–78.
View | Download Published Version (ext.) | WoS
 

2012 | Conference Paper | IST-REx-ID: 1384 | OA
Conditional model checking: A technique to pass information between verifiers
D. Beyer, T.A. Henzinger, M. Keremoglu, P. Wendler, in:, Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, ACM, 2012.
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 3846 | OA
A survey of stochastic ω regular games
K. Chatterjee, T.A. Henzinger, Journal of Computer and System Sciences 78 (2012) 394–413.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3115 | OA
Deconstructing approximate offsets
E. Berberich, D. Halperin, M. Kerber, R. Pogalnikova, Discrete & Computational Geometry 48 (2012) 964–989.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 3117 | OA
Minimizing a sum of submodular functions
V. Kolmogorov, Discrete Applied Mathematics 160 (2012) 2246–2258.
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 3118 | OA
Tracking surfaces with evolving topology
M. Bojsen-Hansen, H. Li, C.J. Wojtan, ACM Transactions on Graphics 31 (2012).
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3119 | OA
Controlling liquids using meshes
K. Raveendran, N. Thuerey, C.J. Wojtan, G. Turk, in:, Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, ACM, 2012, pp. 255–264.
View | Files available
 

2012 | Journal Article | IST-REx-ID: 3120 | OA
Fano 3 folds in codimension 4 Tom and Jerry Part I
G. Brown, M. Kerber, M. Reid, Compositio Mathematica 148 (2012) 1171–1194.
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 3121 | OA
Coactivation of multiple tightly coupled calcium channels triggers spontaneous release of GABA
C. Williams, W. Chen, C. Lee, D. Yaeger, N. Vyleta, S. Smith, Nature Neuroscience 15 (2012) 1195–1197.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Conference Paper | IST-REx-ID: 3123 | OA
Explicit mesh surfaces for particle based fluids
J. Yu, C.J. Wojtan, G. Turk, C. Yap, in:, Computer Graphics Forum, Blackwell Publishing, 2012, pp. 815–824.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3124 | OA
Approximating marginals using discrete energy minimization
F. Korc, V. Kolmogorov, C. Lampert, in:, ICML, 2012.
View | Files available
 

2012 | Conference Paper | IST-REx-ID: 3125 | OA
Augmented attribute representations
V. Sharmanska, N. Quadrianto, C. Lampert, in:, Springer, 2012, pp. 242–255.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3127 | OA
The most persistent soft-clique in a set of sampled graphs
N. Quadrianto, C. Lampert, C. Chen, in:, Proceedings of the 29th International Conference on Machine Learning, Omnipress, 2012, pp. 211–218.
View | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 3128 | OA
A survey of partial-observation stochastic parity games
K. Chatterjee, L. Doyen, T.A. Henzinger, Formal Methods in System Design 43 (2012) 268–284.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3129 | OA
Annotating simplices with a homology basis and its applications
O. Busaryev, S. Cabello, C. Chen, T. Dey, Y. Wang, in:, Springer, 2012, pp. 189–200.
View | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 3130 | OA
Patterns of evolutionary conservation of essential genes correlate with their compensability
T. Bergmiller, M. Ackermann, O. Silander, PLoS Genetics 8 (2012).
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3131 | OA
Limits to the rate of adaptive substitution in sexual populations
D. Weissman, N.H. Barton, PLoS Genetics 8 (2012).
View | Files available | DOI
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications