Alur R, Cerny P. 2010. Expressiveness of streaming string transducers. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 8, 1–12.
LibreCat: https://research-explorer.ista.ac.at/record/488
DOI: 10.4230/LIPIcs.FSTTCS.2010.1

Cristau J, David C, Horn F. 2010. How do we remember the past in randomised strategies? . Proceedings of GandALF 2010. GandALF: Games, Automata, Logic, and Formal Verification, EPTCS, vol. 25, 30–39.
LibreCat: https://research-explorer.ista.ac.at/record/489
DOI: 10.4204/EPTCS.25.7

Hoenicke J, Leino K, Podelski A, Schäf M, Wies T. 2010. Doomed program points. Formal Methods in System Design. 37(2–3), 171–199.
LibreCat: https://research-explorer.ista.ac.at/record/533
DOI: 10.1007/s10703-010-0102-0

Cerny P, Henzinger TA, Radhakrishna A. 2010. Simulation distances. CONCUR: Concurrency Theory, LNCS, vol. 6269, 235–268.
LibreCat: https://research-explorer.ista.ac.at/record/4393
DOI: 10.1007/978-3-642-15375-4_18

Chatterjee K, Cerny P, Henzinger TA, Radhakrishna A, Singh R. 2010. Quantitative synthesis for concurrent programs, IST Austria, 17p.
LibreCat: https://research-explorer.ista.ac.at/record/5388
DOI: 10.15479/AT:IST-2010-0004

Cerny P, Henzinger TA, Radhakrishna A. 2010. Simulation distances, IST Austria, 24p.
LibreCat: https://research-explorer.ista.ac.at/record/5389
DOI: 10.15479/AT:IST-2010-0003

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.
LibreCat: https://research-explorer.ista.ac.at/record/4390
DOI: 10.1007/978-3-642-14295-6_41

Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. 2010. GIST: A solver for probabilistic games. CAV: Computer Aided Verification, LNCS, vol. 6174, 665–669.
LibreCat: https://research-explorer.ista.ac.at/record/4388
DOI: 10.1007/978-3-642-14295-6_57
arXiv: 1004.2367

Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. 2010. Model checking of linearizability of concurrent list implementations, IST Austria, 27p.
LibreCat: https://research-explorer.ista.ac.at/record/5391
DOI: 10.15479/AT:IST-2010-0001

Chatterjee K, Fijalkow N. 2010. Topological, automata-theoretic and logical characterization of finitary languages, IST Austria, 21p.
LibreCat: https://research-explorer.ista.ac.at/record/5390
DOI: 10.15479/AT:IST-2010-0002

Chatterjee K, Henzinger TA. 2010. Probabilistic Automata on infinite words: decidability and undecidability results. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 6252, 1–16.
LibreCat: https://research-explorer.ista.ac.at/record/3857
DOI: 10.1007/978-3-642-15643-4_1

Chatterjee K, Doyen L, Henzinger TA. 2010. Qualitative analysis of partially-observable Markov Decision Processes. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6281, 258–269.
LibreCat: https://research-explorer.ista.ac.at/record/3855
DOI: 10.1007/978-3-642-15155-2_24

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.
LibreCat: https://research-explorer.ista.ac.at/record/5940
DOI: 10.1007/978-3-642-13675-7_1

Meyer K, Lin S, Bernecky C, Gao Y, Taatjes D. 2010.  activates transcription by directing structural shifts in Mediator. Nature Structural and Molecular Biology. 17(6), 753–760.
LibreCat: https://research-explorer.ista.ac.at/record/598
DOI: 10.1038/nsmb.1816

Weber KP, De S, Kozarewa I, Turner DJ, Babu MM, de Bono M. 2010. Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans. PLoS ONE. 5(11), e13922.
LibreCat: https://research-explorer.ista.ac.at/record/6142
DOI: 10.1371/journal.pone.0013922
PMID: 21085631

Zacharasiewicz W, Kirsch F. 2010.“This is a fundamentalist town”: The Prairie Town as a Site of Social and Cultural Conflict in Sinclair Ross’s As for Me and My House. In: Social and cultural interaction and literary landscapes in the Canadian Westf: impressions of an exploratory field trip and academic interaction in the Canadian Westf: Rapports interculturels et paysages littéraires dans l’Ouest canadien. , 173–179.
LibreCat: https://research-explorer.ista.ac.at/record/619

Zhou L, Li F, Xu H, Luo C, Wu H, Zhu M, Lu W, Ji X, Zhou Q, Zhu D. 2010. Treatment of cerebral ischemia by disrupting ischemia-induced interaction of nNOS with PSD-95. Nature Medicine. 16(12), 1439–1443.
LibreCat: https://research-explorer.ista.ac.at/record/6198
DOI: 10.1038/nm.2245
PMID: 21102461

Bretèche R de la, Browning TD. 2010. Le problème des diviseurs pour des formes binaires de degré 4. Crelles Journal. 2010(646), 1–44.
LibreCat: https://research-explorer.ista.ac.at/record/6320
DOI: 10.1515/crelle.2010.064
arXiv: 0808.2340v2

Salje EKH, Safarik DJ, Modic KA, Gubernatis JE, Cooley JC, Taylor RD, Mihaila B, Saxena A, Lookman T, Smith JL, Fisher RA, Pasternak M, Opeil CP, Siegrist T, Littlewood PB, Lashley JC. 2010. Tin telluride: A weakly co-elastic metal. Physical Review B. 82(18), 184112.
LibreCat: https://research-explorer.ista.ac.at/record/7078
DOI: 10.1103/physrevb.82.184112
arXiv: 1011.1445

Drymiotis FR, Drye TB, Wang Y, He J, Rhodes D, Modic KA, Cawthorne S, Zhang QR. 2010. Structure formation and very low thermal conductivity in Pb:Te:Ag:Se mixtures. Journal of Applied Physics. 107(3), 033519.
LibreCat: https://research-explorer.ista.ac.at/record/7079
DOI: 10.1063/1.3284946