Top1000 Scholar

Scholarly Index

Patricia Bouyer

Centre National de la Recherche Scientifique; 1,969 total citations; 100 total publications; best world rank #113

Centre National de la Recherche Scientifique

1,969Total citations
100Total publications
25H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Formal Methods in VerificationLifetime174FR 697.99
Model-Driven Software Engineering TechniquesLifetime113FR 297.41
Logic, programming, and type systemsLifetime169FR 797.40
Petri Nets in System ModelingLifetime197FR 995.76
semigroups and automata theoryLifetime362FR 3693.58
Formal Methods in Verification2021-2025464FR 2169.26
Logic, programming, and type systems2021-2025939FR 6931.82
Game Theory and Applications2021-2025981FR 4632.03