Thomas Brihaye

32 papers and 188 indexed citations i.

Thomas Brihaye has authored 32 papers that have received a total of 188 indexed citations. This includes 22 papers in Computational Theory and Mathematics, 14 papers in Artificial Intelligence and 9 papers in Management Science and Operations Research. The topics of these papers are Formal Methods in Verification (22 papers), Petri Nets in System Modeling (11 papers) and Logic, programming, and type systems (9 papers). Thomas Brihaye is often cited by papers focused on Formal Methods in Verification (22 papers), Petri Nets in System Modeling (11 papers) and Logic, programming, and type systems (9 papers) and collaborates with scholars based in Belgium, France and United Kingdom. Thomas Brihaye's co-authors include Patricia Bouyer, Véronique Bruyère, Nathalie Bertrand, Benjamin Monmege and Gilles Geeraerts and has published in prestigious journals such as Lecture notes in computer science, Information and Computation and Information Processing Letters