Alessandro Armando

Available identifiers

zbMath Open armando.alessandroWikidataQ62051842 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
https://portal.mardi4nfdi.de/entity/Q2848037	2013-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q2848055	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
https://portal.mardi4nfdi.de/entity/Q2751537	2002-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q2751535	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
https://portal.mardi4nfdi.de/entity/Q2709804	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alessandro Armando