| Publication | Date of Publication | Type |
|---|
New results on rewrite-based satisfiability procedures
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Maple's evaluation process as constraint contextual rewriting
Proceedings of the 2001 international symposium on Symbolic and algebraic computation | 2017-02-03 | Paper |
| \textsf{TSAT++}: an open platform for satisfiability modulo theories | 2013-09-25 | Paper |
| An optimized intruder model for SAT-based model-checking of security protocols | 2013-09-25 | Paper |
From model-checking to automated testing of security protocols: bridging the gap
Tests and Proofs | 2012-07-20 | Paper |
An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints
Journal of Computer and System Sciences | 2012-05-11 | Paper |
LTL model checking for security protocols
Journal of Applied Non-Classical Logics | 2010-03-10 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2009-07-24 | Paper |
A reconstruction and extension of Maple's assume facility via constraint contextual rewriting
Journal of Symbolic Computation | 2007-10-19 | Paper |
Abstraction Refinement of Linear Programs with Arrays
Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
Model Checking Software
Lecture Notes in Computer Science | 2007-05-02 | Paper |
The SAT-based approach to separation logic
Journal of Automated Reasoning | 2007-01-24 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Frontiers of Combining Systems
Lecture Notes in Computer Science | 2006-10-10 | Paper |
Mechanizing Mathematical Reasoning
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Mechanizing Mathematical Reasoning
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2005-12-16 | Paper |
| scientific article; zbMATH DE number 2084721 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 1973985 (Why is no real title available?) | 2003-09-03 | Paper |
Constraint contextual rewriting.
Journal of Symbolic Computation | 2003-08-25 | Paper |
Incorporating decision procedures in implicit induction.
Journal of Symbolic Computation | 2003-08-21 | Paper |
A rewriting approach to satisfiability procedures.
Information and Computation | 2003-08-19 | Paper |
| scientific article; zbMATH DE number 1903364 (Why is no real title available?) | 2003-05-01 | Paper |
| scientific article; zbMATH DE number 1848313 (Why is no real title available?) | 2003-01-01 | Paper |
| scientific article; zbMATH DE number 1765707 (Why is no real title available?) | 2002-07-10 | Paper |
| Interfacing computer algebra and deduction systems via the logic broker architecture | 2002-07-03 | Paper |
| Communication protocols for mathematical services based on KQML and OMRS | 2002-06-13 | Paper |
The control layer in open mechanized reasoning systems: Annotations and tactics
Journal of Symbolic Computation | 2002-01-02 | Paper |
| scientific article; zbMATH DE number 1538008 (Why is no real title available?) | 2001-10-30 | Paper |
A practical extension mechanism for decision procedures: The case study of universal Presburger arithmetic
Journal of Universal Computer Science | 2001-08-13 | Paper |
| scientific article; zbMATH DE number 1497752 (Why is no real title available?) | 2001-03-06 | Paper |
Automating the synthesis of decision procedures in a constructive metatheory
Annals of Mathematics and Artificial Intelligence | 1998-11-25 | Paper |
Embedding complex decision procedures inside an interactive theorem prover.
Annals of Mathematics and Artificial Intelligence | 1997-05-12 | Paper |
Structured proof procedures
Annals of Mathematics and Artificial Intelligence | 1997-03-03 | Paper |
