Kong H, Bartocci E, Jiang Y, Henzinger TA. Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty. In: 17th International Conference on Formal Modeling and Analysis of Timed Systems. Vol 11750. Springer Nature; 2019:123-141. doi: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 NP, Neidhardt L, Yan Y, Mayer MP, Ron D. Unstructured regions in IR;1 specify BiP-mediated destabilisation of the luminal domain dimer and repression of the UPR. eLife. 2019;8. doi:10.7554/eLife.50793
LibreCat: https://research-explorer.ista.ac.at/record/7340
DOI: 10.7554/eLife.50793
WoS: 000512303700001
PMID: 31873072

Sokolowski TR, Paijmans J, Bossen L, et al. eGFRD in all dimensions. The Journal of Chemical Physics. 2019;150(5). doi: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 AM, Derka M, Parada I. Extending simple drawings. In: 27th International Symposium on Graph Drawing and Network Visualization. Vol 11904. Springer Nature; 2019:230-243. doi: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 T, Maler O, Nickovic D. Mixed-time signal temporal logic. In: 17th International Conference on Formal Modeling and Analysis of Timed Systems. Vol 11750. Springer Nature; 2019:59-75. doi: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

Sahgal P, Alanko JH, Icha J, et al. GG and RA promote activity-dependent ;21-integrin recycling. Journal of Cell Science. 2019;132(11). doi:10.1242/jcs.233387
LibreCat: https://research-explorer.ista.ac.at/record/7420
DOI: 10.1242/jcs.233387
WoS: 000473327900017
PMID: 31076515

Akemann G, Checinski T, Liu D, Strahov E. Finite rank perturbations in products of coupled random matrices: From one correlated to two Wishart ensembles. Annales de l’Institut Henri Poincaré, Probabilités et Statistiques. 2019;55(1):441-479. doi:10.1214/18-aihp888
LibreCat: https://research-explorer.ista.ac.at/record/7423
DOI: 10.1214/18-aihp888
WoS: 000456070200013
arXiv: 1704.05224

Toups MA, Rodrigues N, Perrin N, Kirkpatrick M. A reciprocal translocation radically reshapes sexlinked inheritance in the common frog. Molecular Ecology. 2019;28(8):1877-1889. doi:10.1111/mec.14990
LibreCat: https://research-explorer.ista.ac.at/record/7421
DOI: 10.1111/mec.14990
WoS: 000468200800004
PMID: 30576024

Abusalah HM, Kamath Hosdurg C, Klein K, Pietrzak KZ, Walter M. Reversible proofs of sequential work. In: Advances in Cryptology – EUROCRYPT 2019. Vol 11477. Springer International Publishing; 2019:277-291. doi:10.1007/978-3-030-17656-3_10
LibreCat: https://research-explorer.ista.ac.at/record/7411
DOI: 10.1007/978-3-030-17656-3_10
WoS: 000483516200010

Mckenzie C, Spanova M, Johnson AJ, et al. Isolation of synaptic vesicles from genetically engineered cultured neurons. Journal of Neuroscience Methods. 2019;312:114-121. doi:10.1016/j.jneumeth.2018.11.018
LibreCat: https://research-explorer.ista.ac.at/record/7406
DOI: 10.1016/j.jneumeth.2018.11.018
WoS: 000456220900013
PMID: 30496761