An Optimal Algorithm for Computing the Integer Closure of UTVPI Constraints (Q2803820): Difference between revisions

@@ Property / author @@
-Q261361
@@ Property / author: Q261361 / rank @@
-Normal rank
@@ Property / author @@
-Piotr J. Wojciechowski
@@ Property / author: Piotr J. Wojciechowski / rank @@
-Normal rank
@@ Property / author @@
+K. Subramani and Vahan Mkrtchyan
@@ Property / author: K. Subramani and Vahan Mkrtchyan / rank @@
+Normal rank
@@ Property / author @@
+Piotr J. Wojciechowski
@@ Property / author: Piotr J. Wojciechowski / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-30139-6_13
+Normal rank
@@ Property / OpenAlex ID @@
+W2495050057
@@ Property / OpenAlex ID: W2495050057 / rank @@
+Normal rank
@@ Property / cites work @@
+Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness
+Normal rank
@@ Property / cites work @@
+Q2747613
@@ Property / cites work: Q2747613 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric dispatching of hard real-time tasks
@@ Property / cites work: Parametric dispatching of hard real-time tasks / rank @@
+Normal rank
@@ Property / cites work @@
+Frontiers of Combining Systems
@@ Property / cites work: Frontiers of Combining Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+A Graphical Theorem of the Alternative for UTVPI Constraints
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2803820