Jacques Cohen

Available identifiers

zbMath Open cohen.jacquesDBLPc/JacquesCohenWikidataQ19887811 ScholiaQ19887811MaRDI QIDQ628334

List of research outcomes

Publication	Date of Publication	Type
Efficient synthesis of a class of Boolean programs from I-O data: application to genetic networks	2011-03-10	Paper
A tribute to Alain Colmerauer	2004-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q4702572	2002-02-21	Paper
An application of CLP: Checking the correctness of theorems in geometry	2000-12-18	Paper
An algorithm for linear constraint solving: its incorporation in a prolog meta-interpreter for CLP	1993-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4207562	1989-01-01	Paper
Automating program analysis	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3809231	1986-01-01	Paper
Parser generation and grammar manipulation using prolog's infinite trees	1984-01-01	Paper
Uniform Random Generation of Strings in a Context-Free Language	1983-01-01	Paper
A note on a fast algorithm for sparse matrix multiplication	1983-01-01	Paper
Upper Bounds for Speedup in Parallel Parsing	1982-01-01	Paper
Computer-assisted microanalysis of programs	1982-01-01	Paper
Two Algorithms for Determining Volumes of Convex Polyhedra	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3049801	1979-01-01	Paper
Evaluating and Improving Recursive Descent Parsers	1979-01-01	Paper
A Case Study in Program Transformation: Translation into Polish	1979-01-01	Paper
Analyses of deterministic parsing algorithms	1978-01-01	Paper
Symbolic Solution of Finite-Difference Equations	1977-01-01	Paper
Automatic solution of a certain class of combinatorial problems	1977-01-01	Paper
A language for inquiring about the run-time behaviour of programs	1977-01-01	Paper
On the implementation of Strassen's fast multiplication algorithm	1976-01-01	Paper
Symbolic and numerical computer analysis of the combined local and overall buckling of rectangular thin-walled columns	1976-01-01	Paper
A conversational language for solving problems in dimensional analysis	1975-01-01	Paper
Interpretation of non-deterministic algorithms in higher-level languages	1975-01-01	Paper
Experience with a conversational parser generating system	1975-01-01	Paper
Compilation of linear partial differential equations into finite-difference programs	1975-01-01	Paper
A nucleus of a theorem-prover described inAlgol-68	1974-01-01	Paper
Two languages for estimating program efficiency	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5640743	1972-01-01	Paper
Evalquote in simple Fortran: A tutorial on interpreting Lisp	1972-01-01	Paper

Research outcomes over time

This page was built for person: Jacques Cohen