Maintaining state constraints in relational databases: a proof theoretic basis
Journal of the ACM (JACM)
Automatic program generation using sequent calculus
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
On solving equations and disequations
Journal of the ACM (JACM)
Storing and retrieving software components: a refinement based system
ICSE '94 Proceedings of the 16th international conference on Software engineering
Proceedings of the 1997 symposium on Software reusability
Storing and Retrieving Software Components: A Refinement Based System
IEEE Transactions on Software Engineering
Providing automated support to deductive analysis of time critical systems
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Programs that offer fast, flawless, logical reasoning
Communications of the ACM
Integration of Sequential Scenarios
IEEE Transactions on Software Engineering
Managing inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
Parallel genetic algorithm to solve the satisfiability problem
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
ACM Transactions on Computational Logic (TOCL)
Defining and Applying Measures of Distance Between Specifications
IEEE Transactions on Software Engineering
Shortest Single Axioms for the Equivalential Calculus with CD and RCD
Journal of Automated Reasoning
Subgoal Strategies for Solving Board Puzzles
Journal of Automated Reasoning
A New Technique for Verifying and Correcting Logic Programs
Journal of Automated Reasoning
Solution of the Robbins Problem
Journal of Automated Reasoning
Semantic Generalizations for Proving and Disproving Conjectures by Analogy
Journal of Automated Reasoning
Journal of Automated Reasoning
Checking Simple Properties of Transition Systems Defined by Thue Specifications
Journal of Automated Reasoning
Understanding Integrated Circuits
IEEE Design & Test
Indeed: Interactive Deduction on Horn Clause Theories
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Suitability of a Classical Analysis Method for E-commerce Protocols
ISC '01 Proceedings of the 4th International Conference on Information Security
A formal design verification system based on an automated reasoning system
DAC '84 Proceedings of the 21st Design Automation Conference
Toward Aligning Computer Programming with Clear Thinking via the Reason Programming Language
Proceedings of the 2008 conference on Current Issues in Computing and Philosophy
Automated reasoning: real uses and potential uses
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
What is artificial intelligence? psychometric AI as an answer
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A Schemata Calculus for Propositional Logic
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A taxonomy of theorem-proving strategies
Artificial intelligence today
Decidability and undecidability results for propositional schemata
Journal of Artificial Intelligence Research
Tree Automata and Automated Model Building
Fundamenta Informaticae
| Hi-index | 0.02 |