The following pages link to César A. Muñoz (Q1791191):
Displayed 33 items.
- (Q205912) (redirect page) (← links)
- (Q287267) (redirect page) (← links)
- Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems (Q287269) (← links)
- Rewriting modulo SMT and open system analysis (Q347384) (← links)
- Provably correct conflict prevention bands algorithms (Q436402) (← links)
- A formal library of set relations and its application to synchronous languages (Q654904) (← links)
- The proof monad (Q974136) (← links)
- A formal analysis of the compact position reporting algorithm (Q1630022) (← links)
- Boosting the reuse of formal specifications (Q1791193) (← links)
- Formalization of the undecidability of the halting problem for a functional language (Q1799282) (← links)
- A formally verified floating-point implementation of the compact position reporting algorithm (Q2024357) (← links)
- Formalization of Bernstein polynomials and applications to global optimization (Q2351165) (← links)
- Compositional verification of a communication protocol for a remotely operated aircraft (Q2442952) (← links)
- Dependent types and explicit substitutions: a meta-theoretical development (Q2713354) (← links)
- (Q2723889) (← links)
- (Q2754035) (← links)
- PVS#: Streamlined Tacticals for PVS (Q2864359) (← links)
- Rewriting Modulo SMT and Open System Analysis (Q2945139) (← links)
- Affine Arithmetic and Applications to Real-Number Proving (Q2945641) (← links)
- Simulation and Verification of Synchronous Set Relations in Rewriting Logic (Q3098052) (← links)
- An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs (Q3296349) (← links)
- Predicate Abstraction of Programs with Non-linear Computation (Q3522920) (← links)
- Improving Cutting-Stock Plans with Multi-objective Genetic Algorithm (Q3612895) (← links)
- (Q4246951) (← links)
- (Q4787249) (← links)
- Verified Real Number Calculations: A Library for Interval Arithmetic (Q4975017) (← links)
- (Q5150132) (← links)
- A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision. (Q5195289) (← links)
- Theorem Proving in Higher Order Logics (Q5477656) (← links)
- Architecture and performance of Java-based distributed object models: CORBA vs RMI (Q5944715) (← links)
- Eliminating unstable tests in floating-point programs (Q6085981) (← links)
- (Q6099621) (← links)
- Formal verification of termination criteria for first-order recursive functions (Q6149593) (← links)