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 In‐Sik Kim are co-authored with Top journals papers by Gerd Nufer are published in Top authors papers by H. F. Heath are co-authored with Top authors papers by Paola Monachesi are co-authored with Top countries impacted by papers by Jens Maeße Top authors papers by E. W. Ives are co-authored with Top fields papers by Sara Ljungblad are about Top fields papers by Martín Inzunza are about