T. Ferrere, O. Maler, D. Nidkovi, and A. Pnueli, “From real-time logic to timed automata,” Journal of the ACM, vol. 66, no. 3. ACM, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/7109
DOI: 10.1145/3286976
WoS: 000495406300005

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.
LibreCat: https://research-explorer.ista.ac.at/record/7108
DOI: 10.1145/3314024
WoS: 000495406300007
arXiv: 1711.08436

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.
LibreCat: https://research-explorer.ista.ac.at/record/7147
DOI: 10.1007/978-3-030-31304-3_9
WoS: 000557875100009

M. Skórski, “Strong chain rules for min-entropy under few bits spoiled,” in 2019 IEEE International Symposium on Information Theory, Paris, France, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/7136
DOI: 10.1109/isit.2019.8849240
WoS: 000489100301043
arXiv: 1702.08476

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.
LibreCat: https://research-explorer.ista.ac.at/record/7122
DOI: 10.1109/cdc.2018.8619625
WoS: 000458114800023

B. Vicoso, “Molecular and evolutionary dynamics of animal sex-chromosome turnover,” Nature Ecology &; Evolution, vol. 3, no. 12. Springer Nature, pp. 1632–1641, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/7146
DOI: 10.1038/s41559-019-1050-8
WoS: 000500728800009

S. A. Sinclair and J. Friml, “Defying gravity: a plant’s quest for moisture,” Cell Research, vol. 29. Springer Nature, pp. 965–966, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/7143
DOI: 10.1038/s41422-019-0254-4
WoS: 000500749600001
PMID: 31745287

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.
LibreCat: https://research-explorer.ista.ac.at/record/7156
DOI: 10.1038/s41534-019-0220-5
WoS: 000502996200003
arXiv: 1909.01470

P. Guerrero et al., “Neuronal differentiation influences progenitor arrangement in the vertebrate neuroepithelium,” Development, vol. 146, no. 23. The Company of Biologists, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/7165
DOI: 10.1242/dev.176297
WoS: 000507575700004
PMID: 31784457

D. Nidkovi, 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.
LibreCat: https://research-explorer.ista.ac.at/record/7159
DOI: 10.1007/978-3-030-32079-9_17
WoS: 000570006300017

T. Brázdil, K. Chatterjee, A. Kucera, P. Novotný, and D. Velan, “Deciding fast termination for probabilistic VASS with nondeterminism,” in International Symposium on Automated Technology for Verification and Analysis, Taipei, Taiwan, 2019, vol. 11781, pp. 462–478.
LibreCat: https://research-explorer.ista.ac.at/record/7183
DOI: 10.1007/978-3-030-31784-3_27
WoS: 000723515700027
arXiv: 1907.11010

A. Alcântara et al., “Systematic H screening reveals extensive effector-complex formation,” Frontiers in Plant Science, vol. 10, no. 11. Frontiers, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/7182
DOI: 10.3389/fpls.2019.01437
WoS: 000499821700001
PMID: 31803201

K. Retzer et al., “Brassinosteroid signaling delimits root gravitropism via sorting of the Arabidopsis PIN2 auxin transporter,” Nature Communications, vol. 10. Springer Nature, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/7180
DOI: 10.1038/s41467-019-13543-1
WoS: 000500508100001
PMID: 31797871

E. Garriga et al., “Large multiple sequence alignments with a root-to-leaf regressive method,” Nature Biotechnology, vol. 37, no. 12. Springer Nature, pp. 1466–1470, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/7181
DOI: 10.1038/s41587-019-0333-6
WoS: 000500748900021
PMID: 31792410

A. Llorca et al., “A stochastic framework of neurogenesis underlies the assembly of neocortical cytoarchitecture,” eLife, vol. 8. eLife Sciences Publications, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/7202
DOI: 10.7554/eLife.51381
WoS: 000508156800001
PMID: 31736464

L. Klotz, O. Wendler, R. Frischknecht, R. Shigemoto, H. Schulze, and R. Enz, “Localization of group II and III metabotropic glutamate receptors at pre- and postsynaptic sites of inner hair cell ribbon synapses,” FASEB Journal, vol. 33, no. 12. FASEB, pp. 13734–13746, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/7179
DOI: 10.1096/fj.201901543R
WoS: 000507466100054
PMID: 31585509

C. Renggli, S. Ashkboos, M. Aghagolzadeh, D.-A. Alistarh, and T. Hoefler, “SparCML: High-performance sparse communication for machine learning,” in International Conference for High Performance Computing, Networking, Storage and Analysis, SC, Denver, CO, Unites States, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/7201
DOI: 10.1145/3295500.3356222
WoS: 000545976800011
arXiv: 1802.08021

K. Johannesson, Z. Zagrodzka, R. Faria, A. M. Westram, and R. Butlin, “Data from: Is embryo abortion a postzygotic barrier to gene flow between Littorina ecotypes?” Dryad, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/13067
DOI: 10.5061/DRYAD.TB2RBNZWK

S. Aganezov, I. Zban, V. Aksenov, N. Alexeev, and M. C. Schatz, “Recovering rearranged cancer chromosomes from karyotype graphs,” BMC Bioinformatics, vol. 20. BMC, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/7214
DOI: 10.1186/s12859-019-3208-4
WoS: 000511618800007

J. Merrin, “Frontiers in microfluidics, a teaching resource review,” Bioengineering, vol. 6, no. 4. MDPI, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/7225
DOI: 10.3390/bioengineering6040109
WoS: 000505590000024
PMID: 31816954