Jérémy Dubreil

5 papers and 240 indexed citations i.

Jérémy Dubreil has authored 5 papers that have received a total of 240 indexed citations. This includes 5 papers in Computational Theory and Mathematics, 3 papers in Artificial Intelligence and 2 papers in Computer Networks and Communications. The topics of these papers are Petri Nets in System Modeling (5 papers), Security and Verification in Computing (3 papers) and Formal Methods in Verification (2 papers). Jérémy Dubreil is often cited by papers focused on Petri Nets in System Modeling (5 papers), Security and Verification in Computing (3 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in France. Jérémy Dubreil's co-authors include Hervé Marchand, Philippe Darondeau, Franck Cassez and Thierry Jéron and has published in prestigious journals such as IEEE Transactions on Automatic Control and Formal Methods in System Design.