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
side by side view
Countries citing papers authored by Frédéric Haziza
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Margarida Flor de Lima Breakdown of academic impact, for papers by Martin Dibelius Breakdown of academic impact, for papers by Vineeta Tripathi Breakdown of academic impact, for papers by Nat Pryce Breakdown of academic impact, for papers by T Van der Spoel Breakdown of academic impact, for papers by Grigore Stefan Sǎlǎgean Breakdown of academic impact, for papers by S. Aiola Breakdown of academic impact, for papers by Amelie Franken