Scholarly Index

Jean Gallier

California University of Pennsylvania; 2,927 total citations; 94 total publications; best world rank #177

California University of Pennsylvania

2,927Total citations
94Total publications
26H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime177US 7697.35
Formal Methods in VerificationLifetime414US 16996.05
Logic, Reasoning, and KnowledgeLifetime396US 11795.00
semigroups and automata theoryLifetime437US 14492.54