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 | OA
Chatterjee K, Cerny P, Henzinger TA, Radhakrishna A, Singh R. 2010. Quantitative synthesis for concurrent programs, IST Austria, 17p.
[Published Version] View | Files available | DOI
 

2010 | Published | Technical Report | IST-REx-ID: 5389 | OA
Cerny P, Henzinger TA, Radhakrishna A. 2010. Simulation distances, IST Austria, 24p.
[Published Version] View | Files available | DOI
 

2010 | Published | Technical Report | IST-REx-ID: 5390 | OA
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 | OA
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 | 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. , 1–17.
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). ICALP: International Colloquium on Automota, Languages and Programming, LNCS, vol. 6199 LNCS, 115–126.
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. SPAA: Symposium on Parallelism in Algorithms and Architectures, 50–59.
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. DISC: Distributed Computing, LNCS, vol. 6343 LNCS, 404–405.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 7703
Sweeney LB, Luo L. 2010. ‘Fore brain: A hint of the ancestral cortex. Cell. 142(5), 679–681.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 8472
Schanda P, Meier BH, Ernst M. 2010. Quantitative analysis of protein backbone dynamics in microcrystalline ubiquitin by solid-state NMR spectroscopy. Journal of the American Chemical Society. 132(45), 15957–15967.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 8473
Corazza A, Rennella E, Schanda P, Mimmi MC, Cutuil T, Raimondi S, Giorgetti S, Fogolari F, Viglino P, Frydman L, Gal M, Bellotti V, Brutscher B, 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. 285(8), 5827–5835.
View | DOI
 

2010 | Published | Book Chapter | IST-REx-ID: 8506
Hunt BR, Kaloshin V. 2010.Prevalence. In: Handbook of Dynamical Systems. vol. 3, 43–87.
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 8507
Kaloshin V, ZHANG K, ZHENG Y. 2010. Almost dense orbit on energy surface. XVIth International Congress on Mathematical Physics. International Congress on Mathematical Physics, 314–322.
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. 465(7300), 922–926.
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. 464(7286), 279–282.
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. 365(1544), 1169–1176.
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. 5.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 89
Wright I, Higginbotham AP, Baker S, Donnelly T. 2010. Generation of nanoparticles of controlled size using ultrasonic piezoelectric oscillators in solution. ACS Applied Materials and Interfaces. 2(8), 2360–2364.
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. 11(2), 97–108.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 901
Breen M, Kondrashov F. 2010. Mitochondrial pathogenic mutations are population-specific. Biology Direct. 5.
View | DOI
 

Filters and Search Terms

year=2010

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed