|
|
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. |
|
|
1989
|
| [Coh 89] |
J. Cohen, Logic Programming and Parallelism, Ann. Telecom. 44(5) 44(6), 1989. |
|
|
|
|
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. |
|
|
1978
|
| [CR 78] |
J. Cohen, M. Roth, Analyses of Deterministic Parsing Algorithms, Communications of the ACM, 21(6), 448-458, 1978. |
|
|
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. |
|
| [Coh 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] |
[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. |
|
|
