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.
8915 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
2008 | Published | Journal Article | IST-REx-ID: 581
Hosten, Onur, and Paul Kwiat. “Observation of the Spin Hall Effect of Light via Weak Measurements.” Science. American Association for the Advancement of Science, 2008. https://doi.org/10.1126/science.1152697.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 584
Hosten, Onur, and Paul Kwiat. “Spin Hall Effect of Light via Weak Measurements: Sharp and Smooth Index Variations.” Optica Publishing Group, 2008.
View
| Download None (ext.)
2008 | Published | Journal Article | IST-REx-ID: 7752
Robinson, Matthew Richard, Jill G. Pilkington, Tim H. Clutton-Brock, Josephine M. Pemberton, and Loeske. E.B. Kruuk. “Environmental Heterogeneity Generates Fluctuating Selection on a Secondary Sexual Trait.” Current Biology. Elsevier, 2008. https://doi.org/10.1016/j.cub.2008.04.059.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 844
Schmidt, Steffen, Anna Gerasimova, Fyodor Kondrashov, Ivan Adzuhbei, Alexey Kondrashov, and Shamil Sunyaev. “Hypermutable Non-Synonymous Sites Are under Stronger Negative Selection.” PLoS Genetics. Public Library of Science, 2008. https://doi.org/10.1371/journal.pgen.1000281.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 8480
Schanda, Paul, Bernhard Brutscher, Robert Konrat, and Martin Tollinger. “Folding of the KIX Domain: Characterization of the Equilibrium Analog of a Folding Intermediate Using 15N/13C Relaxation Dispersion and Fast 1H/2H Amide Exchange NMR Spectroscopy.” Journal of Molecular Biology. Elsevier, 2008. https://doi.org/10.1016/j.jmb.2008.05.040.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 8481
Bersch, Beate, Adrien Favier, Paul Schanda, Sébastien van Aelst, Tatiana Vallaeys, Jacques Covès, Max Mergeay, and Ruddy Wattiez. “Molecular Structure and Metal-Binding Properties of the Periplasmic CopK Protein Expressed in Cupriavidus Metallidurans CH34 during Copper Challenge.” Journal of Molecular Biology. Elsevier, 2008. https://doi.org/10.1016/j.jmb.2008.05.017.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 8482
Kern, Thomas, Paul Schanda, and Bernhard Brutscher. “Sensitivity-Enhanced IPAP-SOFAST-HMQC for Fast-Pulsing 2D NMR with Reduced Radiofrequency Load.” Journal of Magnetic Resonance. Elsevier, 2008. https://doi.org/10.1016/j.jmr.2007.11.015.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 8509
Kaloshin, Vadim, and Mark Levi. “Geometry of Arnold Diffusion.” SIAM Review. Society for Industrial & Applied Mathematics, 2008. https://doi.org/10.1137/070703235.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 8510
Kaloshin, Vadim, and Mark Levi. “An Example of Arnold Diffusion for Near-Integrable Hamiltonians.” Bulletin of the American Mathematical Society. American Mathematical Society, 2008. https://doi.org/10.1090/s0273-0979-08-01211-1.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 895
Donaldson, Zoe, Fyodor Kondrashov, Andrea Putnam, Yaohui Bai, Tara Stoinski, Elizabeth Hammock, and Larry Young. “Evolution of a Behavior-Linked Microsatellite-Containing Element in the 5′ Flanking Region of the Primate AVPR1A Gene.” BMC Evolutionary Biology. BioMed Central, 2008. https://doi.org/10.1186/1471-2148-8-180.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 907
Assis, Raquel, Alexey Kondrashov, Eugene Koonin, and Fyodor Kondrashov. “Nested Genes and Increasing Organizational Complexity of Metazoan Genomes.” Trends in Genetics. Elsevier, 2008. https://doi.org/10.1016/j.tig.2008.08.003.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 12656
Pellicciotti, Francesca, Jakob Helbing, Andrés Rivera, Vincent Favier, Javier Corripio, José Araos, Jean-Emmanuel Sicart, and Marco Carenzo. “A Study of the Energy Balance and Melt Regime on Juncal Norte Glacier, Semi-Arid Andes of Central Chile, Using Melt Models of Different Complexity.” Hydrological Processes. Wiley, 2008. https://doi.org/10.1002/hyp.7085.
View
| DOI