Guillem Godoy

17 papers and 57 indexed citations i.

Guillem Godoy has authored 17 papers that have received a total of 57 indexed citations. This includes 16 papers in Artificial Intelligence, 15 papers in Computational Theory and Mathematics and 1 paper in Computer Vision and Pattern Recognition. The topics of these papers are semigroups and automata theory (13 papers), Formal Methods in Verification (12 papers) and Logic, programming, and type systems (11 papers). Guillem Godoy is often cited by papers focused on semigroups and automata theory (13 papers), Formal Methods in Verification (12 papers) and Logic, programming, and type systems (11 papers) and collaborates with scholars based in Spain, United States and France. Guillem Godoy's co-authors include Adrià Gascón, Florent Jacquemard, Robert Nieuwenhuis, Ashish Tiwari and Rakesh Verma and has published in prestigious journals such as Journal of the ACM, SIAM Journal on Computing and Annals of Pure and Applied Logic