Search results for: Luís S. Barbosa
Science of Computer Programming > 2016 > 132 > P1 > 50-76
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Talks > 506-520
Science of Computer Programming > 2016 > 126 > C > 73-93
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 5(P2) > 1057-1085
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > CALCO Tools Workshop > 413-419
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 269-285
Lecture Notes in Computer Science > On the Move to Meaningful Internet Systems: OTM 2011 Workshops > Information Centric Engineering > 83-92
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2005 > Object-Orientation and Component Systems > 469-484
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 283-297
Lecture Notes in Computer Science > Fundamentals of Software Engineering > Session 2. Regular Papers > 416-430
Computer Languages, Systems & Structures > 2015 > 44 > Part C > 218-237
Science of Computer Programming > 2015 > 110 > Complete > 78-103
Science of Computer Programming > 2015 > 98 > Part 4 > 764-784
Journal of Software Engineering Research and Development > 2015 > 3 > 1 > 1-31
Formal Aspects of Computing > 2015 > 27 > 2 > 375-395
Journal of Logic, Language and Information > 2014 > 23 > 1 > 31-52