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
J. Fisher, T. A. Henzinger, M. Mateescu, and N. Piterman, “Bounded asynchrony: Concurrency for modeling cell-cell interactions,” presented at the FMSB: Formal Methods in Systems Biology, 2008, vol. 5054, pp. 17–32.
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 4532
L. Doyen, T. A. Henzinger, and J. Raskin, “Equivalence of labeled Markov chains,” International Journal of Foundations of Computer Science, vol. 19, no. 3. World Scientific Publishing, pp. 549–563, 2008.
View | DOI | Download (ext.)
 

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

2008 | Published | Journal Article | IST-REx-ID: 4534
K. Chatterjee and T. A. Henzinger, “Reduction of stochastic parity to stochastic mean-payoff games,” Information Processing Letters, vol. 106, no. 1. Elsevier, pp. 1–7, 2008.
View | DOI | Download (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 4546
K. Chatterjee et al., “Logical reliability of interacting real-time tasks,” presented at the DATE: Design, Automation and Test in Europe, 2008, pp. 909–914.
View | DOI | Download (ext.)
 

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

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

2008 | Published | Journal Article | IST-REx-ID: 517
N. H. Barton, “Identity and coalescence in structured populations: A commentary on ‘Inbreeding coefficients and coalescence times’ by Montgomery Slatkin,” Genetics Research, vol. 89, no. 5–6. Cambridge University Press, pp. 475–477, 2008.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 12201
X. Feng and H. G. Dickinson, “Packaging the male germline in plants,” Trends in Genetics, vol. 23, no. 10. Elsevier BV, pp. 503–510, 2007.
View | DOI | PubMed | Europe PMC
 

2007 | Published | Journal Article | IST-REx-ID: 128 | OA
A. Carr, Y. Serchest, S. R. Waitukaitis, J. Perreault, V. Lonij, and A. Cronin, “Cover slip external cavity diode laser,” Review of Scientific Instruments, vol. 78, no. 10. American Institute of Physics, 2007.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

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

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

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

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

2007 | Published | Journal Article | IST-REx-ID: 8486
E. Lescop, P. Schanda, R. Rasia, and B. Brutscher, “Automated spectral compression for fast multidimensional NMR and increased time resolution in real-time NMR spectroscopy,” Journal of the American Chemical Society, vol. 129, no. 10. American Chemical Society, pp. 2756–2757, 2007.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 8487
M. Gal, P. Schanda, B. Brutscher, and L. Frydman, “UltraSOFAST HMQC NMR and the repetitive acquisition of 2D protein spectra at Hz rates,” Journal of the American Chemical Society, vol. 129, no. 5. American Chemical Society, pp. 1372–1377, 2007.
View | DOI
 

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

2007 | Published | Journal Article | IST-REx-ID: 8512
V. Kaloshin and B. Hunt, “Stretched exponential estimates on growth of the number of periodic points for prevalent diffeomorphisms I,” Annals of Mathematics, vol. 165, no. 1. Princeton University Press, pp. 89–170, 2007.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 860
O. Plotnikova, F. Kondrashov, P. Vlasov, A. Grigorenko, E. Ginter, and E. Rogaev, “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, vol. 81, no. 1. Cell Press, pp. 32–43, 2007.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 861
K. Popadin, L. Mamirova, and F. Kondrashov, “A manually curated database of tetrapod mitochondrially encoded tRNA sequences and secondary structures,” BMC Bioinformatics, vol. 8. BioMed Central, 2007.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed