Didier Buchs
About
Didier Buchs has authored 18 papers that have received a total of 116 indexed citations.
This includes 11 papers in Computational Theory and Mathematics, 8 papers in Software and 7 papers in Artificial Intelligence. The topics of these papers are Petri Nets in System Modeling (9 papers), Model-Driven Software Engineering Techniques (7 papers) and Formal Methods in Verification (5 papers). Didier Buchs is often cited by papers focused on Petri Nets in System Modeling (9 papers), Model-Driven Software Engineering Techniques (7 papers) and Formal Methods in Verification (5 papers) and collaborates with scholars based in Switzerland, Portugal and Luxembourg. Didier Buchs's co-authors include David Vernez, Vasco Amaral, Bruno Barroca, Matteo Risoldi and Nicolas Guelfi and has published in prestigious journals such as IEEE Transactions on Software Engineering, Risk Analysis and Safety Science
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Chen‐Hua Huang are co-authored with Top fields papers by Frank Wießner are about Top fields papers by José Enrique Armendáriz-Íñigo are about Top countries impacted by papers by Md Abdul Kuddus Top authors papers by Pauline C. Haddow are co-authored with Top fields papers by Okechukwu Ethelbert Amah are about Top fields papers by Kathryn M. Olesko are about Top fields papers by Leslie George Firbank are about