|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
4 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters |
Wu, Xueguang |
2014 |
307 | C |
p. 33-45 13 p. |
article |
|
| 2 | Computing Invariants with Transformers: Experimental Scalability and Accuracy |
Maisonneuve, Vivien |
2014 |
307 | C |
p. 17-31 15 p. |
article |
|
| 3 | Efficient Constraint/Generator Removal from Double Description of Polyhedra |
Amato, Gianluca |
2014 |
307 | C |
p. 3-15 13 p. |
article |
|
| 4 | Preface |
Simon, Axel |
2014 |
307 | C |
p. 1-2 2 p. |
article |
4 results found