Matic, Slobodan. “Compositionality in Deterministic Real-Time Embedded Systems.” University of California, Berkeley, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4415

Henzinger, Thomas A, Thibaud Hottelier, and Laura Kovács. “Valigator: A Verification Tool with Bound and Invariant Generation,”https://doi.org/10.1007/978-3-540-89439-1_24__5330:333–42. Springer, 2008.https://doi.org/10.1007/978-3-540-89439-1_24 .
LibreCat: https://research-explorer.ista.ac.at/record/4452
DOI: 10.1007/978-3-540-89439-1_24

Henzinger, Thomas A. “Two Challenges in Embedded Systems Design: Predictability and Robustness.”https://doi.org/10.1098/rsta.2008.0141__Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. Royal Society of London, 2008.https://doi.org/10.1098/rsta.2008.0141 .
LibreCat: https://research-explorer.ista.ac.at/record/4509
DOI: 10.1098/rsta.2008.0141

Ghosal, Arkadeb. “A Hierarchical Coordination Language for Reliable Real-Time Tasks.” University of California, Berkeley, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4524

Gupta, Ashutosh, Thomas A Henzinger, Ritankar Majumdar, Andrey Rybalchenko, and Ru Xu. “Proving Non-Termination,”https://doi.org/10.1145/1328438.1328459__147–58. ACM, 2008.https://doi.org/10.1145/1328438.1328459 .
LibreCat: https://research-explorer.ista.ac.at/record/4521
DOI: 10.1145/1328438.1328459

Fisher, Jasmin, Thomas A Henzinger, Maria Mateescu, and Nir Piterman. “Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions,”https://doi.org/10.1007/978-3-540-68413-8_2__5054:17–32. Springer, 2008.https://doi.org/10.1007/978-3-540-68413-8_2 .
LibreCat: https://research-explorer.ista.ac.at/record/4527
DOI: 10.1007/978-3-540-68413-8_2

Doyen, Laurent, Thomas A Henzinger, and Jean Raskin. “Equivalence of Labeled Markov Chains.”https://doi.org/10.1142/S0129054108005814 __International Journal of Foundations of Computer Science. World Scientific Publishing, 2008.https://doi.org/10.1142/S0129054108005814  .
LibreCat: https://research-explorer.ista.ac.at/record/4532
DOI: 10.1142/S0129054108005814 

Doyen, Laurent, Thomas A Henzinger, Barbara Jobstmann, and Tatjana Petrov. “Interface Theories with Component Reuse,”https://doi.org/10.1145/1450058.1450070__79–88. ACM, 2008.https://doi.org/10.1145/1450058.1450070 .
LibreCat: https://research-explorer.ista.ac.at/record/4533
DOI: 10.1145/1450058.1450070

Chatterjee, Krishnendu, and Thomas A Henzinger. “Reduction of Stochastic Parity to Stochastic Mean-Payoff Games.”https://doi.org/10.1016/j.ipl.2007.08.035__Information Processing Letters. Elsevier, 2008.https://doi.org/10.1016/j.ipl.2007.08.035 .
LibreCat: https://research-explorer.ista.ac.at/record/4534
DOI: 10.1016/j.ipl.2007.08.035

Chatterjee, Krishnendu, Arkadeb Ghosal, Thomas A Henzinger, Daniel Iercan, Christoph Kirsch, Claudio Pinello, and Alberto Sangiovanni Vincentelli. “Logical Reliability of Interacting Real-Time Tasks,”https://doi.org/10.1145/1403375.1403595__909–14. IEEE, 2008.https://doi.org/10.1145/1403375.1403595 .
LibreCat: https://research-explorer.ista.ac.at/record/4546
DOI: 10.1145/1403375.1403595

Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Stochastic Limit-Average Games Are in EXPTIME.”https://doi.org/10.1007/s00182-007-0110-5__International Journal of Game Theory. Springer, 2008.https://doi.org/10.1007/s00182-007-0110-5 .
LibreCat: https://research-explorer.ista.ac.at/record/4548
DOI: 10.1007/s00182-007-0110-5

