Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




4165 Publications

2016 | Conference Paper | IST-REx-ID: 1335 | OA
K. Chatterjee, T. A. Henzinger, and J. Otop, “Quantitative monitor automata,” presented at the SAS: Static Analysis Symposium, Edinburgh, United Kingdom, 2016, vol. 9837, pp. 23–38.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1339 | OA
G. Verbiest et al., “Tunable mechanical coupling between driven microelectromechanical resonators,” Applied  Physics Letter, vol. 109. American Institute of Physics, 2016.
View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1340 | OA
K. Hansen, R. Ibsen-Jensen, and M. Koucký, “The big match in small space,” presented at the SAGT: Symposium on Algorithmic Game Theory, Liverpool, United Kingdom, 2016, vol. 9928, pp. 64–76.
View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1341 | OA
G. Avni, T. A. Henzinger, and O. Kupferman, “Dynamic resource allocation games,” presented at the SAGT: Symposium on Algorithmic Game Theory, Liverpool, United Kingdom, 2016, vol. 9928, pp. 153–166.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1342 | OA
M. Baym et al., “Spatiotemporal microbial evolution on antibiotic landscapes,” Science, vol. 353, no. 6304. American Association for the Advancement of Science, pp. 1147–1151, 2016.
View | DOI | Download Preprint (ext.)
 

Search

Filter Publications