Robi Malik

55 papers and 674 indexed citations i.

Robi Malik has authored 55 papers that have received a total of 674 indexed citations. This includes 54 papers in Computational Theory and Mathematics, 25 papers in Computer Networks and Communications and 13 papers in Industrial and Manufacturing Engineering. The topics of these papers are Petri Nets in System Modeling (53 papers), Formal Methods in Verification (52 papers) and Distributed systems and fault tolerance (24 papers). Robi Malik is often cited by papers focused on Petri Nets in System Modeling (53 papers), Formal Methods in Verification (52 papers) and Distributed systems and fault tolerance (24 papers) and collaborates with scholars based in New Zealand, Sweden and Brazil. Robi Malik's co-authors include Martin Fabian, Hugo Flordal, Knut Åkesson, Marcelo Teixeira and Ryan J. Leduc and has published in prestigious journals such as IEEE Transactions on Automatic Control, Automatica and SIAM Journal on Control and Optimization