According to our database1, Gabriela Steren authored at least 5 papers between 2005 and 2017.
Legend:Book In proceedings Article PhD thesis Dataset Other
Proceedings of the 6th Workshop on Intuitionistic Modal Logic and Applications, 2013
Proceedings of the Relations and Kleene Algebra in Computer Science, 2006
A strategy for efficient verification of relational specifications, based on monotonicity analysis.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005