publication venue for
- Preserving Consistency and Properties in Pairwise Comparisons Based Non-Numerical Ranking. 2010
- Benefits of Using Tabular Expressions in Planning Health Services. 2009
- Proving Properties of Programs with Theorem Provers - Experiments with Z3 and Simplify. 2009
- Tabular Expressions vs Software Cost Reduction. 2009
- Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking. 2006