by GHOSH, DEVLEENA, MANDAL, CHITTARANJAN
Published in Journal of computational biology (01.04.2025)

by Guidotti, Dario, Leofante, Francesco, Tacchella, Armando, Castellini, Claudio
Published in IEEE transactions on neural systems and rehabilitation engineering (01.04.2019)

by Bahavarnia, MirSaleh, Shoukry, Yasser, Martins, Nuno C.
Published in Proceedings of the American Control Conference (01.07.2020)

by Kruff, Niclas, Lüders, Christoph, Radulescu, Ovidiu, Sturm, Thomas, Walcher, Sebastian
Published in Mathematics in computer science (01.09.2021)

by Jha, Sadhana, Sural, Shamik, Atluri, Vijayalakshmi, Vaidya, Jaideep
Published in IET information security (01.03.2019)

by Marcozzi, Michaël, Vanhoof, Wim, Hainaut, Jean-Luc
Published in Science of computer programming (01.07.2015)

by Pan, Linjie, Jin, Jiwei, Gao, Xin, Sun, Wei, Ma, Feifei, Yin, Minghao, Zhang, Jian
Published in Principles and Practice of Constraint Programming (2017)

by Eldib, Hassan, Wang, Chao, Schaumont, Patrick
Published in ACM transactions on software engineering and methodology (01.12.2014)

by Cimatti, Alessandro, Micheli, Andrea, Roveri, Marco
Published in Artificial intelligence (01.07.2015)

by Rohaninejad, Mohammad, Janota, Mikoláš, Hanzálek, Zdeněk
Published in Engineering applications of artificial intelligence (01.02.2023)

by Bringhenti, Daniele, Valenza, Fulvio
Published in Computer networks (Amsterdam, Netherlands : 1999) (09.10.2022)

by Jeon, Joong-Won, Kahng, Andrew B., Kang, Jae-Hyun, Kim, Jaehwan, Woo, Mingyu
Published in Proceedings / IEEE International Symposium on Quality Electronic Design (03.04.2024)

by Bessa, Iury, Abreu, Renato, Filho, Joao Edgar, Cordeiro, Lucas
Published in IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society (01.10.2014)

by Schwartz-Narbonne, Daniel, Schäf, Martin, Jovanović, Dejan, Rümmer, Philipp, Wies, Thomas
Published in NASA Formal Methods (2015)

by Judson, Samuel, Elacqua, Matthew, Cano, Filip, Antonopoulos, Timos, Könighofer, Bettina, Shapiro, Scott J, Piskac, Ruzica
Year of Publication 09.05.2023

by Kruff, Niclas, Lüders, Christoph, Radulescu, Ovidiu, Sturm, Thomas, Walcher, Sebastian
Year of Publication 20.10.2020

by Judson, Samuel, Elacqua, Matthew, Cano, Filip, Antonopoulos, Timos, Könighofer, Bettina, Shapiro, Scott J, Piskac, Ruzica
Published in arXiv.org (29.01.2024)

by Chen, Fuxiang, Gunawan, Aldy, Lo, David, Kim, Sunghun
Published in IEEE International Conference on Automation Science and Engineering (CASE) (01.08.2019)

by Marques-Silva, Joao, Malik, Sharad
Published in Handbook of Model Checking (2018)

by Kruff, Niclas, Lüders, Christoph, Radulescu, Ovidiu, Sturm, Thomas, Walcher, Sebastian
Published in arXiv.org (02.03.2021)