Sorin Stratulat

Statistics

Publications

Citations

134

H-Index

Active since

2001

Affiliations

Laboratoire Lorrain de Recherche en Informatique et ses Applications(Current)

Université de Lorraine

Institut national de recherche en sciences et technologies du numérique

Centre Inria de l'Université de Lorraine

Sorin Stratulat is an author at Laboratoire Lorrain de Recherche en Informatique et ses Applications specializing in computing, computer science, and inductive reasoning.

ORCID

Publications per year

2001–2018

Publications

A General Framework to Build Contextual Cover Set Induction Provers

Sorin Stratulat · Journal of Symbolic Computation · 2001 · 48 citations

Computing, Computer Science, Formal Methods +10

Incorporating Decision Procedures in Implicit Induction

Alessandro Armando, Michaël Rusinowitch, Sorin Stratulat · Journal of Symbolic Computation · 2002 · 19 citations

Computing, Mathematics, Decision Theory +6

Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm

Michaël Rusinowitch, Sorin Stratulat, Francis Klay · Journal of Automated Reasoning · 2003 · 17 citations

Computing, Computer Science, Mechanical Engineering +2

A Unified View of Induction Reasoning for First-Order Logic

Sorin Stratulat · EPiC series in computing · 2018 · 16 citations · Full text

Computing, Computer Science, Mathematics +16

Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques

Isabela Drămnesc, Tudor Jebelean, Sorin Stratulat · Journal of Symbolic Computation · 2018 · 12 citations

Computing, Computer Engineering, Computer Science +11

1–5 of 7