Ramin Tavakoli Kolagari

4 papers and 12 indexed citations i.

About

Ramin Tavakoli Kolagari has authored 4 papers that have received a total of 12 indexed citations. This includes 2 papers in Computational Theory and Mathematics, 2 papers in Safety, Risk, Reliability and Quality and 2 papers in Software. The topics of these papers are Formal Methods in Verification (2 papers), Safety Systems Engineering in Autonomy (2 papers) and Privacy-Preserving Technologies in Data (1 paper). Ramin Tavakoli Kolagari is often cited by papers focused on Formal Methods in Verification (2 papers), Safety Systems Engineering in Autonomy (2 papers) and Privacy-Preserving Technologies in Data (1 paper) and collaborates with scholars based in Sweden, Germany and France. Ramin Tavakoli Kolagari's co-authors include Henrik Lönn, DeJiu Chen, Mark‐Oliver Reiser, Yiannis Papadopoulos and Sara Tucci-Piergiovanni and has published in prestigious journals such as Parallel Computing.

In The Last Decade

Rankless by CCL
2025