| Publication | Date of Publication | Type |
|---|
Efficient synthesis of a class of Boolean programs from I-O data: application to genetic networks
Discrete Applied Mathematics | 2011-03-10 | Paper |
A tribute to Alain Colmerauer
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
| scientific article; zbMATH DE number 1368928 (Why is no real title available?) | 2002-02-21 | Paper |
An application of CLP: Checking the correctness of theorems in geometry
Constraints | 2000-12-18 | Paper |
An algorithm for linear constraint solving: its incorporation in a prolog meta-interpreter for CLP
The Journal of Logic Programming | 1993-08-23 | Paper |
| scientific article; zbMATH DE number 4128360 (Why is no real title available?) | 1989-01-01 | Paper |
Automating program analysis
Journal of the ACM | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4078761 (Why is no real title available?) | 1986-01-01 | Paper |
Parser generation and grammar manipulation using prolog's infinite trees
The Journal of Logic Programming | 1984-01-01 | Paper |
Uniform Random Generation of Strings in a Context-Free Language
SIAM Journal on Computing | 1983-01-01 | Paper |
A note on a fast algorithm for sparse matrix multiplication
Information Processing Letters | 1983-01-01 | Paper |
Upper Bounds for Speedup in Parallel Parsing
Journal of the ACM | 1982-01-01 | Paper |
Computer-assisted microanalysis of programs
Communications of the ACM | 1982-01-01 | Paper |
Two Algorithms for Determining Volumes of Convex Polyhedra
Journal of the ACM | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3644469 (Why is no real title available?) | 1979-01-01 | Paper |
Evaluating and Improving Recursive Descent Parsers
IEEE Transactions on Software Engineering | 1979-01-01 | Paper |
A Case Study in Program Transformation: Translation into Polish
IEEE Transactions on Software Engineering | 1979-01-01 | Paper |
Analyses of deterministic parsing algorithms
Communications of the ACM | 1978-01-01 | Paper |
Symbolic Solution of Finite-Difference Equations
ACM Transactions on Mathematical Software | 1977-01-01 | Paper |
Automatic solution of a certain class of combinatorial problems
Information Processing Letters | 1977-01-01 | Paper |
A language for inquiring about the run-time behaviour of programs
Software: Practice and Experience | 1977-01-01 | Paper |
On the implementation of Strassen's fast multiplication algorithm
Acta Informatica | 1976-01-01 | Paper |
Symbolic and numerical computer analysis of the combined local and overall buckling of rectangular thin-walled columns
Computer Methods in Applied Mechanics and Engineering | 1976-01-01 | Paper |
A conversational language for solving problems in dimensional analysis
Computer Methods in Applied Mechanics and Engineering | 1975-01-01 | Paper |
Interpretation of non-deterministic algorithms in higher-level languages
Information Processing Letters | 1975-01-01 | Paper |
Experience with a conversational parser generating system
Software: Practice and Experience | 1975-01-01 | Paper |
Compilation of linear partial differential equations into finite-difference programs
BIT | 1975-01-01 | Paper |
A nucleus of a theorem-prover described inAlgol-68
International Journal of Computer & Information Sciences | 1974-01-01 | Paper |
Two languages for estimating program efficiency
Communications of the ACM | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3368173 (Why is no real title available?) | 1972-01-01 | Paper |
Evalquote in simple Fortran: A tutorial on interpreting Lisp
BIT | 1972-01-01 | Paper |
