Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jacques Cohen
@incollection{DBLP:books/crc/chb/Cohen14,
author = {Jacques Cohen},
editor = {Teofilo F. Gonzalez and
Jorge Diaz{-}Herrera and
Allen Tucker},
title = {Logic Programming and Constraint Logic Programming},
booktitle = {Computing Handbook, Third Edition: Computer Science and Software Engineering},
pages = {65: 1--32},
publisher = {{CRC} Press},
year = {2014},
timestamp = {Tue, 17 Jun 2014 14:00:46 +0200},
biburl = {https://dblp.org/rec/books/crc/chb/Cohen14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/CharneyCR11,
author = {Ruth Charney and
Jacques Cohen and
Aur{\'{e}}lien Rizk},
title = {Efficient synthesis of a class of Boolean programs from I-O~data:
Application to genetic networks},
journal = {Discret. Appl. Math.},
volume = {159},
number = {6},
pages = {410--419},
year = {2011},
url = {https://doi.org/10.1016/j.dam.2010.10.009},
doi = {10.1016/J.DAM.2010.10.009},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/CharneyCR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Cohen08,
author = {Jacques Cohen},
title = {From academia to the editorship},
journal = {Commun. {ACM}},
volume = {51},
number = {1},
pages = {41--43},
year = {2008},
url = {https://doi.org/10.1145/1327452.1327473},
doi = {10.1145/1327452.1327473},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Cohen08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Cohen08a,
author = {Jacques Cohen},
title = {The crucial role of {CS} in systems and synthetic biology},
journal = {Commun. {ACM}},
volume = {51},
number = {5},
pages = {15--18},
year = {2008},
url = {https://doi.org/10.1145/1342327.1342332},
doi = {10.1145/1342327.1342332},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Cohen08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Cohen05,
author = {Jacques Cohen},
title = {Computer science and bioinformatics},
journal = {Commun. {ACM}},
volume = {48},
number = {3},
pages = {72--78},
year = {2005},
url = {https://doi.org/10.1145/1047671.1047672},
doi = {10.1145/1047671.1047672},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Cohen05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Cohen05a,
author = {Jacques Cohen},
title = {Updating computer science education},
journal = {Commun. {ACM}},
volume = {48},
number = {6},
pages = {29--31},
year = {2005},
url = {https://doi.org/10.1145/1064830.1064853},
doi = {10.1145/1064830.1064853},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Cohen05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Cohen04,
author = {Jacques Cohen},
title = {Bioinformatics - an introduction for computer scientists},
journal = {{ACM} Comput. Surv.},
volume = {36},
number = {2},
pages = {122--158},
year = {2004},
url = {https://doi.org/10.1145/1031120.1031122},
doi = {10.1145/1031120.1031122},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Cohen04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0402058,
author = {Jacques Cohen},
title = {A Tribute to Alain Colmerauer},
journal = {CoRR},
volume = {cs.PL/0402058},
year = {2004},
url = {http://arxiv.org/abs/cs/0402058},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0402058.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Cohen01,
author = {Jacques Cohen},
title = {Computers and biology},
journal = {Commun. {ACM}},
volume = {44},
number = {3},
pages = {76--77},
year = {2001},
url = {https://doi.org/10.1145/365181.365207},
doi = {10.1145/365181.365207},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Cohen01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/etai/Cohen01,
author = {Jacques Cohen},
title = {Approaches for Simulating and Modeling Cell Regulation: Search for
a Unified View Using Constraints},
journal = {Electron. Trans. Artif. Intell.},
volume = {5},
number = {B},
pages = {161--188},
year = {2001},
url = {http://www.ep.liu.se/ej/etai/2001/010/},
timestamp = {Wed, 05 May 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/etai/Cohen01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Cohen01,
author = {Jacques Cohen},
title = {A Tribute to Alain Colmerauer},
journal = {Theory Pract. Log. Program.},
volume = {1},
number = {6},
pages = {637--646},
year = {2001},
url = {https://doi.org/10.1017/S1471068401001119},
doi = {10.1017/S1471068401001119},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Cohen01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Cohen99,
author = {Jacques Cohen},
title = {Guest Editorial},
journal = {Constraints An Int. J.},
volume = {4},
number = {4},
pages = {307--311},
year = {1999},
url = {https://doi.org/10.1023/A:1009846905593},
doi = {10.1023/A:1009846905593},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Cohen99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/BouhineauTC99,
author = {Denis Bouhineau and
Laurent Trilling and
Jacques Cohen},
title = {An Application of {CLP:} Checking the Correctness of Theorems in Geometry},
journal = {Constraints An Int. J.},
volume = {4},
number = {4},
pages = {383--405},
year = {1999},
url = {https://doi.org/10.1023/A:1009825124248},
doi = {10.1023/A:1009825124248},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/BouhineauTC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/99/Cohen99,
author = {Jacques Cohen},
editor = {Krzysztof R. Apt and
Victor W. Marek and
Mirek Truszczynski and
David Scott Warren},
title = {Computational Molecular Biology: {A} Promising Application Using {LP}
and its Extensions},
booktitle = {The Logic Programming Paradigm - {A} 25-Year Perspective},
series = {Artificial Intelligence},
pages = {281--311},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-642-60085-2\_12},
doi = {10.1007/978-3-642-60085-2\_12},
timestamp = {Mon, 29 Jul 2019 13:50:28 +0200},
biburl = {https://dblp.org/rec/books/sp/99/Cohen99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/tucker97/Cohen97,
author = {Jacques Cohen},
editor = {Allen B. Tucker},
title = {Logic Programming and Constraint Logic Programming},
booktitle = {The Computer Science and Engineering Handbook},
pages = {2066--2093},
publisher = {{CRC} Press},
year = {1997},
timestamp = {Sun, 09 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/crc/tucker97/Cohen97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Cohen96,
author = {Jacques Cohen},
title = {Logic Programming and Constraint Logic Programming},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {1},
pages = {257--259},
year = {1996},
url = {https://doi.org/10.1145/234313.234416},
doi = {10.1145/234313.234416},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Cohen96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/BabyC96,
author = {Olivier Baby and
Jacques Cohen},
editor = {Jean{-}Louis Imbert},
title = {Analyse de l'ADN: une approche multipasse {\`{a}} base de contraintes},
booktitle = {JFPLC'96, Cinqui{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand,
France},
pages = {9},
publisher = {Hermes},
year = {1996},
timestamp = {Thu, 27 May 2004 08:56:54 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/BabyC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/CohenK95,
author = {Jacques Cohen and
Suresh Kalathur},
editor = {Hamid R. Arabnia},
title = {Data-Parallel Design of an Interval-Based Constraint Language: Analysis
of Speedups},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} 1995, November 3-4,
1995, Georgia, {USA}},
pages = {81--90},
publisher = {{CSREA} Press},
year = {1995},
timestamp = {Mon, 09 Nov 2009 13:57:16 +0100},
biburl = {https://dblp.org/rec/conf/pdpta/CohenK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ImbertCW93,
author = {Jean{-}Louis Imbert and
Jacques Cohen and
Marie{-}Dominique Weeger},
title = {An Algorithm for Linear Constraint Solving: Its Incorporation in a
Prolog Meta-Interpreter for {CLP}},
journal = {J. Log. Program.},
volume = {16},
number = {3},
pages = {235--253},
year = {1993},
url = {https://doi.org/10.1016/0743-1066(93)90044-H},
doi = {10.1016/0743-1066(93)90044-H},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/ImbertCW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Cohen92,
author = {Jacques Cohen},
title = {First Specialize, Then Generalize (Indroduction to the Special Section
on Logic Programming)},
journal = {Commun. {ACM}},
volume = {35},
number = {3},
pages = {34--39},
year = {1992},
url = {https://doi.org/10.1145/131295.214842},
doi = {10.1145/131295.214842},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Cohen92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/HickeyCD92,
author = {Timothy J. Hickey and
Jacques Cohen and
V. Deschamps},
title = {Meta-Level Interpretation of Constraint Languages {A} Case Study:
Logical Primitives},
journal = {New Gener. Comput.},
volume = {10},
number = {4},
pages = {361--384},
year = {1992},
url = {https://doi.org/10.1007/BF03037944},
doi = {10.1007/BF03037944},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/HickeyCD92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/CohenW92,
author = {Jacques Cohen and
Aline Weitzman},
title = {Software Tools for Micro-analysis of Programs},
journal = {Softw. Pract. Exp.},
volume = {22},
number = {9},
pages = {777--808},
year = {1992},
url = {https://doi.org/10.1002/spe.4380220905},
doi = {10.1002/SPE.4380220905},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/CohenW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HickeyCHP92,
author = {Timothy J. Hickey and
Jacques Cohen and
Hitofumi Hotta and
Thierry PetitJean},
title = {Computer-Assisted Microanalysis of Parallel Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {14},
number = {1},
pages = {54--106},
year = {1992},
url = {https://doi.org/10.1145/111186.126699},
doi = {10.1145/111186.126699},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/HickeyCHP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwmm/1992,
editor = {Yves Bekkers and
Jacques Cohen},
title = {Memory Management, International Workshop {IWMM} 92, St. Malo, France,
September 17-19, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {637},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0017181},
doi = {10.1007/BFB0017181},
isbn = {3-540-55940-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wclp/CohenKP91,
author = {Jacques Cohen and
Pascal Koiran and
Catherine Perrin},
editor = {Fr{\'{e}}d{\'{e}}ric Benhamou and
Alain Colmerauer},
title = {Meta-Level Interpretation of CLP(Lists)},
booktitle = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
France},
pages = {457--481},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Tue, 30 Jul 2019 16:42:24 +0200},
biburl = {https://dblp.org/rec/conf/wclp/CohenKP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Cohen90,
author = {Jacques Cohen},
title = {Constraint Logic Programming Languages},
journal = {Commun. {ACM}},
volume = {33},
number = {7},
pages = {52--68},
year = {1990},
url = {https://doi.org/10.1145/79204.79209},
doi = {10.1145/79204.79209},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Cohen90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HildumC90,
author = {David Hildum and
Jacques Cohen},
title = {A Language for Specifying Program Transformations},
journal = {{IEEE} Trans. Software Eng.},
volume = {16},
number = {6},
pages = {630--638},
year = {1990},
url = {https://doi.org/10.1109/32.55091},
doi = {10.1109/32.55091},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HildumC90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Cohen88,
author = {Jacques Cohen},
title = {A View of the Origins and Development of Prolog},
journal = {Commun. {ACM}},
volume = {31},
number = {1},
pages = {26--36},
year = {1988},
url = {https://doi.org/10.1145/35043.35045},
doi = {10.1145/35043.35045},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Cohen88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/HickeyC88,
author = {Timothy J. Hickey and
Jacques Cohen},
title = {Automating program analysis},
journal = {J. {ACM}},
volume = {35},
number = {1},
pages = {185--220},
year = {1988},
url = {https://doi.org/10.1145/42267.42275},
doi = {10.1145/42267.42275},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/HickeyC88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CohenH87,
author = {Jacques Cohen and
Timothy J. Hickey},
title = {Parsing and Compiling Using Prolog},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {9},
number = {2},
pages = {125--163},
year = {1987},
url = {https://doi.org/10.1145/22719.22946},
doi = {10.1145/22719.22946},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/CohenH87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Cohen85,
author = {Jacques Cohen},
title = {Describing Prolog by Its Interpretation and Compilation},
journal = {Commun. {ACM}},
volume = {28},
number = {12},
pages = {1311--1324},
year = {1985},
url = {https://doi.org/10.1145/214956.214960},
doi = {10.1145/214956.214960},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Cohen85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CohenK85,
author = {Jacques Cohen and
Stuart Kolodner},
title = {Estimating the Speedup in Parallel Parsing},
journal = {{IEEE} Trans. Software Eng.},
volume = {11},
number = {1},
pages = {114--124},
year = {1985},
url = {https://doi.org/10.1109/TSE.1985.231848},
doi = {10.1109/TSE.1985.231848},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/CohenK85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/HickeyC84,
author = {Timothy J. Hickey and
Jacques Cohen},
title = {Performance Analysis of On-the-Fly Garbage Collection},
journal = {Commun. {ACM}},
volume = {27},
number = {11},
pages = {1143--1154},
year = {1984},
url = {https://doi.org/10.1145/1968.358298},
doi = {10.1145/1968.358298},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/HickeyC84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/GiannesiniC84,
author = {Francis Giannesini and
Jacques Cohen},
title = {Parser Generation and Grammar Manipulation Using Prolog's Infinite
Trees},
journal = {J. Log. Program.},
volume = {1},
number = {3},
pages = {253--265},
year = {1984},
url = {https://doi.org/10.1016/0743-1066(84)90013-X},
doi = {10.1016/0743-1066(84)90013-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/GiannesiniC84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Cohen83,
author = {Jacques Cohen},
title = {A Note on a Fast Algorithm for Sparse Matrix Multiplication},
journal = {Inf. Process. Lett.},
volume = {16},
number = {5},
pages = {247--248},
year = {1983},
url = {https://doi.org/10.1016/0020-0190(83)90097-2},
doi = {10.1016/0020-0190(83)90097-2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Cohen83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/HickeyC83,
author = {Timothy J. Hickey and
Jacques Cohen},
title = {Uniform Random Generation of Strings in a Context-Free Language},
journal = {{SIAM} J. Comput.},
volume = {12},
number = {4},
pages = {645--655},
year = {1983},
url = {https://doi.org/10.1137/0212044},
doi = {10.1137/0212044},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/HickeyC83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CohenN83,
author = {Jacques Cohen and
Alexandru Nicolau},
title = {Comparison of Compacting Algorithms for Garbage Collection},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {5},
number = {4},
pages = {532--553},
year = {1983},
url = {https://doi.org/10.1145/69575.357226},
doi = {10.1145/69575.357226},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/CohenN83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Cohen82,
author = {Jacques Cohen},
title = {Computer-Assisted Microanalysis of Programs},
journal = {Commun. {ACM}},
volume = {25},
number = {10},
pages = {724--733},
year = {1982},
url = {https://doi.org/10.1145/358656.358674},
doi = {10.1145/358656.358674},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Cohen82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/CohenHK82,
author = {Jacques Cohen and
Timothy J. Hickey and
Joel Katcoff},
title = {Upper Bounds for Speedup in Parallel Parsing},
journal = {J. {ACM}},
volume = {29},
number = {2},
pages = {408--428},
year = {1982},
url = {https://doi.org/10.1145/322307.322316},
doi = {10.1145/322307.322316},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/CohenHK82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Cohen81,
author = {Jacques Cohen},
title = {Garbage Collection of Linked Data Structures},
journal = {{ACM} Comput. Surv.},
volume = {13},
number = {3},
pages = {341--367},
year = {1981},
url = {https://doi.org/10.1145/356850.356854},
doi = {10.1145/356850.356854},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Cohen81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Cohen80,
author = {Jacques Cohen},
title = {Surveyor's Forum: Determining a Search},
journal = {{ACM} Comput. Surv.},
volume = {12},
number = {3},
pages = {358},
year = {1980},
url = {https://doi.org/10.1145/356819.356826},
doi = {10.1145/356819.356826},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Cohen80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/CohenS80,
author = {Jacques Cohen and
Robert Stachel},
title = {An interpreter for a nondeterministic language},
journal = {Int. J. Parallel Program.},
volume = {9},
number = {3},
pages = {193--217},
year = {1980},
url = {https://doi.org/10.1007/BF00977784},
doi = {10.1007/BF00977784},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/CohenS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Cohen79,
author = {Jacques Cohen},
title = {Non-Deterministic Algorithms},
journal = {{ACM} Comput. Surv.},
volume = {11},
number = {2},
pages = {79--94},
year = {1979},
url = {https://doi.org/10.1145/356770.356773},
doi = {10.1145/356770.356773},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Cohen79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/CohenH79,
author = {Jacques Cohen and
Timothy J. Hickey},
title = {Two Algorithms for Determining Volumes of Convex Polyhedra},
journal = {J. {ACM}},
volume = {26},
number = {3},
pages = {401--414},
year = {1979},
url = {https://doi.org/10.1145/322139.322141},
doi = {10.1145/322139.322141},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/CohenH79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CohenSA79,
author = {Jacques Cohen and
Robin Sitver and
David Auty},
title = {Evaluating and Improving Recursive Descent Parsers},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {5},
pages = {472--480},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.234208},
doi = {10.1109/TSE.1979.234208},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/CohenSA79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CohenS79,
author = {Jacques Cohen and
Robin Sitver},
title = {A Case Study in Program Transformation: Translation into Polish},
journal = {{IEEE} Trans. Software Eng.},
volume = {5},
number = {6},
pages = {593--606},
year = {1979},
url = {https://doi.org/10.1109/TSE.1979.230195},
doi = {10.1109/TSE.1979.230195},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/CohenS79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Cohen79,
author = {Jacques Cohen},
editor = {Friedrich L. Bauer and
Leon G. Stucki and
Meir M. Lehman},
title = {Computer-Aided Micro-Analysis of Programs},
booktitle = {Proceedings of the 4th International Conference on Software Engineering,
Munich, Germany, September 1979},
pages = {79--84},
publisher = {{IEEE} Computer Society},
year = {1979},
url = {http://dl.acm.org/citation.cfm?id=802925},
timestamp = {Mon, 14 May 2012 18:17:19 +0200},
biburl = {https://dblp.org/rec/conf/icse/Cohen79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/CohenR78,
author = {Jacques Cohen and
Martin A. Roth},
title = {Analyses of Deterministic Parsing Algorithms},
journal = {Commun. {ACM}},
volume = {21},
number = {6},
pages = {448--458},
year = {1978},
url = {https://doi.org/10.1145/359511.359517},
doi = {10.1145/359511.359517},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/CohenR78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/CohenK77,
author = {Jacques Cohen and
Joel Katcoff},
title = {Automatic Solution of a Certain Class of Combinatorial Problems},
journal = {Inf. Process. Lett.},
volume = {6},
number = {4},
pages = {101--104},
year = {1977},
url = {https://doi.org/10.1016/0020-0190(77)90020-5},
doi = {10.1016/0020-0190(77)90020-5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/CohenK77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/CohenC77,
author = {Jacques Cohen and
Neal Carpenter},
title = {A Language for Inquiring about the Run-time Behaviour of Programs},
journal = {Softw. Pract. Exp.},
volume = {7},
number = {4},
pages = {445--460},
year = {1977},
url = {https://doi.org/10.1002/spe.4380070403},
doi = {10.1002/SPE.4380070403},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/CohenC77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toms/CohenK77,
author = {Jacques Cohen and
Joel Katcoff},
title = {Symbolic Solution of Finite-Difference Equations},
journal = {{ACM} Trans. Math. Softw.},
volume = {3},
number = {3},
pages = {261--271},
year = {1977},
url = {https://doi.org/10.1145/355744.355751},
doi = {10.1145/355744.355751},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toms/CohenK77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/CohenR76,
author = {Jacques Cohen and
Martin S. Roth},
title = {On the Implementation of Strassen's Fast Multiplication Algorithm},
journal = {Acta Informatica},
volume = {6},
pages = {341--355},
year = {1976},
url = {https://doi.org/10.1007/BF00268135},
doi = {10.1007/BF00268135},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/CohenR76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Cohen75,
author = {Jacques Cohen},
title = {Interpretation of Non-Deterministic Algorithms in Higher-Level Languages},
journal = {Inf. Process. Lett.},
volume = {3},
number = {4},
pages = {104--109},
year = {1975},
url = {https://doi.org/10.1016/0020-0190(75)90042-3},
doi = {10.1016/0020-0190(75)90042-3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Cohen75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/Cohen75,
author = {Jacques Cohen},
title = {Experience with a Conversational Parser Generating System},
journal = {Softw. Pract. Exp.},
volume = {5},
number = {2},
pages = {169--180},
year = {1975},
url = {https://doi.org/10.1002/spe.4380050206},
doi = {10.1002/SPE.4380050206},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/Cohen75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/CohenZ74,
author = {Jacques Cohen and
Carl Zuckerman},
title = {Two Languages for Estimating Program Efficiency},
journal = {Commun. {ACM}},
volume = {17},
number = {6},
pages = {301--308},
year = {1974},
url = {https://doi.org/10.1145/355616.361015},
doi = {10.1145/355616.361015},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/CohenZ74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/CohenC74,
author = {Jacques Cohen and
Eileen Carton},
title = {Non-Deterministic {FORTRAN}},
journal = {Comput. J.},
volume = {17},
number = {1},
pages = {44--51},
year = {1974},
url = {https://doi.org/10.1093/comjnl/17.1.44},
doi = {10.1093/COMJNL/17.1.44},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/CohenC74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/CohenTW74,
author = {Jacques Cohen and
Laurent Trilling and
Peter Wegner},
title = {A nucleus of a theorem-prover described inAlgol -68},
journal = {Int. J. Parallel Program.},
volume = {3},
number = {1},
pages = {1--31},
year = {1974},
url = {https://doi.org/10.1007/BF01355585},
doi = {10.1007/BF01355585},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/CohenTW74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Cohen73,
author = {Jacques Cohen},
title = {Syntax-Directed Unit Conversion},
journal = {Inf. Process. Lett.},
volume = {2},
number = {4},
pages = {100--102},
year = {1973},
url = {https://doi.org/10.1016/0020-0190(73)90026-4},
doi = {10.1016/0020-0190(73)90026-4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Cohen73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/GilbertC72,
author = {Ira Gilbert and
Jacques Cohen},
editor = {John J. Donovan and
Rosemary Shields},
title = {A simple hardware model of a Turing machine: its educational use},
booktitle = {Proceedings of the {ACM} annual conference, {ACM} 1972, Boston, MA,
USA, August 1972, Volume 1},
pages = {324--329},
publisher = {{ACM}},
year = {1972},
url = {https://doi.org/10.1145/800193.569940},
doi = {10.1145/800193.569940},
timestamp = {Tue, 13 Apr 2021 15:14:35 +0200},
biburl = {https://dblp.org/rec/conf/acm/GilbertC72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/symsac/CohenR71,
author = {Jacques Cohen and
Ann Rubin},
editor = {Stanley R. Petrick and
Jean E. Sammet and
Robert G. Tobey and
Joel Moses},
title = {An interactive system for proving theorems in the predicate calculus},
booktitle = {Proceedings of the second {ACM} symposium on Symbolic and algebraic
manipulation, {SYMSAC} 1971, Los Angeles, California, USA, March 23-25,
1971},
pages = {268--280},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800204.806296},
doi = {10.1145/800204.806296},
timestamp = {Mon, 21 Mar 2022 16:03:35 +0100},
biburl = {https://dblp.org/rec/conf/symsac/CohenR71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Cohen67,
author = {Jacques Cohen},
title = {Langages pour l'{\'{e}}criture de compilateurs. (Languages for
Compiler Writing)},
school = {Joseph Fourier University, Grenoble, France},
year = {1967},
url = {https://tel.archives-ouvertes.fr/tel-00009453},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Cohen67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Cohen67,
author = {Jacques Cohen},
title = {A use of fast and slow memories in list-processing languages},
journal = {Commun. {ACM}},
volume = {10},
number = {2},
pages = {82--86},
year = {1967},
url = {https://doi.org/10.1145/363067.363092},
doi = {10.1145/363067.363092},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Cohen67.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/CohenN66,
author = {Jacques Cohen and
Xuan Nguyen{-}Dinh},
title = {Note on Ordering of Grammar Rules in Syntax-Analyzers},
journal = {Comput. J.},
volume = {9},
number = {3},
pages = {250--251},
year = {1966},
url = {https://doi.org/10.1093/comjnl/9.3.250},
doi = {10.1093/COMJNL/9.3.250},
timestamp = {Mon, 20 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/CohenN66.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-27 22:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
