Jacques Cohen

According to our database, Jacques Cohen authored at least 61 papers between 1966 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Logic Programming and Constraint Logic Programming.

Jacques Cohen

Proceedings of the Computing Handbook, 2014

2011

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

2008

The crucial role of CS in systems and synthetic biology.

Jacques Cohen

Commun. ACM, 2008

From academia to the editorship.

Jacques Cohen

Commun. ACM, 2008

2005

Updating computer science education.

Jacques Cohen

Commun. ACM, 2005

Computer science and bioinformatics.

Jacques Cohen

Commun. ACM, 2005

2004

Bioinformatics - an introduction for computer scientists.

Jacques Cohen

ACM Comput. Surv., 2004

2001

A Tribute to Alain Colmerauer.

Jacques Cohen

Theory Pract. Log. Program., 2001

Approaches for Simulating and Modeling Cell Regulation: Search for a Unified View Using Constraints.

Jacques Cohen

Electron. Trans. Artif. Intell., 2001

Computers and biology.

Jacques Cohen

Commun. ACM, 2001

1999

Guest Editorial.

Jacques Cohen

Constraints An Int. J., 1999

An Application of CLP: Checking the Correctness of Theorems in Geometry.

Denis Bouhineau, Laurent Trilling, Jacques Cohen

Constraints An Int. J., 1999

Computational Molecular Biology: A Promising Application Using LP and its Extensions.

Jacques Cohen

Proceedings of the Logic Programming Paradigm - A 25-Year Perspective, 1999

1997

Logic Programming and Constraint Logic Programming.

Jacques Cohen

Proceedings of the Computer Science and Engineering Handbook, 1997

1996

Logic Programming and Constraint Logic Programming.

Jacques Cohen

ACM Comput. Surv., 1996

Analyse de l'ADN: une approche multipasse à base de contraintes.

Olivier Baby, Jacques Cohen

Proceedings of the JFPLC'96, 1996

1995

Data-Parallel Design of an Interval-Based Constraint Language: Analysis of Speedups.

Jacques Cohen, Suresh Kalathur

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1995

1993

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

1992

Computer-Assisted Microanalysis of Parallel Programs.

Timothy J. Hickey, Jacques Cohen, Hitofumi Hotta, Thierry PetitJean

ACM Trans. Program. Lang. Syst., 1992

Software Tools for Micro-analysis of Programs.

Jacques Cohen, Aline Weitzman

Softw. Pract. Exp., 1992

Meta-Level Interpretation of Constraint Languages A Case Study: Logical Primitives.

Timothy J. Hickey, Jacques Cohen, V. Deschamps

New Gener. Comput., 1992

First Specialize, Then Generalize (Indroduction to the Special Section on Logic Programming).

Jacques Cohen

Commun. ACM, 1992

1991

Meta-Level Interpretation of CLP(Lists).

Jacques Cohen, Pascal Koiran, Catherine Perrin

Proceedings of the Constraint Logic Programming, 1991

1990

A Language for Specifying Program Transformations.

David Hildum, Jacques Cohen

IEEE Trans. Software Eng., 1990

Constraint Logic Programming Languages.

Jacques Cohen

Commun. ACM, 1990

1988

Automating program analysis.

Timothy J. Hickey, Jacques Cohen

J. ACM, 1988

A View of the Origins and Development of Prolog.

Jacques Cohen

Commun. ACM, 1988

1987

Parsing and Compiling Using Prolog.

Jacques Cohen, Timothy J. Hickey

ACM Trans. Program. Lang. Syst., 1987

1985

Estimating the Speedup in Parallel Parsing.

Jacques Cohen, Stuart Kolodner

IEEE Trans. Software Eng., 1985

Describing Prolog by Its Interpretation and Compilation.

Jacques Cohen

Commun. ACM, 1985

1984

Parser Generation and Grammar Manipulation Using Prolog's Infinite Trees.

Francis Giannesini, Jacques Cohen

J. Log. Program., 1984

Performance Analysis of On-the-Fly Garbage Collection.

