Alessandro Armando

Available identifiers

zbMath Open armando.alessandroDBLPa/AArmandoWikidataQ62051842 ScholiaQ62051842MaRDI QIDQ219435

List of research outcomes

Publication	Date of Publication	Type
New results on rewrite-based satisfiability procedures	2017-07-12	Paper
Maple's evaluation process as constraint contextual rewriting	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	2012-07-20	Paper
An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints	2012-05-11	Paper
LTL model checking for security protocols	2010-03-10	Paper
Theory and Applications of Satisfiability Testing	2009-07-24	Paper
A reconstruction and extension of Maple's assume facility via constraint contextual rewriting	2007-10-19	Paper
Abstraction Refinement of Linear Programs with Arrays	2007-09-03	Paper
Model Checking Software	2007-05-02	Paper
The SAT-based approach to separation logic	2007-01-24	Paper
Logics in Artificial Intelligence	2006-10-25	Paper
Frontiers of Combining Systems	2006-10-10	Paper
Mechanizing Mathematical Reasoning	2006-01-10	Paper
Mechanizing Mathematical Reasoning	2006-01-10	Paper
Theory and Applications of Satisfiability Testing	2005-12-16	Paper
https://portal.mardi4nfdi.de/entity/Q4475649	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4422080	2003-09-03	Paper
Constraint contextual rewriting.	2003-08-25	Paper
Incorporating decision procedures in implicit induction.	2003-08-21	Paper
A rewriting approach to satisfiability procedures.	2003-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4804908	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q4785507	2003-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4539649	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	2002-01-02	Paper
https://portal.mardi4nfdi.de/entity/Q4518863	2001-10-30	Paper
A practical extension mechanism for decision procedures: The case study of universal Presburger arithmetic	2001-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4499163	2001-03-06	Paper
Automating the synthesis of decision procedures in a constructive metatheory	1998-11-25	Paper
Embedding complex decision procedures inside an interactive theorem prover.	1997-05-12	Paper
Structured proof procedures	1997-03-03	Paper

Research outcomes over time

This page was built for person: Alessandro Armando