Search results for: Gigliola Vaglini
Soft Computing > 2019 > 23 > 9 > 2863-2875
Personal and Ubiquitous Computing > 2018 > 22 > 2 > 227-243
Information Technology and Management > 2017 > 18 > 3 > 223-239
Information Systems Frontiers > 2018 > 20 > 3 > 589-616
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Worst-Case Traversal Time (WCTT) > 214-227
Software & Systems Modeling > 2016 > 15 > 2 > 513-530
Pervasive and Mobile Computing > 2015 > 23 > Complete > 26-42
Science of Computer Programming > 2013 > 78 > 9 > 1346-1367
Computer Networks > 2013 > 57 > 11 > 2301-2312
Acta Informatica > 2012 > 49 > 5 > 313-341
Information Sciences > 2007 > 177 > 1 > 299-311
Journal of Computer and System Sciences > 2005 > 70 > 2 > 258-281
Science of Computer Programming > 2005 > 54 > 2-3 > 291-311
Formal Methods in System Design > 2005 > 26 > 3 > 319-350