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.
7685 Publications
2012 |
Published |
Technical Report |
IST-REx-ID: 5378 |
Faster algorithms for alternating refinement relations
K. Chatterjee, S. Chaubal, P. Kamath, Faster Algorithms for Alternating Refinement Relations, IST Austria, 2012.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, S. Chaubal, P. Kamath, Faster Algorithms for Alternating Refinement Relations, IST Austria, 2012.
2012 |
Published |
Technical Report |
IST-REx-ID: 5396 |
Approximating marginals using discrete energy minimization
F. Korc, V. Kolmogorov, C. Lampert, Approximating Marginals Using Discrete Energy Minimization, IST Austria, 2012.
[Published Version]
View
| Files available
| DOI
F. Korc, V. Kolmogorov, C. Lampert, Approximating Marginals Using Discrete Energy Minimization, IST Austria, 2012.
2012 |
Published |
Report |
IST-REx-ID: 5398 |
Actual state of research data @ ISTAustria
J. Porsche, Actual State of Research Data @ ISTAustria, IST Austria, 2012.
[Published Version]
View
| Files available
J. Porsche, Actual State of Research Data @ ISTAustria, IST Austria, 2012.
2012 |
Published |
Conference Paper |
IST-REx-ID: 5745 |
Improved single pass algorithms for resolution proof reduction
A. Gupta, in:, 10th International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2012, pp. 107–121.
[Submitted Version]
View
| Files available
| DOI
A. Gupta, in:, 10th International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2012, pp. 107–121.
2012 |
Published |
Journal Article |
IST-REx-ID: 5839 |
An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets
R. Biswas, J. Sil, Procedia Technology 4 (2012) 820–824.
[Published Version]
View
| Files available
| DOI
R. Biswas, J. Sil, Procedia Technology 4 (2012) 820–824.
2012 |
Published |
Journal Article |
IST-REx-ID: 596 |
Activator-mediator binding stabilizes RNA polymerase II orientation within the human mediator-RNA polymerase II-TFIIF assembly
C. Bernecky, D. Taatjes, Journal of Molecular Biology 417 (2012) 387–394.
View
| DOI
| Download None (ext.)
C. Bernecky, D. Taatjes, Journal of Molecular Biology 417 (2012) 387–394.
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: 347 |
Cu 2ZnGeSe 4 nanocrystals: Synthesis and thermoelectric properties
M. Ibáñez, R. Zamani, A. Lalonde, D. Cadavid, W. Li, A. Shavel, J. Arbiol, J. Morante, S. Gorsse, G.J. Snyder, A. Cabot, Journal of the American Chemical Society 134 (2012) 4060–4063.
View
| DOI
| Download None (ext.)
M. Ibáñez, R. Zamani, A. Lalonde, D. Cadavid, W. Li, A. Shavel, J. Arbiol, J. Morante, S. Gorsse, G.J. Snyder, A. Cabot, Journal of the American Chemical Society 134 (2012) 4060–4063.
2012 |
Published |
Journal Article |
IST-REx-ID: 3846 |
A survey of stochastic ω regular games
K. Chatterjee, T.A. Henzinger, Journal of Computer and System Sciences 78 (2012) 394–413.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
K. Chatterjee, T.A. Henzinger, Journal of Computer and System Sciences 78 (2012) 394–413.
2012 |
Published |
Journal Article |
IST-REx-ID: 387 |
STM imaging of impurity resonances on Bi 2Se 3
Z. Alpichshev, R. Biswas, A. Balatsky, J. Analytis, J. Chu, I. Fisher, A. Kapitulnik, Physical Review Letters 108 (2012).
View
| DOI
| Download None (ext.)
Z. Alpichshev, R. Biswas, A. Balatsky, J. Analytis, J. Chu, I. Fisher, A. Kapitulnik, Physical Review Letters 108 (2012).
2011 |
Published |
Journal Article |
IST-REx-ID: 2961 |
Detecting epistasis via Markov bases
A. Malaspinas, C. Uhler, Journal of Algebraic Statistics 2 (2011) 36–53.
View
| DOI
| Download (ext.)
A. Malaspinas, C. Uhler, Journal of Algebraic Statistics 2 (2011) 36–53.
2011 |
Published |
Journal Article |
IST-REx-ID: 3091 |
Fleeting hormone cues get stabilized for plant organogenesis
M. Sauer, J. Friml, Molecular Systems Biology 7 (2011).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Sauer, J. Friml, Molecular Systems Biology 7 (2011).
2011 |
Published |
Journal Article |
IST-REx-ID: 3092 |
Feedback models for polarized auxin transport: An emerging trend
K.T. Wabnik, W. Govaerts, J. Friml, J. Kleine Vehn, Molecular BioSystems 7 (2011) 2352–2359.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
K.T. Wabnik, W. Govaerts, J. Friml, J. Kleine Vehn, Molecular BioSystems 7 (2011) 2352–2359.
2011 |
Published |
Journal Article |
IST-REx-ID: 3100 |
Developmental regulation of CYCA2s contributes to tissue-specific proliferation in Arabidopsis
S. Vanneste, F. Coppens, E. Lee, T. Donner, Z. Xie, G. Van Isterdael, S. Dhondt, F. De Winter, B. De Rybel, M. Vuylsteke, L. De Veylder, J. Friml, D. Inzé, E. Grotewold, E. Scarpella, F. Sack, G. Beemster, T. Beeckman, EMBO Journal 30 (2011) 3430–3441.
View
| DOI
| Download (ext.)
S. Vanneste, F. Coppens, E. Lee, T. Donner, Z. Xie, G. Van Isterdael, S. Dhondt, F. De Winter, B. De Rybel, M. Vuylsteke, L. De Veylder, J. Friml, D. Inzé, E. Grotewold, E. Scarpella, F. Sack, G. Beemster, T. Beeckman, EMBO Journal 30 (2011) 3430–3441.
2011 |
Published |
Journal Article |
IST-REx-ID: 3101 |
The AP 3 adaptor complex is required for vacuolar function in Arabidopsis
M. Zwiewka, E. Feraru, B. Möller, I. Hwang, M. Feraru, J. Kleine Vehn, D. Weijers, J. Friml, Cell Research 21 (2011) 1711–1722.
View
| DOI
| Download (ext.)
M. Zwiewka, E. Feraru, B. Möller, I. Hwang, M. Feraru, J. Kleine Vehn, D. Weijers, J. Friml, Cell Research 21 (2011) 1711–1722.
2011 |
Published |
Journal Article |
IST-REx-ID: 3269 |
Perceptual global illumination cancellation in complex projection environments
Y. Sheng, B. Cutler, C. Chen, J. Nasman, Computer Graphics Forum 30 (2011) 1261–1268.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
Y. Sheng, B. Cutler, C. Chen, J. Nasman, Computer Graphics Forum 30 (2011) 1261–1268.
2011 |
Published |
Thesis | PhD |
IST-REx-ID: 3275 |
The role of chemotactic gradients in dendritic cell migration
K. Schumann, The Role of Chemotactic Gradients in Dendritic Cell Migration, Institute of Science and Technology Austria, 2011.
[Published Version]
View
| Files available
K. Schumann, The Role of Chemotactic Gradients in Dendritic Cell Migration, Institute of Science and Technology Austria, 2011.
2011 |
Published |
Journal Article |
IST-REx-ID: 3276 |
Fast, scalable, Bayesian spike identification for multi-electrode arrays
J. Prentice, J. Homann, K. Simmons, G. Tkačik, V. Balasubramanian, P. Nelson, PLoS One 6 (2011).
View
| Files available
| DOI
J. Prentice, J. Homann, K. Simmons, G. Tkačik, V. Balasubramanian, P. Nelson, PLoS One 6 (2011).
2011 |
Published |
Journal Article |
IST-REx-ID: 3288 |
Multicomponent analysis of junctional movements regulated by Myosin II isoforms at the epithelial zonula adherens
M. Smutny, S. Wu, G. Gomez, S. Mangold, A. Yap, N. Hamilton, PLoS One 6 (2011).
[Published Version]
View
| Files available
| DOI
| WoS
M. Smutny, S. Wu, G. Gomez, S. Mangold, A. Yap, N. Hamilton, PLoS One 6 (2011).