Please note that IST 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.

249 Publications

2010 | Conference Paper | IST-REx-ID: 488   OA
Expressiveness of streaming string transducers
R. Alur, P. Cerny, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 1–12.
View | Files available | DOI

2010 | Technical Report | IST-REx-ID: 5390   OA
Topological, automata-theoretic and logical characterization of finitary languages
K. Chatterjee, N. Fijalkow, Topological, Automata-Theoretic and Logical Characterization of Finitary Languages, IST Austria, 2010.
View | Files available | DOI

2010 | Journal Article | IST-REx-ID: 7079
Structure formation and very low thermal conductivity in Pb:Te:Ag:Se mixtures
F.R. Drymiotis, T.B. Drye, Y. Wang, J. He, D. Rhodes, K. Modic, S. Cawthorne, Q.R. Zhang, Journal of Applied Physics 107 (2010).
View | DOI

2010 | Conference Paper | IST-REx-ID: 755
How efficient can gossip be? (On the cost of resilient information exchange)
D. Alistarh, S. Gilbert, R. Guerraoui, M. Zadimoghaddam, in:, Springer, 2010, pp. 115–126.
View | DOI

2010 | Journal Article | IST-REx-ID: 89
Generation of nanoparticles of controlled size using ultrasonic piezoelectric oscillators in solution
I. Wright, A.P. Higginbotham, S. Baker, T. Donnelly, ACS Applied Materials and Interfaces 2 (2010) 2360–2364.
View | DOI | PubMed | Europe PMC

Filters and Search Terms



Filter Publications

Display / Sort

Export / Embed