Nissim Francez

	2012
107		Nissim Francez: When are different type-logical semantic definitions defining equivalent meanings? J. Comput. Syst. Sci. 78(3): 960-969 (2012)
	2010
106		Daniel Genkin, Nissim Francez, Michael Kaminski: Mildly Context-Sensitive Languages via Buffer Augmented Pregroup Grammars. Essays in Memory of Amir Pnueli 2010: 144-166
105		Nissim Francez, Roy Dyckhoff, Gilad Ben-Avi: Proof-Theoretic Semantics for Subsentential Phrases. Studia Logica 94(3): 381-401 (2010)
104		Tamar Aizikowitz, Nissim Francez, Daniel Genkin, Michael Kaminski: Extending Free Pregroups with Lower Bounds. Studia Logica 95(3): 417-441 (2010)
	2009
103		Nissim Francez, Roy Dyckhoff: Proof-Theoretic Semantics for a Natural Language Fragment. MOL 2009: 56-71
	2008
102		Nissim Francez, Michael Kaminski: Commutation-augmented pregroup grammars and push-down automata with cancellation. Inf. Comput. 206(9-10): 1018-1032 (2008)
101		Sharon Shoham, Nissim Francez: Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules. Studia Logica 90(2): 161-188 (2008)
	2007
100		Nissim Francez, Michael Kaminski: Pushdown automata with cancellation and commutation-augmented pregroups grammars. LATA 2007: 7-26
99		Nissim Francez, Michael Kaminski: Commutation-Augmented Pregroup Grammars and Mildly Context-Sensitive Languages. Studia Logica 87(2-3): 295-321 (2007)
	2006
98		Anna Zamansky, Nissim Francez, Yoad Winter: A 'Natural Logic' inference system using the Lambek calculus. Journal of Logic, Language and Information 15(3): 273-295 (2006)
97		Tatyana Veksler, Nissim Francez: A Lambek Automaton. Logic Journal of the IGPL 14(5): 659-708 (2006)
	2005
96		Nissim Francez: Lambek-Calculus with General Elimination Rules and Continuation Semantics. LACL 2005: 101-113
95		Efrat Jaeger, Nissim Francez, Shuly Wintner: Unification Grammars and Off-Line Parsability. Journal of Logic, Language and Information 14(2): 199-234 (2005)
	2003
94		Yaroslav Fyodorov, Yoad Winter, Nissim Francez: Order-Based Inference in Natural Logic. Logic Journal of the IGPL 11(4): 385-416 (2003)
93		Nissim Francez, Michael Kaminski: An algebraic characterization of deterministic regular languages over infinite alphabets. Theor. Comput. Sci. 306(1-3): 155-175 (2003)
	2002
92		Efrat Jaeger, Nissim Francez, Shuly Wintner: Guaranteeing Parsing Termination of Unification Grammars. COLING 2002
	2000
91		Rani Nelken, Nissim Francez: Querying Temporal Databases Using Controlled Natural Language. COLING 2000: 1076-1080
90		Rani Nelken, Nissim Francez: The Algebraic Semantics of Interrogative NPs. Grammars 3(2/3): 259-273 (2000)
	1999
89		Rachel Ben-Eliyahu-Zohary, Nissim Francez, Michael Kaminski: Similarity Preservation in Default Logic. Ann. Math. Artif. Intell. 25(1-2): 137-160 (1999)
88		Shuly Wintner, Nissim Francez: Off-Line Parsability and the Well-Foundedness of Subsumption. Journal of Logic, Language and Information 8(1): 1-16 (1999)
	1998
87		Nissim Francez: Hypothetical Reasoning and Basic Non-constituent Coordination in Type-Logical Grammar. LACL 1998: 31-47
86		Frank S. de Boer, Nissim Francez, M. van Hulst, Frank A. Stomp: A proof theory of asynchronously communicating sequential processes. PROCOMET 1998: 49-67
85		Shmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm: A Logic-Based Approach to Program Flow Analysis. Acta Inf. 35(6): 457-504 (1998)
	1997
