Note on Ordering of Grammar Rules in Syntax-Analyzers. - Jacques Cohen; Xuan Nguyen-Dinh (Comput. J., 1966)

A use of fast and slow memories in list-processing languages. - Jacques Cohen (Commun. ACM, 1967)

Langages pour l'écriture de compilateurs. (Languages for Compiler Writing). - Jacques Cohen (1967)

An interactive system for proving theorems in the predicate calculus. - Jacques Cohen; Ann Rubin (SYMSAC, 1971)

A simple hardware model of a Turing machine: its educational use. - Ira Gilbert; Jacques Cohen (ACM Annual Conference (1), 1972)

Syntax-Directed Unit Conversion. - Jacques Cohen (Inf. Process. Lett., 1973)

Two Languages for Estimating Program Efficiency. - Jacques Cohen; Carl Zuckerman (Commun. ACM, 1974)

Non-Deterministic FORTRAN. - Jacques Cohen; Eileen Carton (Comput. J., 1974)

A nucleus of a theorem-prover described inAlgol -68. - Jacques Cohen; Laurent Trilling; Peter Wegner (Int. J. Parallel Program., 1974)

Interpretation of Non-Deterministic Algorithms in Higher-Level Languages. - Jacques Cohen (Inf. Process. Lett., 1975)

Experience with a Conversational Parser Generating System. - Jacques Cohen (Softw. Pract. Exp., 1975)

On the Implementation of Strassen's Fast Multiplication Algorithm. - Jacques Cohen; Martin S. Roth (Acta Informatica, 1976)

Automatic Solution of a Certain Class of Combinatorial Problems. - Jacques Cohen; Joel Katcoff (Inf. Process. Lett., 1977)

A Language for Inquiring about the Run-time Behaviour of Programs. - Jacques Cohen; Neal Carpenter (Softw. Pract. Exp., 1977)

Symbolic Solution of Finite-Difference Equations. - Jacques Cohen; Joel Katcoff (ACM Trans. Math. Softw., 1977)

Analyses of Deterministic Parsing Algorithms. - Jacques Cohen; Martin A. Roth (Commun. ACM, 1978)

Computer-Aided Micro-Analysis of Programs. - Jacques Cohen (ICSE, 1979)

Non-Deterministic Algorithms. - Jacques Cohen (ACM Comput. Surv., 1979)

Two Algorithms for Determining Volumes of Convex Polyhedra. - Jacques Cohen; Timothy J. Hickey (J. ACM, 1979)

A Case Study in Program Transformation: Translation into Polish. - Jacques Cohen; Robin Sitver (IEEE Trans. Software Eng., 1979)

Evaluating and Improving Recursive Descent Parsers. - Jacques Cohen; Robin Sitver; David Auty (IEEE Trans. Software Eng., 1979)

Surveyor's Forum: Determining a Search. - Jacques Cohen (ACM Comput. Surv., 1980)

An interpreter for a nondeterministic language. - Jacques Cohen; Robert Stachel (Int. J. Parallel Program., 1980)

Garbage Collection of Linked Data Structures. - Jacques Cohen (ACM Comput. Surv., 1981)

Computer-Assisted Microanalysis of Programs. - Jacques Cohen (Commun. ACM, 1982)

Upper Bounds for Speedup in Parallel Parsing. - Jacques Cohen; Timothy J. Hickey; Joel Katcoff (J. ACM, 1982)

A Note on a Fast Algorithm for Sparse Matrix Multiplication. - Jacques Cohen (Inf. Process. Lett., 1983)

Uniform Random Generation of Strings in a Context-Free Language. - Timothy J. Hickey; Jacques Cohen (SIAM J. Comput., 1983)

Comparison of Compacting Algorithms for Garbage Collection. - Jacques Cohen; Alexandru Nicolau (ACM Trans. Program. Lang. Syst., 1983)

Performance Analysis of On-the-Fly Garbage Collection. - Timothy J. Hickey; Jacques Cohen (Commun. ACM, 1984)

