Petr Savický

38 papers and 370 indexed citations i.

Petr Savický has authored 38 papers that have received a total of 370 indexed citations. This includes 31 papers in Computational Theory and Mathematics, 19 papers in Artificial Intelligence and 5 papers in Electrical and Electronic Engineering. The topics of these papers are semigroups and automata theory (14 papers), Formal Methods in Verification (10 papers) and Combinatorial Optimization and Complexity Theory (10 papers). Petr Savický is often cited by papers focused on semigroups and automata theory (14 papers), Formal Methods in Verification (10 papers) and Combinatorial Optimization and Complexity Theory (10 papers) and collaborates with scholars based in Czechia, Germany and Slovakia. Petr Savický's co-authors include Pavel Pudlák, Ingo Wegener, Alexander Razborov, Stasys Jukna and Petr Kučera and has published in prestigious journals such as Neural Networks, SIAM Journal on Computing and Nuclear Instruments and Methods in Physics Research Section A Accelerators Spectrometers Detectors and Associated Equipment