Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJacques Cohen
Person information
- affiliation: Brandeis University, Waltham, MA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1967
[b1]Jacques Cohen:
Langages pour l'écriture de compilateurs. (Languages for Compiler Writing). Joseph Fourier University, Grenoble, France, 1967
Journal Articles
- 2011
- [j51]Ruth Charney, Jacques Cohen, Aurélien Rizk:
Efficient synthesis of a class of Boolean programs from I-O data: Application to genetic networks. Discret. Appl. Math. 159(6): 410-419 (2011) - 2008
- [j50]Jacques Cohen:
From academia to the editorship. Commun. ACM 51(1): 41-43 (2008) - [j49]Jacques Cohen:
The crucial role of CS in systems and synthetic biology. Commun. ACM 51(5): 15-18 (2008) - 2005
- [j48]Jacques Cohen:
Computer science and bioinformatics. Commun. ACM 48(3): 72-78 (2005) - [j47]Jacques Cohen:
Updating computer science education. Commun. ACM 48(6): 29-31 (2005) - 2004
- [j46]Jacques Cohen:
Bioinformatics - an introduction for computer scientists. ACM Comput. Surv. 36(2): 122-158 (2004) - 2001
- [j45]Jacques Cohen:
Computers and biology. Commun. ACM 44(3): 76-77 (2001) - [j44]Jacques Cohen:
Approaches for Simulating and Modeling Cell Regulation: Search for a Unified View Using Constraints. Electron. Trans. Artif. Intell. 5(B): 161-188 (2001) - [j43]Jacques Cohen:
A Tribute to Alain Colmerauer. Theory Pract. Log. Program. 1(6): 637-646 (2001) - 1999
- [j42]Jacques Cohen:
Guest Editorial. Constraints An Int. J. 4(4): 307-311 (1999) - [j41]Denis Bouhineau, Laurent Trilling, Jacques Cohen:
An Application of CLP: Checking the Correctness of Theorems in Geometry. Constraints An Int. J. 4(4): 383-405 (1999) - 1996
- [j40]Jacques Cohen:
Logic Programming and Constraint Logic Programming. ACM Comput. Surv. 28(1): 257-259 (1996) - 1993
- [j39]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. 16(3): 235-253 (1993) - 1992
- [j38]Jacques Cohen:
First Specialize, Then Generalize (Indroduction to the Special Section on Logic Programming). Commun. ACM 35(3): 34-39 (1992) - [j37]Timothy J. Hickey, Jacques Cohen, V. Deschamps:
Meta-Level Interpretation of Constraint Languages A Case Study: Logical Primitives. New Gener. Comput. 10(4): 361-384 (1992) - [j36]Jacques Cohen, Aline Weitzman:
Software Tools for Micro-analysis of Programs. Softw. Pract. Exp. 22(9): 777-808 (1992) - [j35]Timothy J. Hickey, Jacques Cohen, Hitofumi Hotta, Thierry PetitJean:
Computer-Assisted Microanalysis of Parallel Programs. ACM Trans. Program. Lang. Syst. 14(1): 54-106 (1992) - 1990
- [j34]Jacques Cohen:
Constraint Logic Programming Languages. Commun. ACM 33(7): 52-68 (1990) - [j33]David Hildum, Jacques Cohen:
A Language for Specifying Program Transformations. IEEE Trans. Software Eng. 16(6): 630-638 (1990) - 1988
- [j32]Jacques Cohen:
A View of the Origins and Development of Prolog. Commun. ACM 31(1): 26-36 (1988) - [j31]Timothy J. Hickey, Jacques Cohen:
Automating program analysis. J. ACM 35(1): 185-220 (1988) - 1987
- [j30]Jacques Cohen, Timothy J. Hickey:
Parsing and Compiling Using Prolog. ACM Trans. Program. Lang. Syst. 9(2): 125-163 (1987) - 1985
- [j29]Jacques Cohen:
Describing Prolog by Its Interpretation and Compilation. Commun. ACM 28(12): 1311-1324 (1985) - [j28]Jacques Cohen, Stuart Kolodner:
Estimating the Speedup in Parallel Parsing. IEEE Trans. Software Eng. 11(1): 114-124 (1985) - 1984
- [j27]Timothy J. Hickey, Jacques Cohen:
Performance Analysis of On-the-Fly Garbage Collection. Commun. ACM 27(11): 1143-1154 (1984) - [j26]Francis Giannesini, Jacques Cohen:
Parser Generation and Grammar Manipulation Using Prolog's Infinite Trees. J. Log. Program. 1(3): 253-265 (1984) - 1983
- [j25]Jacques Cohen:
A Note on a Fast Algorithm for Sparse Matrix Multiplication. Inf. Process. Lett. 16(5): 247-248 (1983) - [j24]Timothy J. Hickey, Jacques Cohen:
Uniform Random Generation of Strings in a Context-Free Language. SIAM J. Comput. 12(4): 645-655 (1983) - [j23]Jacques Cohen, Alexandru Nicolau:
Comparison of Compacting Algorithms for Garbage Collection. ACM Trans. Program. Lang. Syst. 5(4): 532-553 (1983) - 1982
- [j22]Jacques Cohen:
Computer-Assisted Microanalysis of Programs. Commun. ACM 25(10): 724-733 (1982) - [j21]Jacques Cohen, Timothy J. Hickey, Joel Katcoff:
Upper Bounds for Speedup in Parallel Parsing. J. ACM 29(2): 408-428 (1982) - 1981
- [j20]Jacques Cohen:
Garbage Collection of Linked Data Structures. ACM Comput. Surv. 13(3): 341-367 (1981) - 1980
- [j19]Jacques Cohen:
Surveyor's Forum: Determining a Search. ACM Comput. Surv. 12(3): 358 (1980) - [j18]Jacques Cohen, Robert Stachel:
An interpreter for a nondeterministic language. Int. J. Parallel Program. 9(3): 193-217 (1980) - 1979
- [j17]Jacques Cohen:
Non-Deterministic Algorithms. ACM Comput. Surv. 11(2): 79-94 (1979) - [j16]Jacques Cohen, Timothy J. Hickey:
Two Algorithms for Determining Volumes of Convex Polyhedra. J. ACM 26(3): 401-414 (1979) - [j15]Jacques Cohen, Robin Sitver, David Auty:
Evaluating and Improving Recursive Descent Parsers. IEEE Trans. Software Eng. 5(5): 472-480 (1979) - [j14]Jacques Cohen, Robin Sitver:
A Case Study in Program Transformation: Translation into Polish. IEEE Trans. Software Eng. 5(6): 593-606 (1979) - 1978
- [j13]Jacques Cohen, Martin A. Roth:
Analyses of Deterministic Parsing Algorithms. Commun. ACM 21(6): 448-458 (1978) - 1977
- [j12]Jacques Cohen, Joel Katcoff:
Automatic Solution of a Certain Class of Combinatorial Problems. Inf. Process. Lett. 6(4): 101-104 (1977) - [j11]Jacques Cohen, Neal Carpenter:
A Language for Inquiring about the Run-time Behaviour of Programs. Softw. Pract. Exp. 7(4): 445-460 (1977) - [j10]Jacques Cohen, Joel Katcoff:
Symbolic Solution of Finite-Difference Equations. ACM Trans. Math. Softw. 3(3): 261-271 (1977) - 1976
- [j9]Jacques Cohen, Martin S. Roth:
On the Implementation of Strassen's Fast Multiplication Algorithm. Acta Informatica 6: 341-355 (1976) - 1975
- [j8]Jacques Cohen:
Interpretation of Non-Deterministic Algorithms in Higher-Level Languages. Inf. Process. Lett. 3(4): 104-109 (1975) - [j7]Jacques Cohen:
Experience with a Conversational Parser Generating System. Softw. Pract. Exp. 5(2): 169-180 (1975) - 1974
- [j6]Jacques Cohen, Carl Zuckerman:
Two Languages for Estimating Program Efficiency. Commun. ACM 17(6): 301-308 (1974) - [j5]Jacques Cohen, Eileen Carton:
Non-Deterministic FORTRAN. Comput. J. 17(1): 44-51 (1974) - [j4]Jacques Cohen, Laurent Trilling, Peter Wegner:
A nucleus of a theorem-prover described inAlgol -68. Int. J. Parallel Program. 3(1): 1-31 (1974) - 1973
- [j3]Jacques Cohen:
Syntax-Directed Unit Conversion. Inf. Process. Lett. 2(4): 100-102 (1973) - 1967
- [j2]Jacques Cohen:
A use of fast and slow memories in list-processing languages. Commun. ACM 10(2): 82-86 (1967) - 1966
- [j1]Jacques Cohen, Xuan Nguyen-Dinh:
Note on Ordering of Grammar Rules in Syntax-Analyzers. Comput. J. 9(3): 250-251 (1966)
Conference and Workshop Papers
- 1996
- [c6]Olivier Baby, Jacques Cohen:
Analyse de l'ADN: une approche multipasse à base de contraintes. JFPLC 1996: 9- - 1995
- [c5]Jacques Cohen, Suresh Kalathur:
Data-Parallel Design of an Interval-Based Constraint Language: Analysis of Speedups. PDPTA 1995: 81-90 - 1991
- [c4]Jacques Cohen, Pascal Koiran, Catherine Perrin:
Meta-Level Interpretation of CLP(Lists). WCLP 1991: 457-481 - 1979
- [c3]Jacques Cohen:
Computer-Aided Micro-Analysis of Programs. ICSE 1979: 79-84 - 1972
- [c2]Ira Gilbert, Jacques Cohen:
A simple hardware model of a Turing machine: its educational use. ACM Annual Conference (1) 1972: 324-329 - 1971
- [c1]Jacques Cohen, Ann Rubin:
An interactive system for proving theorems in the predicate calculus. SYMSAC 1971: 268-280
Parts in Books or Collections
- 2014
- [p2]Jacques Cohen:
Logic Programming and Constraint Logic Programming. Computing Handbook, 3rd ed. (1) 2014: 65: 1-32 - 1999
- [p1]Jacques Cohen:
Computational Molecular Biology: A Promising Application Using LP and its Extensions. The Logic Programming Paradigm 1999: 281-311
Editorship
- 1992
- [e1]Yves Bekkers, Jacques Cohen:
Memory Management, International Workshop IWMM 92, St. Malo, France, September 17-19, 1992, Proceedings. Lecture Notes in Computer Science 637, Springer 1992, ISBN 3-540-55940-X [contents]
Reference Works
- 1997
- [r1]Jacques Cohen:
Logic Programming and Constraint Logic Programming. The Computer Science and Engineering Handbook 1997: 2066-2093
Informal and Other Publications
- 2004
- [i1]Jacques Cohen:
A Tribute to Alain Colmerauer. CoRR cs.PL/0402058 (2004)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2023-09-27 22:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
