Étienne Lozes
About
Étienne Lozes has authored 25 papers that have received a total of 98 indexed citations.
This includes 22 papers in Artificial Intelligence, 19 papers in Computational Theory and Mathematics and 7 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (20 papers), Formal Methods in Verification (19 papers) and Logic, Reasoning, and Knowledge (8 papers). Étienne Lozes is often cited by papers focused on Logic, programming, and type systems (20 papers), Formal Methods in Verification (19 papers) and Logic, Reasoning, and Knowledge (8 papers) and collaborates with scholars based in France, Germany and Japan. Étienne Lozes's co-authors include Martin Lange, Dietrich Kuske, Davide Sangiorgi, Stéphane Demri and Naoki Kobayashi and has published in prestigious journals such as Theoretical Computer Science, ACM SIGPLAN Notices and Information and Computation
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Vaqar Ahmed Top fields papers by Ruilian Zhao are about Top fields papers by Ichiro Okada are about Top fields papers by İpek Kaplan Bulut are about Top journals papers by S. D. Worm are published in Top journals papers by Robert W. Lichvar are published in Top journals papers by J. Lerendegui-Marco are published in Top countries impacted by papers by Nicolas Desse