Scholarly Index

Viktor Kunčak

École Polytechnique Fédérale de Lausanne; 2,877 total citations; 154 total publications; best world rank #162

École Polytechnique Fédérale de Lausanne

2,877Total citations
154Total publications
27H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime162CH 397.54
Formal Methods in VerificationLifetime266CH 897.13
Software Engineering ResearchLifetime969CH 2194.82
Software Testing and Debugging TechniquesLifetime733CH 1993.99
Numerical Methods and AlgorithmsLifetime538CH 889.33
Security and Verification in ComputingLifetime884CH 2489.09
Logic, programming, and type systems2021-2025731CH 1942.84