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
U. Maurer, K. Z. Pietrzak, and R. Renner, “Indistinguishability amplification,” presented at the CRYPTO: International Cryptology Conference, 2007, vol. 4622, pp. 130–149.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3819
L. Li, J. Bischofberger, and P. M. Jonas, “Differential gating and recruitment of P/Q-, N-, and R-type Ca(2+) channels in hippocampal mossy fiber boutons,” Journal of Neuroscience, vol. 27, no. 49. Society for Neuroscience, pp. 13420–9, 2007.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4531
J. Fisher, N. Piterman, A. Hajnal, and T. A. Henzinger, “Predictive modeling of signaling crosstalk during C. elegans vulval development,” PLoS Computational Biology, vol. 3(5):e92. Public Library of Science, 2007.
View | DOI
 

2007 | Thesis | IST-REx-ID: 4566
A. Chakrabarti, “A framework for compositional design and analysis of systems,” University of California, Berkeley, 2007.
View
 

2007 | Journal Article | IST-REx-ID: 4567
D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar, “The software model checker BLAST: Applications to software engineering,” International Journal on Software Tools for Technology Transfer, vol. 9, no. 5. Springer, pp. 505–525, 2007.
View | DOI
 

Filters and Search Terms

type%3Ddissertation

Search

Filter Publications