Ferrere, Thomas, Oded Maler, Dejan Nidkovi, and Amir Pnueli. “From Real-Time Logic to Timed Automata.”https://doi.org/10.1145/3286976__Journal of the ACM. ACM, 2019.https://doi.org/10.1145/3286976 .
LibreCat: https://research-explorer.ista.ac.at/record/7109
DOI: 10.1145/3286976
WoS: 000495406300005

Goaoc, Xavier, Pavel Patak, Zuzana Patakova, Martin Tancer, and Uli Wagner. “Shellability Is NP-Complete.”https://doi.org/10.1145/3314024__Journal of the ACM. ACM, 2019.https://doi.org/10.1145/3314024 .
LibreCat: https://research-explorer.ista.ac.at/record/7108
DOI: 10.1145/3314024
WoS: 000495406300007
arXiv: 1711.08436

Guet, Calin C, Thomas A Henzinger, Claudia Igler, Tatjana Petrov, and Ali Sezgin. “Transient Memory in Gene Regulation.”https://doi.org/10.1007/978-3-030-31304-3_9__In 17th International Conference on Computational Methods in Systems Biology, 11773:155–87. Springer Nature, 2019.https://doi.org/10.1007/978-3-030-31304-3_9 .
LibreCat: https://research-explorer.ista.ac.at/record/7147
DOI: 10.1007/978-3-030-31304-3_9
WoS: 000557875100009

Skórski, Maciej. “Strong Chain Rules for Min-Entropy under Few Bits Spoiled.”https://doi.org/10.1109/isit.2019.8849240__In 2019 IEEE International Symposium on Information Theory. IEEE, 2019.https://doi.org/10.1109/isit.2019.8849240 .
LibreCat: https://research-explorer.ista.ac.at/record/7136
DOI: 10.1109/isit.2019.8849240
WoS: 000489100301043
arXiv: 1702.08476

Khirirat, Sarit, Mikael Johansson, and Dan-Adrian Alistarh. “Gradient Compression for Communication-Limited Convex Optimization.”https://doi.org/10.1109/cdc.2018.8619625__In 2018 IEEE Conference on Decision and Control. IEEE, 2019.https://doi.org/10.1109/cdc.2018.8619625 .
LibreCat: https://research-explorer.ista.ac.at/record/7122
DOI: 10.1109/cdc.2018.8619625
WoS: 000458114800023

Vicoso, Beatriz. “Molecular and Evolutionary Dynamics of Animal Sex-Chromosome Turnover.”https://doi.org/10.1038/s41559-019-1050-8__Nature Ecology &; Evolution. Springer Nature, 2019.https://doi.org/10.1038/s41559-019-1050-8 .
LibreCat: https://research-explorer.ista.ac.at/record/7146
DOI: 10.1038/s41559-019-1050-8
WoS: 000500728800009

Sinclair, Scott A, and Jií Friml. “Defying Gravity: A Plant’s Quest for Moisture.”https://doi.org/10.1038/s41422-019-0254-4__Cell Research. Springer Nature, 2019.https://doi.org/10.1038/s41422-019-0254-4 .
LibreCat: https://research-explorer.ista.ac.at/record/7143
DOI: 10.1038/s41422-019-0254-4
WoS: 000500749600001
PMID: 31745287

Rueda Sanchez, Alfredo R, William J Hease, Shabir Barzanjeh, and Johannes M Fink. “Electro-Optic Entanglement Source for Microwave to Telecom Quantum State Transfer.”https://doi.org/10.1038/s41534-019-0220-5__Npj Quantum Information. Springer Nature, 2019.https://doi.org/10.1038/s41534-019-0220-5 .
LibreCat: https://research-explorer.ista.ac.at/record/7156
DOI: 10.1038/s41534-019-0220-5
WoS: 000502996200003
arXiv: 1909.01470

Guerrero, Pilar, Ruben Perez-Carrasco, Marcin P Zagórski, David Page, Anna Kicheva, James Briscoe, and Karen M. Page. “Neuronal Differentiation Influences Progenitor Arrangement in the Vertebrate Neuroepithelium.”https://doi.org/10.1242/dev.176297__Development. The Company of Biologists, 2019.https://doi.org/10.1242/dev.176297 .
LibreCat: https://research-explorer.ista.ac.at/record/7165
DOI: 10.1242/dev.176297
WoS: 000507575700004
PMID: 31784457

Nidkovi, Dejan, Xin Qin, Thomas Ferrere, Cristinel Mateis, and Jyotirmoy Deshmukh. “Shape Expressions for Specifying and Extracting Signal Features.”https://doi.org/10.1007/978-3-030-32079-9_17__In 19th International Conference on Runtime Verification, 11757:292–309. Springer Nature, 2019.https://doi.org/10.1007/978-3-030-32079-9_17 .
LibreCat: https://research-explorer.ista.ac.at/record/7159
DOI: 10.1007/978-3-030-32079-9_17
WoS: 000570006300017

Brázdil, Tomás, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, and Dominik Velan. “Deciding Fast Termination for Probabilistic VASS with Nondeterminism.”https://doi.org/10.1007/978-3-030-31784-3_27__In International Symposium on Automated Technology for Verification and Analysis, 11781:462–78. Springer Nature, 2019.https://doi.org/10.1007/978-3-030-31784-3_27 .
LibreCat: https://research-explorer.ista.ac.at/record/7183
DOI: 10.1007/978-3-030-31784-3_27
WoS: 000723515700027
arXiv: 1907.11010

