Logic, Prolog, and Legal Sentence. - Cornell Popa; Yonut Lopatan; Sorin Stratulat (ICLP Workshop: Legal Application of Logic Programming, 1994)

Virtual Shared Memory Machines - an Application of PVM. - Sorin Stratulat; David J. Evans 001 (Parallel Algorithms Appl., 1995)

Mechanical Verification of an Ideal Incremental ABR Conformance. - Michaël Rusinowitch; Sorin Stratulat; Francis Klay (CAV, 2000)

Preuves par récurrence avec ensembles couvrants contextuels. Application à la vérification de logiciels de télécommunications. - Sorin Stratulat (2000)

A General Framework to Build Contextual Cover Set Induction Provers. - Sorin Stratulat (J. Symb. Comput., 2001)

Using Automated Induxtion-based Theorem Provers for Reasoning about Concurrent Systems. - Abdessamad Imine; Yahya Slimani; Sorin Stratulat (JFPLC, 2002)

Incorporating Decision Procedures in Implicit Induction. - Alessandro Armando; Michaël Rusinowitch; Sorin Stratulat (J. Symb. Comput., 2002)

Validation of the JavaCard Platform with Implicit Induction Techniques. - Gilles Barthe; Sorin Stratulat (RTA, 2003)

Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm. - Michaël Rusinowitch; Sorin Stratulat; Francis Klay (J. Autom. Reason., 2003)

Automatic 'Descente Infinie' Induction Reasoning. - Sorin Stratulat (TABLEAUX, 2005)

'Descente Infinie' Induction-Based Saturation Procedures. - Sorin Stratulat (SYNASC, 2007)

Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities. - Sorin Stratulat (RTA, 2008)

Integrating Implicit Induction Proofs into Certified Proof Environments. - Sorin Stratulat (IFM, 2010)

Automated Certification of Implicit Induction Proofs. - Sorin Stratulat; Vincent Demange (CPP, 2011)

A Unified View of Induction Reasoning for First-Order Logic. - Sorin Stratulat (Turing-100, 2012)

Performing Implicit Induction Reasoning with Certifying Proof Environments. - Amira Henaien; Sorin Stratulat (SCSS, 2012)

Decision Procedures for Proving Inductive Theorems without Induction. - Takahito Aoto 001; Sorin Stratulat (PPDP, 2014)

Implementing Reasoning Modules in Implicit Induction Theorem Provers. - Sorin Stratulat (SYNASC, 2014)

Better Careers for Transnational European Students? - A Case Study for French-German Diploma Alumni. - Gabriel Michel; Véronique Jeanclaude; Sorin Stratulat (CISIS-ICEUTE, 2015)

Theory exploration of binary trees. - Isabela Dramnesc; Tudor Jebelean; Sorin Stratulat (SISY, 2015)

Combinatorial Techniques for Proof-Based Synthesis of Sorting Algorithms. - Isabela Dramnesc; Tudor Jebelean; Sorin Stratulat (SYNASC, 2015)

Proof-Based Synthesis of Sorting Algorithms for Trees. - Isabela Dramnesc; Tudor Jebelean; Sorin Stratulat (LATA, 2016)

A case study on algorithm discovery from proofs: The insert function on binary trees. - Isabela Dramnesc; Tudor Jebelean; Sorin Stratulat (SACI, 2016)

Structural vs. Cyclic Induction: A Report on Some Experiments with Coq. - Sorin Stratulat (SYNASC, 2016)

Cyclic Proofs with Ordering Constraints. - Sorin Stratulat (TABLEAUX, 2017)

Mechanically certifying formula-based Noetherian induction reasoning. - Sorin Stratulat (J. Symb. Comput., 2017)

Validating Back-links of FOLID Cyclic Pre-proofs. - Sorin Stratulat (CL&C, 2018)

Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques. - Isabela Dramnesc; Tudor Jebelean; Sorin Stratulat (J. Symb. Comput., 2019)

SPIKE, an automatic theorem prover - revisited. - Sorin Stratulat (SYNASC, 2020)

Noetherian Induction for Computer-Assisted First-Order Reasoning. (Récurrence noethérienne pour le raisonnement de premier ordre et assisté par l'ordinateur). - Sorin Stratulat (2021)

E-Cyclist: Implementation of an Efficient Validation of FOLID Cyclic Induction Reasoning. - Sorin Stratulat (SCSS, 2021)

Experiments with Automated Reasoning in the Class. - Isabela Dramnesc; Erika Ábrahám; Tudor Jebelean; Gábor Kusper; Sorin Stratulat (CICM, 2022)

Mechanical certification of FOLID cyclic proofs. - Sorin Stratulat (Ann. Math. Artif. Intell., 2023)

Certification of Tail Recursive Bubble-Sort in Theorema and Coq. - Isabela Dramnesc; Tudor Jebelean; Sorin Stratulat (LPAR Complementary Volume, 2024)

Certification of Sorting Algorithms Using Theorema and Coq. - Isabela Dramnesc; Tudor Jebelean; Sorin Stratulat (SCSS, 2024)

A European Project on AI-based Robotics. - Isabela Dramnesc; Erika Ábrahám; Tudor Jebelean; Nikolaos Fachantidis; Gábor Kusper; Sorin Stratulat (TALE, 2024)