by Sadraddini, Sadra, Belta, Calin
Published in IEEE transactions on automatic control (01.02.2019)

by Schon, Oliver, van Huijgevoort, Birgit, Haesaert, Sofie, Soudjani, Sadegh
Published in IEEE transactions on automatic control (01.03.2025)

by Ren, Tianxiang, Lin, Wang, Ding, Zuohua
Published in IEEE transactions on reliability (01.06.2025)

by Sommer, Heiko, Fürstner, Alois
Published in Organic letters (01.07.2016)

by Tscharaktschiew, Stefan, Reimann, Felix
Published in Transport policy (01.09.2021)

by Moroz, Olha, Tolstoluzka, Olena
Published in Vìsnik Harkìvsʹkogo nacìonalʹnogo unìversitetu ìmenì V.N. Karazìna. Serìâ Matematične modelûvannâ, ìnformacìjnì tehnologìï, avtomatizovanì sistemi upravlìnnâ (29.11.2021)

by Laurenti, Luca, Lahijanian, Morteza, Abate, Alessandro, Cardelli, Luca, Kwiatkowska, Marta
Published in IEEE transactions on automatic control (01.01.2021)

by Schön, Oliver, Birgit van Huijgevoort, Haesaert, Sofie, Soudjani, Sadegh
Published in arXiv.org (12.02.2024)

by Sadra Sadraddini, Belta, Calin
Published in arXiv.org (18.03.2018)

by Chinchali, S., Livingston, S. C., Topcu, U., Burdick, J. W., Murray, R. M.
Published in 2012 IEEE International Conference on Robotics and Automation (01.05.2012)

by Trindade, Alessandro, Cordeiro, Lucas C.
Published in Software Verification (2020)

by Wang, Jie, Zhang, Qingxia, Zhou, Biying, Yang, Chen, Li, Xin, Cheng, Jin-Pei
Published in iScience (28.06.2019)

by ali salam, Haneen, hameed muhsin, Malik
Published in Al-ākādīmī (14.03.2024)

by Melot, Romain, Saiegh, Tomas J., Fürstner, Alois
Published in Chemistry : a European journal (06.12.2021)

by Haneen ali salam, Malik hameed muhsin
Published in Al-ākādīmī (01.03.2024)

by Wu, Zhenhua, Zhao, Senzhi, Fash, David M, Li, Zhenwu, Chain, William J, Beutler, John A
Published in Journal of natural products (Washington, D.C.) (24.03.2017)

by Xie, Xingang, She, Xuegong
Published in Chinese journal of chemistry (01.04.2021)

by Schevchenko, Anatoly, Sosnitsky, Alexander
Published in International Scientific and Technical Conference "Computer Sciences and Information Technologies" (Online) (22.09.2021)

by Liu, Can, Zhu, Xianjin, Zhang, Pengxiang, Yang, Haijun, Zhu, Changjin, Fu, Hua
Published in iScience (21.12.2018)

by Zhang, Jing, Han, Fu-She
Published in iScience (26.07.2019)