Gil Utard

10 papers and 144 indexed citations i.

Gil Utard has authored 10 papers that have received a total of 144 indexed citations. This includes 6 papers in Computer Networks and Communications, 5 papers in Hardware and Architecture and 4 papers in Artificial Intelligence. The topics of these papers are Parallel Computing and Optimization Techniques (5 papers), Logic, programming, and type systems (4 papers) and Formal Methods in Verification (3 papers). Gil Utard is often cited by papers focused on Parallel Computing and Optimization Techniques (5 papers), Logic, programming, and type systems (4 papers) and Formal Methods in Verification (3 papers) and collaborates with scholars based in France. Gil Utard's co-authors include Eddy Caron, Chu Min Li, Cristina Gómez, Gaétan Hains and Patrice Fardellone and has published in prestigious journals such as Osteoporosis International, Theoretical Computer Science and Parallel Computing