en
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.
2493 Publications
2012 | Conference Paper | IST-REx-ID: 2891 
Approximate determinization of quantitative automata
U. Boker, T.A. Henzinger, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 362–373.
View
| Files available
| DOI
U. Boker, T.A. Henzinger, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 362–373.
2012 | Journal Article | IST-REx-ID: 2904
Weak multipliers for generalized van der Corput sequences
F. Pausinger, Journal de Theorie Des Nombres Des Bordeaux 24 (2012) 729–749.
View
| DOI
| Download (ext.)
F. Pausinger, Journal de Theorie Des Nombres Des Bordeaux 24 (2012) 729–749.
2012 | Preprint | IST-REx-ID: 2928
Generalized sequential tree-reweighted message passing
V. Kolmogorov, T. Schoenemann, ArXiv (2012).
View
| Download (ext.)
| arXiv
V. Kolmogorov, T. Schoenemann, ArXiv (2012).
2012 | Conference Paper | IST-REx-ID: 2930
Towards minimizing k-submodular functions
A. Huber, V. Kolmogorov, in:, Springer, 2012, pp. 451–462.
View
| DOI
| Download (ext.)
A. Huber, V. Kolmogorov, in:, Springer, 2012, pp. 451–462.
2012 | Conference Paper | IST-REx-ID: 2942
Independent implementability of viewpoints
T.A. Henzinger, D. Nickovic, in:, Conference Proceedings Monterey Workshop 2012, Springer, 2012, pp. 380–395.
View
| DOI
T.A. Henzinger, D. Nickovic, in:, Conference Proceedings Monterey Workshop 2012, Springer, 2012, pp. 380–395.