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.
7110 Publications
2012 | Published | Journal Article | IST-REx-ID: 808 | 
Actin branching in the initiation and maintenance of lamellipodia
M. Vinzenz, M. Nemethova, F.K. Schur, J. Mueller, A. Narita, E. Urban, C. Winkler, C. Schmeiser, S. Koestler, K. Rottner, G. Resch, Y. Maéda, J. Small, Journal of Cell Science 125 (2012) 2775–2785.
View
| Files available
| DOI
M. Vinzenz, M. Nemethova, F.K. Schur, J. Mueller, A. Narita, E. Urban, C. Winkler, C. Schmeiser, S. Koestler, K. Rottner, G. Resch, Y. Maéda, J. Small, Journal of Cell Science 125 (2012) 2775–2785.
2012 | Published | Journal Article | IST-REx-ID: 8246
Deletion of hypothetical wall teichoic acid ligases in Staphylococcus aureus activates the cell wall stress response
V. Dengler, P.S. Meier, R. Heusser, P. Kupferschmied, J. Singer, S. Friebe, S.B. Staufer, P.A. Majcherczyk, P. Moreillon, B. Berger-Bächi, N. McCallum, FEMS Microbiology Letters 333 (2012) 109–120.
View
| DOI
| PubMed | Europe PMC
V. Dengler, P.S. Meier, R. Heusser, P. Kupferschmied, J. Singer, S. Friebe, S.B. Staufer, P.A. Majcherczyk, P. Moreillon, B. Berger-Bächi, N. McCallum, FEMS Microbiology Letters 333 (2012) 109–120.
2012 | Published | Journal Article | IST-REx-ID: 826
Hormonal interactions in the regulation of plant development
M. Vanstraelen, E. Benková, Annual Review of Cell and Developmental Biology 28 (2012) 463–487.
View
| DOI
M. Vanstraelen, E. Benková, Annual Review of Cell and Developmental Biology 28 (2012) 463–487.
2012 | Published | Journal Article | IST-REx-ID: 829
Spatiotemporal regulation of lateral root organogenesis in Arabidopsis by cytokinin
A. Bielach, K. Podlesakova, P. Marhavý, J. Duclercq, C. Cuesta, B. Muller, W. Grunewald, P. Tarkowski, E. Benková, The Plant Cell 24 (2012) 3967–3981.
View
| DOI
A. Bielach, K. Podlesakova, P. Marhavý, J. Duclercq, C. Cuesta, B. Muller, W. Grunewald, P. Tarkowski, E. Benková, The Plant Cell 24 (2012) 3967–3981.
2012 | Published | Journal Article | IST-REx-ID: 846
Estimating the rate of irreversibility in protein evolution
O. Soylemez, F. Kondrashov, Genome Biology and Evolution 4 (2012) 1213–1222.
View
| DOI
O. Soylemez, F. Kondrashov, Genome Biology and Evolution 4 (2012) 1213–1222.
2012 | Published | Journal Article | IST-REx-ID: 858
Stop codons in bacteria are not selectively equivalent
I. Povolotskaya, F. Kondrashov, A. Ledda, P. Vlasov, Biology Direct 7 (2012).
View
| DOI
I. Povolotskaya, F. Kondrashov, A. Ledda, P. Vlasov, Biology Direct 7 (2012).
2012 | Research Data Reference | IST-REx-ID: 13075 |
Data from: A likelihood-based comparison of population histories in a parasitoid guild
K. Lohse, N.H. Barton, G. Stone, G. Melika, (2012).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
K. Lohse, N.H. Barton, G. Stone, G. Melika, (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
| 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: 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: 1471 |
Prym varieties of spectral covers
T. Hausel, C. Pauly, Geometry and Topology 16 (2012) 1609–1638.
View
| DOI
| Download (ext.)
T. Hausel, C. Pauly, Geometry and Topology 16 (2012) 1609–1638.
2012 | Published | Journal Article | IST-REx-ID: 1472 |
Topology of hitchin systems and Hodge theory of character varieties: The case A 1
M. De Cataldo, T. Hausel, L. Migliorini, Annals of Mathematics 175 (2012) 1329–1407.
View
| DOI
| Download (ext.)
M. De Cataldo, T. Hausel, L. Migliorini, Annals of Mathematics 175 (2012) 1329–1407.
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: 6136 |
Tonic signaling from O2 sensors sets neural circuit activity and behavioral state
K.E. Busch, P. Laurent, Z. Soltesz, R.J. Murphy, O. Faivre, B. Hedwig, M. Thomas, H.L. Smith, M. de Bono, Nature Neuroscience 15 (2012) 581–591.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
K.E. Busch, P. Laurent, Z. Soltesz, R.J. Murphy, O. Faivre, B. Hedwig, M. Thomas, H.L. Smith, M. de Bono, Nature Neuroscience 15 (2012) 581–591.
2012 | Published | Journal Article | IST-REx-ID: 6588 |
Elementary solutions of the Bernstein problem on two intervals
F. Pausinger, Journal of Mathematical Physics, Analysis, Geometry 8 (2012) 63–78.
[Published Version]
View
| Download Published Version (ext.)
| WoS
F. Pausinger, Journal of Mathematical Physics, Analysis, Geometry 8 (2012) 63–78.
2012 | Published | Journal Article | IST-REx-ID: 2772
Second order semiclassics with self generated magnetic fields
L. Erdös, S. Fournais, J. Solovej, Annales Henri Poincare 13 (2012) 671–730.
View
| DOI
L. Erdös, S. Fournais, J. Solovej, Annales Henri Poincare 13 (2012) 671–730.