Gabriela Steren

According to our database, Gabriela Steren authored at least 5 papers between 2005 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

The first-order hypothetical logic of proofs.

Gabriela Steren, Eduardo Bonelli

J. Log. Comput., 2017

2014

Hypothetical Logic of Proofs.

Eduardo Bonelli, Gabriela Steren

Logica Universalis, 2014

2013

Intuitionistic Hypothetical Logic of Proofs.

Gabriela Steren, Eduardo Bonelli

Proceedings of the 6th Workshop on Intuitionistic Modal Logic and Applications, 2013

2006

Monotonicity Analysis Can Speed Up Verification.

Marcelo F. Frias, Rodolfo Gamarra, Gabriela Steren, Lorena Bourg

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2005

A strategy for efficient verification of relational specifications, based on monotonicity analysis.

Marcelo F. Frias, Rodolfo Gamarra, Gabriela Steren, Lorena Bourg

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005