Nissim Francez

Cited by

	All	Since 2019
Citations	6910	989
h-index	39	15
i10-index	93	23

220

110

165

1985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024105 134 158 156 179 208 179 213 114 194 117 172 126 160 171 127 162 195 158 141 181 129 194 137 175 167 164 169 167 192 166 137 185 130 162 131 183 170 185 158

Public access

View all

3 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Krzysztof R. AptCWI fellow, CWI , The NetherlandsVerified email at cwi.nl
Shmuel KatzComputer ScienceVerified email at cs.technion.ac.il
Orna GrumbergProfessor of Computer Science, TechnionVerified email at cs.technion.ac.il
Shuly WintnerUniversity of Haifa, Department of Computer ScienceVerified email at cs.haifa.ac.il
Michael RodehSenior Advisor to PermiraVerified email at rodeh.net
Roy DyckhoffHon. Senior Lecturer, St Andrews UniversityVerified email at st-andrews.ac.uk
Daniel LehmannProfessor of Computer Science, Hebrew University of JerusalemVerified email at mail.huji.ac.il
Brent HailpernPart-Time Instructor, Northeastern UniversityVerified email at hailpern.com
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Mooly SagivTel Aviv UniversityVerified email at acm.org
Liuba ShriraProfessor of Computer Science, Brandeis UniversityVerified email at brandeis.edu
Yaroslav FyodorovPrincipal Research Engineer, YahooVerified email at yahooinc.com
Gadi TaubenfeldReichman University, IsraelVerified email at runi.ac.il
Luc BougéENS Rennes, IRISA, INRIAVerified email at ens-rennes.fr
Mohamed GoudaProfessor of Computer Science, University of Texas at AustinVerified email at cs.utexas.edu
Reinhard WilhelmComputer Science, Saarland University, Saarland Informatics Campus (SIC)Verified email at cs.uni-saarland.de
Johann (Janos) A. MakowskyFaculty of Computer Science, Technion - Israel Institute of Technology, Haifa, IsraelVerified email at cs.technion.ac.il
Shalom LappinProfessor of Computational LinguisticsVerified email at kcl.ac.uk
Jan van Eijckprofessor at ILLC Amsterdam, researcher at CWIVerified email at cwi.nl
Anna ZamanskyAssociate Professor, Information Systems Dept. University of HaifaVerified email at is.haifa.ac.il

Nissim Francez

Computer Science Faculty, Technion

Verified email at cs.technion.ac.il

Proof-theoretic semantics formal semantics for natural language


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Fairness N Francez Springer Science & Business Media, 2012	873	2012
Finite-memory automata M Kaminski, N Francez Theoretical Computer Science 134 (2), 329-363, 1994	501	1994
A proof system for communicating sequential processes KR Apt, N Francez, WP De Roever ACM Transactions on Programming Languages and Systems (TOPLAS) 2 (3), 359-385, 1980	488	1980
Distributed termination N Francez ACM Transactions on Programming Languages and Systems (TOPLAS) 2 (1), 42-55, 1980	370	1980
Decomposition of distributed programs into communication-closed layers T Elrad, N Francez Science of Computer programming 2 (3), 155-173, 1982	280	1982
Appraising fairness in languages for distributed programming KR Apt, N Francez, S Katz Distributed Computing 2, 226-241, 1988	243	1988
Interacting processes: A multiparty approach to coordinated distributed programming N Francez, IR Forman ACM Press/Addison-Wesley Publishing Co., 1996	238	1996
Program verification N Francez Addison-Wesley Longman Publishing Co., Inc., 1992	160	1992
A compositional approach to superimposition L Bougé, N Francez Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of …, 1988	150	1988
Achieving distributed termination without freezing N Francez, M Rodeh IEEE Transactions on Software Engineering, 287-292, 1982	144	1982
Semantics of nondeterminism, concurrency, and communication N Francez, CAR Hoare, DJ Lehmann, WP Roever J. Comput. Syst. Sci. 19 (3), 290-308, 1979	142	1979
Proof-theoretic semantics N Francez College Publications, 2015	140	2015
Temporal prepositions and temporal generalized quantifiers I Pratt, N Francez Linguistics and Philosophy 24, 187-222, 2001	118	2001
Script: A communication abstraction mechanism and its verification N Francez, B Hailpern, G Taubenfeld Science of Computer Programming 6, 35-88, 1986	109*	1986
Asynchronous unison JM Couvreur, N Francez, MG Gouda ICDCS 92, 486-493, 1992	108	1992
A linear-history semantics for languages for distributed programming N Francez, D Lehmann, A Pnueli Theoretical Computer Science 32 (1-2), 25-46, 1984	91	1984
A proof rule for fair termination of guarded commands O Grumberg, N Francez, JA Makowsky, WP de Roever Information and Control 66 (1-2), 83-102, 1985	90	1985
E-type pronouns, i-sums, and donkey anaphora S Lappin, N Francez Linguistics and Philosophy 17, 391-428, 1994	88	1994
A proof method for cyclic programs N Francez, A Pnueli Acta Informatica 9, 133-157, 1978	84	1978
Proof-theoretic semantics for a natural language fragment N Francez, R Dyckhoff Linguistics and Philosophy 33, 447-477, 2010	81	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors