Alain Giorgetti
About
Alain Giorgetti has authored 24 papers that have received a total of 102 indexed citations.
This includes 11 papers in Artificial Intelligence, 10 papers in Computational Theory and Mathematics and 8 papers in Geometry and Topology. The topics of these papers are Logic, programming, and type systems (8 papers), Formal Methods in Verification (6 papers) and Advanced Combinatorial Mathematics (3 papers). Alain Giorgetti is often cited by papers focused on Logic, programming, and type systems (8 papers), Formal Methods in Verification (6 papers) and Advanced Combinatorial Mathematics (3 papers) and collaborates with scholars based in France, Slovakia and United States. Alain Giorgetti's co-authors include Frédéric Holweck, Метод Санига, Jean-François Couchot, Frédéric Dadeau and David Déharbe and has published in prestigious journals such as Theoretical Computer Science, Journal of Physics A Mathematical and Theoretical and Lecture notes in computer science
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by M. Losasso are about Top fields papers by Andrew Morrow are about Top fields papers by Philippe Trigano are about Top journals papers by Caleb Califre Martins are published in Top authors papers by Kamran Sartipi are co-authored with Top fields papers by Colin Feltham are about Top authors papers by Marina Vetrova are co-authored with Top journals papers by Glenn W. Olsen are published in