César Jesus Rodrigues

Publication Activity (10 Years)

Years Active: 2006-2011
Publications (10 Years): 0

Publications

César Jesus Rodrigues, Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa
Refinement by interpretation in π-institutions Refine@FM (2011)
Luís Soares Barbosa, Marco Antonio Barbosa, César Jesus Rodrigues
Revisiting Context-Aware Component Interconnection. SYNASC (2010)
César Jesus Rodrigues, José Nuno Oliveira, Luís Soares Barbosa
A Single Complete Relational Rule for Coalgebraic Refinement. Electron. Notes Theor. Comput. Sci. 259 (2009)
José Nuno Oliveira, César Jesus Rodrigues
Pointfree Factorization of Operation Refinement. FM (2006)