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.
3798 Publications
2016 | Conference Paper | IST-REx-ID: 1389 | 
On recurrent reachability for continuous linear dynamical systems
V.K. Chonev, J. Ouaknine, J. Worrell, in:, LICS ’16, IEEE, 2016, pp. 515–524.
View
| DOI
| Download Preprint (ext.)
V.K. Chonev, J. Ouaknine, J. Worrell, in:, LICS ’16, IEEE, 2016, pp. 515–524.
2016 | Conference Paper | IST-REx-ID: 1390
QLOSE: Program repair with quantitative objectives
L. D’Antoni, R. Samanta, R. Singh, in:, Springer, 2016, pp. 383–401.
View
| DOI
L. D’Antoni, R. Samanta, R. Singh, in:, Springer, 2016, pp. 383–401.
2016 | Conference Paper | IST-REx-ID: 1391 |
Array folds logic
P. Daca, T.A. Henzinger, A. Kupriyanov, in:, Springer, 2016, pp. 230–248.
View
| Files available
| DOI
| Download Preprint (ext.)
P. Daca, T.A. Henzinger, A. Kupriyanov, in:, Springer, 2016, pp. 230–248.
2016 | Journal Article | IST-REx-ID: 1394 |
Growth against entropy in bacterial metabolism: the phenotypic trade-off behind empirical growth rate distributions in E. coli
D. De Martino, F. Capuani, A. De Martino, Physical Biology 13 (2016).
View
| DOI
| Download Preprint (ext.)
D. De Martino, F. Capuani, A. De Martino, Physical Biology 13 (2016).
2016 | Thesis | IST-REx-ID: 1396 |
Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus
R.K. Mishra, Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses in Hippocampus, IST Austria, 2016.
View
| Files available
R.K. Mishra, Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses in Hippocampus, IST Austria, 2016.