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.




4161 Publications

2016 | Journal Article | IST-REx-ID: 1334 | OA
Schönenberger, P., O’Neill, J., & Csicsvari, J. L. (2016). Activity dependent plasticity of hippocampal place maps. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/ncomms11824
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1335 | OA
Chatterjee, K., Henzinger, T. A., & Otop, J. (2016). Quantitative monitor automata (Vol. 9837, pp. 23–38). Presented at the SAS: Static Analysis Symposium, Edinburgh, United Kingdom: Springer. https://doi.org/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., Khodkov, T., Barzanjeh, S., Von Den Driesch, N., … Stampfer, C. (2016). Tunable mechanical coupling between driven microelectromechanical resonators. Applied  Physics Letter. American Institute of Physics. https://doi.org/10.1063/1.4964122
View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1340 | OA
Hansen, K., Ibsen-Jensen, R., & Koucký, M. (2016). The big match in small space (Vol. 9928, pp. 64–76). Presented at the SAGT: Symposium on Algorithmic Game Theory, Liverpool, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-53354-3_6
View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1341 | OA
Avni, G., Henzinger, T. A., & Kupferman, O. (2016). Dynamic resource allocation games (Vol. 9928, pp. 153–166). Presented at the SAGT: Symposium on Algorithmic Game Theory, Liverpool, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-53354-3_13
View | Files available | DOI
 

Search

Filter Publications