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.

7359 Publications


2008 | Journal Article | IST-REx-ID: 8480
Schanda, Paul, Bernhard Brutscher, Robert Konrat, and Martin Tollinger. “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.” Journal of Molecular Biology. Elsevier, 2008. https://doi.org/10.1016/j.jmb.2008.05.040.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 8481
Bersch, Beate, Adrien Favier, Paul Schanda, Sébastien van Aelst, Tatiana Vallaeys, Jacques Covès, Max Mergeay, and Ruddy Wattiez. “Molecular Structure and Metal-Binding Properties of the Periplasmic CopK Protein Expressed in Cupriavidus Metallidurans CH34 during Copper Challenge.” Journal of Molecular Biology. Elsevier, 2008. https://doi.org/10.1016/j.jmb.2008.05.017.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 8482
Kern, Thomas, Paul Schanda, and Bernhard Brutscher. “Sensitivity-Enhanced IPAP-SOFAST-HMQC for Fast-Pulsing 2D NMR with Reduced Radiofrequency Load.” Journal of Magnetic Resonance. Elsevier, 2008. https://doi.org/10.1016/j.jmr.2007.11.015.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 8509
Kaloshin, Vadim, and Mark Levi. “Geometry of Arnold Diffusion.” SIAM Review. Society for Industrial & Applied Mathematics, 2008. https://doi.org/10.1137/070703235.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 8510
Kaloshin, Vadim, and Mark Levi. “An Example of Arnold Diffusion for Near-Integrable Hamiltonians.” Bulletin of the American Mathematical Society. American Mathematical Society, 2008. https://doi.org/10.1090/s0273-0979-08-01211-1.
View | DOI
 

2008 | Thesis | IST-REx-ID: 4415
Matic, Slobodan. “Compositionality in Deterministic Real-Time Embedded Systems.” University of California, Berkeley, 2008.
View
 

2008 | Conference Paper | IST-REx-ID: 4452
Henzinger, Thomas A, Thibaud Hottelier, and Laura Kovács. “Valigator: A Verification Tool with Bound and Invariant Generation,” 5330:333–42. Springer, 2008. https://doi.org/10.1007/978-3-540-89439-1_24.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4509
Henzinger, Thomas A. “Two Challenges in Embedded Systems Design: Predictability and Robustness.” 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.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4521
Gupta, Ashutosh, Thomas A Henzinger, Ritankar Majumdar, Andrey Rybalchenko, and Ru Xu. “Proving Non-Termination,” 147–58. ACM, 2008. https://doi.org/10.1145/1328438.1328459.
View | DOI | Download (ext.)
 

2008 | Thesis | IST-REx-ID: 4524
Ghosal, Arkadeb. “A Hierarchical Coordination Language for Reliable Real-Time Tasks.” University of California, Berkeley, 2008.
View
 

2008 | Conference Paper | IST-REx-ID: 4527
Fisher, Jasmin, Thomas A Henzinger, Maria Mateescu, and Nir Piterman. “Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions,” 5054:17–32. Springer, 2008. https://doi.org/10.1007/978-3-540-68413-8_2.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4532
Doyen, Laurent, Thomas A Henzinger, and Jean Raskin. “Equivalence of Labeled Markov Chains.” International Journal of Foundations of Computer Science. World Scientific Publishing, 2008. https://doi.org/10.1142/S0129054108005814 .
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4533
Doyen, Laurent, Thomas A Henzinger, Barbara Jobstmann, and Tatjana Petrov. “Interface Theories with Component Reuse,” 79–88. ACM, 2008. https://doi.org/10.1145/1450058.1450070.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4534
Chatterjee, Krishnendu, and Thomas A Henzinger. “Reduction of Stochastic Parity to Stochastic Mean-Payoff Games.” Information Processing Letters. Elsevier, 2008. https://doi.org/10.1016/j.ipl.2007.08.035.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4546
Chatterjee, Krishnendu, Arkadeb Ghosal, Thomas A Henzinger, Daniel Iercan, Christoph Kirsch, Claudio Pinello, and Alberto Sangiovanni Vincentelli. “Logical Reliability of Interacting Real-Time Tasks,” 909–14. IEEE, 2008. https://doi.org/10.1145/1403375.1403595.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4548
Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Stochastic Limit-Average Games Are in EXPTIME.” International Journal of Game Theory. Springer, 2008. https://doi.org/10.1007/s00182-007-0110-5.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4568
Beyer, Dirk, Thomas A Henzinger, and Grégory Théoduloz. “Program Analysis with Dynamic Change of Precision,” 29–38. ACM, 2008. https://doi.org/10.1109/ASE.2008.13.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 517
Barton, Nicholas H. “Identity and Coalescence in Structured Populations: A Commentary on ‘Inbreeding Coefficients and Coalescence Times’ by Montgomery Slatkin.” Genetical Research. Cambridge University Press, 2008. https://doi.org/10.1017/S0016672308009683.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 581
Hosten, Onur, and Paul Kwiat. “Observation of the Spin Hall Effect of Light via Weak Measurements.” Science. American Association for the Advancement of Science, 2008. https://doi.org/10.1126/science.1152697.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 7320
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.” Electrochimica Acta. Elsevier, 2008. https://doi.org/10.1016/j.electacta.2008.07.034.
View | DOI
 

Search

Filter Publications