publication venue for
- Template polyhedra and bilinear optimization 2019
- Validating numerical semidefinite programming solvers for polynomial invariants 2018
- From non-preemptive to preemptive scheduling using synchronization synthesis 2017
- Foreword: Special issue on numerical software verification 2009
- Constructing invariants for hybrid systems 2008
- An algorithm for strongly connected component analysis in n log n symbolic steps 2006
- Compositional SCC analysis for language emptiness 2006
- Collecting statistics over runtime executions 2005
- A symbolic algorithm for maximum flow in 0-1 networks 1997
- Algebraic decision diagrams and their applications 1997
- EXTENDED BDDS - TRADING OFF CANONICITY FOR STRUCTURE IN VERIFICATION ALGORITHMS 1994