Sylvain Salvati
About
Sylvain Salvati has authored 11 papers that have received a total of 48 indexed citations.
This includes 11 papers in Artificial Intelligence, 9 papers in Computational Theory and Mathematics and 2 papers in Molecular Biology. The topics of these papers are Logic, programming, and type systems (6 papers), semigroups and automata theory (5 papers) and Formal Methods in Verification (4 papers). Sylvain Salvati is often cited by papers focused on Logic, programming, and type systems (6 papers), semigroups and automata theory (5 papers) and Formal Methods in Verification (4 papers) and collaborates with scholars based in France, Germany and Japan. Sylvain Salvati's co-authors include Gregory M. Kobele, Igor Walukiewicz, Ryo Yoshinaka, Philippe de Groote and Taisuke Sato and has published in prestigious journals such as Journal of Computer and System Sciences, Information and Computation and Mathematical Structures in Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Jonathan Balkind Top countries impacted by papers by Benet Salway Top journals papers by Lise Waxer are published in Top countries impacted by papers by María Ángeles Caballero-Mora Top authors papers by V. A. Petrov are co-authored with Top authors papers by MJ Battista are co-authored with Top fields papers by Ruth Nicole Brown are about Top authors papers by Jennifer Martin are co-authored with