Robert Valette

16 papers and 170 indexed citations i.

Robert Valette has authored 16 papers that have received a total of 170 indexed citations. This includes 13 papers in Computational Theory and Mathematics, 6 papers in Management Information Systems and 5 papers in Industrial and Manufacturing Engineering. The topics of these papers are Petri Nets in System Modeling (12 papers), Formal Methods in Verification (9 papers) and Business Process Modeling and Analysis (6 papers). Robert Valette is often cited by papers focused on Petri Nets in System Modeling (12 papers), Formal Methods in Verification (9 papers) and Business Process Modeling and Analysis (6 papers) and collaborates with scholars based in France, Brazil and Switzerland. Robert Valette's co-authors include Paulo Eigi Miyagi, Emília Villani, J.C. Pascal, Nicolas Rivière and Janétte Cardoso and has published in prestigious journals such as IEEE Transactions on Industrial Electronics, Reliability Engineering & System Safety and IEEE Transactions on Aerospace and Electronic Systems.