Parser Generation and Grammar Manipulation Using Prolog's Infinite Trees. - Francis Giannesini; Jacques Cohen (J. Log. Program., 1984)

Describing Prolog by Its Interpretation and Compilation. - Jacques Cohen (Commun. ACM, 1985)

Estimating the Speedup in Parallel Parsing. - Jacques Cohen; Stuart Kolodner (IEEE Trans. Software Eng., 1985)

Parsing and Compiling Using Prolog. - Jacques Cohen; Timothy J. Hickey (ACM Trans. Program. Lang. Syst., 1987)

A View of the Origins and Development of Prolog. - Jacques Cohen (Commun. ACM, 1988)

Automating program analysis. - Timothy J. Hickey; Jacques Cohen (J. ACM, 1988)

Constraint Logic Programming Languages. - Jacques Cohen (Commun. ACM, 1990)

A Language for Specifying Program Transformations. - David Hildum; Jacques Cohen (IEEE Trans. Software Eng., 1990)

Meta-Level Interpretation of CLP(Lists). - Jacques Cohen; Pascal Koiran; Catherine Perrin (WCLP, 1991)

First Specialize, Then Generalize (Indroduction to the Special Section on Logic Programming). - Jacques Cohen (Commun. ACM, 1992)

Meta-Level Interpretation of Constraint Languages A Case Study: Logical Primitives. - Timothy J. Hickey; Jacques Cohen; V. Deschamps (New Gener. Comput., 1992)

Software Tools for Micro-analysis of Programs. - Jacques Cohen; Aline Weitzman (Softw. Pract. Exp., 1992)

Computer-Assisted Microanalysis of Parallel Programs. - Timothy J. Hickey; Jacques Cohen; Hitofumi Hotta; Thierry PetitJean (ACM Trans. Program. Lang. Syst., 1992)

An Algorithm for Linear Constraint Solving: Its Incorporation in a Prolog Meta-Interpreter for CLP. - Jean-Louis Imbert; Jacques Cohen; Marie-Dominique Weeger (J. Log. Program., 1993)

Data-Parallel Design of an Interval-Based Constraint Language: Analysis of Speedups. - Jacques Cohen; Suresh Kalathur (PDPTA, 1995)

Analyse de l'ADN: une approche multipasse à base de contraintes. - Olivier Baby; Jacques Cohen (JFPLC, 1996)

Logic Programming and Constraint Logic Programming. - Jacques Cohen (ACM Comput. Surv., 1996)

Logic Programming and Constraint Logic Programming. - Jacques Cohen (The Computer Science and Engineering Handbook, 1997)

Computational Molecular Biology: A Promising Application Using LP and its Extensions. - Jacques Cohen (The Logic Programming Paradigm, 1999)

An Application of CLP: Checking the Correctness of Theorems in Geometry. - Denis Bouhineau; Laurent Trilling; Jacques Cohen (Constraints An Int. J., 1999)

Guest Editorial. - Jacques Cohen (Constraints An Int. J., 1999)

Computers and biology. - Jacques Cohen (Commun. ACM, 2001)

Approaches for Simulating and Modeling Cell Regulation: Search for a Unified View Using Constraints. - Jacques Cohen (Electron. Trans. Artif. Intell., 2001)

A Tribute to Alain Colmerauer. - Jacques Cohen (Theory Pract. Log. Program., 2001)

Bioinformatics - an introduction for computer scientists. - Jacques Cohen (ACM Comput. Surv., 2004)

Computer science and bioinformatics. - Jacques Cohen (Commun. ACM, 2005)

Updating computer science education. - Jacques Cohen (Commun. ACM, 2005)

From academia to the editorship. - Jacques Cohen (Commun. ACM, 2008)

The crucial role of CS in systems and synthetic biology. - Jacques Cohen (Commun. ACM, 2008)

Efficient synthesis of a class of Boolean programs from I-O data: Application to genetic networks. - Ruth Charney; Jacques Cohen; Aurélien Rizk (Discret. Appl. Math., 2011)

Logic Programming and Constraint Logic Programming. - Jacques Cohen (Computing Handbook, 3rd ed. (1), 2014)