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.
4144 Publications
2014 | Journal Article | IST-REx-ID: 2233 | 
Exact and approximate determinization of discounted-sum automata
U. Boker, T.A. Henzinger, Logical Methods in Computer Science 10 (2014).
View
| Files available
| DOI
U. Boker, T.A. Henzinger, Logical Methods in Computer Science 10 (2014).
2014 | Journal Article | IST-REx-ID: 2234 |
Markov decision processes with multiple long-run average objectives
T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, A. Kučera, Logical Methods in Computer Science 10 (2014).
View
| Files available
| DOI
| Download Published Version (ext.)
T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, A. Kučera, Logical Methods in Computer Science 10 (2014).
2014 | Journal Article | IST-REx-ID: 2235 |
Disease associations between honeybees and bumblebees as a threat to wild pollinators
M. Fürst, D. Mcmahon, J. Osborne, R. Paxton, M. Brown, Nature 506 (2014) 364–366.
View
| DOI
| Download Submitted Version (ext.)
M. Fürst, D. Mcmahon, J. Osborne, R. Paxton, M. Brown, Nature 506 (2014) 364–366.
2014 | Conference Paper | IST-REx-ID: 2236 |
How to fake auxiliary input
D. Jetchev, K.Z. Pietrzak, in:, Y. Lindell (Ed.), Springer, 2014, pp. 566–590.
View
| Files available
| DOI
| Download Submitted Version (ext.)
D. Jetchev, K.Z. Pietrzak, in:, Y. Lindell (Ed.), Springer, 2014, pp. 566–590.
2014 | Journal Article | IST-REx-ID: 2246 |
Alternating traps in Muller and parity games
A. Grinshpun, P. Phalitnonkiat, S. Rubin, A. Tarfulea, Theoretical Computer Science 521 (2014) 73–91.
View
| DOI
| Download Submitted Version (ext.)
A. Grinshpun, P. Phalitnonkiat, S. Rubin, A. Tarfulea, Theoretical Computer Science 521 (2014) 73–91.
2014 | 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.
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 | Journal Article | IST-REx-ID: 2250 |
Powerful sequence similarity search methods and in-depth manual analyses can identify remote homologs in many apparently "orphan" viral proteins
D. Kuchibhatla, W. Sherman, B. Chung, S. Cook, G. Schneider, B. Eisenhaber, D. Karlin, Journal of Virology 88 (2014) 10–20.
View
| Files available
| DOI
D. Kuchibhatla, W. Sherman, B. Chung, S. Cook, G. Schneider, B. Eisenhaber, D. Karlin, Journal of Virology 88 (2014) 10–20.
2014 | Journal Article | IST-REx-ID: 2251 |
Sharp wave/ripple network oscillations and learning-associated hippocampal maps
J.L. Csicsvari, D. Dupret, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 369 (2014).
View
| Files available
| DOI
| PubMed | Europe PMC
J.L. Csicsvari, D. Dupret, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 369 (2014).
2014 | 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.
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 | Journal Article | IST-REx-ID: 2254 |
Theta-gamma-modulated synaptic currents in hippocampal granule cells in vivo define a mechanism for network oscillations
A. Pernia-Andrade, P.M. Jonas, Neuron 81 (2014) 140–152.
View
| Files available
| DOI
A. Pernia-Andrade, P.M. Jonas, Neuron 81 (2014) 140–152.