Richard St‐Denis
About
Richard St‐Denis has authored 21 papers that have received a total of 149 indexed citations.
This includes 13 papers in Computational Theory and Mathematics, 10 papers in Artificial Intelligence and 7 papers in Software. The topics of these papers are Formal Methods in Verification (11 papers), Petri Nets in System Modeling (9 papers) and Model-Driven Software Engineering Techniques (5 papers). Richard St‐Denis is often cited by papers focused on Formal Methods in Verification (11 papers), Petri Nets in System Modeling (9 papers) and Model-Driven Software Engineering Techniques (5 papers) and collaborates with scholars based in Canada, France and Australia. Richard St‐Denis's co-authors include Marc Frappier, Michel Barbeau, Frédéric Gervais, F. Kabanza and Benoît Fraikin and has published in prestigious journals such as IEEE Transactions on Automatic Control, Artificial Intelligence and IEEE Transactions on Control Systems Technology.
In The Last Decade
side by side view
Countries citing papers authored by Richard St‐Denis
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Achille Felicetti Breakdown of academic impact, for papers by Keisuke Yamazaki Breakdown of academic impact, for papers by Qing Huang Breakdown of academic impact, for papers by Adam Clay Breakdown of academic impact, for papers by Khaled M. Fouad Breakdown of academic impact, for papers by Marie‐Madeleine Kenning Breakdown of academic impact, for papers by Thierry Lescot Breakdown of academic impact, for papers by Aaron Labdon