84		Nissim Francez: On Fibring Feature Logics with Concatenation Logics. LACL 1997: 200-211
83		Shuly Wintner, Nissim Francez: Off-line Parsability and the Well-foundedness of Subsumption CoRR cmp-lg/9709011: (1997)
82		Shuly Wintner, Evgeniy Gabrilovich, Nissim Francez: Amalia - A Unified Platform for Parsing and Generation CoRR cmp-lg/9709014: (1997)
	1996
81		Nissim Francez, Ira R. Forman: Interacting processes - a multiparty approach to coordinated distributed processing. Addison-Wesley 1996: I-XIV, 1-234
80		Rani Nelken, Nissim Francez: Automatic Translation of Natural Language System Specifications. CAV 1996: 360-371
79		Shuly Wintner, Nissim Francez: Parsing with Typed Feature Structures CoRR cmp-lg/9601010: (1996)
78		Shuly Wintner, Nissim Francez: Parsing with Typed Feature Structures CoRR cmp-lg/9601011: (1996)
	1995
77		Rani Nelken, Nissim Francez: Splitting the Reference Time: Temporal Anaphora and Quantification in DRT. EACL 1995: 261-266
76		Rani Nelken, Nissim Francez: Splitting the Reference Time: Temporal Anaphora and Quantification in DRT CoRR cmp-lg/9502023: (1995)
75		Shuly Wintner, Nissim Francez: Abstract Machine for Typed Feature Structures CoRR cmp-lg/9504009: (1995)
74		Nissim Francez: Contrastive Logic. Logic Journal of the IGPL 3(5): 725-744 (1995)
	1994
73		Yael Shemesh, Nissim Francez: Finite-State Unification Automata and Relational Languages Inf. Comput. 114(2): 192-213 (1994)
72		Sara Porat, Nissim Francez: Fairness in term rewriting systems. Meth. of Logic in CS 1(2): 141-181 (1994)
71		Limor Fix, Nissim Francez, Orna Grumberg: Program Composition via Unification. Theor. Comput. Sci. 131(1): 139-179 (1994)
70		Michael Kaminski, Nissim Francez: Finite-Memory Automata. Theor. Comput. Sci. 134(2): 329-363 (1994)
	1993
69		Paul C. Attie, Nissim Francez, Orna Grumberg: Fairness and Hyperfairness in Multi-Party Interactions. Distributed Computing 6(4): 245-254 (1993)
	1992
68		Nissim Francez: Program verification. Addison-Wesley 1992: I-XI, 1-312
67		Limor Fix, Nissim Francez, Orna Grumberg: Program Composition via Unification. ICALP 1992: 672-684
66		Jean-Michel Couvreur, Nissim Francez, Mohamed G. Gouda: Asynchronous Unison (Extended Abstract). ICDCS 1992: 486-493
65		Nissim Francez, Ralph-Johan Back, Reino Kurki-Suonio: On Equivalence-Completions of Fairness Assumtions. Formal Asp. Comput. 4(6): 582-591 (1992)
	1991
64		Nissim Francez, Ira R. Forman: Synchrony Loosening Transformations for Interacting Processes. CONCUR 1991: 203-219
63		Limor Fix, Nissim Francez, Orna Grumberg: Program Composition and Modular Verification. ICALP 1991: 93-114
62		Martín Abadi, Bowen Alpern, Krzysztof R. Apt, Nissim Francez, Shmuel Katz, Leslie Lamport, Fred B. Schneider: Preserving Liveness: Comments on ``Safety and Liveness from a Methodological Point of View''. Inf. Process. Lett. 40(3): 141-142 (1991)
	1990
61		Nissim Francez, Ira R. Forman: Superimposition for Interacting Processes. CONCUR 1990: 230-245
60		Nissim Francez: Distributed Logic Programming. Dagstuhl Seminar on Parallelization in Inference Systems 1990: 356
59		Michael Kaminski, Nissim Francez: Finite-Memory Automata (Extended Abstract) FOCS 1990: 683-688
58		Nissim Francez, Ira R. Forman: Conflict Propogation. ICCL 1990: 155-168
57		Amir Rahat, Nissim Francez, Oded Shmueli: On the Equivalence of Deferred Substitution and Immediate Substitution Semantics for Logic Programs. JELIA 1990: 454-471
56		Shmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm: A Logic-Based Approach to Data Flow Analysis Problem. PLILP 1990: 277-292
55		Paul C. Attie, Nissim Francez, Orna Grumberg: Fairness and Hyperfairness in Multi-Party Interactions. POPL 1990: 292-305
54		Nissim Francez: Corrigenda: Cooperating Proofs for Distributed Programs with Multiparty Interactions. Inf. Process. Lett. 34(1): 57 (1990)
53		Nissim Francez: Corrigenda: Cooperating Proofs for Distributed Programs with Multiparty Interactions. Inf. Process. Lett. 35(5): 275 (1990)
	1989
