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, Krishnendu, Pavol Cerny, Thomas A Henzinger, Arjun Radhakrishna, and Rohit Singh. Quantitative Synthesis for Concurrent Programs. IST Austria, 2010. https://doi.org/10.15479/AT:IST-2010-0004.
[Published Version]
View
| Files available
| DOI
2010 | Published | Technical Report | IST-REx-ID: 5389 |
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 |
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 | Technical Report | IST-REx-ID: 5391 |
Cerny, Pavol, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, and Rajeev Alur. Model Checking of Linearizability of Concurrent List Implementations. IST Austria, 2010. 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, Gabriel, Igor Kazlov, and Ana Juhásová. “Instance Deadlock: A Mystery behind Frozen Programs.” In Applications and Theory of Petri Nets, 1–17. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. https://doi.org/10.1007/978-3-642-13675-7_1.
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 755
Alistarh, Dan-Adrian, Seth Gilbert, Rachid Guerraoui, and Morteza Zadimoghaddam. “How Efficient Can Gossip Be? (On the Cost of Resilient Information Exchange),” 6199 LNCS:115–26. Springer, 2010. https://doi.org/10.1007/978-3-642-14162-1_10.
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 756
Alistarh, Dan-Adrian, Seth Gilbert, Rachid Guerraoui, Žarko Milošević, and Calvin Newport. “Securing Every Bit: Authenticated Broadcast in Radio Networks,” 50–59. ACM, 2010. https://doi.org/10.1145/1810479.1810489.
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 758
Alistarh, Dan-Adrian, Seth Gilbert, Rachid Guerraoui, and Corentin Travers. “Brief Announcement: New Bounds for Partially Synchronous Set Agreement,” 6343 LNCS:404–5. Springer, 2010. https://doi.org/10.1007/978-3-642-15763-9_40.
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 7703
Sweeney, Lora B., and Liqun Luo. “‘Fore Brain: A Hint of the Ancestral Cortex.” Cell. Elsevier, 2010. https://doi.org/10.1016/j.cell.2010.08.024.
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 8472
Schanda, Paul, Beat H. Meier, and Matthias Ernst. “Quantitative Analysis of Protein Backbone Dynamics in Microcrystalline Ubiquitin by Solid-State NMR Spectroscopy.” Journal of the American Chemical Society. American Chemical Society, 2010. https://doi.org/10.1021/ja100726a.
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 8473
Corazza, Alessandra, Enrico Rennella, Paul Schanda, Maria Chiara Mimmi, Thomas Cutuil, Sara Raimondi, Sofia Giorgetti, et al. “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, 2010. https://doi.org/10.1074/jbc.m109.061168.
View
| DOI
2010 | Published | Book Chapter | IST-REx-ID: 8506
Hunt, Brian R., and Vadim Kaloshin. “Prevalence.” In Handbook of Dynamical Systems, 3:43–87. Elsevier, 2010. https://doi.org/10.1016/s1874-575x(10)00310-3.
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 8507
Kaloshin, Vadim, KE ZHANG, and YONG ZHENG. “Almost Dense Orbit on Energy Surface.” In XVIth International Congress on Mathematical Physics, 314–22. World Scientific, 2010. https://doi.org/10.1142/9789814304634_0017.
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 857
Povolotskaya, Inna, and Fyodor Kondrashov. “Sequence Space and the Ongoing Expansion of the Protein Universe.” Nature. Nature Publishing Group, 2010. https://doi.org/10.1038/nature09105.
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 862
Meer, Margarita, Alexey Kondrashov, Yael Artzy Randrup, and Fyodor Kondrashov. “Compensatory Evolution in Mitochondrial TRNAs Navigates Valleys of Low Fitness.” Nature. Nature Publishing Group, 2010. https://doi.org/10.1038/nature08691.
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 872
Kondrashov, Fyodor, and Alexey Kondrashov. “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, 2010. https://doi.org/10.1098/rstb.2009.0286.
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 884
Kondrashov, Alexey, Inna Povolotskaya, Dmitry Ivankov, and Fyodor Kondrashov. “Rate of Sequence Divergence under Constant Selection.” Biology Direct. BioMed Central, 2010. https://doi.org/10.1186/1745-6150-5-5.
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 89
Wright, Ian, Andrew P Higginbotham, Shenda Baker, and Tom Donnelly. “Generation of Nanoparticles of Controlled Size Using Ultrasonic Piezoelectric Oscillators in Solution.” ACS Applied Materials and Interfaces. American Chemical Society, 2010. https://doi.org/10.1021/am100375w.
View
| DOI
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 891
Innan, Hideki, and Fyodor Kondrashov. “The Evolution of Gene Duplications: Classifying and Distinguishing between Models.” Nature Reviews Genetics. Nature Publishing Group, 2010. https://doi.org/10.1038/nrg2689.
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 901
Breen, Michael, and Fyodor Kondrashov. “Mitochondrial Pathogenic Mutations Are Population-Specific.” Biology Direct. BioMed Central, 2010. https://doi.org/10.1186/1745-6150-5-68.
View
| DOI