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.

2032 Publications


2007 |Published| Conference Paper | IST-REx-ID: 3881
De Alfaro L, Chatterjee K, Faella M, Legay A. 2007. Qualitative logics and equivalences for probabilistic systems. QEST: Quantitative Evaluation of Systems, 237–248.
View | DOI
 

2007 |Published| Conference Paper | IST-REx-ID: 3886
Chatterjee K. 2007. Stochastic Müller games are PSPACE-complete. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LNCS, vol. 4855, 436–448.
View | DOI
 

2007 |Published| Conference Paper | IST-REx-ID: 3885
Chatterjee K. 2007. Optimal strategy synthesis in stochastic Müller games. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS , vol. 4423, 138–152.
View | DOI
 

2007 |Published| Journal Article | IST-REx-ID: 3937
Woolf E, Grigorova I, Sagiv A, Grabovsky V, Feigelson S, Shulman Z, Hartmann T, Sixt MK, Cyster J, Alon R. 2007. Lymph node chemokines promote sustained T lymphocyte motility without triggering stable integrin adhesiveness in the absence of shear forces. Nature Immunology. 8(10), 1076–1085.
View | DOI
 

2007 |Published| Journal Article | IST-REx-ID: 4247
Gardner A, West S, Barton NH. 2007. The relation between multilocus population genetics and social evolution theory. American Naturalist. 169(2), 207–226.
View | DOI
 

2007 |Published| Conference Paper | IST-REx-ID: 4399
Beyer D, Henzinger TA, Singh V. 2007. Algorithms for interface synthesis. CAV: Computer Aided Verification, LNCS, vol. 4590, 4–19.
View | DOI
 

2007 |Published| Journal Article | IST-REx-ID: 4405
Schaub M, Henzinger TA, Fisher J. 2007. Qualitative networks: A symbolic approach to analyze biological signaling networks. BMC Systems Biology. 1(4).
View | DOI | Download (ext.)
 

2007 |Published| Conference Paper | IST-REx-ID: 4537
Chatterjee K, Henzinger TA. 2007. Assume-guarantee synthesis. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 4424, 261–275.
View | DOI
 

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| 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| Journal Article | IST-REx-ID: 8487
Gal M, Schanda P, Brutscher B, Frydman L. 2007. UltraSOFAST HMQC NMR and the repetitive acquisition of 2D protein spectra at Hz rates. Journal of the American Chemical Society. 129(5), 1372–1377.
View | DOI
 

2007 |Published| Journal Article | IST-REx-ID: 8511
Gorodetski A, Kaloshin V. 2007. How often surface diffeomorphisms have infinitely many sinks and hyperbolicity of periodic points near a homoclinic tangency. Advances in Mathematics. 208(2), 710–797.
View | DOI
 

2007 |Published| Journal Article | IST-REx-ID: 8512
Kaloshin V, Hunt B. 2007. Stretched exponential estimates on growth of the number of periodic points for prevalent diffeomorphisms I. Annals of Mathematics. 165(1), 89–170.
View | DOI
 

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: 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
 

2006 |Published| Journal Article | IST-REx-ID: 1747
Rastelli A, Stoffel M, Katsaros G, Tersoff J, Denker U, Merdzhanova T, Kar G, Costantini G, Kern K, Von Känel H, Schmidt O. 2006. Reading the footprints of strained islands. Microelectronics Journal. 37(12), 1471–1476.
View | DOI
 

2006 |Published| Journal Article | IST-REx-ID: 1796
Siegert S, Schnierle P, Schnierle B. 2006. Novel anti-viral therapy: Drugs that block HIV entry at different target sites. Mini-Reviews in Medicinal Chemistry. 6(5), 557–562.
View | DOI
 

2006 |Published| Journal Article | IST-REx-ID: 213
Browning TD, Heath Brown R, Starr J. 2006. The density of rational points on non-singular hypersurfaces, II. Proceedings of the London Mathematical Society. 93(2), 273–303.
View | DOI
 

2006 |Published| Journal Article | IST-REx-ID: 215
Browning TD, Heath Brown R. 2006. The density of rational points on non-singular hypersurfaces, I. Bulletin of the London Mathematical Society. 38(3), 401–410.
View | DOI
 

Filters and Search Terms

isbn%3D978-1-4503-3300-9

Search

Filter Publications