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.




4938 Publications

2019 | Journal Article | IST-REx-ID: 7109
T. Ferrere, O. Maler, D. Ničković, and A. Pnueli, “From real-time logic to timed automata,” Journal of the ACM, vol. 66, no. 3. ACM, 2019.
View | DOI | WoS
 
2019 | Journal Article | IST-REx-ID: 7108 | OA
X. Goaoc, P. Patak, Z. Patakova, M. Tancer, and U. Wagner, “Shellability is NP-complete,” Journal of the ACM, vol. 66, no. 3. ACM, 2019.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Conference Paper | IST-REx-ID: 7147
C. C. Guet, T. A. Henzinger, C. Igler, T. Petrov, and A. Sezgin, “Transient memory in gene regulation,” in 17th International Conference on Computational Methods in Systems Biology, Trieste, Italy, 2019, vol. 11773, pp. 155–187.
View | DOI | WoS
 
2019 | Conference Paper | IST-REx-ID: 7136 | OA
M. Skórski, “Strong chain rules for min-entropy under few bits spoiled,” in 2019 IEEE International Symposium on Information Theory, Paris, France, 2019.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Conference Paper | IST-REx-ID: 7122
S. Khirirat, M. Johansson, and D.-A. Alistarh, “Gradient compression for communication-limited convex optimization,” in 2018 IEEE Conference on Decision and Control, Miami Beach, FL, United States, 2019.
View | DOI | WoS
 
2019 | Journal Article | IST-REx-ID: 7146
B. Vicoso, “Molecular and evolutionary dynamics of animal sex-chromosome turnover,” Nature Ecology & Evolution, vol. 3, no. 12. Springer Nature, pp. 1632–1641, 2019.
View | DOI | WoS
 
2019 | Journal Article | IST-REx-ID: 7143 | OA
S. A. Sinclair and J. Friml, “Defying gravity: a plant’s quest for moisture,” Cell Research, vol. 29. Springer Nature, pp. 965–966, 2019.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 7156 | OA
A. R. Rueda Sanchez, W. J. Hease, S. Barzanjeh, and J. M. Fink, “Electro-optic entanglement source for microwave to telecom quantum state transfer,” npj Quantum Information, vol. 5. Springer Nature, 2019.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2019 | Journal Article | IST-REx-ID: 7165 | OA
P. Guerrero et al., “Neuronal differentiation influences progenitor arrangement in the vertebrate neuroepithelium,” Development, vol. 146, no. 23. The Company of Biologists, 2019.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2019 | Conference Paper | IST-REx-ID: 7159
D. Ničković, X. Qin, T. Ferrere, C. Mateis, and J. Deshmukh, “Shape expressions for specifying and extracting signal features,” in 19th International Conference on Runtime Verification, Porto, Portugal, 2019, vol. 11757, pp. 292–309.
View | DOI | WoS
 

Search

Filter Publications