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