Faster algorithms for quantitative verification in bounded treewidth graphs (Q2058390): Difference between revisions

@@ Property / cites work @@
+Formalizing and Reasoning about Quality
@@ Property / cites work: Formalizing and Reasoning about Quality / rank @@
+Normal rank
@@ Property / cites work @@
+Regular Functions and Cost Register Automata
@@ Property / cites work: Regular Functions and Cost Register Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesizing robust systems
@@ Property / cites work: Synthesizing robust systems / rank @@
+Normal rank
@@ Property / cites work @@
+Two-way cost automata and cost logics over infinite trees
+Normal rank
@@ Property / cites work @@
+Q4291429
@@ Property / cites work: Q4291429 / rank @@
+Normal rank
@@ Property / cites work @@
+SOFSEM 2005: Theory and Practice of Computer Science
+Normal rank
@@ Property / cites work @@
+Parallel algorithms with optimal speedup for bounded treewidth
+Normal rank
@@ Property / cites work @@
+Pebble Weighted Automata and Weighted Logics
@@ Property / cites work: Pebble Weighted Automata and Weighted Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite Runs in Weighted Timed Automata with Energy Constraints
+Normal rank
@@ Property / cites work @@
+Averaging in LTL
@@ Property / cites work: Averaging in LTL / rank @@
+Normal rank
@@ Property / cites work @@
+New methods for deriving joint probability distributions of structure factors. I
+Normal rank
@@ Property / cites work @@
+Quantitative abstraction refinement
@@ Property / cites work: Quantitative abstraction refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative languages
@@ Property / cites work: Quantitative languages / rank @@
+Normal rank
@@ Property / cites work @@
+Faster algorithms for quantitative verification in constant treewidth graphs
+Normal rank
@@ Property / cites work @@
+Algorithms for algebraic path properties in concurrent systems of constant treewidth components
+Normal rank
@@ Property / cites work @@
+Approximating the minimum cycle mean
@@ Property / cites work: Approximating the minimum cycle mean / rank @@
+Normal rank
@@ Property / cites work @@
+Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth
+Normal rank
@@ Property / cites work @@
+Quantitative Interprocedural Analysis
@@ Property / cites work: Quantitative Interprocedural Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Shortest paths in digraphs of small treewidth. I: Sequential algorithms
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted automata and weighted MSO logics for average and long-time behaviors
+Normal rank
@@ Property / cites work @@
+Quantitative Languages Defined by Functional Automata
+Normal rank
@@ Property / cites work @@
+Quantitative Multi-objective Verification for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Q4707790
@@ Property / cites work: Q4707790 / rank @@
+Normal rank
@@ Property / cites work @@
+S-functions for graphs
@@ Property / cites work: S-functions for graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Finding minimum cost to time ratio cycles with small integral transit times
+Normal rank
@@ Property / cites work @@
+From Model Checking to Model Measuring
@@ Property / cites work: From Model Checking to Model Measuring / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of the minimum cycle mean in a digraph
+Normal rank
@@ Property / cites work @@
+Quantitative Monadic Second-Order Logic
@@ Property / cites work: Quantitative Monadic Second-Order Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal search for rationals
@@ Property / cites work: Optimal search for rationals / rank @@
+Normal rank
@@ Property / cites work @@
+Q3048571
@@ Property / cites work: Q3048571 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+New scaling algorithms for the assignment and minimum mean cycle problems
+Normal rank
@@ Property / cites work @@
+Efficient search for rationals
@@ Property / cites work: Efficient search for rationals / rank @@
+Normal rank
@@ Property / cites work @@
+Graph minors. III. Planar tree-width
@@ Property / cites work: Graph minors. III. Planar tree-width / rank @@
+Normal rank
@@ Property / cites work @@
+Graph minors. II. Algorithmic aspects of tree-width
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+All structured programs have small tree width and good register allocation
+Normal rank
@@ Property / cites work @@
+The Complexity of Mean-Payoff Automaton Expression
+Normal rank