Some Structural and Algorithmic Properties of the Maximum Feasible Subsystem Problem
Proceedings of the 7th International IPCO Conference on Integer Programming and Combinatorial Optimization
Recent Developments in the Theory of Arrangements of Surfaces
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Applications of Alfred Tarski's Ideas in Database Theory
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
An exact and efficient approach for computing a cell in an arrangement of quadrics
Computational Geometry: Theory and Applications - Special issue on robust geometric algorithms and their implementations
Inclusion dynamics hybrid automata
Information and Computation
International Journal of Robotics Research
An exact and efficient approach for computing a cell in an arrangement of quadrics
Computational Geometry: Theory and Applications - Special issue on robust geometric algorithms and their implementations
Equidecomposable quadratic regions
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
CLP(QS): a declarative spatial reasoning framework
COSIT'11 Proceedings of the 10th international conference on Spatial information theory
Optimal control of piece-wise polynomial hybrid systems using cylindrical algebraic decomposition
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Hi-index | 0.00 |