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, 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
2008 | Published | Journal Article | IST-REx-ID: 581
Hosten, O., & Kwiat, P. (2008). Observation of the spin hall effect of light via weak measurements. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1152697
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 584
Hosten, O., & Kwiat, P. (2008). Spin hall effect of light via weak measurements: Sharp and smooth index variations. Presented at the QELS: Quantum Electronics and Laser Science Conference, San Jose, CA, United States: Optica Publishing Group.
View
| Download None (ext.)
2008 | Published | Journal Article | IST-REx-ID: 7752
Robinson, M. R., Pilkington, J. G., Clutton-Brock, T. H., Pemberton, J. M., & Kruuk, L. E. B. (2008). Environmental heterogeneity generates fluctuating selection on a secondary sexual trait. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2008.04.059
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 844
Schmidt, S., Gerasimova, A., Kondrashov, F., Adzuhbei, I., Kondrashov, A., & Sunyaev, S. (2008). Hypermutable non-synonymous sites are under stronger negative selection. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1000281
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 8480
Schanda, P., Brutscher, B., Konrat, R., & Tollinger, M. (2008). 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. https://doi.org/10.1016/j.jmb.2008.05.040
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 8481
Bersch, B., Favier, A., Schanda, P., van Aelst, S., Vallaeys, T., Covès, J., … Wattiez, R. (2008). Molecular structure and metal-binding properties of the periplasmic CopK protein expressed in Cupriavidus metallidurans CH34 during copper challenge. Journal of Molecular Biology. Elsevier. https://doi.org/10.1016/j.jmb.2008.05.017
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 8482
Kern, T., Schanda, P., & Brutscher, B. (2008). Sensitivity-enhanced IPAP-SOFAST-HMQC for fast-pulsing 2D NMR with reduced radiofrequency load. Journal of Magnetic Resonance. Elsevier. https://doi.org/10.1016/j.jmr.2007.11.015
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 8509
Kaloshin, V., & Levi, M. (2008). Geometry of Arnold diffusion. SIAM Review. Society for Industrial & Applied Mathematics. https://doi.org/10.1137/070703235
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 8510
Kaloshin, V., & Levi, M. (2008). An example of Arnold diffusion for near-integrable Hamiltonians. Bulletin of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/s0273-0979-08-01211-1
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 895
Donaldson, Z., Kondrashov, F., Putnam, A., Bai, Y., Stoinski, T., Hammock, E., & Young, L. (2008). Evolution of a behavior-linked microsatellite-containing element in the 5′ flanking region of the primate AVPR1A gene. BMC Evolutionary Biology. BioMed Central. https://doi.org/10.1186/1471-2148-8-180
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 907
Assis, R., Kondrashov, A., Koonin, E., & Kondrashov, F. (2008). Nested genes and increasing organizational complexity of metazoan genomes. Trends in Genetics. Elsevier. https://doi.org/10.1016/j.tig.2008.08.003
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 12656
Pellicciotti, F., Helbing, J., Rivera, A., Favier, V., Corripio, J., Araos, J., … Carenzo, M. (2008). 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. https://doi.org/10.1002/hyp.7085
View
| DOI