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.
5802 Publications
2010 | Published | Conference Paper | IST-REx-ID: 10909
Chen C, Freedman D. 2010. Hardness results for homology localization. Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 1594–1604.
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 4243 | 
Barton NH, Etheridge A, Véber A. 2010. A new model for evolution in a spatial continuum. Electronic Journal of Probability. 15(7), 162–216.
[Published Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4378 |
Kuncak V, Piskac R, Suter P, Wies T. 2010. Building a calculus of data structures. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 5944, 26–44.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 4380 |
Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. 2010. A marketplace for cloud resources. EMSOFT: Embedded Software , 1–8.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4381 |
Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. 2010. FlexPRICE: Flexible provisioning of resources in a cloud environment. CLOUD: Cloud Computing, 83–90.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4382 |
Guerraoui R, Henzinger TA, Kapalka M, Singh V. 2010. Transactions in the jungle. SPAA: ACM Symposium on Parallel Algorithms and Architectures, 263–272.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4389 |
Doyen L, Henzinger TA, Legay A, Nickovic D. 2010. Robustness of sequential circuits. ACSD: Application of Concurrency to System Design, 77–84.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4390 |
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. 2010. Model checking of linearizability of concurrent list implementations. CAV: Computer Aided Verification, LNCS, vol. 6174, 465–479.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 488 |
Alur R, Cerny P. 2010. Expressiveness of streaming string transducers. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 8, 1–12.
[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, 21p.
[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, 27p.
[Published Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 12199
Feng X, Dickinson HG. 2010. Tapetal cell fate, lineage and proliferation in the Arabidopsis anther. Development. 137(14), 2409–2416.
View
| DOI
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 12200
Feng X, Dickinson HG. 2010. Cell–cell interactions during patterning of the Arabidopsis anther. Biochemical Society Transactions. 38(2), 571–576.
View
| DOI
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 3604
Senn H, Goodman S, Swanson G, Barton NH, Pemberton J. 2010. Investigating temporal changes in hybridisation and introgression between invasive sika (Cervus nippon) and native red deer (Cervus elaphus) on the Kintyre Peninsula, Scotland. Molecular Ecology. 19(5), 910–924.
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3772 |
Barton NH. 2010. Understanding adaptation in large populations. PLoS Genetics. 6(6), e1000987.
[Published Version]
View
| Files available
| DOI