by Shmarov, Fedor, Soudjani, Sadegh, Paoletti, Nicola, Bartocci, Ezio, Lin, Shan, Smolka, Scott A., Zuliani, Paolo
Published in IEEE access (2020)

by Krish, Veena, Paoletti, Nicola, Smolka, Scott A., Rahmati, Amir
Published in IEEE access (2023)

by Bartocci, Ezio, Cleaveland, Rance, Grosu, Radu, Sokolsky, Oleg
Year of Publication 2019

by Goldin, Dina, Smolka, Scott A, Wegner, Peter
Year of Publication 2006

by Paoletti, Nicola, Liu, Kin Sum, Chen, Hongkai, Smolka, Scott A., Lin, Shan
Published in IEEE/ACM transactions on computational biology and bioinformatics (01.11.2020)

by Abbas, Houssam, Rodionova, Alena, Mamouras, Konstantinos, Bartocci, Ezio, Smolka, Scott A., Grosu, Radu
Published in IEEE/ACM transactions on computational biology and bioinformatics (01.09.2019)

by Bortolussi, Luca, Cairoli, Francesca, Paoletti, Nicola, Smolka, Scott A., Stoller, Scott D.
Published in International journal on software tools for technology transfer (01.08.2021)

by Phan, Dung, Yang, Junxing, Grosu, Radu, Smolka, Scott A., Stoller, Scott D.
Published in Formal methods in system design (01.08.2017)

by Lukina, Anna, Esterle, Lukas, Hirsch, Christian, Bartocci, Ezio, Yang, Junxing, Tiwari, Ashish, Smolka, Scott A., Grosu, Radu
Published in Tools and Algorithms for the Construction and Analysis of Systems (2017)

by Tiwari, Ashish, Smolka, Scott A., Esterle, Lukas, Lukina, Anna, Yang, Junxing, Grosu, Radu
Published in Automated Technology for Verification and Analysis (2017)

by Bonakdarpour, Borzoo, Smolka, Scott A
Year of Publication 2014

by Ariful Islam, Md, Murthy, Abhishek, Bartocci, Ezio, Cherry, Elizabeth M., Fenton, Flavio H., Glimm, James, Smolka, Scott A., Grosu, Radu
Published in Theoretical computer science (27.09.2015)

by Kifer, Michael
Year of Publication 2007

by Grosu, Radu, Smolka, Scott A.
Published in Lecture notes in computer science (2005)

by Huang, Xiaowan, Seyster, Justin, Callanan, Sean, Dixit, Ketan, Grosu, Radu, Smolka, Scott A., Stoller, Scott D., Zadok, Erez
Published in International journal on software tools for technology transfer (01.06.2012)

by Chatzieleftheriou, George, Bonakdarpour, Borzoo, Katsaros, Panagiotis, Smolka, Scott A.
Published in Logical methods in computer science (17.09.2015)

by GORLIN, ANDREY, RAMAKRISHNAN, C. R., SMOLKA, SCOTT A.
Published in Theory and practice of logic programming (01.07.2012)

by Bartocci, Ezio, Corradini, Flavio, Entcheva, Emilia, Grosu, Radu, Smolka, Scott A
Published in BMC bioinformatics (26.03.2008)

Year of Publication 2014

by Murthy, Abhishek, Bartocci, Ezio, Fenton, Flavio H., Glimm, James, Gray, Richard A., Cherry, Elizabeth M., Smolka, Scott A., Grosu, Radu
Published in IEEE/ACM transactions on computational biology and bioinformatics (01.03.2013)