Search results for: Marcel Oliveira
Formal Aspects of Computing > 2013 > 25 > 1 > 133-158
Formal Aspects of Computing > 2012 > 24 > 1 > 127-160
Science of Computer Programming > 2011 > 76 > 9 > 792-833
Electronic Notes in Theoretical Computer Science > 2009 > 259 > Complete > 225-243
Formal Aspects of Computing > 2009 > 21 > 1-2 > 3-32
Electronic Notes in Theoretical Computer Science > 2007 > 187 > Complete > 107-123
Innovations in Systems and Software Engineering > 2005 > 1 > 2 > 125-146
Formal Aspects of Computing > 2003 > 15 > 1 > 28-47