Julien Brunel

13 papers and 28 indexed citations i.

About

Julien Brunel has authored 13 papers that have received a total of 28 indexed citations. This includes 9 papers in Artificial Intelligence, 5 papers in Software and 4 papers in Computational Theory and Mathematics. The topics of these papers are Formal Methods in Verification (4 papers), Advanced Software Engineering Methodologies (4 papers) and Logic, Reasoning, and Knowledge (3 papers). Julien Brunel is often cited by papers focused on Formal Methods in Verification (4 papers), Advanced Software Engineering Methodologies (4 papers) and Logic, Reasoning, and Knowledge (3 papers) and collaborates with scholars based in France, Denmark and Portugal. Julien Brunel's co-authors include René Rydhof Hansen, Nuno Macedo, Alcino Cunha, Julia L. Lawall and Youcef Bouchebaba and has published in prestigious journals such as SAE technical papers on CD-ROM/SAE technical paper series, ACM SIGPLAN Notices and Information and Computation

In The Last Decade

Rankless by CCL
2025