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, et al. Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. Vol. 5054, Springer, 2008, pp. 17–32, doi:10.1007/978-3-540-68413-8_2.
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 4532
Doyen, Laurent, et al. “Equivalence of Labeled Markov Chains.” International Journal of Foundations of Computer Science, vol. 19, no. 3, World Scientific Publishing, 2008, pp. 549–63, doi:10.1142/S0129054108005814 .
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4533
Doyen, Laurent, et al. Interface Theories with Component Reuse. ACM, 2008, pp. 79–88, doi: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, vol. 106, no. 1, Elsevier, 2008, pp. 1–7, doi:10.1016/j.ipl.2007.08.035.
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4546
Chatterjee, Krishnendu, et al. Logical Reliability of Interacting Real-Time Tasks. IEEE, 2008, pp. 909–14, doi:10.1145/1403375.1403595.
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 4548
Chatterjee, Krishnendu, et al. “Stochastic Limit-Average Games Are in EXPTIME.” International Journal of Game Theory, vol. 37, no. 2, Springer, 2008, pp. 219–34, doi:10.1007/s00182-007-0110-5.
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4568
Beyer, Dirk, et al. Program Analysis with Dynamic Change of Precision. ACM, 2008, pp. 29–38, doi: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, vol. 89, no. 5–6, Cambridge University Press, 2008, pp. 475–77, doi: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, vol. 23, no. 10, Elsevier BV, 2007, pp. 503–10, doi:10.1016/j.tig.2007.08.005.
View
| DOI
| PubMed | Europe PMC
2007 |
Published |
Journal Article |
IST-REx-ID: 128 |
Carr, Adra, et al. “Cover Slip External Cavity Diode Laser.” Review of Scientific Instruments, vol. 78, no. 10, 106108, American Institute of Physics, 2007, doi:10.1063/1.2801006.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2007 |
Published |
Journal Article |
IST-REx-ID: 1297
Raghu, Shamprasad, et al. “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, 2007, pp. 598–610, doi:10.1002/cne.21319.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 8483
Schanda, Paul, et al. “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, 2007, pp. 11257–62, doi:10.1073/pnas.0702069104.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 8484
Lescop, Ewen, et al. “A Set of BEST Triple-Resonance Experiments for Time-Optimized Protein Resonance Assignment.” Journal of Magnetic Resonance, vol. 187, no. 1, Elsevier, 2007, pp. 163–69, doi:10.1016/j.jmr.2007.04.002.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 8485
Schanda, Paul, et al. “Sensitivity-Optimized Experiment for the Measurement of Residual Dipolar Couplings between Amide Protons.” Journal of Biomolecular NMR, vol. 38, Springer Nature, 2007, pp. 47–55, doi:10.1007/s10858-006-9138-2.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 8486
Lescop, Ewen, et al. “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, 2007, pp. 2756–57, doi:10.1021/ja068949u.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 8487
Gal, Maayan, et al. “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, 2007, pp. 1372–77, doi: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, vol. 208, no. 2, Elsevier, 2007, pp. 710–97, doi: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, vol. 165, no. 1, Princeton University Press, 2007, pp. 89–170, doi:10.4007/annals.2007.165.89.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 860
Plotnikova, Olga, et al. “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, 2007, pp. 32–43, doi:10.1086/518616.
View
| DOI
2007 |
Published |
Journal Article |
IST-REx-ID: 861
Popadin, Konstantin, et al. “A Manually Curated Database of Tetrapod Mitochondrially Encoded TRNA Sequences and Secondary Structures.” BMC Bioinformatics, vol. 8, BioMed Central, 2007, doi:10.1186/1471-2105-8-441.
View
| DOI