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.

6372 Publications


2010 | Published | Conference Paper | IST-REx-ID: 4378 | OA
Kuncak, Viktor, Ruzica Piskac, Philippe Suter, and Thomas Wies. “Building a Calculus of Data Structures.” edited by Gilles Barthe and Manuel Hermenegildo, 5944:26–44. Springer, 2010. https://doi.org/10.1007/978-3-642-11319-2_6.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 4379 | OA
Jones, Kevin, Victor Konrad, and Dejan Nickovic. “Analog Property Checkers: A DDR2 Case Study.” Formal Methods in System Design. Springer, 2010. https://doi.org/10.1007/s10703-009-0085-x.
View | DOI | Download (ext.)
 

2010 | Published | Conference Paper | IST-REx-ID: 4380 | OA
Henzinger, Thomas A, Anmol Tomar, Vasu Singh, Thomas Wies, and Damien Zufferey. “A Marketplace for Cloud Resources,” 1–8. ACM, 2010. https://doi.org/10.1145/1879021.1879022.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4381 | OA
Henzinger, Thomas A, Anmol Tomar, Vasu Singh, Thomas Wies, and Damien Zufferey. “FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment,” 83–90. IEEE, 2010. https://doi.org/10.1109/CLOUD.2010.71.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4388 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. “GIST: A Solver for Probabilistic Games,” 6174:665–69. Springer, 2010. https://doi.org/10.1007/978-3-642-14295-6_57.
[Submitted Version] View | Files available | DOI | arXiv
 

2010 | Published | Conference Paper | IST-REx-ID: 4389 | OA
Doyen, Laurent, Thomas A Henzinger, Axel Legay, and Dejan Nickovic. “Robustness of Sequential Circuits,” 77–84. IEEE, 2010. https://doi.org/10.1109/ACSD.2010.26.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4393 | OA
Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Simulation Distances,” 6269:235–68. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. https://doi.org/10.1007/978-3-642-15375-4_18.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4396 | OA
Beyer, Dirk, Thomas A Henzinger, Grégory Théoduloz, and Damien Zufferey. “Shape Refinement through Explicit Heap Analysis.” edited by David Rosenblum and Gabriele Taenzer, 6013:263–77. Springer, 2010. https://doi.org/10.1007/978-3-642-12029-9_19.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 488 | OA
Alur, Rajeev, and Pavol Cerny. “Expressiveness of Streaming String Transducers,” 8:1–12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1.
[Published Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 489 | OA
Cristau, Julien, Claire David, and Florian Horn. “How Do We Remember the Past in Randomised Strategies? .” In Proceedings of GandALF 2010, 25:30–39. Open Publishing Association, 2010. https://doi.org/10.4204/EPTCS.25.7.
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Published | Technical Report | IST-REx-ID: 5389 | OA
Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. Simulation Distances. IST Austria, 2010. https://doi.org/10.15479/AT:IST-2010-0003.
[Published Version] View | Files available | DOI
 

2010 | Published | Technical Report | IST-REx-ID: 5390 | OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. Topological, Automata-Theoretic and Logical Characterization of Finitary Languages. IST Austria, 2010. https://doi.org/10.15479/AT:IST-2010-0002.
[Published Version] View | Files available | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 598 | OA
Meyer, Krista, Shih Lin, Carrie Bernecky, Yuefeng Gao, and Dylan Taatjes. “P53 Activates Transcription by Directing Structural Shifts in Mediator.” Nature Structural and Molecular Biology. Nature Publishing Group, 2010. https://doi.org/10.1038/nsmb.1816.
View | DOI | Download None (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 1752 | OA
Katsaros, Georgios, Panayotis Spathis, Mathieu Stoffel, Frank Fournel, Massimo Mongillo, Vincent Bouchiat, François Lefloch, Armando Rastelli, Oliver Schmidt, and Silvano De Franceschi. “Hybrid Superconductor-Semiconductor Devices Made from Self-Assembled SiGe Nanocrystals on Silicon.” Nature Nanotechnology. Nature Publishing Group, 2010. https://doi.org/10.1038/nnano.2010.84.
View | DOI | Download (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 1753 | OA
Songmuang, Rudeeson, Georgios Katsaros, Eva Monroy, Panayotis Spathis, Catherine Bougerol, Massimo Mongillo, and Silvano De Franceschi. “Quantum Transport in GaN/AlN Double-Barrier Heterostructure Nanowires.” Nano Letters. American Chemical Society, 2010. https://doi.org/10.1021/nl1017578.
View | DOI | Download (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 17639 | OA
Sethi, Shiv, Zoltán Haiman, and Kanhaiya Pandey. “Supermassive Black Hole Formation at High Redshifts through a Primordial Magnetic Field.” The Astrophysical Journal. American Astronomical Society, 2010. https://doi.org/10.1088/0004-637x/721/1/615.
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 17648 | OA
Shang, Cien, Greg L. Bryan, and Zoltán Haiman. “Supermassive Black Hole Formation by Direct Collapse: Keeping Protogalactic Gas H2 Free in Dark Matter Haloes with Virial Temperatures T_vir > Rsim10^4 K .” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2010. https://doi.org/10.1111/j.1365-2966.2009.15960.x.
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Published | Conference Paper | IST-REx-ID: 17664 | OA
Haiman, Zoltán, Daniel J. Whalen, Volker Bromm, and Naoki Yoshida. “The Origin and Detection of High-Redshift Supermassive Black Holes.” In AIP Conference Proceedings, 1294:215–24. American Institute of Physics, 2010. https://doi.org/10.1063/1.3518857.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Published | Journal Article | IST-REx-ID: 17665 | OA
Corrales, Lia R., Zoltán Haiman, and Andrew MacFadyen. “Hydrodynamical Response of a Circumbinary Gas Disc to Black Hole Recoil and Mass Loss.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2010. https://doi.org/10.1111/j.1365-2966.2010.16324.x.
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 17686 | OA
Tanaka, Takamitsu, Zoltán Haiman, and Kristen Menou. “Witnessing the Birth of a Quasar.” The Astronomical Journal. American Astronomical Society, 2010. https://doi.org/10.1088/0004-6256/140/2/642.
[Published Version] View | DOI | Download Published Version (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed