Robi Malik

1.3k total citations
72 papers, 903 citations indexed

About

Robi Malik is a scholar working on Computational Theory and Mathematics, Computer Networks and Communications and Industrial and Manufacturing Engineering. According to data from OpenAlex, Robi Malik has authored 72 papers receiving a total of 903 indexed citations (citations by other indexed papers that have themselves been cited), including 68 papers in Computational Theory and Mathematics, 34 papers in Computer Networks and Communications and 16 papers in Industrial and Manufacturing Engineering. Recurrent topics in Robi Malik's work include Petri Nets in System Modeling (67 papers), Formal Methods in Verification (65 papers) and Distributed systems and fault tolerance (33 papers). Robi Malik is often cited by papers focused on Petri Nets in System Modeling (67 papers), Formal Methods in Verification (65 papers) and Distributed systems and fault tolerance (33 papers). Robi Malik collaborates with scholars based in New Zealand, Sweden and Brazil. Robi Malik's co-authors include Martin Fabian, Hugo Flordal, Knut Åkesson, Ryan J. Leduc, Marcelo Teixeira, Steve Reeves, Ratnesh Kumar, José E.R. Cury, Petra Malik and Max H. de Queiroz and has published in prestigious journals such as SHILAP Revista de lepidopterología, IEEE Transactions on Automatic Control and Automatica.

In The Last Decade

Robi Malik

70 papers receiving 881 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Robi Malik New Zealand 15 842 303 226 128 127 72 903
Shengbing Jiang United States 12 692 0.8× 207 0.7× 242 1.1× 85 0.7× 92 0.7× 36 770
B.A. Brandin Canada 10 673 0.8× 230 0.8× 226 1.0× 79 0.6× 175 1.4× 22 726
W.M. Zuberek Canada 10 473 0.6× 126 0.4× 314 1.4× 184 1.4× 135 1.1× 74 703
Max H. de Queiroz Brazil 12 477 0.6× 140 0.5× 218 1.0× 70 0.5× 88 0.7× 45 538
Rami Debouk United States 10 596 0.7× 189 0.6× 251 1.1× 76 0.6× 51 0.4× 20 712
Remigiusz Wiśniewski Poland 16 409 0.5× 110 0.4× 125 0.6× 101 0.8× 245 1.9× 74 707
Yannick Pencolé France 14 413 0.5× 113 0.4× 160 0.7× 86 0.7× 51 0.4× 48 555
Franck Cassez France 13 447 0.5× 171 0.6× 68 0.3× 42 0.3× 109 0.9× 51 596
Maria Paola Cabasino Italy 18 1.2k 1.4× 167 0.6× 488 2.2× 532 4.2× 94 0.7× 50 1.3k
Philippe Darondeau France 14 522 0.6× 267 0.9× 47 0.2× 121 0.9× 50 0.4× 41 638

Countries citing papers authored by Robi Malik

Since Specialization
Citations

This map shows the geographic impact of Robi Malik's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Robi Malik with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Robi Malik more than expected).

Fields of papers citing papers by Robi Malik

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Robi Malik. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Robi Malik. The network helps show where Robi Malik may publish in the future.

Co-authorship network of co-authors of Robi Malik

