Scholarly Index

Nissim Francez

Technion – Israel Institute of Technology; 3,234 total citations; 156 total publications; best world rank #112

Technion – Israel Institute of Technology

3,234Total citations
156Total publications
28H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime112IL 698.21
Logic, Reasoning, and KnowledgeLifetime170IL 897.47
Distributed systems and fault toleranceLifetime518IL 2096.60
Formal Methods in VerificationLifetime470IL 1295.69
Advanced Algebra and LogicLifetime613IL 492.34
semigroups and automata theoryLifetime769IL 2888.37
Philosophy and Theoretical ScienceLifetime984IL 978.22
Advanced Algebra and Logic2021-2025355IL 270.05
Logic, programming, and type systems2021-2025296IL 267.22
Logic, Reasoning, and Knowledge2021-2025392IL 765.69