Jacques Cohen - RankMe

63 papers A* 1Misc 1Journal 52Unranked 4

Year	Rank	Type	Title / Venue / Authors
2014	—	`ch.`	Logic Programming and Constraint Logic Programming. Computing Handbook, 3rd ed. (1) Jacques Cohen
2011	J	`jnl`	Efficient synthesis of a class of Boolean programs from I-O data: Application to genetic networks. Discret. Appl. Math. Ruth Charney, Jacques Cohen, Aurélien Rizk
2008	J	`jnl`	From academia to the editorship. Commun. ACM Jacques Cohen
2008	J	`jnl`	The crucial role of CS in systems and synthetic biology. Commun. ACM Jacques Cohen
2005	J	`jnl`	Computer science and bioinformatics. Commun. ACM Jacques Cohen
2005	J	`jnl`	Updating computer science education. Commun. ACM Jacques Cohen
2004	J	`jnl`	A Tribute to Alain Colmerauer CoRR Jacques Cohen
2004	J	`jnl`	Bioinformatics - an introduction for computer scientists. ACM Comput. Surv. Jacques Cohen
2001	J	`jnl`	A Tribute to Alain Colmerauer. Theory Pract. Log. Program. Jacques Cohen
2001	J	`jnl`	Approaches for Simulating and Modeling Cell Regulation: Search for a Unified View Using Constraints. Electron. Trans. Artif. Intell. Jacques Cohen
2001	J	`jnl`	Computers and biology. Commun. ACM Jacques Cohen
1999	J	`jnl`	An Application of CLP: Checking the Correctness of Theorems in Geometry. Constraints An Int. J. Denis Bouhineau, Laurent Trilling, Jacques Cohen
1999	—	`ch.`	Computational Molecular Biology: A Promising Application Using LP and its Extensions. The Logic Programming Paradigm Jacques Cohen
1999	J	`jnl`	Guest Editorial. Constraints An Int. J. Jacques Cohen
1997	—	`ch.`	Logic Programming and Constraint Logic Programming. The Computer Science and Engineering Handbook Jacques Cohen
1996	—	`conf`	Analyse de l'ADN: une approche multipasse à base de contraintes. JFPLC Olivier Baby, Jacques Cohen
1996	J	`jnl`	Logic Programming and Constraint Logic Programming. ACM Comput. Surv. Jacques Cohen
1995	Misc	`conf`	Data-Parallel Design of an Interval-Based Constraint Language: Analysis of Speedups. PDPTA Jacques Cohen, Suresh Kalathur
1993	J	`jnl`	An Algorithm for Linear Constraint Solving: Its Incorporation in a Prolog Meta-Interpreter for CLP. J. Log. Program. Jean-Louis Imbert, Jacques Cohen, Marie-Dominique Weeger
1992	J	`jnl`	Computer-Assisted Microanalysis of Parallel Programs. ACM Trans. Program. Lang. Syst. Timothy J. Hickey, Jacques Cohen, Hitofumi Hotta, Thierry PetitJean
1992	J	`jnl`	First Specialize, Then Generalize (Indroduction to the Special Section on Logic Programming). Commun. ACM Jacques Cohen
1992	—	`ed.`	Memory Management, International Workshop IWMM 92, St. Malo, France, September 17-19, 1992, Proceedings IWMM Yves Bekkers, Jacques Cohen
1992	J	`jnl`	Meta-Level Interpretation of Constraint Languages A Case Study: Logical Primitives. New Gener. Comput. Timothy J. Hickey, Jacques Cohen, V. Deschamps
1992	J	`jnl`	Software Tools for Micro-analysis of Programs. Softw. Pract. Exp. Jacques Cohen, Aline Weitzman
1991	—	`conf`	Meta-Level Interpretation of CLP(Lists). WCLP Jacques Cohen, Pascal Koiran, Catherine Perrin
1990	J	`jnl`	A Language for Specifying Program Transformations. IEEE Trans. Software Eng. David Hildum, Jacques Cohen
1990	J	`jnl`	Constraint Logic Programming Languages. Commun. ACM Jacques Cohen
1988	J	`jnl`	A View of the Origins and Development of Prolog. Commun. ACM Jacques Cohen
1988	J	`jnl`	Automating program analysis. J. ACM Timothy J. Hickey, Jacques Cohen
1987	J	`jnl`	Parsing and Compiling Using Prolog. ACM Trans. Program. Lang. Syst. Jacques Cohen, Timothy J. Hickey
1985	J	`jnl`	Describing Prolog by Its Interpretation and Compilation. Commun. ACM Jacques Cohen
1985	J	`jnl`	Estimating the Speedup in Parallel Parsing. IEEE Trans. Software Eng. Jacques Cohen, Stuart Kolodner
1984	J	`jnl`	Parser Generation and Grammar Manipulation Using Prolog's Infinite Trees. J. Log. Program. Francis Giannesini, Jacques Cohen
1984	J	`jnl`	Performance Analysis of On-the-Fly Garbage Collection. Commun. ACM Timothy J. Hickey, Jacques Cohen
1983	J	`jnl`	A Note on a Fast Algorithm for Sparse Matrix Multiplication. Inf. Process. Lett. Jacques Cohen
1983	J	`jnl`	Comparison of Compacting Algorithms for Garbage Collection. ACM Trans. Program. Lang. Syst. Jacques Cohen, Alexandru Nicolau
1983	J	`jnl`	Uniform Random Generation of Strings in a Context-Free Language. SIAM J. Comput. Timothy J. Hickey, Jacques Cohen
1982	J	`jnl`	Computer-Assisted Microanalysis of Programs. Commun. ACM Jacques Cohen
1982	J	`jnl`	Upper Bounds for Speedup in Parallel Parsing. J. ACM Jacques Cohen, Timothy J. Hickey, Joel Katcoff
1981	J	`jnl`	Garbage Collection of Linked Data Structures. ACM Comput. Surv. Jacques Cohen
1980	J	`jnl`	An interpreter for a nondeterministic language. Int. J. Parallel Program. Jacques Cohen, Robert Stachel
1980	J	`jnl`	Surveyor's Forum: Determining a Search. ACM Comput. Surv. Jacques Cohen
1979	J	`jnl`	A Case Study in Program Transformation: Translation into Polish. IEEE Trans. Software Eng. Jacques Cohen, Robin Sitver
1979	A*	`conf`	Computer-Aided Micro-Analysis of Programs. ICSE Jacques Cohen
1979	J	`jnl`	Evaluating and Improving Recursive Descent Parsers. IEEE Trans. Software Eng. Jacques Cohen, Robin Sitver, David Auty
1979	J	`jnl`	Non-Deterministic Algorithms. ACM Comput. Surv. Jacques Cohen
1979	J	`jnl`	Two Algorithms for Determining Volumes of Convex Polyhedra. J. ACM Jacques Cohen, Timothy J. Hickey
1978	J	`jnl`	Analyses of Deterministic Parsing Algorithms. Commun. ACM Jacques Cohen, Martin A. Roth
1977	J	`jnl`	A Language for Inquiring about the Run-time Behaviour of Programs. Softw. Pract. Exp. Jacques Cohen, Neal Carpenter
1977	J	`jnl`	Automatic Solution of a Certain Class of Combinatorial Problems. Inf. Process. Lett. Jacques Cohen, Joel Katcoff
1977	J	`jnl`	Symbolic Solution of Finite-Difference Equations. ACM Trans. Math. Softw. Jacques Cohen, Joel Katcoff
1976	J	`jnl`	On the Implementation of Strassen's Fast Multiplication Algorithm. Acta Informatica Jacques Cohen, Martin S. Roth
1975	J	`jnl`	Experience with a Conversational Parser Generating System. Softw. Pract. Exp. Jacques Cohen
1975	J	`jnl`	Interpretation of Non-Deterministic Algorithms in Higher-Level Languages. Inf. Process. Lett. Jacques Cohen
1974	J	`jnl`	A nucleus of a theorem-prover described inAlgol -68. Int. J. Parallel Program. Jacques Cohen, Laurent Trilling, Peter Wegner
1974	J	`jnl`	Non-Deterministic FORTRAN. Comput. J. Jacques Cohen, Eileen Carton
1974	J	`jnl`	Two Languages for Estimating Program Efficiency. Commun. ACM Jacques Cohen, Carl Zuckerman
1973	J	`jnl`	Syntax-Directed Unit Conversion. Inf. Process. Lett. Jacques Cohen
1972	—	`conf`	A simple hardware model of a Turing machine: its educational use. ACM Annual Conference (1) Ira Gilbert, Jacques Cohen
1971	—	`conf`	An interactive system for proving theorems in the predicate calculus. SYMSAC Jacques Cohen, Ann Rubin
1967	J	`jnl`	A use of fast and slow memories in list-processing languages. Commun. ACM Jacques Cohen
1967	—	`—`	Langages pour l'écriture de compilateurs. (Languages for Compiler Writing). Jacques Cohen
1966	J	`jnl`	Note on Ordering of Grammar Rules in Syntax-Analyzers. Comput. J. Jacques Cohen, Xuan Nguyen-Dinh