Publications

	2011
[CRC 11]	R. Charney, A. Rizk, J. Cohen, Efficient synthesis of a class of Boolean programs from I-O data: Application to genetic networks, Discrete Applied Mathematics, 2011.
	2006
[TC 06a]	B. Tjaden, J. Cohen, A Survey of Computational Methods used in Microarray Data Interpretation, Applied Mycology and Biotechnology, Bioinformatics 6, 2006.
	2005
[Coh 05b]	J. Cohen, Updating Computer Science Education, Communications of the ACM, 48(6), 29-31, 2005.
[Coh 05a]	J. Cohen, Computer Science and Bioinformatics, Communications of the ACM, March 2005.
	2004
[Coh04a]	J. Cohen, Bioinformatics: An Introduction for Computer Scientists, ACM Computing Surveys, 36(2), 122-158, 2004.
	2003
[Coh 03b]	Guidelines for Establishing Undergraduate Bioinformatics Courses, Journal of Science Education and Technology 12(4), 449-456, 2003.
[Coh 03a]	J. Cohen, New Developments in Constraints, Handbook of Computer Science and Engineering, CRC Press, 2003.
	2001
[Coh 01c]	J. Cohen, A Tribute to Alain Colmerauer, Transactions in Logic Programming, Oxford University Press, 2001.
[Coh 01b]	J. Cohen, Classification of Approaches Used to Study Cell Regulation: Search for a Unified View Using Constraints and Machine Learning. Electronic Transactions in Artificial Intelligence, Machine Intelligence 18. Linkoping Electronic Articles in Computer and Information Science ISSN 1401-9841, 6(025), 2001.
[Coh 01a]	J. Cohen, Computers and Biology, Communications of the ACM 44(3), 76-77, 2001.
	1999
[Coh 99c]	J. Cohen, Molecular Biology Viewed from a Computer Science Perspective, Monograph covering materials similar to [Coh 99b], 1999.
[Coh 99b]	J. Cohen, Computational Molecular Biology: A Promising Application Using Logic Programming and Constraint Logic Programming, Lecture Notes in Artificial Intelligence, 1999.
[Coh 99a]	J. Cohen, Guest Editorial, Constraints 4(4), 307-311, 1999.
[CBT 99]	J. Cohen, D. Bouhineau, L. Trilling,An Application of Constraint Logic Programming (CLP): Checking the Correctness of Theorems in Geometry, Constraints 4(4), 383-405, 1999.
	1997
[Coh 97b]	J. Cohen, Logic Programming (LP) and Constraint Logic Programming (CLP), Handbook of Computer Science, Kluwer, 1997.
	1996
[Coh 96b]	J. Cohen, Transcript of Discussants in the Session on Prolog, History of Programming Languages, ACM Press/Addison-Wesley Publishing Company, New York, 1996.
[Coh 96a]	J. Cohen, A Short Survey of Logic Programming (LP) and Constraint Logic Programming (CLP), ACM Computer Surveys, 1996.
[CB 96]	J. Cohen, O. Baby, Analyse de l’ADN: Une Approche Multipasse a Base de Contraintes, Les journals francophones de programmation en logique et de programmation par contrainte (JFPLC’96), ed. J-L. Imbert, Clermont Ferrand, Hermes, 1996.
	1995
[CK 95b]	J.Cohen, S. Kalathur, Speed-Ups in Parallel MIMD Interval Constraints, Workshop on Interval Constraints, Portland, Oregon, 1995.
[CK 95a]	J. Cohen, S. Kalathur, Data Parallelism and Interval Constraints, International Conference on Parallelism, Atlanta, Georgia, 1995.
	1994
[CKP 94]	J. Cohen, P. Koiran, C. Perrin, Meta-Level Interpretation of Constraint Logic Programming (Lists), Constraint Logic Programming, eds. F. Benhamou, A. Colmerauer, MIT Press, 1994.
	1993
