Search results for: Manuel A. Martins
Mathematical Biosciences > 2017 > 291 > C > 10-20
Science of Computer Programming > 2016 > 132 > P1 > 50-76
International Journal of Biological Macromolecules > 2016 > 92 > C > 225-231
Science of Computer Programming > 2016 > 126 > C > 73-93
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 5(P2) > 1057-1085
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 5(P2) > 1011-1037
Journal of Applied Logic > 2016 > 16 > C > 72-91
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 269-285
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 283-297
Formal Aspects of Computing > 2015 > 27 > 2 > 375-395
Journal of Logic, Language and Information > 2014 > 23 > 1 > 31-52
Optical Materials > 2010 > 32 > 12 > 1622-1628
Electronic Notes in Theoretical Computer Science > 2009 > 259 > Complete > 105-121