Please note that ISTA 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.
1940 Publications
2012 | Published | Journal Article | IST-REx-ID: 8504
A Cr unimodal map with an arbitrary fast growth of the number of periodic points
V. Kaloshin, O.S. KOZLOVSKI, Ergodic Theory and Dynamical Systems 32 (2012) 159–165.
View
| DOI
V. Kaloshin, O.S. KOZLOVSKI, Ergodic Theory and Dynamical Systems 32 (2012) 159–165.
2012 | Published | Conference Paper | IST-REx-ID: 10903
Accurate invariant checking for programs manipulating lists and arrays with infinite data
A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Automated Technology for Verification and Analysis, Springer, Berlin, Heidelberg, 2012, pp. 167–182.
View
| DOI
A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Automated Technology for Verification and Analysis, Springer, Berlin, Heidelberg, 2012, pp. 167–182.
2012 | Published | Conference Paper | IST-REx-ID: 10904
Strategy synthesis for multi-dimensional quantitative objectives
K. Chatterjee, M. Randour, J.-F. Raskin, in:, M. Koutny, I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory, Springer, Berlin, Heidelberg, 2012, pp. 115–131.
[Preprint]
View
| Files available
| DOI
| arXiv
K. Chatterjee, M. Randour, J.-F. Raskin, in:, M. Koutny, I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory, Springer, Berlin, Heidelberg, 2012, pp. 115–131.
2012 | Published | Conference Paper | IST-REx-ID: 10905 | 
Polynomial-time algorithms for energy games with special weight structures
K. Chatterjee, M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, Algorithms – ESA 2012, Springer, 2012, pp. 301–312.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, Algorithms – ESA 2012, Springer, 2012, pp. 301–312.
2012 | Published | Conference Paper | IST-REx-ID: 10906 |
HSF(C): A software verifier based on Horn clauses
S. Grebenshchikov, A. Gupta, N.P. Lopes, C. Popeea, A. Rybalchenko, in:, C. Flanagan, B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, Springer, Berlin, Heidelberg, 2012, pp. 549–551.
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Grebenshchikov, A. Gupta, N.P. Lopes, C. Popeea, A. Rybalchenko, in:, C. Flanagan, B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, Springer, Berlin, Heidelberg, 2012, pp. 549–551.
2012 | Published | Journal Article | IST-REx-ID: 11751
Thermoelectric properties of Ho-doped Bi0.88Sb0.12
K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734.
[Preprint]
View
| DOI
| arXiv
K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734.
2012 | Published | Conference Paper | IST-REx-ID: 11794 |
Auctions with heterogeneous items and budget limits
P. Dütting, M.H. Henzinger, M. Starnberger, in:, 8th International Workshop on Internet and Network Economics, Springer Nature, 2012, pp. 44–57.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
P. Dütting, M.H. Henzinger, M. Starnberger, in:, 8th International Workshop on Internet and Network Economics, Springer Nature, 2012, pp. 44–57.
2012 | Published | Conference Paper | IST-REx-ID: 11795
On multiple keyword sponsored search auctions with budgets
R. Colini-Baldeschi, M.H. Henzinger, S. Leonardi, M. Starnberger, in:, 39th International Colloquium on Automata, Languages, and Programming, Springer Nature, 2012, pp. 1–12.
View
| Files available
| DOI
R. Colini-Baldeschi, M.H. Henzinger, S. Leonardi, M. Starnberger, in:, 39th International Colloquium on Automata, Languages, and Programming, Springer Nature, 2012, pp. 1–12.
2012 | Published | Conference Paper | IST-REx-ID: 1384 |
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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
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.
2012 | Published | Journal Article | IST-REx-ID: 7074
Thermoelectric properties of Ho-doped Bi0.88Sb0.12
K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734.
View
| DOI
K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734.
2012 | Published | Journal Article | IST-REx-ID: 2773
A comment on the Wigner-Dyson-Mehta bulk universality conjecture for Wigner matrices
L. Erdös, H. Yau, Electronic Journal of Probability 17 (2012).
View
| DOI
L. Erdös, H. Yau, Electronic Journal of Probability 17 (2012).
2012 | Published | Journal Article | IST-REx-ID: 2774
Scott correction for large atoms and molecules in a self-generated magnetic field
L. Erdös, S. Fournais, J. Solovej, Communications in Mathematical Physics 312 (2012) 847–882.
View
| DOI
L. Erdös, S. Fournais, J. Solovej, Communications in Mathematical Physics 312 (2012) 847–882.
2012 | Published | Journal Article | IST-REx-ID: 2776
Spectral statistics of Erdős-Rényi graphs II: Eigenvalue spacing and the extreme eigenvalues
L. Erdös, A. Knowles, H. Yau, J. Yin, Communications in Mathematical Physics 314 (2012) 587–640.
View
| DOI
L. Erdös, A. Knowles, H. Yau, J. Yin, Communications in Mathematical Physics 314 (2012) 587–640.
2012 | Published | Journal Article | IST-REx-ID: 2777
Relativistic Scott correction in self-generated magnetic fields
L. Erdös, S. Fournais, J. Solovej, Journal of Mathematical Physics 53 (2012).
View
| DOI
L. Erdös, S. Fournais, J. Solovej, Journal of Mathematical Physics 53 (2012).
2012 | Published | Journal Article | IST-REx-ID: 2779
Wegner estimate for random magnetic Laplacian on ℤ 2
L. Erdös, D. Hasler, Annales Henri Poincare 13 (2012) 1719–1731.
View
| DOI
L. Erdös, D. Hasler, Annales Henri Poincare 13 (2012) 1719–1731.
2012 | Published | Journal Article | IST-REx-ID: 2879
The transcription factors BEL1 and SPL are required for cytokinin and auxin signaling during ovule development in Arabidopsis
S. Bencivenga, S. Simonini, E. Benková, L. Colombo, Plant Cell 24 (2012) 2886–2897.
View
| DOI
S. Bencivenga, S. Simonini, E. Benková, L. Colombo, Plant Cell 24 (2012) 2886–2897.
2012 | Published | Conference Paper | IST-REx-ID: 2888
Quantitative reactive models
T.A. Henzinger, in:, Conference Proceedings MODELS 2012, Springer, 2012, pp. 1–2.
View
| DOI
T.A. Henzinger, in:, Conference Proceedings MODELS 2012, Springer, 2012, pp. 1–2.
2012 | Published | Preprint | IST-REx-ID: 2928 |
Generalized sequential tree-reweighted message passing
V. Kolmogorov, T. Schoenemann, ArXiv (2012).
[Preprint]
View
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, T. Schoenemann, ArXiv (2012).
2012 | Published | Conference Paper | IST-REx-ID: 2930 |
Towards minimizing k-submodular functions
A. Huber, V. Kolmogorov, in:, Springer, 2012, pp. 451–462.
[Preprint]
View
| DOI
| Download Preprint (ext.)
A. Huber, V. Kolmogorov, in:, Springer, 2012, pp. 451–462.
2012 | Published | 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.