52		Shmuel Sagiv, O. Edelstein, Nissim Francez, Michael Rodeh: Resolving Circularity in Attribute Grammars with Applications to Data Flow Analysis. POPL 1989: 36-48
51		Michael Evangelist, Nissim Francez, Shmuel Katz: Multiparty Interactions for Interprocess Communication and Synchronization. IEEE Trans. Software Eng. 15(11): 1417-1426 (1989)
50		Sara Porat, Nissim Francez: Fairness in Context-Free Grammars under Every Choice-strategy Inf. Comput. 80(3): 249-268 (1989)
49		Nissim Francez: Cooperating Proofs for Distributed Programs with Multiparty Interactions. Inf. Process. Lett. 32(5): 235-242 (1989)
	1988
48		Luc Bougé, Nissim Francez: A Compositional Approach to Superimposition. POPL 1988: 240-249
47		Krzysztof R. Apt, Nissim Francez, Shmuel Katz: Appraising Fairness in Languages for Distributed Programming. Distributed Computing 2(4): 226-241 (1988)
46		Ran Rinat, Nissim Francez, Orna Grumberg: Infinite Trees, Markings and Well-Foundedness Inf. Comput. 79(2): 131-154 (1988)
	1987
45		Krzysztof R. Apt, Nissim Francez, Shmuel Katz: Appraising Fairness in Languages for Distributed Programming. POPL 1987: 189-198
44		Nissim Francez, Shmuel Katz: Fairness and the axioms of control predicates. International Journal of Parallel Programming 16(4): 263-278 (1987)
	1986
43		Nissim Francez: Fairness. Springer 1986: I-XIII, 1-295
42		Ran Rinat, Nissim Francez, Orna Grumberg: Infinite Trees, Markings and Well Foundedness. CAAP 1986: 238-253
41		Sara Porat, Nissim Francez: Full-Commutation and Fair-Termination in Equational (and Combined) Term-Rewriting Systems. CADE 1986: 21-41
40		Nir Shavit, Nissim Francez: A New Approach to Detection of Locally Indicative Stability. ICALP 1986: 344-358
39		Orna Grumberg, Nissim Francez, Shmuel Katz: A Complete Rule for Equifair Termination. J. Comput. Syst. Sci. 33(3): 313-332 (1986)
38		Nissim Francez, Brent Hailpern, Gadi Taubenfeld: Script: A Communication Abstraction Mechanism and Its Verification. Sci. Comput. Program. 6(1): 35-88 (1986)
	1985
37		Nissim Francez, Orna Grumberg, Shmuel Katz, Amir Pnueli: Proving Termination of Prolog Programs. Logic of Programs 1985: 89-105
36		Sara Porat, Nissim Francez: Fairness in Term Rewriting Systems. RTA 1985: 287-300
35		Sara Porat, Nissim Francez: Fairness in Context-Free Grammars under Canonical Derivations. STACS 1985: 255-266
34		Nissim Francez, Shaula Yemini: Symmetric Intertask Communication. ACM Trans. Program. Lang. Syst. 7(4): 622-636 (1985)
33		Orna Grumberg, Nissim Francez, Johann A. Makowsky, Willem P. de Roever: A Proof Rule for Fair Termination of Guarded Commands Information and Control 66(1/2): 83-102 (1985)
32		Nissim Francez, Brent Hailpern: Script: A Communication Abstraction Mechanism. Operating Systems Review 19(2): 53-67 (1985)
	1984
