Kati Wolter
About
Kati Wolter has authored 4 papers that have received a total of 261 indexed citations.
This includes 4 papers in Computational Theory and Mathematics, 4 papers in Numerical Analysis and 1 paper in Control and Systems Engineering. The topics of these papers are Advanced Optimization Algorithms Research (4 papers), Numerical Methods and Algorithms (3 papers) and Formal Methods in Verification (2 papers). Kati Wolter is often cited by papers focused on Advanced Optimization Algorithms Research (4 papers), Numerical Methods and Algorithms (3 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in United States, Germany and Italy. Kati Wolter's co-authors include Daniel E. Steffy, Thorsten Koch, Ambros Gleixner, William J. Cook and Gerald Gamrath and has published in prestigious journals such as INFORMS journal on computing and Mathematical Programming Computation
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Richard A. Gibbs are about Top fields papers by Rupert Brown are about Top countries impacted by papers by Alvin D. Pewa Top journals papers by C. A. Nelson are published in Top fields papers by B. Bernal are about Top authors papers by Shelise Brooks are co-authored with Top authors papers by Elliott Attisha are co-authored with Top journals papers by Remon Helmy are published in