Hanna Klaudel

27 papers and 96 indexed citations i.

About

Hanna Klaudel has authored 27 papers that have received a total of 96 indexed citations. This includes 17 papers in Computational Theory and Mathematics, 8 papers in Artificial Intelligence and 7 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (15 papers), Petri Nets in System Modeling (14 papers) and Gene Regulatory Network Analysis (6 papers). Hanna Klaudel is often cited by papers focused on Formal Methods in Verification (15 papers), Petri Nets in System Modeling (14 papers) and Gene Regulatory Network Analysis (6 papers) and collaborates with scholars based in France, Belgium and United Kingdom. Hanna Klaudel's co-authors include Raymond Devillers, Franck Pommereau, Maciej Koutny, François Képès and Jean‐Louis Giavitto and has published in prestigious journals such as BMC Bioinformatics, Theoretical Computer Science and Biosystems

In The Last Decade

Rankless by CCL
2025