[Coh 93]	J. Cohen, Explaining Computer Memory Garbage Collection to Non-Specialists, Brandeis Review, 18-21, 1993.
[ICW 93]	J. L. Imbert, J. Cohen, M. D. Weeger, An Algorithm for Linear Constraint Solving: Its Incorporation in a Prolog Meta-Interpreter for Constraint Logic Programming (CLP), Journal of Logic Programming, 16(3) – 16(4), 1993.
	1992
[HCD 92]	T. Hickey, J. Cohen, V. Deschamps, Meta-Level Interpretation of Constraint Languages: A Case Study Logical Primitives, New Generation Computing, 10(4), 1992.
[HCHP 92]	T. Hickey, J. Cohen, H. Hotta, T. Petitjean, Computer Assisted Microanalysis of Parallel Programs, ACM Transactions on Programming Languages and Systems, 14(1), 1992.
[CY 92]	J. Cohen, Y. Bekkers (editors), Memory Management, Lecture Notes in Computer Science, 637, Springer Verlag, 1992.
[Coh 92]	J. Cohen, First Specialize, then Generalize (Introduction to the Special Section on Logic Programming), Communications of the ACM 35(3), 34-39,1992.
[CW 92]	J. Cohen, A. Weitzman, Software Tools for Micro-Analysis of Programs. Software – Practice and Experience 22(9): 777-808, 1992.
	1991
[CKP 91]	J. Cohen, P. Koiran, C. Perrin, Meta-Level Interpretation of Constraint Logic Programming (CLP) (Lists), Workshop on Constraint Logic Programming (WCLP 1991), 457-481, 1991.
	1990
[Coh 90]	J. Cohen, Constraint Logic Programming Languages, Communications of the ACM, 33(7), 1990.
[HC 90]	D. Hildum, J. Cohen, A Language for Specifying Program Transformations, IEEE Transactions on Software Engineering, 16(6), 1990.
[CKP 91]	J. Cohen, P. Koiran, C. Perrin, Meta-Level Interpretation of Constraint Logic Programming (CLP) (Lists), Workshop on Constraint Logic Programming (WCLP 1991), 457-481, 1991.
	1989
[Coh 89]	J. Cohen, Logic Programming and Parallelism, Ann. Telecom. 44(5) 44(6), 1989.
[CKP 91]	J. Cohen, P. Koiran, C. Perrin, Meta-Level Interpretation of Constraint Logic Programming (CLP) (Lists), Workshop on Constraint Logic Programming (WCLP 1991), 457-481, 1991.
	1988
[Coh 88]	J. Cohen, A View of the Origins and Development of Prolog, Communications of the ACM, 31(1), 1988.
[HC 88]	T. Hickey, J. Cohen, Automating Program Analysis, Journal of the ACM 35(1), 185-220, 1988.
	1987
[CH 87]	J. Cohen, T. Hickey, Parsing and Compiling Using Prolog, ACM Transactions of Programming Languages and Systems, 9(2), 1987.
	1985
[Coh 85]	J. Cohen, Describing Prolog by Its Interpretation and Compilation, Communications of the ACM, 28(12), 1311-1324, 1985.
[CK 85]	J. Cohen, S. Kolodner, Estimating the Speedup in Parallel Parsing, Transactions on Software Engineering, 11(1), 114-124, 1985.
	1984
[CH 84]	J. Cohen, T. Hickey, Performance Analysis of On-the-Fly Garbage Collection, Communications of the ACM, 27(11), 1143-1154, 1984.
[GC 84]	F. Giannesini, J. Cohen,  Parser Generation and Grammar Manipulation Using Prolog’s Infinite Trees, Journal of Logic Programming 1(3), 253-265,1984.
	1983
[Coh 83]	J. Cohen, A Note on a Fast Algorithm for Sparse Matrix Multiplication, Information Processing Letters, 16(5), 247-248, 1983.
[CH 83]	J. Cohen, T. J. Hickey, Uniform Random Generation of Strings in a Context-Free Language, SIAM Journal on Computing, 12(4), 645-655, 1983.
[CN 83]	J. Cohen, A. Nicolau, Comparison of Compacting Algorithms for Garbage Collection, ACM Transactions on Programming Languages and Systems, 5(4), 532-553, 1983.
	1982
