Inferring Min and Max Invariants Using Max-Plus Polyhedra (Q3522071): Difference between revisions

@@ Property / cites work @@
+Static Analysis of String Manipulations in Critical Embedded C Programs
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Affine relationships among variables of a program
@@ Property / cites work: Affine relationships among variables of a program / rank @@
+Normal rank
@@ Property / cites work @@
+Q4140769
@@ Property / cites work: Q4140769 / rank @@
+Normal rank
@@ Property / cites work @@
+Idempotent functional analysis: An algebraic approach
+Normal rank
@@ Property / cites work @@
+Methods and applications of (max,+) linear algebra
+Normal rank
@@ Property / cites work @@
+Tropical convexity
@@ Property / cites work: Tropical convexity / rank @@
+Normal rank
@@ Property / cites work @@
+Duality and separation theorems in idempotent semimodules.
+Normal rank
@@ Property / cites work @@
+Q5290269
@@ Property / cites work: Q5290269 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5702473
@@ Property / cites work: Q5702473 / rank @@
+Normal rank
@@ Property / cites work @@
+Max-Plus Convex Geometry
@@ Property / cites work: Max-Plus Convex Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Generators, extremals and bases of max cones
@@ Property / cites work: Generators, extremals and bases of max cones / rank @@
+Normal rank
@@ Property / cites work @@
+The Minkowski theorem for max-plus convex sets
@@ Property / cites work: The Minkowski theorem for max-plus convex sets / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis in Disjunctive Numerical Domains
@@ Property / cites work: Static Analysis in Disjunctive Numerical Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q3337246
@@ Property / cites work: Q3337246 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithm for discovering the set of all the solutions of a linear programming problem
+Normal rank
@@ Property / cites work @@
+Q4304869
@@ Property / cites work: Q4304869 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+A framework for numeric analysis of array operations
+Normal rank
@@ Property / cites work @@
+Non-disjunctive Numerical Domain for Array Predicate Abstraction
+Normal rank
@@ Property / cites work @@
+Sufficient Preconditions for Modular Assertion Checking
+Normal rank
@@ Property / cites work @@
+The duality theorem for min-max functions
@@ Property / cites work: The duality theorem for min-max functions / rank @@
+Normal rank