| |
|
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
|
| [Coh 04a] |
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. Linköping 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 97] |
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. |
|
| [CG 84] |
J. Cohen, F. Giannesini, 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. |
| [CG 72] |
J. Cohen, I. Gilbert, A Simple Hardware Model of a Turing Machine:
Its Educational Use, Proceedings of the 25th ACM Annual Conference,
1972 |
|
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. |
|
| [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. |
|
|
1960
|
| [Coh 60] |
J. Cohen, Combined Local and Overall Buckling of Rectangular Thin-Walled Tubular Columns,
Thesis at University of Illinois, 1960. |
|
|
