We stand with Ukraine  

César Jesus Rodrigues

According to our database1, César Jesus Rodrigues authored at least 5 papers between 2006 and 2011.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Refinement by interpretation in π-institutions
[BibTeX]
[DOI]
César Jesus Rodrigues
,
Manuel A. Martins
,
Alexandre Madeira
,
Luís Soares Barbosa
Proceedings of the Proceedings 15th International Refinement Workshop, 2011

2010
Revisiting Context-Aware Component Interconnection.
[BibTeX]
[DOI]
Luís Soares Barbosa
,
Marco Antonio Barbosa
,
César Jesus Rodrigues
Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

2009
Foundations of program refinement by calculation
[BibTeX]
[DOI]
César Jesus Rodrigues
PhD thesis, 2009

A Single Complete Relational Rule for Coalgebraic Refinement.
[BibTeX]
[DOI]
César Jesus Rodrigues
,
José Nuno Oliveira
,
Luís Soares Barbosa
Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

2006
Pointfree Factorization of Operation Refinement.
[BibTeX]
[DOI]
José Nuno Oliveira
,
César Jesus Rodrigues
Proceedings of the FM 2006: Formal Methods, 2006


  Loading...