Beyer, Dirk, Thomas A Henzinger, and Grégory Théoduloz. “Program Analysis with Dynamic Change of Precision,”https://doi.org/10.1109/ASE.2008.13__29–38. ACM, 2008.https://doi.org/10.1109/ASE.2008.13 .
LibreCat: https://research-explorer.ista.ac.at/record/4568
DOI: 10.1109/ASE.2008.13

Hosten, Onur, and Paul Kwiat. “Observation of the Spin Hall Effect of Light via Weak Measurements.”https://doi.org/10.1126/science.1152697__Science. American Association for the Advancement of Science, 2008.https://doi.org/10.1126/science.1152697 .
LibreCat: https://research-explorer.ista.ac.at/record/581
DOI: 10.1126/science.1152697

Hosten, Onur, and Paul Kwiat. “Spin Hall Effect of Light via Weak Measurements: Sharp and Smooth Index Variations.” Optica Publishing Group, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/584

Bretscher, A. J., K. E. Busch, and Mario de Bono. “A Carbon Dioxide Avoidance Behavior Is Integrated with Responses to Ambient Oxygen and Food in Caenorhabditis Elegans.”https://doi.org/10.1073/pnas.0707607105__Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences, 2008.https://doi.org/10.1073/pnas.0707607105 .
LibreCat: https://research-explorer.ista.ac.at/record/6146
DOI: 10.1073/pnas.0707607105
PMID: 18524954

Kammenga, Jan E., Patrick C. Phillips, Mario de Bono, and Agnieszka Doroszuk. “Beyond Induced Mutants: Using Worms to Study Natural Variation in Genetic Pathways.”https://doi.org/10.1016/j.tig.2008.01.001__Trends in Genetics. Elsevier, 2008.https://doi.org/10.1016/j.tig.2008.01.001 .
LibreCat: https://research-explorer.ista.ac.at/record/6148
DOI: 10.1016/j.tig.2008.01.001
PMID: 18325626

Olofsson, Birgitta, and Mario de Bono. “Sleep: Dozy Worms and Sleepy Flies.”https://doi.org/10.1016/j.cub.2008.01.002__Current Biology. Elsevier, 2008.https://doi.org/10.1016/j.cub.2008.01.002 .
LibreCat: https://research-explorer.ista.ac.at/record/6149
DOI: 10.1016/j.cub.2008.01.002
PMID: 18334193

Freunberger, Stefan Alexander, Ingo A. Schneider, Pang-Chieh Sui, Alexander Wokaun, Nedjib Djilali, and Felix N. Buchi. “Cell Interaction Phenomena in Polymer Electrolyte Fuel Cell Stacks.”https://doi.org/10.1149/1.2913095__Journal of The Electrochemical Society. The Electrochemical Society, 2008.https://doi.org/10.1149/1.2913095 .
LibreCat: https://research-explorer.ista.ac.at/record/7321
DOI: 10.1149/1.2913095

Flückiger, Reto, Stefan Alexander Freunberger, Denis Kramer, Alexander Wokaun, Günther G. Scherer, and Felix N. Büchi. “Anisotropic, Effective Diffusivity of Porous Gas Diffusion Layer Materials for PEFC.”https://doi.org/10.1016/j.electacta.2008.07.034__Electrochimica Acta. Elsevier, 2008.https://doi.org/10.1016/j.electacta.2008.07.034 .
LibreCat: https://research-explorer.ista.ac.at/record/7320
DOI: 10.1016/j.electacta.2008.07.034

Kramer, Denis, Stefan Alexander Freunberger, Reto Flückiger, Ingo A. Schneider, Alexander Wokaun, Felix N. Büchi, and Günther G. Scherer. “Electrochemical Diffusimetry of Fuel Cell Gas Diffusion Layers.”https://doi.org/10.1016/j.jelechem.2007.09.014__Journal of Electroanalytical Chemistry. Elsevier, 2008.https://doi.org/10.1016/j.jelechem.2007.09.014 .
LibreCat: https://research-explorer.ista.ac.at/record/7322
DOI: 10.1016/j.jelechem.2007.09.014