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.
289 Publications
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 | Conference Paper | IST-REx-ID: 755
Alistarh, D.-A., Gilbert, S., Guerraoui, R., & Zadimoghaddam, M. (2010). How efficient can gossip be? (On the cost of resilient information exchange) (Vol. 6199 LNCS, pp. 115–126). Presented at the ICALP: International Colloquium on Automota, Languages and Programming, Springer. https://doi.org/10.1007/978-3-642-14162-1_10
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 756
Alistarh, D.-A., Gilbert, S., Guerraoui, R., Milošević, Ž., & Newport, C. (2010). Securing every bit: Authenticated broadcast in radio networks (pp. 50–59). Presented at the SPAA: Symposium on Parallelism in Algorithms and Architectures, ACM. https://doi.org/10.1145/1810479.1810489
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 758
Alistarh, D.-A., Gilbert, S., Guerraoui, R., & Travers, C. (2010). Brief announcement: New bounds for partially synchronous set agreement (Vol. 6343 LNCS, pp. 404–405). Presented at the DISC: Distributed Computing, Springer. https://doi.org/10.1007/978-3-642-15763-9_40
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 7703
Sweeney, L. B., & Luo, L. (2010). ‘Fore brain: A hint of the ancestral cortex. Cell. Elsevier. https://doi.org/10.1016/j.cell.2010.08.024
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 8472
Schanda, P., Meier, B. H., & Ernst, M. (2010). Quantitative analysis of protein backbone dynamics in microcrystalline ubiquitin by solid-state NMR spectroscopy. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja100726a
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 8473
Corazza, A., Rennella, E., Schanda, P., Mimmi, M. C., Cutuil, T., Raimondi, S., … Esposito, G. (2010). Native-unlike long-lived intermediates along the folding pathway of the amyloidogenic protein β2-Microglobulin revealed by real-time two-dimensional NMR. Journal of Biological Chemistry. American Society for Biochemistry & Molecular Biology. https://doi.org/10.1074/jbc.m109.061168
View
| DOI
2010 | Published | Book Chapter | IST-REx-ID: 8506
Hunt, B. R., & Kaloshin, V. (2010). Prevalence. In Handbook of Dynamical Systems (Vol. 3, pp. 43–87). Elsevier. https://doi.org/10.1016/s1874-575x(10)00310-3
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 8507
Kaloshin, V., ZHANG, K., & ZHENG, Y. (2010). Almost dense orbit on energy surface. In XVIth International Congress on Mathematical Physics (pp. 314–322). Prague, Czech Republic: World Scientific. https://doi.org/10.1142/9789814304634_0017
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 857
Povolotskaya, I., & Kondrashov, F. (2010). Sequence space and the ongoing expansion of the protein universe. Nature. Nature Publishing Group. https://doi.org/10.1038/nature09105
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 862
Meer, M., Kondrashov, A., Artzy Randrup, Y., & Kondrashov, F. (2010). Compensatory evolution in mitochondrial tRNAs navigates valleys of low fitness. Nature. Nature Publishing Group. https://doi.org/10.1038/nature08691
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 872
Kondrashov, F., & Kondrashov, A. (2010). Measurements of spontaneous rates of mutations in the recent past and the near future. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The. https://doi.org/10.1098/rstb.2009.0286
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 884
Kondrashov, A., Povolotskaya, I., Ivankov, D., & Kondrashov, F. (2010). Rate of sequence divergence under constant selection. Biology Direct. BioMed Central. https://doi.org/10.1186/1745-6150-5-5
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 89
Wright, I., Higginbotham, A. P., Baker, S., & Donnelly, T. (2010). Generation of nanoparticles of controlled size using ultrasonic piezoelectric oscillators in solution. ACS Applied Materials and Interfaces. American Chemical Society. https://doi.org/10.1021/am100375w
View
| DOI
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 891
Innan, H., & Kondrashov, F. (2010). The evolution of gene duplications: Classifying and distinguishing between models. Nature Reviews Genetics. Nature Publishing Group. https://doi.org/10.1038/nrg2689
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 901
Breen, M., & Kondrashov, F. (2010). Mitochondrial pathogenic mutations are population-specific. Biology Direct. BioMed Central. https://doi.org/10.1186/1745-6150-5-68
View
| DOI