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
Alur R, Cerny P. Expressiveness of streaming string transducers. In: Vol 8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:1-12. doi:10.4230/LIPIcs.FSTTCS.2010.1
View | Files available | DOI

2010 | Technical Report | IST-REx-ID: 5390   OA
Chatterjee K, Fijalkow N. Topological, Automata-Theoretic and Logical Characterization of Finitary Languages. IST Austria; 2010. doi:10.15479/AT:IST-2010-0002
View | Files available | DOI

2010 | Journal Article | IST-REx-ID: 7079
Drymiotis FR, Drye TB, Wang Y, et al. Structure formation and very low thermal conductivity in Pb:Te:Ag:Se mixtures. Journal of Applied Physics. 2010;107(3). doi:10.1063/1.3284946
View | DOI

2010 | Conference Paper | IST-REx-ID: 755
Alistarh D, Gilbert S, Guerraoui R, Zadimoghaddam M. How efficient can gossip be? (On the cost of resilient information exchange). In: Vol 6199 LNCS. Springer; 2010:115-126. doi:10.1007/978-3-642-14162-1_10
View | DOI

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

Filters and Search Terms



Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed