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.

294 Publications


2011 | Conference Paper | IST-REx-ID: 3358 | OA
Henzinger TA, Singh V, Wies T, Zufferey D. Scheduling large jobs by abstraction refinement. In: ACM; 2011:329-342. doi:10.1145/1966445.1966476
View | DOI | Download Published Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3359
Cerny P, Henzinger TA. From boolean to quantitative synthesis. In: ACM; 2011:149-154. doi:10.1145/2038642.2038666
View | DOI
 

2011 | Journal Article | IST-REx-ID: 336
Ibáñez M, Guardia P, Shavel A, et al. Growth kinetics of asymmetric Bi2S3 nanocrystals: Size distribution focusing in nanorods. Journal of Physical Chemistry C. 2011;115(16):7947-7955. doi:10.1021/jp2002904
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3360 | OA
Boker U, Henzinger TA. Determinizing discounted-sum automata. In: Vol 12. Springer; 2011:82-96. doi:10.4230/LIPIcs.CSL.2011.82
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3361 | OA
Cerny P, Chatterjee K, Henzinger TA. The complexity of quantitative information flow problems. In: IEEE; 2011:205-217. doi:10.1109/CSF.2011.21
View | Files available | DOI
 

Filters and Search Terms

year=2011

Search

Filter Publications