[Coh 82]	J. Cohen, Computer-Assisted Microanalysis of Programs, Communications of the ACM, 25(10), 724-733, 1982.
[CHK 82]	J. Cohen, T. Hickey, J. Katcoff, Upper Bounds for Speedup in Parallel Parsing, Journal of the ACM, 29(2), 408-428, 1982.
	1981
[Coh 81]	J. Cohen, Garbage Collection of Linked Data Structures, ACM Computing Surveys 13(3), 341-367, 1981.
	1980
[Coh 80]	J. Cohen, Surveyor’s Forum: Determining a Search, ACM Computing Surveys, 12(3), 358, 1980.
[CS 80]	J. Cohen, R. Stachel, An Interpreter for a Non-Deterministic Language, International Journal of Computer and Information Sciences, 9(3), 1980.
	1979
[Coh 79b]	J. Cohen, Non-Deterministic Algorithms, ACM Computing Surveys, 11(2), 79-94, 1979.
[CH 79]	J. Cohen, T. Hickey, Two Algorithms for Determining Volumes of Convex Polyhedra, Journal of the ACM, 26(3), 401-414, 1979.
[CSA 79]	J. Cohen, R. Sitver, D. Auty, Evaluating and Improving Recursive Descent Parsers, IEEE Transactions on Software Engineering, 5(5), 472-480, 1979.
[CS 79]	J. Cohen, R. Sitver, A Case Study in Program Transformation: Translation into Polish, IEEE Transactions on Software Engineering, 5(6), 593-606, 1979.
[Coh 79a]	J. Cohen, Computer-Aided Micro-Analysis of Programs, Proceedings of the 4th International Conference on Software Engineering, 79-84, Munich, Germany,1979.
	1977
[CK 77b]	J. Cohen, J. Katcoff, Automatic Solution of a Certain Class of Combinatorial Problems, Information Processing Letters, 6(4), 101-104, 1977.
[CK 77a]	J. Cohen, J. Katcoff, Symbolic Solution of Finite-Difference Equations, ACM Transactions on Mathematical Software (TOMS), 3(3), 261-271, 1977.
[CC 77]	J. Cohen, N. Carpenter, A Language for Inquiring about the Run-time Behaviour of Programs, Software – Practice and Experience, 7(4), 445-460, 1977.
	1976
[CR 76]	J. Cohen, M. Roth, On the Implementation of Strassen’s Fast Multiplication Algorithm, Acta Informatica, 6, 341-355, 1976.
[CR 76]	J. Cohen, Symbolic and Numerical Computer Analysis of the Combined Local and Overall Buckling of Rectangular Thin-Walled Columns, Computer Methods in Applied Mechanics and Engineering, 7, 17-38, 1976.
	1975
[Coh 75]	J. Cohen, Interpretation of Non-Deterministic Algorithms in Higher-Level Languages, Information Processing Letters, 3(4), 104-109, 1975.
[CC 75]	J. Cohen, N. Carpenter, Experience with a Conversational Parser Generating System, Software – Practice and Experience, 5(2), 169-180, 1975.
[CG 75]	J. Cohen, P. Grossman, Compilation of Linear Partial Differential Equations into Finite-Difference Programs, BIT, 15(4), 373-380, 1975.
[CF 75]	J. Cohen, J. Ferrari, A Conversational Language for Solving Problems in Dimensional Analysis, Computer Methods in Applied Mechanics and Engineering, 5, 53-67, 1975.
	1974
