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.
2030 Publications
2009 |
Published |
Conference Paper |
IST-REx-ID: 4542 |
Alternating weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 3–13.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 3–13.
2009 |
Published |
Conference Paper |
IST-REx-ID: 4543
Stochastic games with finitary objectives
K. Chatterjee, T.A. Henzinger, F. Horn, in:, Springer, 2009, pp. 34–54.
View
| DOI
K. Chatterjee, T.A. Henzinger, F. Horn, in:, Springer, 2009, pp. 34–54.
2009 |
Published |
Conference Paper |
IST-REx-ID: 4545 |
A survey of stochastic games with limsup and liminf objectives
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 1–15.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 1–15.
2009 |
Published |
Conference Paper |
IST-REx-ID: 4569 |
Better quality in synthesis through quantitative objectives
R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156.
2009 |
Published |
Conference Paper |
IST-REx-ID: 4580 |
Alpaga: A tool for solving parity games with imperfect information
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 58–61.
View
| Files available
| DOI
| Download (ext.)
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 58–61.
2008 |
Published |
Journal Article |
IST-REx-ID: 2753
Quantum diffusion of the random Schrödinger evolution in the scaling limit
L. Erdös, M. Salmhofer, H. Yau, Acta Mathematica 200 (2008) 211–277.
View
| DOI
L. Erdös, M. Salmhofer, H. Yau, Acta Mathematica 200 (2008) 211–277.
2008 |
Published |
Journal Article |
IST-REx-ID: 2755
Ground-state energy of a low-density Bose gas: A second-order upper bound
L. Erdös, B. Schlein, H. Yau, Physical Review A - Atomic, Molecular, and Optical Physics 78 (2008).
View
| DOI
L. Erdös, B. Schlein, H. Yau, Physical Review A - Atomic, Molecular, and Optical Physics 78 (2008).
2008 |
Published |
Journal Article |
IST-REx-ID: 3032
ARF GEF dependent transcytosis and polar delivery of PIN auxin carriers in Arabidopsis
J. Kleine Vehn, P. Dhonukshe, M. Sauer, P. Brewer, J. Wiśniewska, T. Paciorek, E. Benková, J. Friml, Current Biology 18 (2008) 526–531.
View
| DOI
J. Kleine Vehn, P. Dhonukshe, M. Sauer, P. Brewer, J. Wiśniewska, T. Paciorek, E. Benková, J. Friml, Current Biology 18 (2008) 526–531.
2008 |
Published |
Conference Paper |
IST-REx-ID: 3198
Feature correspondence via graph matching: Models and global optimization
L. Torresani, V. Kolmogorov, C. Rother, in:, Springer, 2008, pp. 596–609.
View
| DOI
| Download (ext.)
L. Torresani, V. Kolmogorov, C. Rother, in:, Springer, 2008, pp. 596–609.
2008 |
Published |
Conference Paper |
IST-REx-ID: 3224
A new mode of operation for block ciphers and length preserving MACs
Y. Dodis, K.Z. Pietrzak, P. Puniya, in:, Springer, 2008, pp. 198–219.
View
| DOI
Y. Dodis, K.Z. Pietrzak, P. Puniya, in:, Springer, 2008, pp. 198–219.
2008 |
Published |
Conference Paper |
IST-REx-ID: 3225
Robust multi property combiners for hash functions revisited
M. Fischlin, A. Lehmann, K.Z. Pietrzak, in:, Springer, 2008, pp. 655–666.
View
| Files available
| DOI
M. Fischlin, A. Lehmann, K.Z. Pietrzak, in:, Springer, 2008, pp. 655–666.
2008 |
Published |
Conference Paper |
IST-REx-ID: 3226
Weak pseudorandom functions in minicrypt
K.Z. Pietrzak, J. Sjödin, in:, Springer, 2008, pp. 423–436.
View
| DOI
K.Z. Pietrzak, J. Sjödin, in:, Springer, 2008, pp. 423–436.
2008 |
Published |
Conference Paper |
IST-REx-ID: 3228
Compression from collisions or why CRHF combiners have a long output
K.Z. Pietrzak, in:, Springer, 2008, pp. 413–432.
View
| DOI
K.Z. Pietrzak, in:, Springer, 2008, pp. 413–432.
2008 |
Published |
Conference Paper |
IST-REx-ID: 18033
Molecule Nanoelectronics
L. Venkataraman, in:, 2008 International Symposium on VLSI Technology, Systems and Applications, IEEE, 2008, pp. 64–65.
View
| DOI
L. Venkataraman, in:, 2008 International Symposium on VLSI Technology, Systems and Applications, IEEE, 2008, pp. 64–65.
2008 |
Published |
Conference Paper |
IST-REx-ID: 18337
Regularized partial matching of rigid shapes
A.M. Bronstein, M.M. Bronstein, in:, 10th European Conference on Computer Vision, Springer Berlin Heidelberg, 2008, pp. 143–154.
View
| DOI
A.M. Bronstein, M.M. Bronstein, in:, 10th European Conference on Computer Vision, Springer Berlin Heidelberg, 2008, pp. 143–154.
2008 |
Published |
Journal Article |
IST-REx-ID: 1296
Response properties of motion sensitive visual interneurons in the Lobula plate of Drosophila melanogaster
M.A. Jösch, J. Plett, A. Borst, D. Reiff, Current Biology 18 (2008) 368–374.
View
| DOI
M.A. Jösch, J. Plett, A. Borst, D. Reiff, Current Biology 18 (2008) 368–374.
2008 |
Published |
Journal Article |
IST-REx-ID: 11111
Reshaping of the endoplasmic reticulum limits the rate for nuclear envelope formation
D.J. Anderson, M. Hetzer, Journal of Cell Biology 182 (2008) 911–924.
View
| DOI
| PubMed | Europe PMC
D.J. Anderson, M. Hetzer, Journal of Cell Biology 182 (2008) 911–924.
2008 |
Published |
Journal Article |
IST-REx-ID: 2374 |
Free energy of a dilute Bose gas: Lower bound
R. Seiringer, Communications in Mathematical Physics 279 (2008) 595–636.
View
| DOI
| Download (ext.)
R. Seiringer, Communications in Mathematical Physics 279 (2008) 595–636.
2008 |
Published |
Conference Paper |
IST-REx-ID: 2432
On center regions and balls containing many points
S. Smorodinsky, M. Sulovský, U. Wagner, in:, Springer, 2008, pp. 363–373.
View
| DOI
S. Smorodinsky, M. Sulovský, U. Wagner, in:, Springer, 2008, pp. 363–373.
2008 |
Published |
Journal Article |
IST-REx-ID: 17721 |
The thickness of high-redshift quasar ionization fronts as a constraint on the ionizing spectral energy distribution
R.H. Kramer, Z. Haiman, Monthly Notices of the Royal Astronomical Society 385 (2008) 1561–1575.
[Published Version]
View
| DOI
| Download Published Version (ext.)
R.H. Kramer, Z. Haiman, Monthly Notices of the Royal Astronomical Society 385 (2008) 1561–1575.