AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Sorin Stratulat

Sorin Stratulat

Université de Lorraine - Nancy / France
Others
AD Scientific Index ID: 1706742
University of Lorraine
person_outline Sorin Stratulat's MOST POPULAR ARTICLES
1-) A general framework to build contextual cover set induction provers Journal of Symbolic Computation 32 (4), 403-445, 2001
2-) A unified view of induction reasoning for first-order logic Turing-100, The Alan Turing Centenary Conference, 2012
3-) Incorporating decision procedures in implicit induction Journal of Symbolic Computation 34 (4), 241-258, 2002
4-) Validation of the JavaCard platform with implicit induction techniques International Conference on Rewriting Techniques and Applications, 337-351, 2003
5-) Mechanical verification of an ideal incremental ABR conformance algorithm Journal of Automated Reasoning 30 (2), 153-177, 2003