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.
725 Publications
2007 | Conference Paper | IST-REx-ID: 3219
Maurer, U., Pietrzak, K. Z., & Renner, R. (2007). Indistinguishability amplification (Vol. 4622, pp. 130–149). Presented at the CRYPTO: International Cryptology Conference, Springer. https://doi.org/10.1007/978-3-540-74143-5_8
View
| DOI
2007 | Journal Article | IST-REx-ID: 3819
Li, L., Bischofberger, J., & Jonas, P. M. (2007). Differential gating and recruitment of P/Q-, N-, and R-type Ca(2+) channels in hippocampal mossy fiber boutons. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.1709-07.2007
View
| DOI
2007 | Journal Article | IST-REx-ID: 4531
Fisher, J., Piterman, N., Hajnal, A., & Henzinger, T. A. (2007). Predictive modeling of signaling crosstalk during C. elegans vulval development. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.0030092
View
| DOI
2007 | Thesis | IST-REx-ID: 4566
Chakrabarti, A. (2007). A framework for compositional design and analysis of systems. University of California, Berkeley.
View
2007 | Journal Article | IST-REx-ID: 4567
Beyer, D., Henzinger, T. A., Jhala, R., & Majumdar, R. (2007). The software model checker BLAST: Applications to software engineering. International Journal on Software Tools for Technology Transfer. Springer. https://doi.org/10.1007/s10009-007-0044-z
View
| DOI
2007 | Journal Article | IST-REx-ID: 4626
De Alfaro, L., Henzinger, T. A., & Kupferman, O. (2007). Concurrent reachability games. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2007.07.008
View
| DOI
2007 | Journal Article | IST-REx-ID: 7781
Robinson, M. R., Pilkington, J. G., Clutton-Brock, T. H., Pemberton, J. M., & Kruuk, L. E. B. (2007). Live fast, die young: Trade-offs between fitness components and sexually antagonistic selection on weaponry in soay sheep. Evolution. Wiley. https://doi.org/10.1111/j.0014-3820.2006.tb01854.x
View
| DOI
2006 | Conference Paper | IST-REx-ID: 1034 | 
Nägerl, H., Kraemer, T., Mark, M., Waldburger, P., Danzl, J. G., Engeser, B., … Grimm, R. (2006). Experimental evidence for Efimov quantum states (Vol. 869, pp. 269–277). Presented at the ICAP: International Conference on Atomic Physics, AIP. https://doi.org/10.1063/1.2400657
View
| DOI
| Download None (ext.)
2006 | Journal Article | IST-REx-ID: 1715
Dudu, V., Bittig, T., Entchev, E., Kicheva, A., Julicher, F., & González Gaitán, M. (2006). Postsynaptic mad signaling at the Drosophila neuromuscular junction. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2006.02.061
View
| Files available
| DOI
2006 | Journal Article | IST-REx-ID: 1796
Siegert, S., Schnierle, P., & Schnierle, B. (2006). Novel anti-viral therapy: Drugs that block HIV entry at different target sites. Mini-Reviews in Medicinal Chemistry. Bentham Science Publishers. https://doi.org/10.2174/138955706776876267
View
| DOI