René David

14 papers and 880 indexed citations i.

René David has authored 14 papers that have received a total of 880 indexed citations. This includes 8 papers in Computational Theory and Mathematics, 7 papers in Management Information Systems and 4 papers in Hardware and Architecture. The topics of these papers are Petri Nets in System Modeling (6 papers), Business Process Modeling and Analysis (5 papers) and Formal Methods in Verification (4 papers). René David is often cited by papers focused on Petri Nets in System Modeling (6 papers), Business Process Modeling and Analysis (5 papers) and Formal Methods in Verification (4 papers) and collaborates with scholars based in France and United States. René David's co-authors include Hassane Alla, Yves Dallery, Maria Di Mascolo, Pascale Thévenod-Fosse and Michael Friedländer and has published in prestigious journals such as IEEE Transactions on Automatic Control, Automatica and IEEE Transactions on Instrumentation and Measurement