Kong, Hui, Ezio Bartocci, Yu Jiang, and Thomas A Henzinger. “Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty.”https://doi.org/10.1007/978-3-030-29662-9_8__In 17th International Conference on Formal Modeling and Analysis of Timed Systems, 11750:123–41. Springer Nature, 2019.https://doi.org/10.1007/978-3-030-29662-9_8 .
LibreCat: https://research-explorer.ista.ac.at/record/7231
DOI: 10.1007/978-3-030-29662-9_8
WoS: 000611677700008
arXiv: 1907.11514

Amin-Wetzel, Niko Paresh, Lisa Neidhardt, Yahui Yan, Matthias P. Mayer, and David Ron. “Unstructured Regions in IR;1 Specify BiP-Mediated Destabilisation of the Luminal Domain Dimer and Repression of the UPR.”https://doi.org/10.7554/eLife.50793__ELife. eLife Sciences Publications, 2019.https://doi.org/10.7554/eLife.50793 .
LibreCat: https://research-explorer.ista.ac.at/record/7340
DOI: 10.7554/eLife.50793
WoS: 000512303700001
PMID: 31873072

Sokolowski, Thomas R, Joris Paijmans, Laurens Bossen, Thomas Miedema, Martijn Wehrens, Nils B. Becker, Kazunari Kaizu, Koichi Takahashi, Marileen Dogterom, and Pieter Rein ten Wolde. “EGFRD in All Dimensions.”https://doi.org/10.1063/1.5064867__The Journal of Chemical Physics. AIP Publishing, 2019.https://doi.org/10.1063/1.5064867 .
LibreCat: https://research-explorer.ista.ac.at/record/7422
DOI: 10.1063/1.5064867
WoS: 000458109300009
arXiv: 1708.09364

Arroyo Guevara, Alan M, Martin Derka, and Irene Parada. “Extending Simple Drawings.”https://doi.org/10.1007/978-3-030-35802-0_18__In 27th International Symposium on Graph Drawing and Network Visualization, 11904:230–43. Springer Nature, 2019.https://doi.org/10.1007/978-3-030-35802-0_18 .
LibreCat: https://research-explorer.ista.ac.at/record/7230
DOI: 10.1007/978-3-030-35802-0_18
WoS: 000612918800018
arXiv: 1908.08129

Ferrere, Thomas, Oded Maler, and Dejan Nickovic. “Mixed-Time Signal Temporal Logic.”https://doi.org/10.1007/978-3-030-29662-9_4__In 17th International Conference on Formal Modeling and Analysis of Timed Systems, 11750:59–75. Springer Nature, 2019.https://doi.org/10.1007/978-3-030-29662-9_4 .
LibreCat: https://research-explorer.ista.ac.at/record/7232
DOI: 10.1007/978-3-030-29662-9_4
WoS: 000611677700004