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
Bounded asynchrony: Concurrency for modeling cell-cell interactions
J. Fisher, T.A. Henzinger, M. Mateescu, N. Piterman, in:, Springer, 2008, pp. 17–32.
View
| DOI
| Download (ext.)
J. Fisher, T.A. Henzinger, M. Mateescu, N. Piterman, in:, Springer, 2008, pp. 17–32.
2008 | Published | Journal Article | IST-REx-ID: 4532
Equivalence of labeled Markov chains
L. Doyen, T.A. Henzinger, J. Raskin, International Journal of Foundations of Computer Science 19 (2008) 549–563.
View
| DOI
| Download (ext.)
L. Doyen, T.A. Henzinger, J. Raskin, International Journal of Foundations of Computer Science 19 (2008) 549–563.
2008 | Published | Conference Paper | IST-REx-ID: 4533
Interface theories with component reuse
L. Doyen, T.A. Henzinger, B. Jobstmann, T. Petrov, in:, ACM, 2008, pp. 79–88.
View
| DOI
| Download (ext.)
L. Doyen, T.A. Henzinger, B. Jobstmann, T. Petrov, in:, ACM, 2008, pp. 79–88.
2008 | Published | Journal Article | IST-REx-ID: 4534
Reduction of stochastic parity to stochastic mean-payoff games
K. Chatterjee, T.A. Henzinger, Information Processing Letters 106 (2008) 1–7.
View
| DOI
| Download (ext.)
K. Chatterjee, T.A. Henzinger, Information Processing Letters 106 (2008) 1–7.
2008 | Published | Conference Paper | IST-REx-ID: 4546
Logical reliability of interacting real-time tasks
K. Chatterjee, A. Ghosal, T.A. Henzinger, D. Iercan, C. Kirsch, C. Pinello, A. Sangiovanni Vincentelli, in:, IEEE, 2008, pp. 909–914.
View
| DOI
| Download (ext.)
K. Chatterjee, A. Ghosal, T.A. Henzinger, D. Iercan, C. Kirsch, C. Pinello, A. Sangiovanni Vincentelli, in:, IEEE, 2008, pp. 909–914.
2008 | Published | Journal Article | IST-REx-ID: 4548
Stochastic limit-average games are in EXPTIME
K. Chatterjee, R. Majumdar, T.A. Henzinger, International Journal of Game Theory 37 (2008) 219–234.
View
| DOI
| Download (ext.)
K. Chatterjee, R. Majumdar, T.A. Henzinger, International Journal of Game Theory 37 (2008) 219–234.
2008 | Published | Conference Paper | IST-REx-ID: 4568
Program analysis with dynamic change of precision
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, ACM, 2008, pp. 29–38.
View
| DOI
| Download (ext.)
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, ACM, 2008, pp. 29–38.
2008 | Published | Journal Article | IST-REx-ID: 517
Identity and coalescence in structured populations: A commentary on 'Inbreeding coefficients and coalescence times' by Montgomery Slatkin
N.H. Barton, Genetics Research 89 (2008) 475–477.
View
| DOI
N.H. Barton, Genetics Research 89 (2008) 475–477.
2008 | Published | Journal Article | IST-REx-ID: 581
Observation of the spin hall effect of light via weak measurements
O. Hosten, P. Kwiat, Science 319 (2008) 787–790.
View
| DOI
O. Hosten, P. Kwiat, Science 319 (2008) 787–790.
2008 | Published | Conference Paper | IST-REx-ID: 584
Spin hall effect of light via weak measurements: Sharp and smooth index variations
O. Hosten, P. Kwiat, in:, Optica Publishing Group, 2008.
View
| Download None (ext.)
O. Hosten, P. Kwiat, in:, Optica Publishing Group, 2008.
2008 | Published | Journal Article | IST-REx-ID: 7752
Environmental heterogeneity generates fluctuating selection on a secondary sexual trait
M.R. Robinson, J.G. Pilkington, T.H. Clutton-Brock, J.M. Pemberton, L.E.B. Kruuk, Current Biology 18 (2008) 751–757.
View
| DOI
M.R. Robinson, J.G. Pilkington, T.H. Clutton-Brock, J.M. Pemberton, L.E.B. Kruuk, Current Biology 18 (2008) 751–757.
2008 | Published | Journal Article | IST-REx-ID: 844
Hypermutable non-synonymous sites are under stronger negative selection
S. Schmidt, A. Gerasimova, F. Kondrashov, I. Adzuhbei, A. Kondrashov, S. Sunyaev, PLoS Genetics 4 (2008).
View
| DOI
S. Schmidt, A. Gerasimova, F. Kondrashov, I. Adzuhbei, A. Kondrashov, S. Sunyaev, PLoS Genetics 4 (2008).
2008 | Published | Journal Article | IST-REx-ID: 8480
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
P. Schanda, B. Brutscher, R. Konrat, M. Tollinger, Journal of Molecular Biology 380 (2008) 726–741.
View
| DOI
P. Schanda, B. Brutscher, R. Konrat, M. Tollinger, Journal of Molecular Biology 380 (2008) 726–741.
2008 | Published | Journal Article | IST-REx-ID: 8481
Molecular structure and metal-binding properties of the periplasmic CopK protein expressed in Cupriavidus metallidurans CH34 during copper challenge
B. Bersch, A. Favier, P. Schanda, S. van Aelst, T. Vallaeys, J. Covès, M. Mergeay, R. Wattiez, Journal of Molecular Biology 380 (2008) 386–403.
View
| DOI
B. Bersch, A. Favier, P. Schanda, S. van Aelst, T. Vallaeys, J. Covès, M. Mergeay, R. Wattiez, Journal of Molecular Biology 380 (2008) 386–403.
2008 | Published | Journal Article | IST-REx-ID: 8482
Sensitivity-enhanced IPAP-SOFAST-HMQC for fast-pulsing 2D NMR with reduced radiofrequency load
T. Kern, P. Schanda, B. Brutscher, Journal of Magnetic Resonance 190 (2008) 333–338.
View
| DOI
T. Kern, P. Schanda, B. Brutscher, Journal of Magnetic Resonance 190 (2008) 333–338.
2008 | Published | Journal Article | IST-REx-ID: 8509
Geometry of Arnold diffusion
V. Kaloshin, M. Levi, SIAM Review 50 (2008) 702–720.
View
| DOI
V. Kaloshin, M. Levi, SIAM Review 50 (2008) 702–720.
2008 | Published | Journal Article | IST-REx-ID: 8510
An example of Arnold diffusion for near-integrable Hamiltonians
V. Kaloshin, M. Levi, Bulletin of the American Mathematical Society 45 (2008) 409–427.
View
| DOI
V. Kaloshin, M. Levi, Bulletin of the American Mathematical Society 45 (2008) 409–427.
2008 | Published | Journal Article | IST-REx-ID: 895
Evolution of a behavior-linked microsatellite-containing element in the 5′ flanking region of the primate AVPR1A gene
Z. Donaldson, F. Kondrashov, A. Putnam, Y. Bai, T. Stoinski, E. Hammock, L. Young, BMC Evolutionary Biology 8 (2008).
View
| DOI
Z. Donaldson, F. Kondrashov, A. Putnam, Y. Bai, T. Stoinski, E. Hammock, L. Young, BMC Evolutionary Biology 8 (2008).
2008 | Published | Journal Article | IST-REx-ID: 907
Nested genes and increasing organizational complexity of metazoan genomes
R. Assis, A. Kondrashov, E. Koonin, F. Kondrashov, Trends in Genetics 24 (2008) 475–478.
View
| DOI
R. Assis, A. Kondrashov, E. Koonin, F. Kondrashov, Trends in Genetics 24 (2008) 475–478.
2008 | Published | Journal Article | IST-REx-ID: 12656
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
F. Pellicciotti, J. Helbing, A. Rivera, V. Favier, J. Corripio, J. Araos, J.-E. Sicart, M. Carenzo, Hydrological Processes 22 (2008) 3980–3997.
View
| DOI
F. Pellicciotti, J. Helbing, A. Rivera, V. Favier, J. Corripio, J. Araos, J.-E. Sicart, M. Carenzo, Hydrological Processes 22 (2008) 3980–3997.