 | 2008 |
|---|
| 10 |       | Sorin Stratulat:
Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities.
RTA 2008: 351-365 |
| 2007 |
|---|
| 9 | | Sorin Stratulat:
'Descente Infinie' Induction-Based Saturation Procedures.
SYNASC 2007: 17-24 |
| 2005 |
|---|
| 8 | | Sorin Stratulat:
Automatic 'Descente Infinie' Induction Reasoning.
TABLEAUX 2005: 262-276 |
| 2003 |
|---|
| 7 | | Gilles Barthe,
Sorin Stratulat:
Validation of the JavaCard Platform with Implicit Induction Techniques.
RTA 2003: 337-351 |
| 6 |  | Michaël Rusinowitch,
Sorin Stratulat,
Francis Klay:
Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm.
J. Autom. Reasoning 30(2): 53-177 (2003) |
| 2002 |
|---|
| 5 | | Abdessamad Imine,
Yahya Slimani,
Sorin Stratulat:
Using Automated Induxtion-based Theorem Provers for Reasoning about Concurrent Systems.
JFPLC 2002: 71- |
| 4 | | Alessandro Armando,
Michaël Rusinowitch,
Sorin Stratulat:
Incorporating Decision Procedures in Implicit Induction.
J. Symb. Comput. 34(4): 241-258 (2002) |
| 2001 |
|---|
| 3 | | Sorin Stratulat:
A General Framework to Build Contextual Cover Set Induction Provers.
J. Symb. Comput. 32(4): 403-445 (2001) |
| 2000 |
|---|
| 2 | | Michaël Rusinowitch,
Sorin Stratulat,
Francis Klay:
Mechanical Verification of an Ideal Incremental ABR Conformance.
CAV 2000: 344-357 |
| 1995 |
|---|
| 1 | | Sorin Stratulat,
David J. Evans:
Virtual Shared Memory Machines - an Application of PVM.
Parallel Algorithms Appl. 7(1-2): 143-160 (1995) |
