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.
5735 Publications
2018 | Published | Journal Article | IST-REx-ID: 10417 | 
Data-centric dynamic partial order reduction
M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, K. Vaidya, Proceedings of the ACM on Programming Languages 2 (2018).
[Published Version]
View
| Files available
| DOI
| arXiv
M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, K. Vaidya, Proceedings of the ACM on Programming Languages 2 (2018).
2018 | Published | Journal Article | IST-REx-ID: 10286 |
Evaluation and monitoring of free running oscillators serving as source of randomness
E.N. Allini, M. Skórski, O. Petura, F. Bernard, M. Laban, V. Fischer, IACR Transactions on Cryptographic Hardware and Embedded Systems 2018 (2018) 214–242.
[Published Version]
View
| Files available
| DOI
E.N. Allini, M. Skórski, O. Petura, F. Bernard, M. Laban, V. Fischer, IACR Transactions on Cryptographic Hardware and Embedded Systems 2018 (2018) 214–242.
2018 | Published | Journal Article | IST-REx-ID: 43 |
Model of bacterial toxin-dependent pathogenesis explains infective dose
J. Rybicki, E. Kisdi, J. Anttila, Proceedings of the National Academy of Sciences of the United States of America 115 (2018) 10690–10695.
[Submitted Version]
View
| Files available
| DOI
| WoS
J. Rybicki, E. Kisdi, J. Anttila, Proceedings of the National Academy of Sciences of the United States of America 115 (2018) 10690–10695.
2018 | Published | Journal Article | IST-REx-ID: 428 |
Gibberellin DELLA signaling targets the retromer complex to redirect protein trafficking to the plasma membrane
Y. Salanenka, I. Verstraeten, C. Löfke, K. Tabata, S. Naramoto, M. Glanc, J. Friml, Proceedings of the National Academy of Sciences of the United States of America 115 (2018) 3716–3721.
[Published Version]
View
| Files available
| DOI
| WoS
Y. Salanenka, I. Verstraeten, C. Löfke, K. Tabata, S. Naramoto, M. Glanc, J. Friml, Proceedings of the National Academy of Sciences of the United States of America 115 (2018) 3716–3721.
2018 | Published | Journal Article | IST-REx-ID: 64 |
Self-organized criticality and pattern emergence through the lens of tropical geometry
N. Kalinin, A. Guzmán Sáenz, Y. Prieto, M. Shkolnikov, V. Kalinina, E. Lupercio, Proceedings of the National Academy of Sciences of the United States of America 115 (2018) E8135–E8142.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
N. Kalinin, A. Guzmán Sáenz, Y. Prieto, M. Shkolnikov, V. Kalinina, E. Lupercio, Proceedings of the National Academy of Sciences of the United States of America 115 (2018) E8135–E8142.