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 TA, Raskin J. 2007. Algorithms for omega-regular games with imperfect information. Logical Methods in Computer Science. 3(184), 1–23.
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 TA, Jhala R, Majumdar R. 2007. The software model checker BLAST: Applications to software engineering. International Journal on Software Tools for Technology Transfer. 9(5), 505–525.
View | DOI
 

2007 |Published| Conference Paper | IST-REx-ID: 4570
Brihaye T, Henzinger TA, Prabhu V, Raskin J. 2007. Minimum-time reachability in timed games. ICALP: Automata, Languages and Programming, LNCS, vol. 4596, 825–837.
View | DOI
 

2007 |Published| Conference Paper | IST-REx-ID: 4573
Beyer D, Henzinger TA, Théoduloz G. 2007. Configurable software verification: Concretizing the convergence of model checking and program analysis. CAV: Computer Aided Verification, LNCS, vol. 4590, 504–518.
View | DOI
 

2007 |Published| Conference Paper | IST-REx-ID: 4572
Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. 2007. Invariant synthesis for combined theories. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 4349, 378–394.
View | DOI
 

2007 |Published| Conference Paper | IST-REx-ID: 4571
Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. 2007. Path invariants. PLDI: Programming Languages Design and Implementation, 300–309.
View | DOI
 

2007 |Published| Conference Paper | IST-REx-ID: 4575
Beyer D, Chakrabarti A, Henzinger TA, Seshia S. 2007. An application of web-service interfaces. ICWS: International Conference on Web Service, 831–838.
View | DOI
 

2007 |Published| Journal Article | IST-REx-ID: 4626
De Alfaro L, Henzinger TA, Kupferman O. 2007. Concurrent reachability games. Theoretical Computer Science. 386(3), 188–217.
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. OMD: Organic Materials and Devices for Displays and Energy Conversion, Optics InfoBase Conference Papers, .
View | DOI
 

2007 |Published| Journal Article | IST-REx-ID: 6150
Gumienny TL, MacNeil LT, Wang H, de Bono M, Wrana JL, Padgett RW. 2007. Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans. Current Biology. 17(2), 159–164.
View | DOI | PubMed | Europe PMC
 

2007 |Published| Book Chapter | IST-REx-ID: 6323 | OA
Browning TD. 2007.An overview of Manin’s conjecture for del Pezzo surfaces. In: A Tribute to Gauss and Dirichlet. Clay Mathemetics Proceedings, vol. 7, 39–56.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2007 |Submitted| Preprint | IST-REx-ID: 6321 | OA
Browning TD. The Manin conjecture in dimension 2. arXiv, 0704.1217.
[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. 81(1), 32–43.
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. 23(5), 215–218.
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. 2.
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. 8.
View | DOI
 

2006 |Published| Journal Article | IST-REx-ID: 1033 | OA
Kraemer T, Mark M, Waldburger P, Danzl JG, Chin C, Engeser B, Lange A, Pilch K, Jaakkola A, Nägerl H, Grimm R. 2006. Evidence for Efimov quantum states in an ultracold gas of caesium atoms. Nature. 440(7082), 315–318.
View | DOI | Download None (ext.)
 

2006 |Published| Conference Paper | IST-REx-ID: 1034 | OA
Nägerl H, Kraemer T, Mark M, Waldburger P, Danzl JG, Engeser B, Lange A, Pilch K, Jaakkola A, Chin C, Grimm R. 2006. Experimental evidence for Efimov quantum states. ICAP: International Conference on Atomic Physics vol. 869, 269–277.
View | DOI | Download None (ext.)
 

Filters and Search Terms

supervisor%3D40876CD8-F248-11E8-B48F-1D18A9856A87

Search

Filter Publications