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 journals papers by Marta Baleva are published in Top journals papers by Henry F. Carey are published in Top fields papers by Pauline C. Haddow are about Top countries impacted by papers by Sze‐Wing Tang Top journals papers by Xian-Mo Zhang are published in Top authors papers by Sorin Martoiu are co-authored with Top countries impacted by papers by Sarah Rapaport Top fields papers by Sara Ljungblad are about