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.
6985 Publications
2007 |Published| Journal Article | IST-REx-ID: 4547
Chatterjee, K., Doyen, L., Henzinger, T. A., & Raskin, J. (2007). Algorithms for omega-regular games with imperfect information. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-3(3:4)2007
View
| DOI
2007 |Published| Thesis | IST-REx-ID: 4559
Chatterjee, K. (2007). Stochastic ω-Regular Games. University of California, Berkeley.
View
| Download (ext.)
2007 |Published| Thesis | IST-REx-ID: 4566
Chakrabarti, A. (2007). A framework for compositional design and analysis of systems. University of California, Berkeley.
View
2007 |Published| 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 |Published| Conference Paper | IST-REx-ID: 4570
Brihaye, T., Henzinger, T. A., Prabhu, V., & Raskin, J. (2007). Minimum-time reachability in timed games (Vol. 4596, pp. 825–837). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/978-3-540-73420-8_71
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 4573
Beyer, D., Henzinger, T. A., & Théoduloz, G. (2007). Configurable software verification: Concretizing the convergence of model checking and program analysis (Vol. 4590, pp. 504–518). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-540-73368-3_51
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 4572
Beyer, D., Henzinger, T. A., Majumdar, R., & Rybalchenko, A. (2007). Invariant synthesis for combined theories (Vol. 4349, pp. 378–394). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Springer. https://doi.org/10.1007/978-3-540-69738-1_27
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 4571
Beyer, D., Henzinger, T. A., Majumdar, R., & Rybalchenko, A. (2007). Path invariants (pp. 300–309). Presented at the PLDI: Programming Languages Design and Implementation, ACM. https://doi.org/10.1145/1250734.1250769
View
| DOI
2007 |Published| Conference Paper | IST-REx-ID: 4575
Beyer, D., Chakrabarti, A., Henzinger, T. A., & Seshia, S. (2007). An application of web-service interfaces (pp. 831–838). Presented at the ICWS: International Conference on Web Service, IEEE. https://doi.org/10.1109/ICWS.2007.32
View
| DOI
2007 |Published| 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 |Published| Conference Paper | IST-REx-ID: 582
Hosten, O., & Kwiat, P. (2007). Observing the spin hall effect of light via quantum weak measurements. Presented at the OMD: Organic Materials and Devices for Displays and Energy Conversion, OSA. https://doi.org/10.1364/FIO.2007.JTuA4
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 6150
Gumienny, T. L., MacNeil, L. T., Wang, H., de Bono, M., Wrana, J. L., & Padgett, R. W. (2007). Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2006.11.065
View
| DOI
| PubMed | Europe PMC
2007 |Published| Book Chapter | IST-REx-ID: 6323 | 
Browning, T. D. (2007). An overview of Manin’s conjecture for del Pezzo surfaces. In A Tribute to Gauss and Dirichlet (Vol. 7, pp. 39–56). American Mathematical Society.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2007 |Submitted| Preprint | IST-REx-ID: 6321 |
Browning, T. D. (n.d.). The Manin conjecture in dimension 2. arXiv.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2007 |Published| Journal Article | IST-REx-ID: 860
Plotnikova, O., Kondrashov, F., Vlasov, P., Grigorenko, A., Ginter, E., & Rogaev, E. (2007). 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. Cell Press. https://doi.org/10.1086/518616
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 879
Kondrashov, F., Gurbich, T., & Vlasov, P. (2007). Selection for functional uniformity of tuf duplicates in γ-proteobacteria. Trends in Genetics. Elsevier. https://doi.org/10.1016/j.tig.2007.03.002
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 904
Bazykin, G., Kondrashov, F., Brudno, M., Poliakov, A., Dubchak, I., & Kondrashov, A. (2007). Extensive parallelism in protein evolution. Biology Direct. BioMed Central. https://doi.org/10.1186/1745-6150-2-20
View
| DOI
2007 |Published| Journal Article | IST-REx-ID: 861
Popadin, K., Mamirova, L., & Kondrashov, F. (2007). A manually curated database of tetrapod mitochondrially encoded tRNA sequences and secondary structures. BMC Bioinformatics. BioMed Central. https://doi.org/10.1186/1471-2105-8-441
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 1033 |
Kraemer, T., Mark, M., Waldburger, P., Danzl, J. G., Chin, C., Engeser, B., … Grimm, R. (2006). Evidence for Efimov quantum states in an ultracold gas of caesium atoms. Nature. Nature Publishing Group. https://doi.org/10.1038/nature04626
View
| DOI
| Download None (ext.)
2006 |Published| 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.)