Luboš Brim

56 papers and 402 indexed citations i.

About

Luboš Brim has authored 56 papers that have received a total of 402 indexed citations. This includes 30 papers in Computational Theory and Mathematics, 22 papers in Molecular Biology and 17 papers in Software. The topics of these papers are Formal Methods in Verification (27 papers), Gene Regulatory Network Analysis (20 papers) and Software Testing and Debugging Techniques (13 papers). Luboš Brim is often cited by papers focused on Formal Methods in Verification (27 papers), Gene Regulatory Network Analysis (20 papers) and Software Testing and Debugging Techniques (13 papers) and collaborates with scholars based in Czechia, Israel and United Kingdom. Luboš Brim's co-authors include Jǐŕı Barnat, David Šafránek, Ivana Černá, Nikola Beneš and Milan Češka and has published in prestigious journals such as Bioinformatics, PLoS ONE and BMC Bioinformatics

In The Last Decade

Rankless by CCL
2025