Philippe Dague

36 papers and 364 indexed citations i.

About

Philippe Dague has authored 36 papers that have received a total of 364 indexed citations. This includes 11 papers in Artificial Intelligence, 11 papers in Computational Theory and Mathematics and 8 papers in Control and Systems Engineering. The topics of these papers are Petri Nets in System Modeling (10 papers), AI-based Problem Solving and Planning (9 papers) and Formal Methods in Verification (8 papers). Philippe Dague is often cited by papers focused on Petri Nets in System Modeling (10 papers), AI-based Problem Solving and Planning (9 papers) and Formal Methods in Verification (8 papers) and collaborates with scholars based in France, Germany and Canada. Philippe Dague's co-authors include Jacky Montmain, Louise Travé-Massuyès, Μ. Staroswiecki, François Lévy and Yuhong Yan and has published in prestigious journals such as PLoS ONE, IEEE Transactions on Automatic Control and Journal of Theoretical Biology

In The Last Decade

Rankless by CCL
2025