Concepedia

Nissim Francez

NF

58

Publications

3K

Citations

28

H-Index

1978

Active since

Affiliations

Technion – Israel Institute of Technology(Current)

The University of Texas at Austin

IBM Research - Thomas J. Watson Research Center

Tel Aviv University

University of St Andrews

Nissim Francez is an author at Technion – Israel Institute of Technology specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationSemanticsLinguisticsLanguageProgram AnalysisSoftware Analysis

Publications per year

1978–2019

58

Publications

58

Finite-memory automata

Michael Kaminski, Nissim Francez · Theoretical Computer Science · 1994 · 364 citations

A Proof System for Communicating Sequential Processes

Krzysztof R. Apt, Nissim Francez, Willem P. de Roever · ACM Transactions on Programming Languages and Systems · 1980 · 323 citations · Full text

Partial Correctness, Engineering, Axiomatic Proof System +14

Distributed Termination

Nissim Francez · ACM Transactions on Programming Languages and Systems · 1980 · 238 citations

Cluster Computing, Engineering, Distributed Computing +13

Decomposition of distributed programs into communication-closed layers

Tzilla Elrad, Nissim Francez · Science of Computer Programming · 1982 · 206 citations

Distributed Programs, Engineering, Program Analysis +6

Appraising fairness in languages for distributed programming

Krzysztof R. Apt, Nissim Francez, Shmuel Katz · Distributed Computing · 1988 · 152 citations

Engineering, Distributed Programming, Program Analysis +7

Rows per page

1–5 of 58