Search results for: Lucas Cordeiro
Concurrency and Computation: Practice and Experience > 29 > 22 > n/a - n/a
IEEE Transactions on Computers > 2017 > 66 > 3 > 545 - 552
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 302-317
Environmental Science and Pollution Research > 2016 > 23 > 2 > 1214-1223
Software & Systems Modeling > 2015 > 14 > 1 > 65-81
International Journal on Software Tools for Technology Transfer > 2014 > 16 > 5 > 519-529
IEEE Transactions on Consumer Electronics > 2013 > 59 > 4 > 883 - 891
IEEE Transactions on Software Engineering > 2012 > 38 > 4 > 957 - 974