Jacques Cohen

Available identifiers

zbMath Open cohen.jacquesWikidataQ19887811 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
A note on a fast algorithm for sparse matrix multiplication	1983-01-01	Paper
Uniform Random Generation of Strings in a Context-Free Language	1983-01-01	Paper
Upper Bounds for Speedup in Parallel Parsing	1982-01-01	Paper
Computer-assisted microanalysis of programs	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3049801	1979-01-01	Paper
A Case Study in Program Transformation: Translation into Polish	1979-01-01	Paper
Two Algorithms for Determining Volumes of Convex Polyhedra	1979-01-01	Paper
Evaluating and Improving Recursive Descent Parsers	1979-01-01	Paper
Analyses of deterministic parsing algorithms	1978-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
Symbolic Solution of Finite-Difference Equations	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jacques Cohen