Authors: SAGIV M FRANCEZ N RODEH M WILHELM R

Citation: M. Sagiv et al., A LOGIC-BASED APPROACH TO PROGRAM FLOW-ANALYSIS, Acta informatica, 35(6), 1998, pp. 457-504

Authors: SHEMESH Y FRANCEZ N

Citation: Y. Shemesh et N. Francez, FINITE-STATE UNIFICATION AUTOMATA AND RELATIONAL LANGUAGES, Information and computation, 114(2), 1994, pp. 192-213

Authors: KAMINSKI M FRANCEZ N

Citation: M. Kaminski et N. Francez, FINITE-MEMORY AUTOMATA, Theoretical computer science, 134(2), 1994, pp. 329-363

Authors: FIX L FRANCEZ N GRUMBERG O

Citation: L. Fix et al., PROGRAM COMPOSITION VIA UNIFICATION, Theoretical computer science, 131(1), 1994, pp. 139-179

Authors: LAPPIN S FRANCEZ N

Citation: S. Lappin et N. Francez, E-TYPE PRONOUNS, I-SUMS, AND DONKEY ANAPHORA, Linguistics and philosophy, 17(4), 1994, pp. 391-428

Authors: ATTIE PC FRANCEZ N GRUMBERG O

Citation: Pc. Attie et al., FAIRNESS AND HYPERFAIRNESS IN MULTIPARTY INTERACTIONS, Distributed computing, 6(4), 1993, pp. 245-254