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 Krisztián Tánczos are published in Top fields papers by Matthieu Hély are about Top journals papers by Lorraine Goeuriot are published in Top countries impacted by papers by Enrique García López Top fields papers by Junichi Kanai are about Top authors papers by Sue Peabody are co-authored with Top fields papers by Peter H. Welch are about Top journals papers by Henry F. Carey are published in