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.
4262 Publications
2014 |Published| Journal Article | IST-REx-ID: 2253 |
Expression of TWISTED DWARF1 lacking its in-plane membrane anchor leads to increased cell elongation and hypermorphic growth
A. Bailly, B. Wang, M. Zwiewka, S. Pollmann, D. Schenck, H. Lüthen, A. Schulz, J. Friml, M. Geisler, Plant Journal 77 (2014) 108–118.
[Published Version]
View
| DOI
| Download Published Version (ext.)
A. Bailly, B. Wang, M. Zwiewka, S. Pollmann, D. Schenck, H. Lüthen, A. Schulz, J. Friml, M. Geisler, Plant Journal 77 (2014) 108–118.
2014 |Published| Journal Article | IST-REx-ID: 2249 |
Inter-regulation of the unfolded protein response and auxin signaling
Y. Chen, K. Aung, J. Rolčík, K. Walicki, J. Friml, F. Brandizzí, Plant Journal 77 (2014) 97–107.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
Y. Chen, K. Aung, J. Rolčík, K. Walicki, J. Friml, F. Brandizzí, Plant Journal 77 (2014) 97–107.
2014 |Published| Journal Article | IST-REx-ID: 2261 |
DICE, an efficient system for iterative genomic editing in human pluripotent stem cells
F. Zhu, M. Gamboa, A. Farruggio, S. Hippenmeyer, B. Tasic, B. Schüle, Y. Chen Tsai, M. Calos, Nucleic Acids Research 42 (2014).
[Preprint]
View
| Files available
| DOI
F. Zhu, M. Gamboa, A. Farruggio, S. Hippenmeyer, B. Tasic, B. Schüle, Y. Chen Tsai, M. Calos, Nucleic Acids Research 42 (2014).
2014 |Published| Conference Paper | IST-REx-ID: 2275 |
Partial enumeration and curvature regularization
C. Olsson, J. Ulen, Y. Boykov, V. Kolmogorov, in:, IEEE, 2014, pp. 2936–2943.
[Submitted Version]
View
| Files available
| DOI
C. Olsson, J. Ulen, Y. Boykov, V. Kolmogorov, in:, IEEE, 2014, pp. 2936–2943.
2014 |Published| Journal Article | IST-REx-ID: 2285 |
Morpho-physiological criteria divide dentate gyrus interneurons into classes
J. Hosp, M. Strüber, Y. Yanagawa, K. Obata, I. Vida, P.M. Jonas, M. Bartos, Hippocampus 23 (2014) 189–203.
[Published Version]
View
| Files available
| DOI
J. Hosp, M. Strüber, Y. Yanagawa, K. Obata, I. Vida, P.M. Jonas, M. Bartos, Hippocampus 23 (2014) 189–203.
2014 |Published| Journal Article | IST-REx-ID: 2699 |
Universality of general β-ensembles
L. Erdös, P. Bourgade, H. Yau, Duke Mathematical Journal 163 (2014) 1127–1190.
[Preprint]
View
| DOI
| Download Preprint (ext.)
L. Erdös, P. Bourgade, H. Yau, Duke Mathematical Journal 163 (2014) 1127–1190.
2014 |Published| Journal Article | IST-REx-ID: 2716 |
Strategy synthesis for multi-dimensional quantitative objectives
K. Chatterjee, M. Randour, J. Raskin, Acta Informatica 51 (2014) 129–163.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Randour, J. Raskin, Acta Informatica 51 (2014) 129–163.
2014 |Published| Conference Paper | IST-REx-ID: 2905 |
Persistent homology: Theory and practice
H. Edelsbrunner, D. Morozovy, in:, European Mathematical Society Publishing House, 2014, pp. 31–50.
[Submitted Version]
View
| Files available
| DOI
H. Edelsbrunner, D. Morozovy, in:, European Mathematical Society Publishing House, 2014, pp. 31–50.
2014 |Published| Journal Article | IST-REx-ID: 1733 |
Interface simulation distances
P. Cerny, M. Chmelik, T.A. Henzinger, A. Radhakrishna, Theoretical Computer Science 560 (2014) 348–363.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
P. Cerny, M. Chmelik, T.A. Henzinger, A. Radhakrishna, Theoretical Computer Science 560 (2014) 348–363.
2014 |Published| Journal Article | IST-REx-ID: 2141 |
Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition
K. Chatterjee, M.H. Henzinger, Journal of the ACM 61 (2014).
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
K. Chatterjee, M.H. Henzinger, Journal of the ACM 61 (2014).
2014 |Published| Journal Article | IST-REx-ID: 3263 |
Adaptation to changes in higher-order stimulus statistics in the salamander retina
G. Tkačik, A. Ghosh, E. Schneidman, R. Segev, PLoS One 9 (2014).
[Published Version]
View
| Files available
| DOI
G. Tkačik, A. Ghosh, E. Schneidman, R. Segev, PLoS One 9 (2014).
2014 |Published| Journal Article | IST-REx-ID: 468 |
Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin's finches
A. Cimadom, A. Ulloa, P. Meidl, M. Zöttl, E. Zöttl, B. Fessl, E. Nemeth, M. Dvorak, F. Cunninghame, S. Tebbich, PLoS One 9 (2014).
[Published Version]
View
| Files available
| DOI
A. Cimadom, A. Ulloa, P. Meidl, M. Zöttl, E. Zöttl, B. Fessl, E. Nemeth, M. Dvorak, F. Cunninghame, S. Tebbich, PLoS One 9 (2014).
2014 |Published| Conference Paper | IST-REx-ID: 475 |
First cycle games
B. Aminof, S. Rubin, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, 2014, pp. 83–90.
[Published Version]
View
| Files available
| DOI
B. Aminof, S. Rubin, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, 2014, pp. 83–90.
2014 |Published| Journal Article | IST-REx-ID: 537 |
Fitness consequences of maternal and grandmaternal effects
R. Prizak, T. Ezard, R. Hoyle, Ecology and Evolution 4 (2014) 3139–3145.
[Published Version]
View
| Files available
| DOI
R. Prizak, T. Ezard, R. Hoyle, Ecology and Evolution 4 (2014) 3139–3145.
2014 |Published| Journal Article | IST-REx-ID: 2211 |
Partial-observation stochastic games: How to win when belief fails
K. Chatterjee, L. Doyen, ACM Transactions on Computational Logic (TOCL) 15 (2014).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, L. Doyen, ACM Transactions on Computational Logic (TOCL) 15 (2014).
2014 |Published| Journal Article | IST-REx-ID: 2038 |
Temporal specifications with accumulative values
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, ACM Transactions on Computational Logic (TOCL) 15 (2014).
[Submitted Version]
View
| Files available
| DOI
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, ACM Transactions on Computational Logic (TOCL) 15 (2014).
2014 |Published| Conference Paper | IST-REx-ID: 2162 |
The complexity of ergodic mean payoff games
K. Chatterjee, R. Ibsen-Jensen, in:, Springer, 2014, pp. 122–133.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, R. Ibsen-Jensen, in:, Springer, 2014, pp. 122–133.
2014 |Published| Conference Paper | IST-REx-ID: 2213 |
The complexity of partial-observation stochastic parity games with finite-memory strategies
K. Chatterjee, L. Doyen, S. Nain, M. Vardi, in:, Springer, 2014, pp. 242–257.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, L. Doyen, S. Nain, M. Vardi, in:, Springer, 2014, pp. 242–257.
2014 |Published| Conference Paper | IST-REx-ID: 2216 |
Edit distance for timed automata
K. Chatterjee, R. Ibsen-Jensen, R. Majumdar, in:, Springer, 2014, pp. 303–312.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
K. Chatterjee, R. Ibsen-Jensen, R. Majumdar, in:, Springer, 2014, pp. 303–312.
2014 |Published| Technical Report | IST-REx-ID: 5411 |
Compositional specifications for IOCO testing
P. Daca, T.A. Henzinger, W. Krenn, D. Nickovic, Compositional Specifications for IOCO Testing, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
P. Daca, T.A. Henzinger, W. Krenn, D. Nickovic, Compositional Specifications for IOCO Testing, IST Austria, 2014.