Top1000 Scholar

Scholarly Index

Joël Ouaknine

Max Planck Institute for Software Systems; 1,813 total citations; 111 total publications; best world rank #167

Max Planck Institute for Software Systems

1,813Total citations
111Total publications
22H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Formal Methods in VerificationLifetime331DE 2996.68
Logic, programming, and type systemsLifetime473DE 4694.61
Model-Driven Software Engineering TechniquesLifetime398DE 5593.65
semigroups and automata theoryLifetime633DE 5590.21
semigroups and automata theory2021-2025167DE 1470.05
Logic, programming, and type systems2021-2025516DE 5255.01
Computability, Logic, AI Algorithms2021-2025464DE 3537.81
Polynomial and algebraic computation2021-2025663DE 4734.64