Panagiotis Manolios

Available identifiers

zbMath Open manolios.panagiotisMaRDI QIDQ479822

List of research outcomes

Publication	Date of Publication	Type
Local and compositional reasoning for optimized reactive systems	2024-02-16	Paper
Skipping refinement	2018-03-01	Paper
A lattice-theoretic characterization of safety and liveness	2015-09-04	Paper
Quantifier elimination by dependency sequents	2014-12-05	Paper
Software for Quantifier Elimination in Propositional Logic	2014-09-08	Paper
An Array-Oriented Language with Static Rank Polymorphism	2014-04-16	Paper
ACL2s: “The ACL2 Sedan”	2013-12-20	Paper
The ACL2 Sedan Theorem Proving System	2011-05-19	Paper
SAT-Solving Based on Boundary Point Elimination	2011-04-06	Paper
Interactive Termination Proofs Using Termination Cores	2010-09-14	Paper
Automated Deduction – CADE-19	2010-04-20	Paper
Correct Hardware Design and Verification Methods	2010-02-05	Paper
All-Termination(T)	2009-03-31	Paper
A Posteriori Soundness for Non-deterministic Abstract Interpretations	2009-02-10	Paper
Efficient execution in an automated reasoning environment	2008-01-18	Paper
Model Checking Software	2007-09-28	Paper
Termination Analysis with Calling Context Graphs	2007-09-05	Paper
A framework for verifying bit-level pipelined machines based on automated deduction and decision procedures	2007-05-03	Paper
Formal Methods for Hardware Verification	2007-05-02	Paper
Ordinal arithmetic: Algorithms and mechanization	2006-11-17	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q4818805	2004-09-24	Paper
Partial functions in ACL2	2004-03-15	Paper
On the desirability of mechanizing calculational proofs	2002-07-25	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: Panagiotis Manolios