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.

6981 Publications


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.)
 

2006 |Published| Journal Article | IST-REx-ID: 1462 | OA
Hausel T. 2006. Betti numbers of holomorphic symplectic quotients via arithmetic Fourier transform. PNAS. 103(16), 6120–6124.
View | DOI | Download (ext.)
 

2006 |Published| Journal Article | IST-REx-ID: 1461 | OA
Hausel T, Swartz E. 2006. Intersection forms of toric hyperkähler varieties. Proceedings of the American Mathematical Society. 134(8), 2403–2409.
View | DOI | Download (ext.)
 

2006 |Published| Journal Article | IST-REx-ID: 1715
Dudu V, Bittig T, Entchev E, Kicheva A, Julicher F, González Gaitán M. 2006. Postsynaptic mad signaling at the Drosophila neuromuscular junction. Current Biology. 16(7), 625–635.
View | Files available | DOI
 

2006 |Published| Journal Article | IST-REx-ID: 1745
Katsaros G, Rastelli A, Stoffel M, Isella G, Von Känel H, Bittner A, Tersoff J, Denker U, Schmidt O, Costantini G, Kern K. 2006. Investigating the lateral motion of SiGe islands by selective chemical etching. Surface Science. 600(12), 2608–2613.
View | DOI
 

Filters and Search Terms

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

Search

Filter Publications