Alcântara, André, Jason Bosch, Fahimeh Nazari, Gesa Hoffmann, Michelle C Gallei, Simon Uhse, Martin A. Darino, et al. “Systematic H Screening Reveals Extensive Effector-Complex Formation.”https://doi.org/10.3389/fpls.2019.01437__Frontiers in Plant Science. Frontiers, 2019.https://doi.org/10.3389/fpls.2019.01437 .
LibreCat: https://research-explorer.ista.ac.at/record/7182
DOI: 10.3389/fpls.2019.01437
WoS: 000499821700001
PMID: 31803201

Retzer, Katarzyna, Maria Akhmanova, Nataliia Konstantinova, Kateina Malínská, Johannes Leitner, Jan Petrásek, and Christian Luschnig. “Brassinosteroid Signaling Delimits Root Gravitropism via Sorting of the Arabidopsis PIN2 Auxin Transporter.”https://doi.org/10.1038/s41467-019-13543-1__Nature Communications. Springer Nature, 2019.https://doi.org/10.1038/s41467-019-13543-1 .
LibreCat: https://research-explorer.ista.ac.at/record/7180
DOI: 10.1038/s41467-019-13543-1
WoS: 000500508100001
PMID: 31797871

Garriga, Edgar, Paolo Di Tommaso, Cedrik Magis, Ionas Erb, Leila Mansouri, Athanasios Baltzis, Hafid Laayouni, Fyodor Kondrashov, Evan Floden, and Cedric Notredame. “Large Multiple Sequence Alignments with a Root-to-Leaf Regressive Method.”https://doi.org/10.1038/s41587-019-0333-6__Nature Biotechnology. Springer Nature, 2019.https://doi.org/10.1038/s41587-019-0333-6 .
LibreCat: https://research-explorer.ista.ac.at/record/7181
DOI: 10.1038/s41587-019-0333-6
WoS: 000500748900021
PMID: 31792410

Llorca, Alfredo, Gabriele Ciceri, Robert J Beattie, Fong Kuan Wong, Giovanni Diana, Eleni Serafeimidou-Pouliou, Marian Fernández-Otero, et al. “A Stochastic Framework of Neurogenesis Underlies the Assembly of Neocortical Cytoarchitecture.”https://doi.org/10.7554/eLife.51381__ELife. eLife Sciences Publications, 2019.https://doi.org/10.7554/eLife.51381 .
LibreCat: https://research-explorer.ista.ac.at/record/7202
DOI: 10.7554/eLife.51381
WoS: 000508156800001
PMID: 31736464

Klotz, Lisa, Olaf Wendler, Renato Frischknecht, Ryuichi Shigemoto, Holger Schulze, and Ralf Enz. “Localization of Group II and III Metabotropic Glutamate Receptors at Pre- and Postsynaptic Sites of Inner Hair Cell Ribbon Synapses.”https://doi.org/10.1096/fj.201901543R__FASEB Journal. FASEB, 2019.https://doi.org/10.1096/fj.201901543R .
LibreCat: https://research-explorer.ista.ac.at/record/7179
DOI: 10.1096/fj.201901543R
WoS: 000507466100054
PMID: 31585509

Renggli, Cedric, Saleh Ashkboos, Mehdi Aghagolzadeh, Dan-Adrian Alistarh, and Torsten Hoefler. “SparCML: High-Performance Sparse Communication for Machine Learning.”https://doi.org/10.1145/3295500.3356222__In International Conference for High Performance Computing, Networking, Storage and Analysis, SC. ACM, 2019.https://doi.org/10.1145/3295500.3356222 .
LibreCat: https://research-explorer.ista.ac.at/record/7201
DOI: 10.1145/3295500.3356222
WoS: 000545976800011
arXiv: 1802.08021

Johannesson, Kerstin, Zuzanna Zagrodzka, Rui Faria, Anja M Westram, and Roger Butlin. “Data from: Is Embryo Abortion a Postzygotic Barrier to Gene Flow between Littorina Ecotypes?”https://doi.org/10.5061/DRYAD.TB2RBNZWK__Dryad, 2019.https://doi.org/10.5061/DRYAD.TB2RBNZWK .
LibreCat: https://research-explorer.ista.ac.at/record/13067
DOI: 10.5061/DRYAD.TB2RBNZWK

Aganezov, Sergey, Ilya Zban, Vitalii Aksenov, Nikita Alexeev, and Michael C. Schatz. “Recovering Rearranged Cancer Chromosomes from Karyotype Graphs.”https://doi.org/10.1186/s12859-019-3208-4__BMC Bioinformatics. BMC, 2019.https://doi.org/10.1186/s12859-019-3208-4 .
LibreCat: https://research-explorer.ista.ac.at/record/7214
DOI: 10.1186/s12859-019-3208-4
WoS: 000511618800007

Koval, Nikita, Dan-Adrian Alistarh, and Roman Elizarov. “Scalable FIFO Channels for Programming via Communicating Sequential Processes.”https://doi.org/10.1007/978-3-030-29400-7_23__In 25th Anniversary of Euro-Par, 11725:317–33. Springer Nature, 2019.https://doi.org/10.1007/978-3-030-29400-7_23 .
LibreCat: https://research-explorer.ista.ac.at/record/7228
DOI: 10.1007/978-3-030-29400-7_23
WoS: 000851061400023