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.
10945 Publications
2008 | Published | Thesis | IST-REx-ID: 4524
Ghosal, Arkadeb. A Hierarchical Coordination Language for Reliable Real-Time Tasks. University of California, Berkeley, 2008, pp. 1–210.
View
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: 581
Hosten, Onur, and Paul Kwiat. “Observation of the Spin Hall Effect of Light via Weak Measurements.” Science, vol. 319, no. 5864, American Association for the Advancement of Science, 2008, pp. 787–90, doi: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: 6146 | 
Bretscher, A. J., et al. “A Carbon Dioxide Avoidance Behavior Is Integrated with Responses to Ambient Oxygen and Food in Caenorhabditis Elegans.” Proceedings of the National Academy of Sciences, vol. 105, no. 23, Proceedings of the National Academy of Sciences, 2008, pp. 8044–49, doi:10.1073/pnas.0707607105.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 6148
Kammenga, Jan E., et al. “Beyond Induced Mutants: Using Worms to Study Natural Variation in Genetic Pathways.” Trends in Genetics, vol. 24, no. 4, Elsevier, 2008, pp. 178–85, doi:10.1016/j.tig.2008.01.001.
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 6149
Olofsson, Birgitta, and Mario de Bono. “Sleep: Dozy Worms and Sleepy Flies.” Current Biology, vol. 18, no. 5, Elsevier, 2008, pp. R204–06, doi:10.1016/j.cub.2008.01.002.
View
| DOI
| PubMed | Europe PMC
2008 | Published | Journal Article | IST-REx-ID: 12656
Pellicciotti, Francesca, et al. “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, vol. 22, no. 19, Wiley, 2008, pp. 3980–97, doi:10.1002/hyp.7085.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 1296
Jösch, Maximilian A., et al. “Response Properties of Motion Sensitive Visual Interneurons in the Lobula Plate of Drosophila Melanogaster.” Current Biology, vol. 18, no. 5, Cell Press, 2008, pp. 368–74, doi:10.1016/j.cub.2008.02.022.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 7425
Santis, Marco, et al. “Experimental Investigation of the Propagation of Local Current Density Variations to Adjacent Cells in PEFC Stacks.” 3rd International Conference on Fuel Cell Science, Engineering and Technology, ASMEDC, 2008, pp. 763–65, doi:10.1115/fuelcell2005-74116.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 753
Alistarh, Dan-Adrian, et al. How to Solve Consensus in the Smallest Window of Synchrony. Vol. 5218 LNCS, Springer, 2008, pp. 32–46, doi:10.1007/978-3-540-87779-0_3.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 7752
Robinson, Matthew Richard, et al. “Environmental Heterogeneity Generates Fluctuating Selection on a Secondary Sexual Trait.” Current Biology, vol. 18, no. 10, Elsevier, 2008, pp. 751–57, doi:10.1016/j.cub.2008.04.059.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 844
Schmidt, Steffen, et al. “Hypermutable Non-Synonymous Sites Are under Stronger Negative Selection.” PLoS Genetics, vol. 4, no. 11, Public Library of Science, 2008, doi:10.1371/journal.pgen.1000281.
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 1826
Friedlander, Tamar, and Naama Brenner. “Cellular Properties and Population Asymptotics in the Population Balance Equation.” Physical Review Letters, vol. 101, no. 1, American Physical Society, 2008, doi:10.1103/PhysRevLett.101.018104.
View
| DOI
| Download (ext.)