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.
7047 Publications
2007 |Published| Journal Article | IST-REx-ID: 4547
K. Chatterjee, L. Doyen, T. A. Henzinger, and J. Raskin, “Algorithms for omega-regular games with imperfect information,” Logical Methods in Computer Science, vol. 3, no. 184. International Federation of Computational Logic, pp. 1–23, 2007.
View
| DOI
2007 |Published| Thesis | IST-REx-ID: 4559
K. Chatterjee, “Stochastic ω-Regular Games,” University of California, Berkeley, 2007.
View
| Download (ext.)
2007 |Published| Thesis | IST-REx-ID: 4566
A. Chakrabarti, “A framework for compositional design and analysis of systems,” University of California, Berkeley, 2007.
View
2007 |Published| 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 |Published| 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
2007 |Submitted| Preprint | IST-REx-ID: 6321 |
T. D. Browning, “The Manin conjecture in dimension 2,” arXiv. .
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2007 |Published| Journal Article | IST-REx-ID: 860
O. Plotnikova, F. Kondrashov, P. Vlasov, A. Grigorenko, E. Ginter, and E. Rogaev, “Conversion and compensatory evolution of the γ-crystallin genes and identification of a cataractogenic mutation that reverses the sequence of the human CRYGD gene to an ancestral state,” American Journal of Human Genetics, vol. 81, no. 1. Cell Press, pp. 32–43, 2007.
View
| DOI