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.
296 Publications
2010 | Published | Conference Paper | IST-REx-ID: 4393 | 
Cerny, P., Henzinger, T. A., & Radhakrishna, A. (2010). Simulation distances (Vol. 6269, pp. 235–268). Presented at the CONCUR: Concurrency Theory, Paris, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-642-15375-4_18
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4395
Burckhardt, S., Musuvathi, M., & Singh, V. (2010). Verifying local transformations on relaxed memory models. In R. Gupta (Ed.) (Vol. 6011, pp. 104–123). Presented at the CC: Compiler Construction, Pahos, Cyprus: Springer. https://doi.org/10.1007/978-3-642-11970-5_7
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4396 |
Beyer, D., Henzinger, T. A., Théoduloz, G., & Zufferey, D. (2010). Shape refinement through explicit heap analysis. In D. Rosenblum & G. Taenzer (Eds.) (Vol. 6013, pp. 263–277). Presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus: Springer. https://doi.org/10.1007/978-3-642-12029-9_19
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 474
Barton, N. H., Kelleher, J., & Etheridge, A. (2010). A new model for extinction and recolonization in two dimensions: Quantifying phylogeography. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.2010.01019.x
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 488 |
Alur, R., & Cerny, P. (2010). Expressiveness of streaming string transducers (Vol. 8, pp. 1–12). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1
[Published Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 489 |
Cristau, J., David, C., & Horn, F. (2010). How do we remember the past in randomised strategies? . In Proceedings of GandALF 2010 (Vol. 25, pp. 30–39). Minori, Amalfi Coast, Italy: Open Publishing Association. https://doi.org/10.4204/EPTCS.25.7
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Published | Journal Article | IST-REx-ID: 533
Hoenicke, J., Leino, K., Podelski, A., Schäf, M., & Wies, T. (2010). Doomed program points. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-010-0102-0
View
| DOI
2010 | Published | Technical Report | IST-REx-ID: 5388 |
Chatterjee, K., Cerny, P., Henzinger, T. A., Radhakrishna, A., & Singh, R. (2010). Quantitative synthesis for concurrent programs. IST Austria. https://doi.org/10.15479/AT:IST-2010-0004
[Published Version]
View
| Files available
| DOI
2010 | Published | Technical Report | IST-REx-ID: 5389 |
Cerny, P., Henzinger, T. A., & Radhakrishna, A. (2010). Simulation distances. IST Austria. https://doi.org/10.15479/AT:IST-2010-0003
[Published Version]
View
| Files available
| DOI
2010 | Published | Technical Report | IST-REx-ID: 5390 |
Chatterjee, K., & Fijalkow, N. (2010). Topological, automata-theoretic and logical characterization of finitary languages. IST Austria. https://doi.org/10.15479/AT:IST-2010-0002
[Published Version]
View
| Files available
| DOI
2010 | Published | Technical Report | IST-REx-ID: 5391 |
Cerny, P., Radhakrishna, A., Zufferey, D., Chaudhuri, S., & Alur, R. (2010). Model checking of linearizability of concurrent list implementations. IST Austria. https://doi.org/10.15479/AT:IST-2010-0001
[Published Version]
View
| Files available
| DOI
2010 | Published | Book Chapter | IST-REx-ID: 5940
Juhás, G., Kazlov, I., & Juhásová, A. (2010). Instance Deadlock: A Mystery behind Frozen Programs. In Applications and Theory of Petri Nets (pp. 1–17). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-13675-7_1
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 598 |
Meyer, K., Lin, S., Bernecky, C., Gao, Y., & Taatjes, D. (2010). P53 activates transcription by directing structural shifts in Mediator. Nature Structural and Molecular Biology. Nature Publishing Group. https://doi.org/10.1038/nsmb.1816
View
| DOI
| Download None (ext.)
2010 | Published | Journal Article | IST-REx-ID: 1721
Kicheva, A., & Briscoe, J. (2010). Limbs made to measure. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.1000421
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 1722
Dessaud, É., Ribes, V., Balaskas, N., Yang, L., Pierani, A., Kicheva, A., … Sasai, N. (2010). Dynamic assignment and maintenance of positional identity in the ventral neural tube by the morphogen sonic hedgehog. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.1000382
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 1752 |
Katsaros, G., Spathis, P., Stoffel, M., Fournel, F., Mongillo, M., Bouchiat, V., … De Franceschi, S. (2010). Hybrid superconductor-semiconductor devices made from self-assembled SiGe nanocrystals on silicon. Nature Nanotechnology. Nature Publishing Group. https://doi.org/10.1038/nnano.2010.84
View
| DOI
| Download (ext.)
2010 | Published | Journal Article | IST-REx-ID: 1753 |
Songmuang, R., Katsaros, G., Monroy, E., Spathis, P., Bougerol, C., Mongillo, M., & De Franceschi, S. (2010). Quantum transport in GaN/AlN double-barrier heterostructure nanowires. Nano Letters. American Chemical Society. https://doi.org/10.1021/nl1017578
View
| DOI
| Download (ext.)
2010 | Published | Journal Article | IST-REx-ID: 17639 |
Sethi, S., Haiman, Z., & Pandey, K. (2010). Supermassive black hole formation at high redshifts through a primordial magnetic field. The Astrophysical Journal. American Astronomical Society. 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 |
Shang, C., Bryan, G. L., & Haiman, Z. (2010). 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. 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 |
Haiman, Z., Whalen, D. J., Bromm, V., & Yoshida, N. (2010). The origin and detection of high-redshift supermassive black holes. In AIP Conference Proceedings (Vol. 1294, pp. 215–224). Austin, TX, United States: American Institute of Physics. https://doi.org/10.1063/1.3518857
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv