Search results for: João F. Ferreira
International Journal of Parallel Programming > 2018 > 46 > 6 > 1157-1183
IEEE Sensors Journal > 2017 > 17 > 9 > 2640 - 2641
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 5(P2) > 906-920
Lecture Notes in Computer Science > Mathematics of Program Construction > Contributed Talks > 140-156
International Journal on Software Tools for Technology Transfer > 2014 > 16 > 4 > 381-397
Science of Computer Programming > 2013 > 78 > 11 > 2029-2046
Science of Computer Programming > 2011 > 76 > 3 > 160-180