-
Safe Recursion Over an Arbitrary Structure: PAR, PH and DPH
Colloque avec actes et comité de lecture. internationale. -
Polar varieties and computation of one point in each connected component of a...
Colloque avec actes et comité de lecture. internationale. -
Vehicle Sharing Systems Pricing Optimization
One-way Vehicle Sharing Systems (VSS), in which users pick-up and return a vehicle in different places is a new type of transportation system that presents many... -
Changing the ordering of Grobner Bases with LLL: Case of Two Variables
Colloque avec actes et comité de lecture. internationale. -
Robust routing optimization in resilient networks : Polyhedral model and comp...
In the thesis robust routing design problems in resilient networks are considered. In the first part computational complexity of such problems are discussed. The... -
Complexity of Determining the b-continuity Property of Graphs
le numéro est 2003/37 -
An analog Characterization of Elementarily Computable Functions Over the Real...
Colloque avec actes et comité de lecture. internationale. -
Tailoring Recursion to Characterize Non-Deterministic Complexity Classes Over...
Colloque avec actes et comité de lecture. internationale. -
Unification Modulo ACUI Plus Distributivity Axioms
Article dans revue scientifique avec comité de lecture. nationale.
