Search results for: Javier Tuya
Journal of Software: Evolution and Process > 31 > 3 > n/a - n/a
Future Generation Computer Systems > 2018 > 80 > C > 384-399
Human-centric Computing and Information Sciences > 2017 > 7 > 1 > 1-18
Automated Software Engineering > 2017 > 24 > 4 > 719-755
IEEE Latin America Transactions > 2017 > 15 > 7 > 1312 - 1317
IEEE Transactions on Software Engineering > 2016 > 42 > 10 > 941 - 959
Lecture Notes in Computer Science > Perspectives of System Informatics > Model & Program Checking > 493-502
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 369-383
IEEE Transactions on Services Computing > 2015 > 8 > 2 > 299 - 313
Concurrency and Computation: Practice and Experience > 27 > 4 > 765 - 781
Computer Standards & Interfaces > 2015 > 38 > Complete > 84-100
IEEE Latin America Transactions > 2014 > 12 > 2 > 256 - 261
Journal of Computer and System Sciences > 2013 > 79 > 7 > 1057-1076