Carlos Gonzalía

According to our database, Carlos Gonzalía authored at least 6 papers between 2000 and 2008.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2008

Using probabilistic Kleene algebra pKA for protocol verification.

A. K. McIver, Carlos Gonzalía, Ernie Cohen, Carroll C. Morgan

J. Log. Algebraic Methods Program., 2008

Proofs and Refutations for Probabilistic Refinement.

A. K. McIver, Carroll C. Morgan, Carlos Gonzalía

Proceedings of the FM 2008: Formal Methods, 2008

2007

Automating Refinement Checking in Probabilistic System Design.

Carlos Gonzalía, Annabelle McIver

Proceedings of the Formal Methods and Software Engineering, 2007

2006

Relations in Dependent Type Theory.

Carlos Gonzalía

PhD thesis, 2006

2003

Towards a Formalisation of Relational Database Theory in Constructive Type Theory.

Carlos Gonzalía

Proceedings of the Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 2003

2000

The Allegory of E-Relations in Constructive Type Theory.

Carlos Gonzalía

Proceedings of the Participants Copies of Fifth International Seminar on Relational Methods in Computer Science, 2000