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.

8924 Publications


2008 | Published | Conference Paper | IST-REx-ID: 4527
Fisher J, Henzinger TA, Mateescu M, Piterman N. 2008. Bounded asynchrony: Concurrency for modeling cell-cell interactions. FMSB: Formal Methods in Systems Biology, LNCS, vol. 5054, 17–32.
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 4532
Doyen L, Henzinger TA, Raskin J. 2008. Equivalence of labeled Markov chains. International Journal of Foundations of Computer Science. 19(3), 549–563.
View | DOI | Download (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 4533
Doyen L, Henzinger TA, Jobstmann B, Petrov T. 2008. Interface theories with component reuse. EMSOFT: Embedded Software , 79–88.
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 4534
Chatterjee K, Henzinger TA. 2008. Reduction of stochastic parity to stochastic mean-payoff games. Information Processing Letters. 106(1), 1–7.
View | DOI | Download (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 4546
Chatterjee K, Ghosal A, Henzinger TA, Iercan D, Kirsch C, Pinello C, Sangiovanni Vincentelli A. 2008. Logical reliability of interacting real-time tasks. DATE: Design, Automation and Test in Europe, 909–914.
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 4548
Chatterjee K, Majumdar R, Henzinger TA. 2008. Stochastic limit-average games are in EXPTIME. International Journal of Game Theory. 37(2), 219–234.
View | DOI | Download (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 4568
Beyer D, Henzinger TA, Théoduloz G. 2008. Program analysis with dynamic change of precision. ASE: Automated Software Engineering, 29–38.
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 517
Barton NH. 2008. Identity and coalescence in structured populations: A commentary on ‘Inbreeding coefficients and coalescence times’ by Montgomery Slatkin. Genetics Research. 89(5–6), 475–477.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 12201
Feng X, Dickinson HG. 2007. Packaging the male germline in plants. Trends in Genetics. 23(10), 503–510.
View | DOI | PubMed | Europe PMC
 

2007 | Published | Journal Article | IST-REx-ID: 128 | OA
Carr A, Serchest Y, Waitukaitis SR, Perreault J, Lonij V, Cronin A. 2007. Cover slip external cavity diode laser. Review of Scientific Instruments. 78(10), 106108.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2007 | Published | Journal Article | IST-REx-ID: 1297
Raghu S, Jösch MA, Borst A, Reiff D. 2007. Synaptic organization of lobula plate tangential cells in Drosophila: γ-aminobutyric acid receptors and chemical release sites. Journal of Comparative Neurology. 502(4), 598–610.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 8483
Schanda P, Forge V, Brutscher B. 2007. Protein folding and unfolding studied at atomic resolution by fast two-dimensional NMR spectroscopy. Proceedings of the National Academy of Sciences. 104(27), 11257–11262.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 8484
Lescop E, Schanda P, Brutscher B. 2007. A set of BEST triple-resonance experiments for time-optimized protein resonance assignment. Journal of Magnetic Resonance. 187(1), 163–169.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 8485
Schanda P, Lescop E, Falge M, Sounier R, Boisbouvier J, Brutscher B. 2007. Sensitivity-optimized experiment for the measurement of residual dipolar couplings between amide protons. Journal of Biomolecular NMR. 38, 47–55.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 8486
Lescop E, Schanda P, Rasia R, Brutscher B. 2007. Automated spectral compression for fast multidimensional NMR and increased time resolution in real-time NMR spectroscopy. Journal of the American Chemical Society. 129(10), 2756–2757.
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
 

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

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed