Axel Poigné

17 papers and 202 indexed citations i.

Axel Poigné has authored 17 papers that have received a total of 202 indexed citations. This includes 9 papers in Computational Theory and Mathematics, 6 papers in Artificial Intelligence and 4 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (5 papers), Logic, programming, and type systems (5 papers) and Distributed systems and fault tolerance (3 papers). Axel Poigné is often cited by papers focused on Formal Methods in Verification (5 papers), Logic, programming, and type systems (5 papers) and Distributed systems and fault tolerance (3 papers) and collaborates with scholars based in Germany, United Kingdom and Italy. Axel Poigné's co-authors include David Rydeheard, Reinhard Budde, Samson Abramsky, David Pitt and Wouter Los and has published in prestigious journals such as Journal of Computer and System Sciences, Theoretical Computer Science and Lecture notes in computer science.