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.
212 Publications
2008 | Conference Paper | IST-REx-ID: 4527
Fisher J, Henzinger TA, Mateescu M, Piterman N. 2008. Bounded asynchrony: Concurrency for modeling cell-cell interactions. FMSB: Formal Methods in Systems Biology, LNCS, vol. 5054, 17–32.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 4532
Doyen L, Henzinger TA, Raskin J. 2008. Equivalence of labeled Markov chains. International Journal of Foundations of Computer Science. 19(3), 549–563.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4533
Doyen L, Henzinger TA, Jobstmann B, Petrov T. 2008. Interface theories with component reuse. EMSOFT: Embedded Software , 79–88.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 4534
Chatterjee K, Henzinger TA. 2008. Reduction of stochastic parity to stochastic mean-payoff games. Information Processing Letters. 106(1), 1–7.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4546
Chatterjee K, Ghosal A, Henzinger TA, Iercan D, Kirsch C, Pinello C, Sangiovanni Vincentelli A. 2008. Logical reliability of interacting real-time tasks. DATE: Design, Automation and Test in Europe, 909–914.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 4548
Chatterjee K, Majumdar R, Henzinger TA. 2008. Stochastic limit-average games are in EXPTIME. International Journal of Game Theory. 37(2), 219–234.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 4568
Beyer D, Henzinger TA, Théoduloz G. 2008. Program analysis with dynamic change of precision. ASE: Automated Software Engineering, 29–38.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 584
Hosten O, Kwiat P. 2008. Spin hall effect of light via weak measurements: Sharp and smooth index variations. QELS: Quantum Electronics and Laser Science Conference, Optics InfoBase Conference Papers, .
View
| Download None (ext.)
2008 | Journal Article | IST-REx-ID: 6146 | 
Bretscher AJ, Busch KE, de Bono M. 2008. A carbon dioxide avoidance behavior is integrated with responses to ambient oxygen and food in Caenorhabditis elegans. Proceedings of the National Academy of Sciences. 105(23), 8044–8049.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 6148
Kammenga JE, Phillips PC, de Bono M, Doroszuk A. 2008. Beyond induced mutants: using worms to study natural variation in genetic pathways. Trends in Genetics. 24(4), 178–185.
View
| DOI
| PubMed | Europe PMC
2008 | Journal Article | IST-REx-ID: 6149
Olofsson B, de Bono M. 2008. Sleep: dozy worms and sleepy flies. Current Biology. 18(5), R204–R206.
View
| DOI
| PubMed | Europe PMC
2008 | Conference Paper | IST-REx-ID: 7425
Santis M, Freunberger SA, Papra M, Büchi FN. 2008. 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. International conference on fuel cell science, engineering and technology, 763–765.
View
| DOI
2008 | Journal Article | IST-REx-ID: 8481
Bersch B, Favier A, Schanda P, van Aelst S, Vallaeys T, Covès J, Mergeay M, 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. 380(2), 386–403.
View
| DOI