[CZ 74]	J. Cohen, C. Zuckerman, Two Languages for Estimating Program Efficiency, Communications of the ACM, 17(6), 301-308, 1974.
[CC 74]	J. Cohen, E. Carton, Non-Deterministic FORTRAN, The Computer Journal, 17(1), 44-51, 1974.
[CTW 74]	J. Cohen, L. Trilling, P. Wegner, A Nucleus of a Theorem Prover Described in Algol 68, International Journal of Computer and Information Sciences, 3(1), 1974.
[CFP 74]	J. Cohen, G. Finn, D. Pfau, A Language For Defining Spatial Trusses, Computers Structures, 4, 829-854,1974.
	1973
[Coh 73b]	J. Cohen, Syntax-Directed Unit Conversion, Information Processing Letters, 2(4), 100-102, 1973.
[Coh 73a]	J. Cohen, A Computer Language For Determining Flexural Stresses in Arbitrarily Shaped Cross-Sections, Computers , Structures, 3, 1357-1367,1973.
	1972
[CZ 72]	J. Cohen, C. Zuckerman, Evalquote in Simple Fortran: A Tutorial on Interpreting Lisp, BIT, 12(3), 299-317, 1972.
[GC 72]	I. Gilbert, J. Cohen, A Simple Hardware Model of a Turing Machine: Its Educational Use, Proceedings of the 25th ACMAnnual Conference,1972.
[CR 72]	J. Cohen and A. Rubin, BNF of BNF in Precedence Form: Its Use in Constructing Precedence Tables, (in English) Revue Francaise d’Automatique, Informatique et Recherche Operationnelle B1 , 1972.
[C-et.al 72]	J.Cohen (supervisor) , R. Charney,  E. Deak, R. Lipsett, D. Pfau, J. Raphael, C. Zuckerman (Brandeis` students), A Compiler  Generator, Brandeis University, August 1972 also see {CC 75] – User’s Manual – Examples of its Use – Listing of Examples	.
	1971
[CR 71]	J. Cohen, A. Rubin, An Interactive System for Proving Theorems in the Predicate Calculus, Proceedings of the second ACM Symposium on Symbolic and Algebraic Manipulation, 268-280, LA, California, 1971.
	1967
[Coh 67a]	J. Cohen, Languages for Compiler Writing (In French), Thesis at University of Gernoble, 1967.
[Coh 67b]	J. Cohen, A Use of Fast and Slow Memories in List-Processing Languages, Communications of the ACM, 10(2), 82-86, 1967.
[Coh 67c]	J. Cohen, Remarks and Additions to Lisp Procedures in Algol (In French), Calcolo (Italian Journal) 4-1 pp 1-9, 1967.
[CT 67]	J. Cohen, L. Trilling, Remarks on ‘Garbage Collection’ Using a Two-Level Storage, BIT, 7(1), 22-30, 1967.
	1966
[CN 66]	J. Cohen, X Nguyen-Dinh, Note on Ordering of Grammar Rules in Syntax-Analyzers, The Computer Journal, 9(3), 250-251, 1966.
	1965
[CB 65a]	J. Cohen, M. Brasseur, Syntatic Analysis: Part I – Top Down Methods (In French), Chiffres, 8(2), 95-119, 1965.
[CB 65b]	J. Cohen, M. Brasseur, Syntatic Analysis: Part II – Bottom Up Methods (In French), Chiffres, 8(3), 195-213, 1965.
[CN 65]	J. Cohen, Nguyen Huu-Dung, Lisp Embedding in Algol (In French), Chiffres, 8(4), 271-293, 1965.
	1963
[CM 63]	J. Cohen and G. Silva Maia, PERT for Scheduling: A Tutorial, Brazilian Navy (in Portuguese), Bulletin, 173, 1-18, 1963.
[CC 63]	A. Castilho and J.Cohen, Computer Simulation of Inelastic Buckling, (In Portuguese), Estrutura, 53, 523-545, 1963.
	1960
[Coh 60]	J. Cohen, Combined Local and Overall Buckling of Rectangular Thin-Walled Tubular Columns, Thesis at University of Illinois, 1960.
	1958
[Coh 58]	J. Cohen, Behavior of Masonry Filled Steel Frame Subjected to Horizontal Load, Master Thesis at University of Florida 1958.

 

2018-07-11