Leon Eifler

4 papers and 8 indexed citations i.

Leon Eifler has authored 4 papers that have received a total of 8 indexed citations. This includes 3 papers in Computational Theory and Mathematics, 1 paper in Molecular Biology and 1 paper in Electrical and Electronic Engineering. The topics of these papers are Formal Methods in Verification (2 papers), Combinatorial Optimization and Complexity Theory (2 papers) and VLSI and FPGA Design Techniques (1 paper). Leon Eifler is often cited by papers focused on Formal Methods in Verification (2 papers), Combinatorial Optimization and Complexity Theory (2 papers) and VLSI and FPGA Design Techniques (1 paper) and collaborates with scholars based in Germany and United States. Leon Eifler's co-authors include Ambros Gleixner, Konstantin Fackeldey and Marcus Weber and has published in prestigious journals such as Mathematical Programming, SIAM Journal on Optimization and ACM Transactions on Mathematical Software