Advanced search
Advanced search in people
Software: Practice and Experience > 52 > 5 > 1262 - 1293
Bulletin of the Polish Academy of Sciences. Technical Sciences > 2022 > Vol. 70, nr 2 > art. no. e140554
Computer Applications in Engineering Education > 30 > 1 > 275 - 291
Journal of Computer Science and Technology > 2018 > 33 > 5 > 940-965
SICS Software-Intensive Cyber-Physical Systems > 2019 > 34 > 1 > 53-60
Journal of Signal Processing Systems > 2019 > 91 > 3-4 > 303-320
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2017 > 36 > 11 > 1804 - 1816
IEEE Latin America Transactions > 2017 > 15 > 10 > 1967 - 1976
IEEE Transactions on Parallel and Distributed Systems > 2017 > 28 > 10 > 2794 - 2807
Formal Methods in System Design > 2017 > 51 > 2 > 308-331