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.
7112 Publications
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: 1717
The Decapentaplegic morphogen gradient a precise definition
A. Kicheva, M. González Gaitán, Current Opinion in Cell Biology 20 (2008) 137–143.
View
| DOI
A. Kicheva, M. González Gaitán, Current Opinion in Cell Biology 20 (2008) 137–143.
2008 | Published | Journal Article | IST-REx-ID: 1719
Dynamics of anisotropic tissue growth
T. Bittig, O. Wartlick, A. Kicheva, M. González Gaitárr, F. Julicher, New Journal of Physics 10 (2008).
View
| DOI
T. Bittig, O. Wartlick, A. Kicheva, M. González Gaitárr, F. Julicher, New Journal of Physics 10 (2008).
2008 | Published | Journal Article | IST-REx-ID: 1749
Three-dimensional composition profiles of single quantum dots determined by scanning-probe-microscopy-based nanotomography
A. Rastelli, M. Stoffel, Â. Malachias, T. Merdzhanova, G. Katsaros, K. Kern, T. Metzger, O. Schmidt, Nano Letters 8 (2008) 1404–1409.
View
| DOI
A. Rastelli, M. Stoffel, Â. Malachias, T. Merdzhanova, G. Katsaros, K. Kern, T. Metzger, O. Schmidt, Nano Letters 8 (2008) 1404–1409.
2008 | Published | Journal Article | IST-REx-ID: 1751
Positioning of strained islands by interaction with surface nanogrooves
G. Katsaros, J. Tersoff, M. Stoffel, A. Rastelli, P. Acosta Diaz, G. Kar, G. Costantini, O. Schmidt, K. Kern, Physical Review Letters 101 (2008).
View
| DOI
G. Katsaros, J. Tersoff, M. Stoffel, A. Rastelli, P. Acosta Diaz, G. Kar, G. Costantini, O. Schmidt, K. Kern, Physical Review Letters 101 (2008).
2008 | Published | Journal Article | IST-REx-ID: 1763 | 
Climbing the Jaynes-Cummings ladder and observing its √n nonlinearity in a cavity QED system
J.M. Fink, M. Göppl, M. Baur, R. Bianchetti, P. Leek, A. Blais, A. Wallraff, Nature 454 (2008) 315–318.
View
| DOI
| Download (ext.)
J.M. Fink, M. Göppl, M. Baur, R. Bianchetti, P. Leek, A. Blais, A. Wallraff, Nature 454 (2008) 315–318.
2008 | Published | Journal Article | IST-REx-ID: 1764
Resolving vacuum fluctuations in an electrical circuit by measuring the lamb shift
A. Fragner, M. Göppl, J.M. Fink, M. Baur, R. Bianchetti, P. Leek, A. Blais, A. Wallraff, Science 322 (2008) 1357–1360.
View
| DOI
A. Fragner, M. Göppl, J.M. Fink, M. Baur, R. Bianchetti, P. Leek, A. Blais, A. Wallraff, Science 322 (2008) 1357–1360.
2008 | Published | Journal Article | IST-REx-ID: 1765 |
Coplanar waveguide resonators for circuit quantum electrodynamics
M. Göppl, A. Fragner, M. Baur, R. Bianchetti, S. Filipp, J.M. Fink, P. Leek, G. Puebla, L. Steffen, A. Wallraff, Journal of Applied Physics 104 (2008).
View
| DOI
| Download (ext.)
M. Göppl, A. Fragner, M. Baur, R. Bianchetti, S. Filipp, J.M. Fink, P. Leek, G. Puebla, L. Steffen, A. Wallraff, Journal of Applied Physics 104 (2008).
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: 965 |
Nonlinear algebra and Bogoliubov's recursion
A. Morozov, M. Serbyn, Theoretical and Mathematical Physics 154 (2008) 270–293.
View
| DOI
| Download (ext.)
A. Morozov, M. Serbyn, Theoretical and Mathematical Physics 154 (2008) 270–293.
2008 | Published | Conference Paper | IST-REx-ID: 753
How to solve consensus in the smallest window of synchrony
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2008, pp. 32–46.
View
| DOI
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2008, pp. 32–46.
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).