Frédéric Lang
About
Frédéric Lang has authored 23 papers that have received a total of 171 indexed citations.
This includes 19 papers in Computational Theory and Mathematics, 9 papers in Artificial Intelligence and 6 papers in Software. The topics of these papers are Formal Methods in Verification (15 papers), Logic, programming, and type systems (8 papers) and Petri Nets in System Modeling (5 papers). Frédéric Lang is often cited by papers focused on Formal Methods in Verification (15 papers), Logic, programming, and type systems (8 papers) and Petri Nets in System Modeling (5 papers) and collaborates with scholars based in France, Italy and United States. Frédéric Lang's co-authors include Radu Mateescu, Hubert Garavel, Francesco Flammini, Wendelin Serwe and Luigi Liquori and has published in prestigious journals such as Bioinformatics, Lecture notes in computer science and Acta Informatica
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Naresh Kumar Trivedi are co-authored with Top journals papers by B. Fléchet are published in Top countries impacted by papers by Stefano Vallone Top authors papers by Adel Mahmoud are co-authored with Top authors papers by Tymara Berry are co-authored with Top fields papers by Bob Garvey are about Top fields papers by Claire Freyçon are about Top authors papers by Xiaoxiang Sun are co-authored with