Data Mining in Healthcare and Biomedicine: A Survey of the Literature. - Illhoi Yoo; Patricia Alafaireet; Miroslav Marinov; Keila Pena-Hernandez; Rajitha Gopidi; Jia-Fu Chang; Lei Hua (J. Medical Syst., 2012)

Looking for opportunistic discovery of information in recent biomedical research - a content analysis. - Carla M. Allen; Sanda Erdelez; Miroslav Marinov (ASIST, 2013)

On Banzhaf and Shapley-Shubik Fixed Points and Divisor Voting Systems. - Alex Arnell; Richard Chen; Evelyn Choi; Miroslav Marinov; Nastia Polina; Aaryan Prakash (CoRR, 2020)

The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs. - Jasper Dekoninck; Ivo Petrov; Kristian Minchev; Mislav Balunovic; Martin T. Vechev; Miroslav Marinov; Maria Drencheva; Lyuba Konova; Milen Shumanov; Kaloyan Tsvetkov; Nikolay Drenchev; Lazar Todorov; et al. (CoRR, 2025)