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, T. A., Mateescu, M., & Piterman, N. (2008). Bounded asynchrony: Concurrency for modeling cell-cell interactions (Vol. 5054, pp. 17–32). Presented at the FMSB: Formal Methods in Systems Biology, Springer. https://doi.org/10.1007/978-3-540-68413-8_2
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 4532
Doyen, L., Henzinger, T. A., & Raskin, J. (2008). Equivalence of labeled Markov chains. International Journal of Foundations of Computer Science. World Scientific Publishing. https://doi.org/10.1142/S0129054108005814
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4533
Doyen, L., Henzinger, T. A., Jobstmann, B., & Petrov, T. (2008). Interface theories with component reuse (pp. 79–88). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1145/1450058.1450070
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 4534
Chatterjee, K., & Henzinger, T. A. (2008). Reduction of stochastic parity to stochastic mean-payoff games. Information Processing Letters. Elsevier. https://doi.org/10.1016/j.ipl.2007.08.035
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4546
Chatterjee, K., Ghosal, A., Henzinger, T. A., Iercan, D., Kirsch, C., Pinello, C., & Sangiovanni Vincentelli, A. (2008). Logical reliability of interacting real-time tasks (pp. 909–914). Presented at the DATE: Design, Automation and Test in Europe, IEEE. https://doi.org/10.1145/1403375.1403595
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 4548
Chatterjee, K., Majumdar, R., & Henzinger, T. A. (2008). Stochastic limit-average games are in EXPTIME. International Journal of Game Theory. Springer. https://doi.org/10.1007/s00182-007-0110-5
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4568
Beyer, D., Henzinger, T. A., & Théoduloz, G. (2008). Program analysis with dynamic change of precision (pp. 29–38). Presented at the ASE: Automated Software Engineering, ACM. https://doi.org/10.1109/ASE.2008.13
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 517
Barton, N. H. (2008). Identity and coalescence in structured populations: A commentary on “Inbreeding coefficients and coalescence times” by Montgomery Slatkin. Genetics Research. Cambridge University Press. https://doi.org/10.1017/S0016672308009683
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 12201
Feng, X., & Dickinson, H. G. (2007). Packaging the male germline in plants. Trends in Genetics. Elsevier BV. https://doi.org/10.1016/j.tig.2007.08.005
View
| DOI
| PubMed | Europe PMC
2007 |
Published |
Journal Article |
IST-REx-ID: 128 |
Carr, A., Serchest, Y., Waitukaitis, S. R., Perreault, J., Lonij, V., & Cronin, A. (2007). Cover slip external cavity diode laser. Review of Scientific Instruments. American Institute of Physics. https://doi.org/10.1063/1.2801006
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2007 |
Published |
Journal Article |
IST-REx-ID: 1297
Raghu, S., Jösch, M. A., 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. Wiley-Blackwell. https://doi.org/10.1002/cne.21319
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. National Academy of Sciences. https://doi.org/10.1073/pnas.0702069104
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. Elsevier. https://doi.org/10.1016/j.jmr.2007.04.002
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. Springer Nature. https://doi.org/10.1007/s10858-006-9138-2
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. American Chemical Society. https://doi.org/10.1021/ja068949u
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. American Chemical Society. https://doi.org/10.1021/ja066915g
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. Elsevier. https://doi.org/10.1016/j.aim.2006.03.012
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. Princeton University Press. https://doi.org/10.4007/annals.2007.165.89
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. Cell Press. https://doi.org/10.1086/518616
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. BioMed Central. https://doi.org/10.1186/1471-2105-8-441
View
| DOI