Petr Savický
About
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
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Fuyuan Gao Top authors papers by Jingang Liu are co-authored with Top journals papers by Antonio Martín Artiles are published in Top fields papers by Qingguo Wei are about Top fields papers by A. Ninot are about Top journals papers by Baba Awoye Issa are published in Top journals papers by Shô Miyamoto are published in Top fields papers by Jeong‐Eun Kim are about