1. Recherche
27 résultats  enregistrer la recherche
hal-01249320v1  Communication dans un congrès
Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott. A scalable algebraic method to infer quadratic invariants of switched systems
International Conference on Embedded Software (EMSOFT'2015), Oct 2015, Amsterdam, Netherlands. International Conference on Embedded Software (EMSOFT'2015), 2015, International Conference on Embedded Software (EMSOFT'2015). <IEEE>. <10.1109/EMSOFT.2015.7318262>
hal-00985675v1  Article dans une revue
Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner. Formal Proofs for Nonlinear Optimization
Journal of Formalized Reasoning, ASDD-AlmaDL, 2015, 8 (15), pp.1-24
hal-01263337v1  Communication dans un congrès
Xavier Allamigeon, Pascal Benchimol, Stephane Gaubert, Michael Joswig. Long and Winding Central Paths
SIAM Conference on Control and its Applications (SIAM CT’15), Jul 2015, Paris, France. <http://www.siam.org/meetings/ct15/index.php>
hal-01263476v1  Communication dans un congrès
Nikolas Stott, Xavier Allamigeon, Stéphane Gaubert. Maximal Lower Bounds in the Loewner order
2015 SIAM Conference on Applied Linear Algebra, Oct 2015, Atlanta, United States. <http://www.siam.org/meetings/la15/>
hal-01096452v1  Pré-publication, Document de travail
Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig. Long and winding central paths
Preprint arXiv:1405.4161. 2014
hal-01096447v1  Communication dans un congrès
Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert. The tropical shadow-vertex algorithm solves mean payoff games in polynomial time on average
Javier Esparza; Pierre Fraigniaud; Thore Husfeldt; Elias Koutsoupias. ICALP 2014, Jul 2014, Copenhagen, France. Springer, Automata, Languages, and Programming, 8572, pp.12, 2014, 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I. <10.1007/978-3-662-43948-7_8>
hal-01097729v1  Communication dans un congrès
Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig. Long and winding central paths
Recent Advances in Linear Optimization, Jul 2014, Champs sur marne, France. <http://www.fondation-hadamard.fr/fr/pgmo/projects/meunier/workshop>
hal-01422639v1  Pré-publication, Document de travail
Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra. Tropical spectrahedra
arXiv:1610.06746. 2016
hal-01422638v1  Communication dans un congrès
Xavier Allamigeon, Stéphane Gaubert, Mateusz Skomra. Solving Generic Nonarchimedean Semidefinite Programs Using Stochastic Game Algorithms
ISSAC '16: International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, France. Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation (ISSAC'16). <10.1145/2930889.2930935>
hal-00932350v1  Communication dans un congrès
Xavier Allamigeon. Tropicalizing the simplex algorithm
SIAM Conference on Control and its Applications (SIAM CT'13), Jul 2013, San Diego, United States. 2013
hal-00932348v1  Communication dans un congrès
Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner. Certification of inequalities involving transcendental functions: combining SDP and max-plus approximation
European Control Conference (ECC'13), Jul 2013, Zurich, Switzerland. pp.2244 - 2250, 2013
hal-00930941v1  Communication dans un congrès
Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig. Tropicalizing the Simplex Algorithm
SMAI 2013 - 6ème biennale des mathématiques appliquées et industrielles, May 2013, Seignosse, France. 2013
hal-01428770v1  Communication dans un congrès
Xavier Allamigeon. Long and winding central paths
Emerging Trends in Applied Mathematics and Mechanics (ETAMM), May 2016, Perpignan, France
hal-01097726v1  Communication dans un congrès
Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig. La méthode du simplexe tropical
ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d’aide à la décision, Feb 2014, Bordeaux, France
hal-01097727v1  Communication dans un congrès
Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig. Combinatorial Simplex Algorithms Can Solve Mean Payoff Games
The 21st International Symposium on Mathematical Theory of Networks and Systems (MTNS 2014), Jul 2014, Groningen, Netherlands. <https://fwn06.housing.rug.nl/mtns2014/>
hal-01097728v1  Communication dans un congrès
Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig. Combinatorial simplex algorithms can solve mean payoff games
20th Conference of the International Federation of Operational Research Societies, Jul 2014, Barcelone, Spain
hal-00782862v1  Article dans une revue
Xavier Allamigeon, Stéphane Gaubert, Eric Goubault. Computing the Vertices of Tropical Polyhedra using Directed Hypergraphs
Discrete and Computational Geometry, Springer Verlag, 2013, 49 (2), pp.247-279. <10.1007/s00454-012-9469-6>
hal-00930913v1  Article dans une revue
Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig. Tropicalizing the simplex algorithm
Siam Journal on Discrete Mathematics, Society for Industrial and Applied Mathematics, 2015, 29 (2), <10.1137/130936464>
hal-00930915v1  Article dans une revue
Xavier Allamigeon, Pascal Benchimol, Stéphane Gaubert, Michael Joswig. Combinatorial simplex algorithms can solve mean payoff games
SIAM Journal on Optimization, Society for Industrial and Applied Mathematics, 2014, 24 (4), pp.22. <10.1137/140953800>
hal-01421885v1  Communication dans un congrès
Xavier Allamigeon, Vianney Boeuf, Stéphane Gaubert. Stationary solutions of discrete and continuous Petri nets with priorities
10th EAI International Conference on Performance Evaluation Methodologies and Tools, Oct 2016, Taormina, France. 2016, 10th EAI International Conference on Performance Evaluation Methodologies and Tools
hal-01248814v1  Communication dans un congrès
Xavier Allamigeon, Vianney Boeuf, Stéphane Gaubert. Performance evaluation of an emergency call center: tropical polynomial systems applied to timed Petri nets
13th International Conference, Formal Modeling and Analysis of Timed Systems (FORMATS 2015), Sep 2015, Madrid, Spain. Springer, 9268, 2015, Formal Modeling and Analysis of Timed Systems. <10.1007/978-3-319-22975-1_2>
hal-00782837v1  Article dans une revue
Xavier Allamigeon, R.D. Katz. Minimal external representations of tropical polyhedra
Journal of Combinatorial Theory, Series A, Elsevier, 2013, 120 (4), pp.907-940. <10.1016/j.jcta.2013.01.011>
hal-01423744v1  Article dans une revue
Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott. A scalable algebraic method to infer quadratic invariants of switched systems
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2016, Special Issue on ESWEEK2015, 15 (4), <10.1145/2932187>

Contact


archive-ouverte@inria.fr