|
|
| Property / cites work |
| | |
| Property / cites work: Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programs / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Computer aided verification. 18th international conference, CAV 2006, Seattle, WA, USA, August 17--20, 2006. Proceedings. / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Perspectives of System Informatics / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4414726 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A constructive fixed point theorem for min-max functions / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Computer Aided Verification / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Computer Aided Verification / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Verification, Model Checking, and Abstract Interpretation / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4174789 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Grammar Analysis and Parsing by Abstract Interpretation / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Static Analysis by Policy Iteration on Relational Domains / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Precise Relational Invariants Through Strategy Iteration / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Precise Fixpoint Computation Through Strategy Iteration / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Polynomial Precise Interval Analysis Revisited / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Games through Nested Fixpoints / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Combining Widening and Acceleration in Linear Relation Analysis / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Classes of Recursively Enumerable Sets and Their Decision Problems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: On Nonterminating Stochastic Games / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3266141 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Static Analysis by Abstract Interpretation: A Mathematical Programming Approach / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Accelerated Data-Flow Analysis / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3976517 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4529777 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: The octagon abstract domain / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A Quantifier Elimination Algorithm for Linear Real Arithmetic / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Automatic modular abstractions for linear constraints / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4315289 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Static Analysis / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Verification, Model Checking, and Abstract Interpretation / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3818127 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: The polynomial-time hierarchy / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2754084 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Complete sets and the polynomial-time hierarchy / rank |
| | Normal rank |