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.
9096 Publications
2014 | Conference Paper | IST-REx-ID: 2239
Boker, U., Henzinger, T. A., & Radhakrishna, A. (2014). Battery transition systems (Vol. 49, pp. 595–606). Presented at the POPL: Principles of Programming Languages, San Diego, USA: ACM. https://doi.org/10.1145/2535838.2535875
View
| DOI
2014 | Journal Article | IST-REx-ID: 2235 | 
Fürst, M., Mcmahon, D., Osborne, J., Paxton, R., & Brown, M. (2014). Disease associations between honeybees and bumblebees as a threat to wild pollinators. Nature. Nature Publishing Group. https://doi.org/10.1038/nature12977
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2241
Beppu, K., Sasaki, T., Tanaka, K., Yamanaka, A., Fukazawa, Y., Shigemoto, R., & Matsui, K. (2014). Optogenetic countering of glial acidosis suppresses glial glutamate release and ischemic brain damage. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2013.11.011
View
| DOI
2014 | Book Chapter | IST-REx-ID: 2245
Simon, S., Skůpa, P., Dobrev, P., Petrášek, J., Zažímalová, E., & Friml, J. (2014). Analyzing the in vivo status of exogenously applied auxins: A HPLC-based method to characterize the intracellularly localized auxin transporters. In G. Hicks & S. Robert (Eds.), Plant Chemical Genomics (Vol. 1056, pp. 255–264). Springer. https://doi.org/10.1007/978-1-62703-592-7_23
View
| DOI
2014 | Journal Article | IST-REx-ID: 2246 |
Grinshpun, A., Phalitnonkiat, P., Rubin, S., & Tarfulea, A. (2014). Alternating traps in Muller and parity games. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2013.11.032
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)