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.
5621 Publications
2014 | Published | Conference Paper | IST-REx-ID: 2027 | 
Brázdil, Tomáš, Verification of markov decision processes using learning algorithms. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8837. 2014
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Published | Conference Paper | IST-REx-ID: 2043 |
Bauer, Ulrich, Distributed computation of persistent homology. Proceedings of the Workshop on Algorithm Engineering and Experiments. 2014
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Published | Conference Paper | IST-REx-ID: 2905 |
Edelsbrunner, Herbert, Persistent homology: Theory and practice. 2014
[Submitted Version]
View
| Files available
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 2033 |
Hernandez Lobato, Daniel, Mind the nuisance: Gaussian process classification using privileged noise. Advances in Neural Information Processing Systems 1 (January). 2014
[Submitted Version]
View
| Download Submitted Version (ext.)
2014 | Published | Conference Paper | IST-REx-ID: 1702 |
Gupta, Ashutosh, Generalised interpolation by solving recursion free-horn clauses. Electronic Proceedings in Theoretical Computer Science, EPTCS 169. 2014
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Published | Conference Paper | IST-REx-ID: 1708
Savin, Cristina, Spatio-temporal representations of uncertainty in spiking neural networks. 3 (January). 2014
View
| Download None (ext.)
2014 | Published | Journal Article | IST-REx-ID: 1905 |
Tobler, Michael, Selection from parasites favours immunogenetic diversity but not divergence among locally adapted host populations. Journal of Evolutionary Biology 27 (5). 2014
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 2141 |
Chatterjee K, Henzinger M. Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition. Journal of the ACM. 2014;61(3). doi:10.1145/2597631
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2014 | Published | Technical Report | IST-REx-ID: 5415 |
Chatterjee K, Henzinger TA, Otop J. Nested Weighted Automata. IST Austria; 2014. doi:10.15479/AT:IST-2014-170-v1-1
[Published Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 2223 |
Tanaka, Hirokazu, BEX1/ARF1A1C is required for BFA-sensitive recycling of PIN auxin transporters and auxin-mediated development in arabidopsis. Plant and Cell Physiology 55 (4). 2014
[Published Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 2250 |
Kuchibhatla, Durga, Powerful sequence similarity search methods and in-depth manual analyses can identify remote homologs in many apparently "orphan" viral proteins. Journal of Virology 88 (1). 2014
[Published Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 2229 |
Vyleta, Nicholas, Loose coupling between Ca^2+ channels and release sensors at a plastic hippocampal synapse. Science 343 (6171). 2014
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 2235 |
Fürst, Matthias, Disease associations between honeybees and bumblebees as a threat to wild pollinators. Nature 506 (7488). 2014
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 2231 |
Rieckh, Georg, Noise and information transmission in promoters with multiple internal states. Biophysical Journal 106 (5). 2014
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 1999
Stroeymeyt N, Casillas Perez BE, Cremer S. Organisational immunity in social insects. Current Opinion in Insect Science. 2014;5(1):1-15. doi:10.1016/j.cois.2014.09.001
View
| Files available
| DOI