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.
8924 Publications
2009 |
Published |
Conference Paper |
IST-REx-ID: 4542 |
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Alternating Weighted Automata,” 5699:3–13. Springer, 2009. https://doi.org/10.1007/978-3-642-03409-1_2.
[Submitted Version]
View
| Files available
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4543
Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. “Stochastic Games with Finitary Objectives,” 5734:34–54. Springer, 2009. https://doi.org/10.1007/978-3-642-03816-7_4.
View
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4544 |
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Termination Criteria for Solving Concurrent Safety and Reachability Games,” 197–206. SIAM, 2009. https://doi.org/10.1137/1.9781611973068.23.
View
| Files available
| DOI
| Download (ext.)
2009 |
Published |
Conference Paper |
IST-REx-ID: 4545 |
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “A Survey of Stochastic Games with Limsup and Liminf Objectives,” 5556:1–15. Springer, 2009. https://doi.org/10.1007/978-3-642-02930-1_1.
[Submitted Version]
View
| Files available
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4569 |
Bloem, Roderick, Krishnendu Chatterjee, Thomas A Henzinger, and Barbara Jobstmann. “Better Quality in Synthesis through Quantitative Objectives,” 5643:140–56. Springer, 2009. https://doi.org/10.1007/978-3-642-02658-4_14.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 |
Published |
Conference Paper |
IST-REx-ID: 4580 |
Berwanger, Dietmar, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, and Thomas A Henzinger. “Alpaga: A Tool for Solving Parity Games with Imperfect Information,” 5505:58–61. Springer, 2009. https://doi.org/10.1007/978-3-642-00768-2_7.
View
| Files available
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 12656
Pellicciotti, Francesca, Jakob Helbing, Andrés Rivera, Vincent Favier, Javier Corripio, José Araos, Jean-Emmanuel Sicart, and Marco Carenzo. “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. Wiley, 2008. https://doi.org/10.1002/hyp.7085.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 1296
Jösch, Maximilian A, Johannes Plett, Alexander Borst, and Dierk Reiff. “Response Properties of Motion Sensitive Visual Interneurons in the Lobula Plate of Drosophila Melanogaster.” Current Biology. Cell Press, 2008. https://doi.org/10.1016/j.cub.2008.02.022.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 844
Schmidt, Steffen, Anna Gerasimova, Fyodor Kondrashov, Ivan Adzuhbei, Alexey Kondrashov, and Shamil Sunyaev. “Hypermutable Non-Synonymous Sites Are under Stronger Negative Selection.” PLoS Genetics. Public Library of Science, 2008. https://doi.org/10.1371/journal.pgen.1000281.
View
| DOI
2008 |
Published |
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 |
Published |
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 |
Published |
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 |
Published |
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 |
Published |
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 |
Published |
Journal Article |
IST-REx-ID: 895
Donaldson, Zoe, Fyodor Kondrashov, Andrea Putnam, Yaohui Bai, Tara Stoinski, Elizabeth Hammock, and Larry Young. “Evolution of a Behavior-Linked Microsatellite-Containing Element in the 5′ Flanking Region of the Primate AVPR1A Gene.” BMC Evolutionary Biology. BioMed Central, 2008. https://doi.org/10.1186/1471-2148-8-180.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 907
Assis, Raquel, Alexey Kondrashov, Eugene Koonin, and Fyodor Kondrashov. “Nested Genes and Increasing Organizational Complexity of Metazoan Genomes.” Trends in Genetics. Elsevier, 2008. https://doi.org/10.1016/j.tig.2008.08.003.
View
| DOI
2008 |
Published |
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
2008 |
Published |
Journal Article |
IST-REx-ID: 7321
Freunberger, Stefan Alexander, Ingo A. Schneider, Pang-Chieh Sui, Alexander Wokaun, Nedjib Djilali, and Felix N. Büchi. “Cell Interaction Phenomena in Polymer Electrolyte Fuel Cell Stacks.” Journal of The Electrochemical Society. The Electrochemical Society, 2008. https://doi.org/10.1149/1.2913095.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 7322
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.” Journal of Electroanalytical Chemistry. Elsevier, 2008. https://doi.org/10.1016/j.jelechem.2007.09.014.
View
| DOI
2008 |
Published |
Conference Paper |
IST-REx-ID: 7425
Santis, Marco, Stefan Alexander Freunberger, Matthias Papra, and Felix N. Büchi. “Experimental Investigation of the Propagation of Local Current Density Variations to Adjacent Cells in PEFC Stacks.” In 3rd International Conference on Fuel Cell Science, Engineering and Technology, 763–65. ASMEDC, 2008. https://doi.org/10.1115/fuelcell2005-74116.
View
| DOI