Timothy J. Hickey, Jacques Cohen

Commun. ACM, 1984

1983

Comparison of Compacting Algorithms for Garbage Collection.

Jacques Cohen, Alexandru Nicolau

ACM Trans. Program. Lang. Syst., 1983

Uniform Random Generation of Strings in a Context-Free Language.

Timothy J. Hickey, Jacques Cohen

SIAM J. Comput., 1983

A Note on a Fast Algorithm for Sparse Matrix Multiplication.

Jacques Cohen

Inf. Process. Lett., 1983

1982

Upper Bounds for Speedup in Parallel Parsing.

Jacques Cohen, Timothy J. Hickey, Joel Katcoff

J. ACM, 1982

Computer-Assisted Microanalysis of Programs.

Jacques Cohen

Commun. ACM, 1982

1981

Garbage Collection of Linked Data Structures.

Jacques Cohen

ACM Comput. Surv., 1981

1980

An interpreter for a nondeterministic language.

Jacques Cohen, Robert Stachel

Int. J. Parallel Program., 1980

Surveyor's Forum: Determining a Search.

Jacques Cohen

ACM Comput. Surv., 1980

1979

Evaluating and Improving Recursive Descent Parsers.

Jacques Cohen, Robin Sitver, David Auty

IEEE Trans. Software Eng., 1979

A Case Study in Program Transformation: Translation into Polish.

Jacques Cohen, Robin Sitver

IEEE Trans. Software Eng., 1979

Two Algorithms for Determining Volumes of Convex Polyhedra.

Jacques Cohen, Timothy J. Hickey

J. ACM, 1979

Non-Deterministic Algorithms.

Jacques Cohen

ACM Comput. Surv., 1979

Computer-Aided Micro-Analysis of Programs.

Jacques Cohen

Proceedings of the 4th International Conference on Software Engineering, 1979

1978

Analyses of Deterministic Parsing Algorithms.

Jacques Cohen, Martin A. Roth

Commun. ACM, 1978

1977

Symbolic Solution of Finite-Difference Equations.

Jacques Cohen, Joel Katcoff

ACM Trans. Math. Softw., 1977

A Language for Inquiring about the Run-time Behaviour of Programs.

Jacques Cohen, Neal Carpenter

Softw. Pract. Exp., 1977

Automatic Solution of a Certain Class of Combinatorial Problems.

Jacques Cohen, Joel Katcoff

Inf. Process. Lett., 1977

1976

On the Implementation of Strassen's Fast Multiplication Algorithm.

Jacques Cohen, Martin S. Roth

Acta Informatica, 1976

1975

Experience with a Conversational Parser Generating System.

Jacques Cohen

Softw. Pract. Exp., 1975

Interpretation of Non-Deterministic Algorithms in Higher-Level Languages.

Jacques Cohen

Inf. Process. Lett., 1975

1974

A nucleus of a theorem-prover described inAlgol -68.

Jacques Cohen, Laurent Trilling, Peter Wegner

Int. J. Parallel Program., 1974

Non-Deterministic FORTRAN.

Jacques Cohen, Eileen Carton

Comput. J., 1974

Two Languages for Estimating Program Efficiency.

Jacques Cohen, Carl Zuckerman

Commun. ACM, 1974

1973

Syntax-Directed Unit Conversion.

Jacques Cohen

Inf. Process. Lett., 1973

1972

A simple hardware model of a Turing machine: its educational use.

Ira Gilbert, Jacques Cohen

Proceedings of the ACM annual conference, 1972

1971

An interactive system for proving theorems in the predicate calculus.

Jacques Cohen, Ann Rubin

Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, 1971

1967

Langages pour l'écriture de compilateurs. (Languages for Compiler Writing).

Jacques Cohen

PhD thesis, 1967

A use of fast and slow memories in list-processing languages.

Jacques Cohen

Commun. ACM, 1967

1966

Note on Ordering of Grammar Rules in Syntax-Analyzers.

Jacques Cohen, Xuan Nguyen-Dinh

Comput. J., 1966