31		Gadi Taubenfeld, Nissim Francez: Proof Rules for Communication Abstractions (Abstract). FSTTCS 1984: 118
30		Orna Grumberg, Nissim Francez, Shmuel Katz: Fail Termination of Communicating Processe. PODC 1984: 254-265
29		Nissim Francez, Dexter Kozen: Generalized Fair Termination. POPL 1984: 46-53
28		Krzysztof R. Apt, Nissim Francez: Modeling the Distributed Termination Convention of CSP. ACM Trans. Program. Lang. Syst. 6(3): 370-379 (1984)
27		A. Prasad Sistla, Edmund M. Clarke, Nissim Francez, Albert R. Meyer: Can Message Buffers Be Axiomatized in Linear Temporal Logic? Information and Control 63(1/2): 88-112 (1984)
26		Tzilla Elrad, Nissim Francez: A Weakest Precondition Semantics for Communicating Processes. Theor. Comput. Sci. 29: 231-250 (1984)
25		Nissim Francez, Daniel J. Lehmann, Amir Pnueli: A Linear-History Semantics for Languages for Distributed Programming. Theor. Comput. Sci. 32: 25-46 (1984)
	1983
24		Orna Grumberg, Nissim Francez, Shmuel Katz: A Compete Proof Rule for Strong Equifair Termination. Logic of Programs 1983: 257-278
23		Liuba Shrira, Nissim Francez, Michael Rodeh: Distributed k-Selection: From a Sequential to a Distributed Algorithm. PODC 1983: 143-153
22		Nissim Francez, Brent Hailpern: Script: A Communication Abstraction Mechanism. PODC 1983: 213-227
21		Nissim Francez: Product Properties and Their Direct Verification. Acta Inf. 20: 329-344 (1983)
20		Nissim Francez: Extended Naming Conventions for Communicating Processes. Sci. Comput. Program. 3(1): 101-114 (1983)
	1982
19		A. Prasad Sistla, Edmund M. Clarke, Nissim Francez, Yuri Gurevich: Can Message Buffers be Characterized in Linear Temporal Logic? PODC 1982: 148-156
18		Nissim Francez: Extended Naming Conventions for Communicating Processes. POPL 1982: 40-45
17		Nissim Francez, Michael Rodeh: Achieving Distributed Termination without Freezing. IEEE Trans. Software Eng. 8(3): 287-292 (1982)
16		Sara Porat, Nissim Francez, Shlomo Moran, Shmuel Zaks: Fair Deriviations in Context-Free Grammars Information and Control 55(1-3): 108-116 (1982)
15		Tzilla Elrad, Nissim Francez: Decomposition of Distributed Programs into Communication-Closed Layers. Sci. Comput. Program. 2(3): 155-173 (1982)
	1981
14		Liuba Shrira, Nissim Francez: An Experimental Implementation of CSP. ICDCS 1981: 126-136
	1980
13		Nissim Francez, Daniel J. Lehmann, Amir Pnueli: A Linear History Semantics for Distributed Languages (Extended Abstract) FOCS 1980: 143-151
12		Nissim Francez, Michael Rodeh: A Distributed Abstract Data Type Implemented by a Probabilistic Communication Scheme FOCS 1980: 373-379
11		Nissim Francez: Distributed Termination. ACM Trans. Program. Lang. Syst. 2(1): 42-55 (1980)
10		Krzysztof R. Apt, Nissim Francez, Willem P. de Roever: A Proof System for Communicating Sequential Processes. ACM Trans. Program. Lang. Syst. 2(3): 359-385 (1980)
	1979
9		Nissim Francez: On Achieving Distributed Termination. Semantics of Concurrent Computation 1979: 300-315
8		Nissim Francez, C. A. R. Hoare, Daniel J. Lehmann, Willem P. de Roever: Semantics of Nondeterminism, Concurrency, and Communication. J. Comput. Syst. Sci. 19(3): 290-308 (1979)
	1978
7		Nissim Francez, C. A. R. Hoare, Willem P. de Roever: Semantics of Nondeterminism, Concurrency and Communication (Extended Abstract). MFCS 1978: 191-200
6		Nissim Francez, Amir Pnueli: A Proof Method for Cyclic Programs. Acta Inf. 9: 133-157 (1978)
5		Nissim Francez: An Application of a Method for Analysis of Cyclic Programs. IEEE Trans. Software Eng. 4(5): 371-378 (1978)
	1977
