Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Customised Induction Rules for Proving Correctness of Imperative Programs
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
An Integrated Approach to High Integrity Software Verification
Journal of Automated Reasoning
An approach to automatic deductive synthesis of functional programs
Annals of Mathematics and Artificial Intelligence
Improvements in Formula Generalization
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics
Cooperating reasoning processes: more than just the sum of their parts
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Constructing Induction Rules for Deductive Synthesis Proofs
Electronic Notes in Theoretical Computer Science (ENTCS)
Proving properties about lists using containers
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Verification by parallelization of parametric code
Algebraic and proof-theoretic aspects of non-classical logics
Automation for Dependently Typed Functional Programming
Fundamenta Informaticae - Dependently Typed Programming
Scheme-based synthesis of inductive theories
MICAI'10 Proceedings of the 9th Mexican international conference on Advances in artificial intelligence: Part I
Dynamic rippling, middle-out reasoning and lemma discovery
Verification, induction termination analysis
Dynamic rippling, middle-out reasoning and lemma discovery
Verification, induction termination analysis
Reasoning about assignments in recursive data structures
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
The Use of Embeddings to Provide a Clean Separation of Term and Annotation for Higher Order Rippling
Journal of Automated Reasoning
Automated theorem provers: a practical tool for the working mathematician?
Annals of Mathematics and Artificial Intelligence
Conjecture Synthesis for Inductive Theories
Journal of Automated Reasoning
Scheme-based theorem discovery and concept invention
Expert Systems with Applications: An International Journal
Mutation in linked data structures
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Automatic deductive synthesis of lisp programs in the system ALISA
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Automating verification of loops by parallelization
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Reasoning, Action and Interaction in AI Theories and Systems
Reasoned modelling critics: turning failed proofs into modelling guidance
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Case-Analysis for rippling and inductive proof
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
Automating induction with an SMT solver
VMCAI'12 Proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation
The use of rippling to automate event-b invariant preservation proofs
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs
Proceedings of the 2012 Haskell Symposium
Reasoned modelling critics: Turning failed proofs into modelling guidance
Science of Computer Programming
Completeness and decidability results for first-order clauses with indices
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Automating inductive proofs using theory exploration
CADE'13 Proceedings of the 24th international conference on Automated Deduction
ML4PG in computer algebra verification
CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics
Theories of Programming and Formal Methods
European collaboration on automated reasoning
AI Communications - ECAI 2012 Turing and Anniversary Track
| Hi-index | 0.00 |