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.
7479 Publications
2011 | Published | Journal Article | IST-REx-ID: 3370 | 
Kupczok A. Consequences of different null models on the tree shape bias of supertree methods. Systematic Biology. 2011;60(2):218-225. doi:10.1093/sysbio/syq086
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2011 | Published | Journal Article | IST-REx-ID: 3373 |
Jahnel M, Behrndt M, Jannasch A, Schaeffer E, Grill S. Measuring the complete force field of an optical trap. Optics Letters. 2011;36(7):1260-1262. doi:10.1364/OL.36.001260
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2011 | Published | Journal Article | IST-REx-ID: 3353 |
Tripakis S, Lickly B, Henzinger TA, Lee E. A theory of synchronous relational interfaces. ACM Transactions on Programming Languages and Systems (TOPLAS). 2011;33(4). doi:10.1145/1985342.1985345
[Submitted Version]
View
| Files available
| DOI
| WoS
2011 | Published | Conference Paper | IST-REx-ID: 3361 |
Cerny P, Chatterjee K, Henzinger TA. The complexity of quantitative information flow problems. In: IEEE; 2011:205-217. doi:10.1109/CSF.2011.21
[Submitted Version]
View
| Files available
| DOI
| WoS
2011 | Published | Conference Paper | IST-REx-ID: 3346 |
Brázdil T, Brožek V, Chatterjee K, Forejt V, Kučera A. Two views on multiple mean payoff objectives in Markov Decision Processes. In: IEEE; 2011. doi:10.1109/LICS.2011.10
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2011 | Published | Journal Article | IST-REx-ID: 3332 |
Kerber M, Sagraloff M. A note on the complexity of real algebraic hypersurfaces. Graphs and Combinatorics. 2011;27(3):419-430. doi:10.1007/s00373-011-1020-7
[Submitted Version]
View
| Files available
| DOI
| WoS
2011 | Published | Journal Article | IST-REx-ID: 3290 |
Lohse K, Harrison R, Barton NH. A general method for calculating likelihoods under the coalescent process. Genetics. 2011;189(3):977-987. doi:10.1534/genetics.111.129569
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2011 | Published | Journal Article | IST-REx-ID: 518 |
Schraivogel D, Weinmann L, Beier D, et al. CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells. EMBO Journal. 2011;30(20):4309-4322. doi:10.1038/emboj.2011.301
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2011 | Published | Journal Article | IST-REx-ID: 531 |
Guerraoui R, Henzinger TA, Singh V. Verification of STM on relaxed memory models. Formal Methods in System Design. 2011;39(3):297-331. doi:10.1007/s10703-011-0131-3
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2011 | Published | Journal Article | IST-REx-ID: 3269 |
Sheng Y, Cutler B, Chen C, Nasman J. Perceptual global illumination cancellation in complex projection environments. Computer Graphics Forum. 2011;30(4):1261-1268. doi:10.1111/j.1467-8659.2011.01985.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2011 | Published | Journal Article | IST-REx-ID: 3318 |
Eggermann E, Jonas PM. How the “slow” Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses. Nature Neuroscience. 2011;15:20-22. doi:10.1038/nn.3002
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2011 | Published | Conference Paper | IST-REx-ID: 3356 |
Boker U, Chatterjee K, Henzinger TA, Kupferman O. Temporal specifications with accumulative values. In: IEEE; 2011. doi:10.1109/LICS.2011.33
[Submitted Version]
View
| Files available
| DOI
| WoS
2011 | Published | Technical Report | IST-REx-ID: 5385 |
Boker U, Chatterjee K, Henzinger TA, Kupferman O. Temporal Specifications with Accumulative Values. IST Austria; 2011. doi:10.15479/AT:IST-2011-0003
[Published Version]
View
| Files available
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3288 |
Smutny M, Wu S, Gomez G, Mangold S, Yap A, Hamilton N. Multicomponent analysis of junctional movements regulated by Myosin II isoforms at the epithelial zonula adherens. PLoS One. 2011;6(7). doi:10.1371/journal.pone.0022458
[Published Version]
View
| Files available
| DOI
| WoS
2011 | Published | Journal Article | IST-REx-ID: 490 |
Schlögl A, Vidaurre C, Sander T. BioSig: The free and open source software library for biomedical signal processing. Computational Intelligence and Neuroscience. 2011;2011. doi:10.1155/2011/935364
[Published Version]
View
| Files available
| DOI
| WoS
2011 | Published | Journal Article | IST-REx-ID: 469 |
Vyleta N, Smith S. Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor. European Journal of Neuroscience. 2011;31(12):4593-4606. doi:10.1523/JNEUROSCI.6398-10.2011
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2011 | Published | Journal Article | IST-REx-ID: 6496 |
Park H, Oikonomou P, Guet CC, Cluzel P. Noise underlies switching behavior of the bacterial flagellum. Biophysical Journal. 2011;101(10):2336-2340. doi:10.1016/j.bpj.2011.09.040
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 13409 |
Klajn R. Immobilized azobenzenes for the construction of photoresponsive materials. Pure and Applied Chemistry. 2010;82(12):2247-2279. doi:10.1351/pac-con-10-09-04
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Published | Journal Article | IST-REx-ID: 11098 |
Hetzer M. The role of the nuclear pore complex in aging of post-mitotic cells. Aging. 2010;2(2):74-75. doi:10.18632/aging.100125
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 11101 |
Doucet CM, Talamas JA, Hetzer M. Cell cycle-dependent differences in nuclear pore complex assembly in metazoa. Cell. 2010;141(6):1030-1041. doi:10.1016/j.cell.2010.04.036
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC