The quickhull algorithm for convex hulls
ACM Transactions on Mathematical Software (TOMS)
Evaluating multiple attribute items using queries
Proceedings of the 3rd ACM conference on Electronic Commerce
Abstract Interpretation with a Theorem Prover
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Synthesis of Linear Ranking Functions
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Practical Methods for Proving Program Termination
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Discrete Applied Mathematics
Pattern search in the presence of degenerate linear constraints
Optimization Methods & Software
On Inner and Outer Descriptions of the Steady-State Flux Cone of a Metabolic Network
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
A new constraint-based description of the steady-state flux cone of metabolic networks
Discrete Applied Mathematics
Theoretical Computer Science
The reformulation-optimization software engine
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Parallel extreme ray and pathway computation
PPAM'09 Proceedings of the 8th international conference on Parallel processing and applied mathematics: Part II
Active Set Identification for Linearly Constrained Minimization Without Explicit Derivatives
SIAM Journal on Optimization
Brief paper: Fast computation of minimal elementary decompositions of metabolic flux vectors
Automatica (Journal of IFAC)
Accelerating the computation of elementary modes using pattern trees
WABI'06 Proceedings of the 6th international conference on Algorithms in Bioinformatics
A new approach to flux coupling analysis of metabolic networks
CompLife'06 Proceedings of the Second international conference on Computational Life Sciences
Applying abstract acceleration to (co-)reachability analysis of reactive programs
Journal of Symbolic Computation
Technical Section: Analytic ambient occlusion using exact from-polygon visibility
Computers and Graphics
Minimum ratio cover of matrix columns by extreme rays of its induced cone
ISCO'12 Proceedings of the Second international conference on Combinatorial Optimization
Software for exact integration of polynomials over polyhedra
Computational Geometry: Theory and Applications
Computing Puiseux series for algebraic surfaces
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
Planning contact points for humanoid robots
Robotics and Autonomous Systems
Decomposing Biochemical Networks Into Elementary Flux Modes Using Graph Traversal
Proceedings of the International Conference on Bioinformatics, Computational Biology and Biomedical Informatics
Heterogeneous combinatorial candidate generation
Euro-Par'13 Proceedings of the 19th international conference on Parallel Processing
| Hi-index | 0.00 |