Claire Loiseaux

3 papers and 113 indexed citations i.

Claire Loiseaux has authored 3 papers that have received a total of 113 indexed citations. This includes 2 papers in Electrical and Electronic Engineering, 2 papers in Artificial Intelligence and 1 paper in Sociology and Political Science. The topics of these papers are Vehicular Ad Hoc Networks (VANETs) (2 papers), Formal Methods in Verification (1 paper) and Security and Verification in Computing (1 paper). Claire Loiseaux is often cited by papers focused on Vehicular Ad Hoc Networks (VANETs) (2 papers), Formal Methods in Verification (1 paper) and Security and Verification in Computing (1 paper) and collaborates with scholars based in France and Germany. Claire Loiseaux's co-authors include Florian Stahl, Lijun Shan, Zhendong Ma, Joseph Sifakis and Ahmed Bouajjani and has published in prestigious journals such as Formal Methods in System Design