×

zbMATH — the first resource for mathematics

Stratulat, Sorin

Compute Distance To:
Author ID: stratulat.sorin Recent zbMATH articles by "Stratulat, Sorin"
Published as: Stratulat, S.; Stratulat, Sorin
Documents Indexed: 13 Publications since 1995

Publications by Year

Citations contained in zbMATH Open

11 Publications have been cited 27 times in 13 Documents Cited by Year
A general framework to build contextual cover set induction provers. Zbl 0981.68147
Stratulat, Sorin
7
2001
Incorporating decision procedures in implicit induction. Zbl 1037.68129
Armando, Alessandro; Rusinowitch, Michaël; Stratulat, Sorin
5
2002
Validation of the JavaCard platform with implicit induction techniques. Zbl 1038.68557
Barthe, Gilles; Stratulat, Sorin
3
2003
Proof-based synthesis of sorting algorithms for trees. Zbl 1443.68045
Drămnesc, Isabela; Jebelean, Tudor; Stratulat, Sorin
2
2016
Combining rewriting with Noetherian induction to reason on non-orientable equalities. Zbl 1145.68454
Stratulat, Sorin
2
2008
Mechanical verification of an ideal incremental ABR conformance algorithm. Zbl 1023.68090
Rusinowitch, Michaël; Stratulat, Sorin; Klay, Francis
2
2003
Mechanical verification of an ideal incremental ABR conformance algorithm. Zbl 0974.68559
Rusinowitch, Michaël; Stratulat, Sorin; Klay, Francis
2
2000
Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques. Zbl 1395.68246
Drămnesc, Isabela; Jebelean, Tudor; Stratulat, Sorin
1
2019
Mechanically certifying formula-based Noetherian induction reasoning. Zbl 1356.68202
Stratulat, Sorin
1
2017
Automated certification of implicit induction proofs. Zbl 1350.68245
Stratulat, Sorin; Demange, Vincent
1
2011
Automatic ‘descente infinie’ induction reasoning. Zbl 1142.03333
Stratulat, Sorin
1
2005
Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques. Zbl 1395.68246
Drămnesc, Isabela; Jebelean, Tudor; Stratulat, Sorin
1
2019
Mechanically certifying formula-based Noetherian induction reasoning. Zbl 1356.68202
Stratulat, Sorin
1
2017
Proof-based synthesis of sorting algorithms for trees. Zbl 1443.68045
Drămnesc, Isabela; Jebelean, Tudor; Stratulat, Sorin
2
2016
Automated certification of implicit induction proofs. Zbl 1350.68245
Stratulat, Sorin; Demange, Vincent
1
2011
Combining rewriting with Noetherian induction to reason on non-orientable equalities. Zbl 1145.68454
Stratulat, Sorin
2
2008
Automatic ‘descente infinie’ induction reasoning. Zbl 1142.03333
Stratulat, Sorin
1
2005
Validation of the JavaCard platform with implicit induction techniques. Zbl 1038.68557
Barthe, Gilles; Stratulat, Sorin
3
2003
Mechanical verification of an ideal incremental ABR conformance algorithm. Zbl 1023.68090
Rusinowitch, Michaël; Stratulat, Sorin; Klay, Francis
2
2003
Incorporating decision procedures in implicit induction. Zbl 1037.68129
Armando, Alessandro; Rusinowitch, Michaël; Stratulat, Sorin
5
2002
A general framework to build contextual cover set induction provers. Zbl 0981.68147
Stratulat, Sorin
7
2001
Mechanical verification of an ideal incremental ABR conformance algorithm. Zbl 0974.68559
Rusinowitch, Michaël; Stratulat, Sorin; Klay, Francis
2
2000

Citations by Year