dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Jacques Cohen Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuth 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 159(6): 410-419 (2011)
2008
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen: From academia to the editorship. Commun. ACM 51(1): 41-43 (2008)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen: The crucial role of CS in systems and synthetic biology. Commun. ACM 51(5): 15-18 (2008)
2005
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen: Computer science and bioinformatics. Commun. ACM 48(3): 72-78 (2005)
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen: Updating computer science education. Commun. ACM 48(6): 29-31 (2005)
2004
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen: Bioinformatics - an introduction for computer scientists. ACM Comput. Surv. 36(2): 122-158 (2004)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen: A Tribute to Alain Colmerauer CoRR cs.PL/0402058: (2004)
2001
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen: Computers and biology. Commun. ACM 44(3): 76-77 (2001)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen: Approaches for Simulating and Modeling Cell Regulation: Search for a Unified View Using Constraints. Electron. Trans. Artif. Intell. 5(B): 161-188 (2001)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen: A Tribute to Alain Colmerauer. TPLP 1(6): 637-646 (2001)
1999
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen: Guest Editorial. Constraints 4(4): 307-311 (1999)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDenis Bouhineau, Laurent Trilling, Jacques Cohen: An Application of CLP: Checking the Correctness of Theorems in Geometry. Constraints 4(4): 383-405 (1999)
1997
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen: Logic Programming and Constraint Logic Programming. The Computer Science and Engineering Handbook 1997: 2066-2093
1996
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Baby, Jacques Cohen: Analyse de l'ADN: une approche multipasse à base de contraintes. JFPLC 1996: 9-
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen: Logic Programming and Constraint Logic Programming. ACM Comput. Surv. 28(1): 257-259 (1996)
1995
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen, Suresh Kalathur: Data-Parallel Design of an Interval-Based Constraint Language: Analysis of Speedups. PDPTA 1995: 81-90
1993
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-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
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Bekkers, Jacques Cohen: Memory Management, International Workshop IWMM 92, St. Malo, France, September 17-19, 1992, Proceedings Springer 1992
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimothy J. Hickey, Jacques Cohen, Hitofumi Hotta, Thierry PetitJean: Computer-Assisted Microanalysis of Parallel Programs. ACM Trans. Program. Lang. Syst. 14(1): 54-106 (1992)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen: First Specialize, Then Generalize (Indroduction to the Special Section on Logic Programming). Commun. ACM 35(3): 34-39 (1992)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimothy J. Hickey, Jacques Cohen, V. Deschamps: Meta-Level Interpretation of Constraint Languages A Case Study: Logical Primitives. New Generation Comput. 10(4): 361-384 (1992)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen, Aline Weitzman: Software Tools for Micro-analysis of Programs. Softw., Pract. Exper. 22(9): 777-808 (1992)
1991
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen, Pascal Koiran, Catherine Perrin: Meta-Level Interpretation of CLP(Lists). WCLP 1991: 457-481
1990
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen: Constraint Logic Programming Languages. Commun. ACM 33(7): 52-68 (1990)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Hildum, Jacques Cohen: A Language for Specifying Program Transformations. IEEE Trans. Software Eng. 16(6): 630-638 (1990)
1988
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen: A View of the Origins and Development of Prolog. Commun. ACM 31(1): 26-36 (1988)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimothy J. Hickey, Jacques Cohen: Automating program analysis. J. ACM 35(1): 185-220 (1988)
1987
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen, Timothy J. Hickey: Parsing and Compiling Using Prolog. ACM Trans. Program. Lang. Syst. 9(2): 125-163 (1987)
1985
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen: Describing Prolog by Its Interpretation and Compilation. Commun. ACM 28(12): 1311-1324 (1985)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen, Stuart Kolodner: Estimating the Speedup in Parallel Parsing. IEEE Trans. Software Eng. 11(1): 114-124 (1985)
1984
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimothy J. Hickey, Jacques Cohen: Performance Analysis of On-the-Fly Garbage Collection. Commun. ACM 27(11): 1143-1154 (1984)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancis Giannesini, Jacques Cohen: Parser Generation and Grammar Manipulation Using Prolog's Infinite Trees. J. Log. Program. 1(3): 253-265 (1984)
1983
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen, Alexandru Nicolau: Comparison of Compacting Algorithms for Garbage Collection. ACM Trans. Program. Lang. Syst. 5(4): 532-553 (1983)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen: A Note on a Fast Algorithm for Sparse Matrix Multiplication. Inf. Process. Lett. 16(5): 247-248 (1983)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimothy J. Hickey, Jacques Cohen: Uniform Random Generation of Strings in a Context-Free Language. SIAM J. Comput. 12(4): 645-655 (1983)
1982
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen: Computer-Assisted Microanalysis of Programs. Commun. ACM 25(10): 724-733 (1982)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen, Timothy J. Hickey, Joel Katcoff: Upper Bounds for Speedup in Parallel Parsing. J. ACM 29(2): 408-428 (1982)
1981
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen: Garbage Collection of Linked Data Structures. ACM Comput. Surv. 13(3): 341-367 (1981)
1980
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen: Surveyor's Forum: Determining a Search. ACM Comput. Surv. 12(3): 358 (1980)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen, Robert Stachel: An interpreter for a nondeterministic language. International Journal of Parallel Programming 9(3): 193-217 (1980)
1979
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen: Computer-Aided Micro-Analysis of Programs. ICSE 1979: 79-84
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen: Non-Deterministic Algorithms. ACM Comput. Surv. 11(2): 79-94 (1979)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen, Robin Sitver, David Auty: Evaluating and Improving Recursive Descent Parsers. IEEE Trans. Software Eng. 5(5): 472-480 (1979)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen, Robin Sitver: A Case Study in Program Transformation: Translation into Polish. IEEE Trans. Software Eng. 5(6): 593-606 (1979)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen, Timothy J. Hickey: Two Algorithms for Determining Volumes of Convex Polyhedra. J. ACM 26(3): 401-414 (1979)
1978
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen, Martin A. Roth: Analyses of Deterministic Parsing Algorithms. Commun. ACM 21(6): 448-458 (1978)
1977
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen, Joel Katcoff: Symbolic Solution of Finite-Difference Equations. ACM Trans. Math. Softw. 3(3): 261-271 (1977)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen, Joel Katcoff: Automatic Solution of a Certain Class of Combinatorial Problems. Inf. Process. Lett. 6(4): 101-104 (1977)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen, Neal Carpenter: A Language for Inquiring about the Run-time Behaviour of Programs. Softw., Pract. Exper. 7(4): 445-460 (1977)
1976
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen, Martin S. Roth: On the Implementation of Strassen's Fast Multiplication Algorithm. Acta Inf. 6: 341-355 (1976)
1975
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen: Interpretation of Non-Deterministic Algorithms in Higher-Level Languages. Inf. Process. Lett. 3(4): 104-109 (1975)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen: Experience with a Conversational Parser Generating System. Softw., Pract. Exper. 5(2): 169-180 (1975)
1974
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen, Carl Zuckerman: Two Languages for Estimating Program Efficiency. Commun. ACM 17(6): 301-308 (1974)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen, Eileen Carton: Non-Deterministic FORTRAN. Comput. J. 17(1): 44-51 (1974)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen, Laurent Trilling, Peter Wegner: A nucleus of a theorem-prover described inAlgol -68. International Journal of Parallel Programming 3(1): 1-31 (1974)
1973
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen: Syntax-Directed Unit Conversion. Inf. Process. Lett. 2(4): 100-102 (1973)
1967
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cohen: A use of fast and slow memories in list-processing languages. Commun. ACM 10(2): 82-86 (1967)

Coauthor Index

1David Auty [15]
2Olivier Baby [44]
3Yves Bekkers [40]
4Denis Bouhineau [46]
5Neal Carpenter [9]
6Eileen Carton [4]
7Ruth Charney [57]
8V. Deschamps [37]
9Francis Giannesini [26]
10Timothy J. Hickey [13] [21] [23] [27] [30] [31] [37] [39]
11David Hildum [33]
12Hitofumi Hotta [39]
13Jean-Louis Imbert [41]
14Suresh Kalathur [42]
15Joel Katcoff [10] [11] [21]
16Pascal Koiran [35]
17Stuart Kolodner [28]
18Alexandru Nicolau (Alex Nicolau) [25]
19Catherine Perrin [35]
20Thierry PetitJean [39]
21Aurélien Rizk [57]
22Martin A. Roth [12]
23Martin S. Roth [8]
24Robin Sitver [14] [15]
25Robert Stachel [18]
26Laurent Trilling [3] [46]
27Marie-Dominique Weeger [41]
28Peter Wegner [3]
29Aline Weitzman [36]
30Carl Zuckerman [5]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page