Milan Češka

17 papers and 110 indexed citations i.

Milan Češka has authored 17 papers that have received a total of 110 indexed citations. This includes 10 papers in Computational Theory and Mathematics, 7 papers in Software and 6 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (7 papers), Software Testing and Debugging Techniques (4 papers) and Network Packet Processing and Optimization (4 papers). Milan Češka is often cited by papers focused on Formal Methods in Verification (7 papers), Software Testing and Debugging Techniques (4 papers) and Network Packet Processing and Optimization (4 papers) and collaborates with scholars based in Czechia, United Kingdom and United States. Milan Češka's co-authors include Luboš Brim, Tomáš Vojnar, Marta Kwiatkowska, Nicola Paoletti and Simos Gerasimou and has published in prestigious journals such as PLoS ONE, Applied Soft Computing and Journal of Systems and Software