Scholarly Index

Mikoláš Janota

Czech Technical University in Prague; 1,149 total citations; 84 total publications; best world rank #270

Czech Technical University in Prague

1,149Total citations
84Total publications
19H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Formal Methods in VerificationLifetime594CZ 594.98
Model-Driven Software Engineering TechniquesLifetime838CZ 488.88
Constraint Satisfaction and OptimizationLifetime791CZ 782.30
Logic, programming, and type systems2021-2025798CZ 939.42
Constraint Satisfaction and Optimization2021-2025270CZ 638.61
Model-Driven Software Engineering Techniques2021-2025589CZ 237.07