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.
7604 Publications
2012 |
Published |
Journal Article |
IST-REx-ID: 1972
Structure of Escherichia coli OmpF porin from lipidic mesophase
R. Efremov, L.A. Sazanov, Journal of Structural Biology 178 (2012) 311–318.
View
| DOI
R. Efremov, L.A. Sazanov, Journal of Structural Biology 178 (2012) 311–318.
2012 |
Published |
Book Review |
IST-REx-ID: 1976
The coupling mechanism of respiratory complex i - A structural and evolutionary perspective
R. Efremov, L.A. Sazanov, Biochimica et Biophysica Acta - Bioenergetics 1817 (2012) 1785–1795.
View
| DOI
R. Efremov, L.A. Sazanov, Biochimica et Biophysica Acta - Bioenergetics 1817 (2012) 1785–1795.
2012 |
Published |
Journal Article |
IST-REx-ID: 1056 |
Preparation and spectroscopy of a metastable mott-insulator state with attractive interactions
M. Mark, E. Haller, K. Lauber, J.G. Danzl, A. Janisch, H. Büchler, A. Daley, H. Nägerl, Physical Review Letters 108 (2012).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Mark, E. Haller, K. Lauber, J.G. Danzl, A. Janisch, H. Büchler, A. Daley, H. Nägerl, Physical Review Letters 108 (2012).
2012 |
Published |
Book Chapter |
IST-REx-ID: 10896
The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books
S. zur Nedden, A.S. Doney, B.G. Frenguelli, in:, S. Masino, D. Boison (Eds.), Adenosine, 1st ed., Springer, New York, 2012, pp. 109–129.
View
| DOI
S. zur Nedden, A.S. Doney, B.G. Frenguelli, in:, S. Masino, D. Boison (Eds.), Adenosine, 1st ed., Springer, New York, 2012, pp. 109–129.
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
| Download Preprint (ext.)
| 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. 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. 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: 113
Impact-activated solidification of dense suspensions via dynamic jamming fronts
S.R. Waitukaitis, H. Jaeger, Nature 487 (2012) 205–209.
View
| DOI
S.R. Waitukaitis, H. Jaeger, Nature 487 (2012) 205–209.
2012 |
Published |
Journal Article |
IST-REx-ID: 114 |
Solidification of a cornstarch and water suspension
S.R. Waitukaitis, H. Jaeger, Revista Cubana de Fisica 29 (2012) 1E31-1E33.
[Published Version]
View
| Files available
S.R. Waitukaitis, H. Jaeger, Revista Cubana de Fisica 29 (2012) 1E31-1E33.
2012 |
Published |
Journal Article |
IST-REx-ID: 1055
Bulla in the lung
B. Erne, M. Graff, W. Klemm, J.G. Danzl, G. Leschber, The Lancet 380 (2012).
View
| DOI
B. Erne, M. Graff, W. Klemm, J.G. Danzl, G. Leschber, The Lancet 380 (2012).
2012 |
Published |
Journal Article |
IST-REx-ID: 2101
Fabricating articulated characters from skinned meshes
M. Bac̈Her, B. Bickel, D. James, H. Pfister, ACM Transactions on Graphics 31 (2012).
View
| DOI
M. Bac̈Her, B. Bickel, D. James, H. Pfister, ACM Transactions on Graphics 31 (2012).
2012 |
Published |
Journal Article |
IST-REx-ID: 2102
Physical face cloning
B. Bickel, P. Kaufmann, M. Skouras, B. Thomaszewski, D. Bradley, T. Beeler, P. Jackson, S. Marschner, W. Matusik, M. Groß, ACM Transactions on Graphics 31 (2012).
View
| DOI
B. Bickel, P. Kaufmann, M. Skouras, B. Thomaszewski, D. Bradley, T. Beeler, P. Jackson, S. Marschner, W. Matusik, M. Groß, ACM Transactions on Graphics 31 (2012).
2012 |
Published |
Journal Article |
IST-REx-ID: 2103
Coupled 3D reconstruction of sparse facial hair and skin
T. Beeler, B. Bickel, G. Noris, P. Beardsley, S. Marschner, R. Sumner, M. Groß, ACM Transactions on Graphics 31 (2012).
View
| DOI
T. Beeler, B. Bickel, G. Noris, P. Beardsley, S. Marschner, R. Sumner, M. Groß, ACM Transactions on Graphics 31 (2012).
2012 |
Published |
Conference Paper |
IST-REx-ID: 2104
Data-driven simulation methods in computer graphics: Cloth, tissue and faces
M. Otaduy, B. Bickel, D. Bradley, H. Wang, in:, ACM, 2012.
View
| DOI
M. Otaduy, B. Bickel, D. Bradley, H. Wang, in:, ACM, 2012.
2012 |
Published |
Conference Paper |
IST-REx-ID: 2105
Computational design of rubber balloons
M. Skouras, B. Thomaszewski, B. Bickel, M. Groß, in:, Wiley-Blackwell, 2012, pp. 835–844.
View
| DOI
M. Skouras, B. Thomaszewski, B. Bickel, M. Groß, in:, Wiley-Blackwell, 2012, pp. 835–844.
2012 |
Published |
Conference Paper |
IST-REx-ID: 2106
Data-driven estimation of cloth simulation models
E. Miguel, D. Bradley, B. Thomaszewski, B. Bickel, W. Matusik, M. Otaduy, S. Marschner, in:, Wiley-Blackwell, 2012, pp. 519–528.
View
| DOI
E. Miguel, D. Bradley, B. Thomaszewski, B. Bickel, W. Matusik, M. Otaduy, S. Marschner, in:, Wiley-Blackwell, 2012, pp. 519–528.
2012 |
Published |
Journal Article |
IST-REx-ID: 2125 |
A spatial version of the Itô-Stratonovich correction
M. Hairer, J. Maas, Annals of Probability 40 (2012) 1675–1714.
View
| DOI
| Download (ext.)
M. Hairer, J. Maas, Annals of Probability 40 (2012) 1675–1714.
2012 |
Published |
Journal Article |
IST-REx-ID: 2127 |
Ricci curvature of finite Markov chains via convexity of the entropy
M. Erbar, J. Maas, Archive for Rational Mechanics and Analysis 206 (2012) 997–1038.
View
| DOI
| Download (ext.)
M. Erbar, J. Maas, Archive for Rational Mechanics and Analysis 206 (2012) 997–1038.
2012 |
Published |
Journal Article |
IST-REx-ID: 2128 |
Whitney coverings and the tent spaces T 1,q (γ) for the Gaussian measure
J. Maas, J. Van Neerven, P. Portal, Arkiv För Matematik 50 (2012) 379–395.
View
| DOI
| Download (ext.)
J. Maas, J. Van Neerven, P. Portal, Arkiv För Matematik 50 (2012) 379–395.