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.
5039 Publications
2019 | Journal Article | IST-REx-ID: 7109
Ferrere, Thomas, et al. “From Real-Time Logic to Timed Automata.” Journal of the ACM, vol. 66, no. 3, 19, ACM, 2019, doi:10.1145/3286976.
View
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 7108 | 
Goaoc, Xavier, et al. “Shellability Is NP-Complete.” Journal of the ACM, vol. 66, no. 3, 21, ACM, 2019, doi:10.1145/3314024.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Conference Paper | IST-REx-ID: 7147
Guet, Calin C., et al. “Transient Memory in Gene Regulation.” 17th International Conference on Computational Methods in Systems Biology, vol. 11773, Springer Nature, 2019, pp. 155–87, doi:10.1007/978-3-030-31304-3_9.
View
| DOI
| WoS
2019 | Conference Paper | IST-REx-ID: 7136 |
Skórski, Maciej. “Strong Chain Rules for Min-Entropy under Few Bits Spoiled.” 2019 IEEE International Symposium on Information Theory, 8849240, IEEE, 2019, doi:10.1109/isit.2019.8849240.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Conference Paper | IST-REx-ID: 7122
Khirirat, Sarit, et al. “Gradient Compression for Communication-Limited Convex Optimization.” 2018 IEEE Conference on Decision and Control, 8619625, IEEE, 2019, doi:10.1109/cdc.2018.8619625.
View
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 7146
Vicoso, Beatriz. “Molecular and Evolutionary Dynamics of Animal Sex-Chromosome Turnover.” Nature Ecology & Evolution, vol. 3, no. 12, Springer Nature, 2019, pp. 1632–41, doi:10.1038/s41559-019-1050-8.
View
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 7143 |
Sinclair, Scott A., and Jiří Friml. “Defying Gravity: A Plant’s Quest for Moisture.” Cell Research, vol. 29, Springer Nature, 2019, pp. 965–66, doi:10.1038/s41422-019-0254-4.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 7156 |
Rueda Sanchez, Alfredo R., et al. “Electro-Optic Entanglement Source for Microwave to Telecom Quantum State Transfer.” Npj Quantum Information, vol. 5, 108, Springer Nature, 2019, doi:10.1038/s41534-019-0220-5.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 7165 |
Guerrero, Pilar, et al. “Neuronal Differentiation Influences Progenitor Arrangement in the Vertebrate Neuroepithelium.” Development, vol. 146, no. 23, dev176297, The Company of Biologists, 2019, doi:10.1242/dev.176297.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Conference Paper | IST-REx-ID: 7159
Ničković, Dejan, et al. “Shape Expressions for Specifying and Extracting Signal Features.” 19th International Conference on Runtime Verification, vol. 11757, Springer Nature, 2019, pp. 292–309, doi:10.1007/978-3-030-32079-9_17.
View
| DOI
| WoS