Jacques Cohen

According to our database1, Jacques Cohen
  • authored at least 58 papers between 1967 and 2014.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2014
Logic Programming and Constraint Logic Programming.
Proceedings of the Computing Handbook, 2014

2011
Efficient synthesis of a class of Boolean programs from I-O data: Application to genetic networks.
Discrete Applied Mathematics, 2011

2008
The crucial role of CS in systems and synthetic biology.
Commun. ACM, 2008

From academia to the editorship.
Commun. ACM, 2008

2005
Updating computer science education.
Commun. ACM, 2005

Computer science and bioinformatics.
Commun. ACM, 2005

2004
Bioinformatics - an introduction for computer scientists.
ACM Comput. Surv., 2004

A Tribute to Alain Colmerauer
CoRR, 2004

2001
A Tribute to Alain Colmerauer.
TPLP, 2001

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

Computers and biology.
Commun. ACM, 2001

1999
Guest Editorial.
Constraints, 1999

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

1997
Logic Programming and Constraint Logic Programming.
Proceedings of the Computer Science and Engineering Handbook, 1997

1996
Logic Programming and Constraint Logic Programming.
ACM Comput. Surv., 1996

Analyse de l'ADN: une approche multipasse à base de contraintes.
Proceedings of the JFPLC'96, 1996

1995
Data-Parallel Design of an Interval-Based Constraint Language: Analysis of Speedups.
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.
J. Log. Program., 1993

1992
Computer-Assisted Microanalysis of Parallel Programs.
ACM Trans. Program. Lang. Syst., 1992

Software Tools for Micro-analysis of Programs.
Softw., Pract. Exper., 1992

Meta-Level Interpretation of Constraint Languages A Case Study: Logical Primitives.
New Generation Comput., 1992

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

1991
Meta-Level Interpretation of CLP(Lists).
WCLP, 1991

1990
A Language for Specifying Program Transformations.
IEEE Trans. Software Eng., 1990

Constraint Logic Programming Languages.
Commun. ACM, 1990

1988
Automating program analysis.
J. ACM, 1988

A View of the Origins and Development of Prolog.
Commun. ACM, 1988

1987
Parsing and Compiling Using Prolog.
ACM Trans. Program. Lang. Syst., 1987

1985
Estimating the Speedup in Parallel Parsing.
IEEE Trans. Software Eng., 1985

Describing Prolog by Its Interpretation and Compilation.
Commun. ACM, 1985

1984
Parser Generation and Grammar Manipulation Using Prolog's Infinite Trees.
J. Log. Program., 1984

Performance Analysis of On-the-Fly Garbage Collection.
Commun. ACM, 1984

1983
Comparison of Compacting Algorithms for Garbage Collection.
ACM Trans. Program. Lang. Syst., 1983

Uniform Random Generation of Strings in a Context-Free Language.
SIAM J. Comput., 1983

A Note on a Fast Algorithm for Sparse Matrix Multiplication.
Inf. Process. Lett., 1983

1982
Upper Bounds for Speedup in Parallel Parsing.
J. ACM, 1982

Computer-Assisted Microanalysis of Programs.
Commun. ACM, 1982

1981
Garbage Collection of Linked Data Structures.
ACM Comput. Surv., 1981

1980
An interpreter for a nondeterministic language.
International Journal of Parallel Programming, 1980

Surveyor's Forum: Determining a Search.
ACM Comput. Surv., 1980

1979
Evaluating and Improving Recursive Descent Parsers.
IEEE Trans. Software Eng., 1979

A Case Study in Program Transformation: Translation into Polish.
IEEE Trans. Software Eng., 1979

Two Algorithms for Determining Volumes of Convex Polyhedra.
J. ACM, 1979

Non-Deterministic Algorithms.
ACM Comput. Surv., 1979

Computer-Aided Micro-Analysis of Programs.
Proceedings of the 4th International Conference on Software Engineering, 1979

1978
Analyses of Deterministic Parsing Algorithms.
Commun. ACM, 1978

1977
Symbolic Solution of Finite-Difference Equations.
ACM Trans. Math. Softw., 1977

A Language for Inquiring about the Run-time Behaviour of Programs.
Softw., Pract. Exper., 1977

Automatic Solution of a Certain Class of Combinatorial Problems.
Inf. Process. Lett., 1977

1976
On the Implementation of Strassen's Fast Multiplication Algorithm.
Acta Inf., 1976

1975
Experience with a Conversational Parser Generating System.
Softw., Pract. Exper., 1975

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

1974
A nucleus of a theorem-prover described inAlgol -68.
International Journal of Parallel Programming, 1974

Non-Deterministic FORTRAN.
Comput. J., 1974

Two Languages for Estimating Program Efficiency.
Commun. ACM, 1974

1973
Syntax-Directed Unit Conversion.
Inf. Process. Lett., 1973

1967
Langages pour l'écriture de compilateurs. (Languages for Compiler Writing).
PhD thesis, 1967

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


  Loading...