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 | 
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 |
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 |
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 |
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 |
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