Ambros Gleixner

31 papers and 759 indexed citations i.

About

Ambros Gleixner has authored 31 papers that have received a total of 759 indexed citations. This includes 22 papers in Computational Theory and Mathematics, 15 papers in Numerical Analysis and 9 papers in Control and Systems Engineering. The topics of these papers are Advanced Optimization Algorithms Research (15 papers), Formal Methods in Verification (10 papers) and Vehicle Routing Optimization Methods (8 papers). Ambros Gleixner is often cited by papers focused on Advanced Optimization Algorithms Research (15 papers), Formal Methods in Verification (10 papers) and Vehicle Routing Optimization Methods (8 papers) and collaborates with scholars based in Germany, United States and Italy. Ambros Gleixner's co-authors include Timo Berthold, Stefan Vigerske, Thorsten Koch, Gerald Gamrath and Hans D. Mittelmann and has published in prestigious journals such as European Journal of Operational Research, Mathematical Programming and Computers & Operations Research

In The Last Decade

Rankless by CCL
2025