Search results for: Radu Grosu
Social Network Analysis and Mining > 2018 > 8 > 1 > 1-24
Formal Methods in System Design > 2018 > 53 > 1 > 83-112
International Journal on Software Tools for Technology Transfer > 2019 > 21 > 4 > 401-423
Social Network Analysis and Mining > 2017 > 7 > 1 > 1-16
Nonlinear Analysis: Hybrid Systems > 2017 > 23 > C > 272-286
Formal Methods in System Design > 2017 > 51 > 1 > 62-86
Canadian Journal of Electrical and Computer Engineering > 2017 > 40 > 3 > 210 - 216