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, Jasmin, Thomas A Henzinger, Maria Mateescu, and Nir Piterman. “Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions,” 5054:17–32. Springer, 2008. https://doi.org/10.1007/978-3-540-68413-8_2.
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 4532
Doyen, Laurent, Thomas A Henzinger, and Jean Raskin. “Equivalence of Labeled Markov Chains.” International Journal of Foundations of Computer Science. World Scientific Publishing, 2008. https://doi.org/10.1142/S0129054108005814 .
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4533
Doyen, Laurent, Thomas A Henzinger, Barbara Jobstmann, and Tatjana Petrov. “Interface Theories with Component Reuse,” 79–88. ACM, 2008. https://doi.org/10.1145/1450058.1450070.
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 4534
Chatterjee, Krishnendu, and Thomas A Henzinger. “Reduction of Stochastic Parity to Stochastic Mean-Payoff Games.” Information Processing Letters. Elsevier, 2008. https://doi.org/10.1016/j.ipl.2007.08.035.
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4546
Chatterjee, Krishnendu, Arkadeb Ghosal, Thomas A Henzinger, Daniel Iercan, Christoph Kirsch, Claudio Pinello, and Alberto Sangiovanni Vincentelli. “Logical Reliability of Interacting Real-Time Tasks,” 909–14. IEEE, 2008. https://doi.org/10.1145/1403375.1403595.
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 4548
Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Stochastic Limit-Average Games Are in EXPTIME.” International Journal of Game Theory. Springer, 2008. https://doi.org/10.1007/s00182-007-0110-5.
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4568
Beyer, Dirk, Thomas A Henzinger, and Grégory Théoduloz. “Program Analysis with Dynamic Change of Precision,” 29–38. ACM, 2008. https://doi.org/10.1109/ASE.2008.13.
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 517
Barton, Nicholas H. “Identity and Coalescence in Structured Populations: A Commentary on ‘Inbreeding Coefficients and Coalescence Times’ by Montgomery Slatkin.” Genetics Research. Cambridge University Press, 2008. https://doi.org/10.1017/S0016672308009683.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 12201
Feng, Xiaoqi, and Hugh G. Dickinson. “Packaging the Male Germline in Plants.” Trends in Genetics. Elsevier BV, 2007. https://doi.org/10.1016/j.tig.2007.08.005.
View
| DOI
| PubMed | Europe PMC
2007 |
Published |
Journal Article |
IST-REx-ID: 128 |
Carr, Adra, Yancey Serchest, Scott R Waitukaitis, John Perreault, Vincent Lonij, and Alexander Cronin. “Cover Slip External Cavity Diode Laser.” Review of Scientific Instruments. American Institute of Physics, 2007. https://doi.org/10.1063/1.2801006.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2007 |
Published |
Journal Article |
IST-REx-ID: 1297
Raghu, Shamprasad, Maximilian A Jösch, Alexander Borst, and Dierk Reiff. “Synaptic Organization of Lobula Plate Tangential Cells in Drosophila: γ-Aminobutyric Acid Receptors and Chemical Release Sites.” Journal of Comparative Neurology. Wiley-Blackwell, 2007. https://doi.org/10.1002/cne.21319.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 8483
Schanda, Paul, 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. National Academy of Sciences, 2007. https://doi.org/10.1073/pnas.0702069104.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 8484
Lescop, Ewen, Paul Schanda, and Bernhard Brutscher. “A Set of BEST Triple-Resonance Experiments for Time-Optimized Protein Resonance Assignment.” Journal of Magnetic Resonance. Elsevier, 2007. https://doi.org/10.1016/j.jmr.2007.04.002.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 8485
Schanda, Paul, Ewen Lescop, Mirjam Falge, Rémy Sounier, Jérôme Boisbouvier, and Bernhard Brutscher. “Sensitivity-Optimized Experiment for the Measurement of Residual Dipolar Couplings between Amide Protons.” Journal of Biomolecular NMR. Springer Nature, 2007. https://doi.org/10.1007/s10858-006-9138-2.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 8486
Lescop, Ewen, Paul Schanda, Rodolfo Rasia, and Bernhard Brutscher. “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, 2007. https://doi.org/10.1021/ja068949u.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 8487
Gal, Maayan, Paul Schanda, Bernhard Brutscher, and Lucio Frydman. “UltraSOFAST HMQC NMR and the Repetitive Acquisition of 2D Protein Spectra at Hz Rates.” Journal of the American Chemical Society. American Chemical Society, 2007. https://doi.org/10.1021/ja066915g.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 8511
Gorodetski, A., and Vadim Kaloshin. “How Often Surface Diffeomorphisms Have Infinitely Many Sinks and Hyperbolicity of Periodic Points near a Homoclinic Tangency.” Advances in Mathematics. Elsevier, 2007. https://doi.org/10.1016/j.aim.2006.03.012.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 8512
Kaloshin, Vadim, and Brian Hunt. “Stretched Exponential Estimates on Growth of the Number of Periodic Points for Prevalent Diffeomorphisms I.” Annals of Mathematics. Princeton University Press, 2007. https://doi.org/10.4007/annals.2007.165.89.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 860
Plotnikova, Olga, Fyodor Kondrashov, Peter Vlasov, Anastasia Grigorenko, Evgeny Ginter, and Evgeny 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. Cell Press, 2007. https://doi.org/10.1086/518616.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 861
Popadin, Konstantin, Leila Mamirova, and Fyodor Kondrashov. “A Manually Curated Database of Tetrapod Mitochondrially Encoded TRNA Sequences and Secondary Structures.” BMC Bioinformatics. BioMed Central, 2007. https://doi.org/10.1186/1471-2105-8-441.
View
| DOI