| 2007 | LATA | Pushdown automata with cancellation and commutation-augmented pregroups grammars. | Nissim Francez, Michael Kaminski |
| 2002 | COLING | Guaranteeing Parsing Termination of Unification Grammars. | Efrat Jaeger, Nissim Francez, Shuly Wintner |
| 2000 | COLING | Querying Temporal Databases Using Controlled Natural Language. | Rani Nelken, Nissim Francez |
| 1998 | INLG | System Demonstration Natural Language Generation With Abstract Machine. | Evgeniy Gabrilovich, Nissim Francez, Shuly Wintner |
| 1996 | CAV | Automatic Translation of Natural Language System Specifications. | Rani Nelken, Nissim Francez |
| 1995 | EACL | Splitting the Reference Time: Temporal Anaphora and Quantification in DRT. | Rani Nelken, Nissim Francez |
| 1992 | ICALP | Program Composition via Unification. | Limor Fix, Nissim Francez, Orna Grumberg |
| 1992 | ICDCS | Asynchronous Unison (Extended Abstract). | Jean-Michel Couvreur, Nissim Francez, Mohamed G. Gouda |
| 1991 | CONCUR | Synchrony Loosening Transformations for Interacting Processes. | Nissim Francez, Ira R. Forman |
| 1991 | ICALP | Program Composition and Modular Verification. | Limor Fix, Nissim Francez, Orna Grumberg |
| 1990 | CONCUR | Superimposition for Interacting Processes. | Nissim Francez, Ira R. Forman |
| 1990 | FOCS | Finite-Memory Automata (Extended Abstract) | Michael Kaminski, Nissim Francez |
| 1990 | JELIA | On the Equivalence of Deferred Substitution and Immediate Substitution Semantics for Logic Programs. | Amir Rahat, Nissim Francez, Oded Shmueli |
| 1990 | POPL | Fairness and Hyperfairness in Multi-Party Interactions. | Paul C. Attie, Nissim Francez, Orna Grumberg |
| 1989 | POPL | Resolving Circularity in Attribute Grammars with Applications to Data Flow Analysis. | Shmuel Sagiv, Orit Edelstein, Nissim Francez, Michael Rodeh |
| 1988 | POPL | A Compositional Approach to Superimposition. | Luc Boug, Nissim Francez |
| 1987 | POPL | Appraising Fairness in Languages for Distributed Programming. | Krzysztof R. Apt, Nissim Francez, Shmuel Katz |
| 1986 | CADE | Full-Commutation and Fair-Termination in Equational (and Combined) Term-Rewriting Systems. | Sara Porat, Nissim Francez |
| 1986 | ICALP | A New Approach to Detection of Locally Indicative Stability. | Nir Shavit, Nissim Francez |
| 1985 | STACS | Fairness in Context-Free Grammars under Canonical Derivations. | Sara Porat, Nissim Francez |
| 1984 | PODC | Fail Termination of Communicating Processe. | Orna Grumberg, Nissim Francez, Shmuel Katz |
| 1984 | POPL | Generalized Fair Termination. | Nissim Francez, Dexter Kozen |
| 1983 | PODC | Script: A Communication Abstraction Mechanism. | Nissim Francez, Brent Hailpern |
| 1983 | PODC | Distributed k-Selection: From a Sequential to a Distributed Algorithm. | Liuba Shrira, Nissim Francez, Michael Rodeh |
| 1983 | SIGCOMM | A methodology for verifying request processing protocols. | Christos Nikolaou, Edmund M. Clarke, Nissim Francez, Stephen A. Schuman |
| 1982 | PODC | Can Message Buffers be Characterized in Linear Temporal Logic? | A. Prasad Sistla, Edmund M. Clarke, Nissim Francez, Yuri Gurevich |
| 1982 | POPL | Extended Naming Conventions for Communicating Processes. | Nissim Francez |
| 1981 | ICDCS | An Experimental Implementation of CSP. | Liuba Shrira, Nissim Francez |
| 1980 | FOCS | A Linear History Semantics for Distributed Languages (Extended Abstract) | Nissim Francez, Daniel Lehmann, Amir Pnueli |
| 1980 | FOCS | A Distributed Abstract Data Type Implemented by a Probabilistic Communication Scheme | Nissim Francez, Michael Rodeh |
| 1978 | MFCS | Semantics of Nondeterminism, Concurrency and Communication (Extended Abstract). | Nissim Francez, C. A. R. Hoare, Willem P. de Roever |