Jan Peleška

70 papers and 818 indexed citations i.

About

Jan Peleška has authored 70 papers that have received a total of 818 indexed citations. This includes 32 papers in Software, 23 papers in Computational Theory and Mathematics and 13 papers in Cardiology and Cardiovascular Medicine. The topics of these papers are Software Testing and Debugging Techniques (24 papers), Formal Methods in Verification (22 papers) and Software Reliability and Analysis Research (12 papers). Jan Peleška is often cited by papers focused on Software Testing and Debugging Techniques (24 papers), Formal Methods in Verification (22 papers) and Software Reliability and Analysis Research (12 papers) and collaborates with scholars based in Germany, Czechia and Denmark. Jan Peleška's co-authors include A Jíndra, Marie Jáchymová, Tatiana Kuznetsova, K Horký and Jan A. Staessen and has published in prestigious journals such as Biochemical and Biophysical Research Communications, Hypertension and ACM Computing Surveys

In The Last Decade

Rankless by CCL
2025