Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

550 Publications


2019 | Journal Article | IST-REx-ID: 7143 | OA
Sinclair SA, Friml J. Defying gravity: a plant’s quest for moisture. Cell Research. 2019;29:965-966. 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 | OA
Rueda Sanchez AR, Hease WJ, Barzanjeh S, Fink JM. Electro-optic entanglement source for microwave to telecom quantum state transfer. npj Quantum Information. 2019;5. doi:10.1038/s41534-019-0220-5
[Published Version] View | Files available | DOI | WoS | arXiv
 

2019 | Journal Article | IST-REx-ID: 7165 | OA
Guerrero P, Perez-Carrasco R, Zagórski MP, et al. Neuronal differentiation influences progenitor arrangement in the vertebrate neuroepithelium. Development. 2019;146(23). doi:10.1242/dev.176297
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7159
Ničković D, Qin X, Ferrere T, Mateis C, Deshmukh J. Shape expressions for specifying and extracting signal features. In: 19th International Conference on Runtime Verification. Vol 11757. Springer Nature; 2019:292-309. doi:10.1007/978-3-030-32079-9_17
View | DOI | WoS
 

2019 | Conference Paper | IST-REx-ID: 7183 | OA
Brázdil T, Chatterjee K, Kucera A, Novotný P, Velan D. Deciding fast termination for probabilistic VASS with nondeterminism. In: International Symposium on Automated Technology for Verification and Analysis. Vol 11781. Springer Nature; 2019:462-478. doi:10.1007/978-3-030-31784-3_27
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

Filters and Search Terms

year=2019

Search

Filter Publications