4		Nissim Francez, Boris Klebansky, Amir Pnueli: Backtracking in Recursive Computations. Acta Inf. 8: 125-144 (1977)
3		Nissim Francez: Another Advantage of Keyword Notation for Parameter Communication with Subprograms. Commun. ACM 20(8): 604-605 (1977)
2		Nissim Francez: A Case for a Forward Predicate Transformer. Inf. Process. Lett. 6(6): 196-198 (1977)
	1973
1		Nissim Francez, Giora Slutzki: On the Non-Compactness of the Class of Program Schemas. Inf. Process. Lett. 2(5): 141-142 (1973)

Coauthor Index

1	Martín Abadi	[62]
2	Tamar Aizikowitz	[104]
3	Bowen Alpern	[62]
4	Krzysztof R. Apt	[10] [28] [45] [47] [62]
5	Paul C. Attie	[55] [69]
6	Ralph-Johan Back	[65]
7	Gilad Ben-Avi	[105]
8	Rachel Ben-Eliyahu-Zohary (Rachel Ben-Eliyahu)	[89]
9	Frank S. de Boer	[86]
10	Luc Bougé	[48]
11	Edmund M. Clarke	[19] [27]
12	Jean-Michel Couvreur	[66]
13	Roy Dyckhoff	[103] [105]
14	O. Edelstein	[52]
15	Tzilla Elrad	[15] [26]
16	Michael Evangelist	[51]
17	Limor Fix	[63] [67] [71]
18	Ira R. Forman	[58] [61] [64] [81]
19	Yaroslav Fyodorov	[94]
20	Evgeniy Gabrilovich	[82]
21	Daniel Genkin	[104] [106]
22	Mohamed G. Gouda	[66]
23	Orna Grumberg	[24] [30] [33] [37] [39] [42] [46] [55] [63] [67] [69] [71]
24	Yuri Gurevich	[19]
25	Brent Hailpern	[22] [32] [38]
26	C. A. R. Hoare (Tony Hoare)	[7] [8]
27	M. van Hulst	[86]
28	Efrat Jaeger	[92] [95]
29	Michael Kaminski	[59] [70] [89] [93] [99] [100] [102] [104] [106]
30	Shmuel Katz	[24] [30] [37] [39] [44] [45] [47] [51] [62]
31	Boris Klebansky	[4]
32	Dexter Kozen	[29]
33	Reino Kurki-Suonio	[65]
34	Leslie Lamport	[62]
35	Daniel J. Lehmann	[8] [13] [25]
36	Johann A. Makowsky (Janos Makowsky)	[33]
37	Albert R. Meyer	[27]
38	Shlomo Moran	[16]
39	Rani Nelken	[76] [77] [80] [90] [91]
40	Amir Pnueli	[4] [6] [13] [25] [37]
41	Sara Porat	[16] [35] [36] [41] [50] [72]
42	Amir Rahat	[57]
43	Ran Rinat	[42] [46]
44	Michael Rodeh	[12] [17] [23] [52] [56] [85]
45	Willem P. de Roever (Willem-Paul de Roever)	[7] [8] [10] [33]
46	Shmuel Sagiv (Mooly Sagiv)	[52] [56] [85]
47	Fred B. Schneider	[62]
48	Nir Shavit	[40]
49	Yael Shemesh	[73]
50	Oded Shmueli	[57]
51	Sharon Shoham	[101]
52	Liuba Shrira	[14] [23]
53	A. Prasad Sistla	[19] [27]
54	Giora Slutzki	[1]
55	Frank A. Stomp	[86]
56	Gadi Taubenfeld	[31] [38]
57	Tatyana Veksler	[97]
58	Reinhard Wilhelm	[56] [85]
59	Yoad Winter	[94] [98]
60	Shuly Wintner	[75] [78] [79] [82] [83] [88] [92] [95]
61	Shaula Yemini	[34]
62	Shmuel Zaks	[16]
63	Anna Zamansky	[98]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page