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.

2702 Publications


2016 | Conference Paper | IST-REx-ID: 1335 | OA
Chatterjee K, Henzinger TA, Otop J. Quantitative monitor automata. In: Vol 9837. Springer; 2016:23-38. doi:10.1007/978-3-662-53413-7_2
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1339 | OA
Verbiest G, Xu D, Goldsche M, et al. Tunable mechanical coupling between driven microelectromechanical resonators. Applied  Physics Letter. 2016;109. doi:10.1063/1.4964122
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1340 | OA
Hansen K, Ibsen-Jensen R, Koucký M. The big match in small space. In: Vol 9928. Springer; 2016:64-76. doi:10.1007/978-3-662-53354-3_6
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1341 | OA
Avni G, Henzinger TA, Kupferman O. Dynamic resource allocation games. In: Vol 9928. Springer; 2016:153-166. doi:10.1007/978-3-662-53354-3_13
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1342 | OA
Baym M, Lieberman T, Kelsic E, et al. Spatiotemporal microbial evolution on antibiotic landscapes. Science. 2016;353(6304):1147-1151. doi:10.1126/science.aag0822
View | DOI | Download Preprint (ext.)
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications