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.
9114 Publications
2007 | Book | IST-REx-ID: 3674
N. H. Barton, D. Briggs, J. Eisen, D. Goldstein, and N. Patel, Evolution. Cold Spring Harbor Laboratory Press, 2007.
View
| Files available
2007 | Preprint | IST-REx-ID: 3742 |
T. Broderick, M. Dudik, G. Tkačik, R. Schapire, and W. Bialek, “Faster solutions of the inverse pairwise Ising problem,” ArXiv, vol. q-QM. ArXiv, 2007.
View
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 3820
A. Rollenhagen, K. Satzler, E. P. Rodriguez, P. M. Jonas, M. Frotscher, and J. Lubke, “Structural determinants of transmission at large hippocampal mossy fiber synapses,” Journal of Neuroscience, vol. 27, no. 39. Society for Neuroscience, pp. 10434–44, 2007.
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3884
K. Chatterjee, T. A. Henzinger, and N. Piterman, “Strategy logic,” presented at the CONCUR: Concurrency Theory, 2007, vol. 4703, pp. 59–73.
View
| Files available
| DOI
2007 | Journal Article | IST-REx-ID: 4234 |
H. de Vladar and I. Pen, “Determinism, noise, and spurious estimations in a generalised model of population growth,” Physica A, vol. 373. Elsevier, pp. 477–485, 2007.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2007 | Journal Article | IST-REx-ID: 4405
M. Schaub, T. A. Henzinger, and J. Fisher, “Qualitative networks: A symbolic approach to analyze biological signaling networks,” BMC Systems Biology, vol. 1, no. 4. BioMed Central, 2007.
View
| DOI
| Download (ext.)
2007 | Book Chapter | IST-REx-ID: 4417
R. Manevich, J. Field, T. A. Henzinger, G. Ramalingam, and M. Sagiv, “Abstract counterexample-based refinement for powerset domains,” in Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, vol. 4444, Springer, 2007, pp. 273–292.
View
| DOI
2007 | Thesis | IST-REx-ID: 4559
K. Chatterjee, “Stochastic ω-Regular Games,” University of California, Berkeley, 2007.
View
| Download (ext.)
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: 6150
T. L. Gumienny, L. T. MacNeil, H. Wang, M. de Bono, J. L. Wrana, and R. W. Padgett, “Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans,” Current Biology, vol. 17, no. 2. Elsevier, pp. 159–164, 2007.
View
| DOI
| PubMed | Europe PMC
2007 | Book Chapter | IST-REx-ID: 6323 |
T. D. Browning, “An overview of Manin’s conjecture for del Pezzo surfaces,” in A Tribute to Gauss and Dirichlet, vol. 7, American Mathematical Society, 2007, pp. 39–56.
[Preprint]
View
| Download Preprint (ext.)
| arXiv