Frédéric Haziza
About
Frédéric Haziza has authored 7 papers that have received a total of 23 indexed citations.
This includes 4 papers in Computational Theory and Mathematics, 3 papers in Artificial Intelligence and 2 papers in Molecular Biology. The topics of these papers are Formal Methods in Verification (4 papers), Logic, programming, and type systems (2 papers) and Distributed systems and fault tolerance (2 papers). Frédéric Haziza is often cited by papers focused on Formal Methods in Verification (4 papers), Logic, programming, and type systems (2 papers) and Distributed systems and fault tolerance (2 papers) and collaborates with scholars based in Sweden, Spain and United Kingdom. Frédéric Haziza's co-authors include Parosh Aziz Abdulla, Lukáš Holík, Xavier Farré, Arcadi Navarro and Robert M. Davies and has published in prestigious journals such as Bioinformatics, International Journal on Software Tools for Technology Transfer and Bioinformatics and Biology Insights
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Nishant Srinivasan are published in Top countries impacted by papers by H. Marukyan Top authors papers by Haiping Peng are co-authored with Top authors papers by З. Маршалл are co-authored with Top countries impacted by papers by A. K. Davies Top journals papers by Tatyana Svetasheva are published in Top fields papers by Meredith P. Crawford are about Top fields papers by Anand Saggar are about