| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ruth Charney, Jacques Cohen, Aurélien Rizk |
Efficient synthesis of a class of Boolean programs from I-O data: Application to genetic networks.  |
Discrete Applied Mathematics  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen |
From academia to the editorship. |
Commun. ACM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen |
The crucial role of CS in systems and synthetic biology. |
Commun. ACM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen |
Updating computer science education. |
Commun. ACM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen |
Computer science and bioinformatics. |
Commun. ACM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen |
A Tribute to Alain Colmerauer |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jacques Cohen |
Bioinformatics - an introduction for computer scientists. |
ACM Comput. Surv. |
2004 |
DBLP DOI BibTeX RDF |
Molecular cell biology, RNA and protein structure, cell simulation and modeling, parsing biological sequences, dynamic programming, hidden-Markov-models, computer, microarray, alignments, DNA, phylogenetic trees |
| 1 | Jacques Cohen |
Computers and biology. |
Commun. ACM |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen |
Approaches for Simulating and Modeling Cell Regulation: Search for a Unified View Using Constraints. |
Electron. Trans. Artif. Intell. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jacques Cohen |
A Tribute to Alain Colmerauer. |
TPLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Bouhineau, Laurent Trilling, Jacques Cohen |
An Application of CLP: Checking the Correctness of Theorems in Geometry. |
Constraints |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen |
Guest Editorial. |
Constraints |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen |
Logic Programming and Constraint Logic Programming. |
The Computer Science and Engineering Handbook |
1997 |
DBLP BibTeX RDF |
|
| 1 | Jacques Cohen |
Logic Programming and Constraint Logic Programming. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Baby, Jacques Cohen |
Analyse de l'ADN: une approche multipasse à base de contraintes. |
JFPLC |
1996 |
DBLP BibTeX RDF |
|
| 1 | Jacques Cohen, Suresh Kalathur |
Data-Parallel Design of an Interval-Based Constraint Language: Analysis of Speedups. |
PDPTA |
1995 |
DBLP BibTeX RDF |
|
| 1 | Jean-Louis Imbert, Jacques Cohen, Marie-Dominique Weeger |
An Algorithm for Linear Constraint Solving: Its Incorporation in a Prolog Meta-Interpreter for CLP. |
J. Log. Program. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen, Aline Weitzman |
Software Tools for Micro-analysis of Programs. |
Softw., Pract. Exper. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy J. Hickey, Jacques Cohen, Hitofumi Hotta, Thierry PetitJean |
Computer-Assisted Microanalysis of Parallel Programs. |
ACM Trans. Program. Lang. Syst. |
1992 |
DBLP DOI BibTeX RDF |
execution graph, microanalysis, Prolog, execution trace, speed up, event graph |
| 1 | Jacques Cohen |
First Specialize, Then Generalize (Indroduction to the Special Section on Logic Programming). |
Commun. ACM |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy J. Hickey, Jacques Cohen, V. Deschamps |
Meta-Level Interpretation of Constraint Languages A Case Study: Logical Primitives. |
New Generation Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Bekkers, Jacques Cohen (eds.) |
Memory Management, International Workshop IWMM 92, St. Malo, France, September 17-19, 1992, Proceedings |
IWMM |
1992 |
DBLP BibTeX RDF |
|
| 1 | Jacques Cohen, Pascal Koiran, Catherine Perrin |
Meta-Level Interpretation of CLP(Lists). |
WCLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | David Hildum, Jacques Cohen |
A Language for Specifying Program Transformations. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
Prolog, program transformations, specification language, specification languages, language constructs |
| 1 | Jacques Cohen |
Constraint Logic Programming Languages. |
Commun. ACM |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen |
A View of the Origins and Development of Prolog. |
Commun. ACM |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy J. Hickey, Jacques Cohen |
Automating program analysis. |
J. ACM |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen, Timothy J. Hickey |
Parsing and Compiling Using Prolog. |
ACM Trans. Program. Lang. Syst. |
1987 |
DBLP DOI BibTeX RDF |
Prolog |
| 1 | Jacques Cohen, Stuart Kolodner |
Estimating the Speedup in Parallel Parsing. |
IEEE Trans. Software Eng. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen |
Describing Prolog by Its Interpretation and Compilation. |
Commun. ACM |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Francis Giannesini, Jacques Cohen |
Parser Generation and Grammar Manipulation Using Prolog's Infinite Trees. |
J. Log. Program. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy J. Hickey, Jacques Cohen |
Performance Analysis of On-the-Fly Garbage Collection. |
Commun. ACM |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen |
A Note on a Fast Algorithm for Sparse Matrix Multiplication. |
Inf. Process. Lett. |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen, Alexandru Nicolau |
Comparison of Compacting Algorithms for Garbage Collection. |
ACM Trans. Program. Lang. Syst. |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy J. Hickey, Jacques Cohen |
Uniform Random Generation of Strings in a Context-Free Language. |
SIAM J. Comput. |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen |
Computer-Assisted Microanalysis of Programs. |
Commun. ACM |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen, Timothy J. Hickey, Joel Katcoff |
Upper Bounds for Speedup in Parallel Parsing. |
J. ACM |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen |
Garbage Collection of Linked Data Structures. |
ACM Comput. Surv. |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen, Robert Stachel |
An interpreter for a nondeterministic language. |
International Journal of Parallel Programming |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen |
Surveyor's Forum: Determining a Search. |
ACM Comput. Surv. |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen, Robin Sitver, David Auty |
Evaluating and Improving Recursive Descent Parsers. |
IEEE Trans. Software Eng. |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen, Robin Sitver |
A Case Study in Program Transformation: Translation into Polish. |
IEEE Trans. Software Eng. |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen, Timothy J. Hickey |
Two Algorithms for Determining Volumes of Convex Polyhedra. |
J. ACM |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen |
Non-Deterministic Algorithms. |
ACM Comput. Surv. |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen |
Computer-Aided Micro-Analysis of Programs. |
ICSE |
1979 |
DBLP BibTeX RDF |
|
| 1 | Jacques Cohen, Martin A. Roth |
Analyses of Deterministic Parsing Algorithms. |
Commun. ACM |
1978 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen, Joel Katcoff |
Automatic Solution of a Certain Class of Combinatorial Problems. |
Inf. Process. Lett. |
1977 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen, Neal Carpenter |
A Language for Inquiring about the Run-time Behaviour of Programs. |
Softw., Pract. Exper. |
1977 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen, Joel Katcoff |
Symbolic Solution of Finite-Difference Equations. |
ACM Trans. Math. Softw. |
1977 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen, Martin S. Roth |
On the Implementation of Strassen's Fast Multiplication Algorithm. |
Acta Inf. |
1976 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen |
Interpretation of Non-Deterministic Algorithms in Higher-Level Languages. |
Inf. Process. Lett. |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen |
Experience with a Conversational Parser Generating System. |
Softw., Pract. Exper. |
1975 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen, Laurent Trilling, Peter Wegner |
A nucleus of a theorem-prover described inAlgol -68. |
International Journal of Parallel Programming |
1974 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen, Carl Zuckerman |
Two Languages for Estimating Program Efficiency. |
Commun. ACM |
1974 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen, Eileen Carton |
Non-Deterministic FORTRAN. |
Comput. J. |
1974 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen |
Syntax-Directed Unit Conversion. |
Inf. Process. Lett. |
1973 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Cohen |
A use of fast and slow memories in list-processing languages. |
Commun. ACM |
1967 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")