This figure shows the co-authorship network connecting the top 25 collaborators of Robi Malik. A scholar is included among the top collaborators of Robi Malik based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Robi Malik. Robi Malik is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Fabian, Martin, et al.. (2023). Lupremica – Lua Scripting for Supremica*. IFAC-PapersOnLine. 56(2). 6099–6104.
2.
Malik, Robi & Marcelo Teixeira. (2020). Modular Synthesis of Least Restrictive Controllable and Nonblocking Supervisors with Distinguishers. IFAC-PapersOnLine. 53(4). 205–210. 1 indexed citations
3.
Malik, Robi, Knut Åkesson, Hugo Flordal, & Martin Fabian. (2017). Supremica–An Efficient Tool for Large-Scale Discrete Event Systems. IFAC-PapersOnLine. 50(1). 5794–5799. 56 indexed citations
4.
Malik, Robi, et al.. (2016). Compositional supervisor synthesis with state merging and transition removal. Research Commons (University of Waikato). 1 indexed citations
5.
Malik, Robi, et al.. (2015). An algorithm for compositional nonblocking verification using special events. Science of Computer Programming. 113. 119–148. 9 indexed citations
6.
Malik, Robi, et al.. (2014). FIVE ABSTRACTION RULES TO REMOVE TRANSITIONS WHILE PRESERVING COMPOSITIONAL SYNTHESIS RESULTS. Chalmers Publication Library (Chalmers University of Technology). 1 indexed citations
7.
Malik, Robi, et al.. (2014). An Algorithm for Compositional Nonblocking Verification of Extended Finite-State Machines. IFAC Proceedings Volumes. 47(2). 376–382. 3 indexed citations
8.
Malik, Robi, et al.. (2014). SYNTHESIS OBSERVATION EQUIVALENCE AND WEAK SYNTHESIS OBSERVATION EQUIVALENCE. Chalmers Publication Library (Chalmers University of Technology). 1 indexed citations
9.
Malik, Robi, et al.. (2014). SYNTHESIS EQUIVALENCE OF TRIPLES. Chalmers Publication Library (Chalmers University of Technology). 1 indexed citations
10.
Malik, Robi, et al.. (2013). An algorithm to test the conflict preorder. Science of Computer Programming. 89. 23–40. 2 indexed citations
11.
Malik, Robi & Ryan J. Leduc. (2012). Hierarchical Interface-Based Supervisory Control Using the Conflict Preorder. IFAC Proceedings Volumes. 45(29). 163–168. 6 indexed citations
12.
Malik, Robi, et al.. (2012). Transition removal for compositional supervisor synthesis. Research Commons (University of Waikato). 3299. 694–699. 3 indexed citations
13.
Malik, Robi, et al.. (2011). A process-algebraic semantics for generalised nonblocking. Research Commons (University of Waikato). 75–84. 2 indexed citations
14.
Malik, Robi, et al.. (2011). Compositional synthesis of discrete event systems using synthesis abstraction. Research Commons (University of Waikato). 1549–1554. 13 indexed citations
15.
Malik, Robi, et al.. (2011). On the use of observation equivalence in synthesis abstraction. Research Commons (University of Waikato). 84–89. 14 indexed citations
16.
Leduc, Ryan J. & Robi Malik. (2010). A Compositional Approach for Verifying Hierarchical Interface-Based Supervisory Control. IFAC Proceedings Volumes. 43(12). 104–110. 4 indexed citations
17.
Malik, Robi, et al.. (2008). The Use of language projection for compositional verification of discrete event systems. Research Commons (University of Waikato). 9. 322–327. 11 indexed citations
18.
Flordal, Hugo, Robi Malik, Martin Fabian, & Knut Åkesson. (2007). Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence. Discrete Event Dynamic Systems. 17(4). 475–504. 66 indexed citations
19.
Åkesson, Knut, Martin Fabian, Hugo Flordal, & Robi Malik. (2006). Supremica - An integrated environment for verification, synthesis and simulation of discrete event systems. Research Commons (University of Waikato). 384–385. 155 indexed citations
20.
Malik, Robi, et al.. (2002). A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol. Research Commons (University of Waikato). 22 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Shengbing Jiang Breakdown of academic impact, for papers by B.A. Brandin Breakdown of academic impact, for papers by W.M. Zuberek Breakdown of academic impact, for papers by Max H. de Queiroz Breakdown of academic impact, for papers by Rami Debouk Breakdown of academic impact, for papers by Remigiusz Wiśniewski Breakdown of academic impact, for papers by Yannick Pencolé Breakdown of academic impact, for papers by Franck Cassez Breakdown of academic impact, for papers by Maria Paola Cabasino Breakdown of academic impact, for papers by Philippe Darondeau
Rankless by CCL
2026