Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Michael Codish
@inproceedings{DBLP:conf/aaai/JanotaC0CV24,
author = {Mikol{\'{a}}s Janota and
Choiwah Chow and
Jo{\~{a}}o Ara{\'{u}}jo and
Michael Codish and
Petr Vojtechovsk{\'{y}}},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {SAT-Based Techniques for Lexicographically Smallest Finite Models},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {8048--8056},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i8.28643},
doi = {10.1609/AAAI.V38I8.28643},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/JanotaC0CV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/ItzhakovC23,
author = {Avraham Itzhakov and
Michael Codish},
editor = {Andr{\'{e}} A. Cir{\'{e}}},
title = {Breaking Symmetries with High Dimensional Graph Invariants and Their
Combination},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and
Operations Research - 20th International Conference, {CPAIOR} 2023,
Nice, France, May 29 - June 1, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13884},
pages = {133--149},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33271-5\_10},
doi = {10.1007/978-3-031-33271-5\_10},
timestamp = {Wed, 31 May 2023 14:56:54 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/ItzhakovC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/ItzhakovC22,
author = {Avraham Itzhakov and
Michael Codish},
title = {Complete symmetry breaking constraints for the class of uniquely Hamiltonian
graphs},
journal = {Constraints An Int. J.},
volume = {27},
number = {1-2},
pages = {8--28},
year = {2022},
url = {https://doi.org/10.1007/s10601-021-09323-8},
doi = {10.1007/S10601-021-09323-8},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/ItzhakovC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ItzhakovC20,
author = {Avraham Itzhakov and
Michael Codish},
title = {Incremental Symmetry Breaking Constraints for Graph Search Problems},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {1536--1543},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i02.5513},
doi = {10.1609/AAAI.V34I02.5513},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ItzhakovC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/CodishMPS19,
author = {Michael Codish and
Alice Miller and
Patrick Prosser and
Peter J. Stuckey},
title = {Constraints for symmetry breaking in graph representation},
journal = {Constraints An Int. J.},
volume = {24},
number = {1},
pages = {1--24},
year = {2019},
url = {https://doi.org/10.1007/s10601-018-9294-5},
doi = {10.1007/S10601-018-9294-5},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/CodishMPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CodishCEMS19,
author = {Michael Codish and
Lu{\'{\i}}s Cruz{-}Filipe and
Thorsten Ehlers and
Mike M{\"{u}}ller and
Peter Schneider{-}Kamp},
title = {Sorting networks: To the end and back again},
journal = {J. Comput. Syst. Sci.},
volume = {104},
pages = {184--201},
year = {2019},
url = {https://doi.org/10.1016/j.jcss.2016.04.004},
doi = {10.1016/J.JCSS.2016.04.004},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/CodishCEMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/CodishEGIS18,
author = {Michael Codish and
Thorsten Ehlers and
Graeme Gange and
Avraham Itzhakov and
Peter J. Stuckey},
editor = {John P. Gallagher and
Martin Sulzmann},
title = {Breaking Symmetries with Lex Implications},
booktitle = {Functional and Logic Programming - 14th International Symposium, {FLOPS}
2018, Nagoya, Japan, May 9-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10818},
pages = {182--197},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90686-7\_12},
doi = {10.1007/978-3-319-90686-7\_12},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/CodishEGIS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/MuslimanyC18,
author = {Morad Muslimany and
Michael Codish},
title = {SAT-Based Big-Step Local Search},
booktitle = {20th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2018, Timisoara, Romania, September
20-23, 2018},
pages = {109--116},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/SYNASC.2018.00029},
doi = {10.1109/SYNASC.2018.00029},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/synasc/MuslimanyC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-00507,
author = {Michael Codish},
title = {A {SAT} Encoding for the n-Fractions Problem},
journal = {CoRR},
volume = {abs/1807.00507},
year = {2018},
url = {http://arxiv.org/abs/1807.00507},
eprinttype = {arXiv},
eprint = {1807.00507},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-00507.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CodishCNS17,
author = {Michael Codish and
Lu{\'{\i}}s Cruz{-}Filipe and
Markus Nebel and
Peter Schneider{-}Kamp},
title = {Optimizing sorting algorithms by using sorting networks},
journal = {Formal Aspects Comput.},
volume = {29},
number = {3},
pages = {559--579},
year = {2017},
url = {https://doi.org/10.1007/s00165-016-0401-3},
doi = {10.1007/S00165-016-0401-3},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/CodishCNS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BundalaCCSZ17,
author = {Daniel Bundala and
Michael Codish and
Lu{\'{\i}}s Cruz{-}Filipe and
Peter Schneider{-}Kamp and
Jakub Z{\'{a}}vodn{\'{y}}},
title = {Optimal-depth sorting networks},
journal = {J. Comput. Syst. Sci.},
volume = {84},
pages = {185--204},
year = {2017},
url = {https://doi.org/10.1016/j.jcss.2016.09.004},
doi = {10.1016/J.JCSS.2016.09.004},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/BundalaCCSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Codish0MM17,
author = {Michael Codish and
Michael Frank and
Amit Metodi and
Morad Muslimany},
editor = {Ricardo Rocha and
Tran Cao Son and
Christopher Mears and
Neda Saeedloei},
title = {Logic Programming with Max-Clique and its Application to Graph Coloring
(Tool Description)},
booktitle = {Technical Communications of the 33rd International Conference on Logic
Programming, {ICLP} 2017, August 28 to September 1, 2017, Melbourne,
Australia},
series = {OASIcs},
volume = {58},
pages = {5:1--5:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/OASIcs.ICLP.2017.5},
doi = {10.4230/OASICS.ICLP.2017.5},
timestamp = {Tue, 15 Feb 2022 09:40:05 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Codish0MM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Codish0L17,
author = {Michael Codish and
Michael Frank and
Vitaly Lagoon},
editor = {Carles Sierra},
title = {The {DNA} Word Design Problem: {A} New Constraint Model and New Results},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {585--591},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/82},
doi = {10.24963/IJCAI.2017/82},
timestamp = {Tue, 20 Aug 2019 16:16:54 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Codish0L17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/ItzhakovC16,
author = {Avraham Itzhakov and
Michael Codish},
title = {Breaking symmetries in graph search with canonizing sets},
journal = {Constraints An Int. J.},
volume = {21},
number = {3},
pages = {357--374},
year = {2016},
url = {https://doi.org/10.1007/s10601-016-9244-z},
doi = {10.1007/S10601-016-9244-Z},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/ItzhakovC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/CodishFIM16,
author = {Michael Codish and
Michael Frank and
Avraham Itzhakov and
Alice Miller},
title = {Computing the Ramsey number R(4, 3, 3) using abstraction and symmetry
breaking},
journal = {Constraints An Int. J.},
volume = {21},
number = {3},
pages = {375--393},
year = {2016},
url = {https://doi.org/10.1007/s10601-016-9240-3},
doi = {10.1007/S10601-016-9240-3},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/CodishFIM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CodishCFS16,
author = {Michael Codish and
Lu{\'{\i}}s Cruz{-}Filipe and
Michael Frank and
Peter Schneider{-}Kamp},
title = {Sorting nine inputs requires twenty-five comparisons},
journal = {J. Comput. Syst. Sci.},
volume = {82},
number = {3},
pages = {551--563},
year = {2016},
url = {https://doi.org/10.1016/j.jcss.2015.11.014},
doi = {10.1016/J.JCSS.2015.11.014},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/CodishCFS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/CodishS16,
author = {Michael Codish and
Eijiro Sumii},
title = {Preface for special section from {FLOPS} 2014},
journal = {J. Funct. Program.},
volume = {26},
pages = {e14},
year = {2016},
url = {https://doi.org/10.1017/S0956796816000149},
doi = {10.1017/S0956796816000149},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/CodishS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FrankC16,
author = {Michael Frank and
Michael Codish},
title = {Logic Programming with Graph Automorphism: Integrating nauty with
Prolog (Tool Description)},
journal = {Theory Pract. Log. Program.},
volume = {16},
number = {5-6},
pages = {688--702},
year = {2016},
url = {https://doi.org/10.1017/S1471068416000223},
doi = {10.1017/S1471068416000223},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FrankC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CodishGIS16,
author = {Michael Codish and
Graeme Gange and
Avraham Itzhakov and
Peter J. Stuckey},
editor = {Michel Rueher},
title = {Breaking Symmetries in Graphs: The Nauty Way},
booktitle = {Principles and Practice of Constraint Programming - 22nd International
Conference, {CP} 2016, Toulouse, France, September 5-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9892},
pages = {157--172},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44953-1\_11},
doi = {10.1007/978-3-319-44953-1\_11},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/CodishGIS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0002C16a,
author = {Michael Frank and
Michael Codish},
title = {Logic Programming with Graph Automorphism: Integrating naut with Prolog
(a Tool Paper)},
journal = {CoRR},
volume = {abs/1607.04829},
year = {2016},
url = {http://arxiv.org/abs/1607.04829},
eprinttype = {arXiv},
eprint = {1607.04829},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/0002C16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/CodishCS15,
author = {Michael Codish and
Lu{\'{\i}}s Cruz{-}Filipe and
Peter Schneider{-}Kamp},
editor = {Adrian{-}Horia Dediu and
Enrico Formenti and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {Sorting Networks: The End Game},
booktitle = {Language and Automata Theory and Applications - 9th International
Conference, {LATA} 2015, Nice, France, March 2-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8977},
pages = {664--675},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15579-1\_52},
doi = {10.1007/978-3-319-15579-1\_52},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/CodishCS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/CodishCNS15,
author = {Michael Codish and
Lu{\'{\i}}s Cruz{-}Filipe and
Markus Nebel and
Peter Schneider{-}Kamp},
editor = {Moreno Falaschi},
title = {Applying Sorting Networks to Synthesize Optimized Sorting Libraries},
booktitle = {Logic-Based Program Synthesis and Transformation - 25th International
Symposium, {LOPSTR} 2015, Siena, Italy, July 13-15, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9527},
pages = {127--142},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27436-2\_8},
doi = {10.1007/978-3-319-27436-2\_8},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/CodishCNS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CodishCNS15,
author = {Michael Codish and
Lu{\'{\i}}s Cruz{-}Filipe and
Markus Nebel and
Peter Schneider{-}Kamp},
title = {Applying Sorting Networks to Synthesize Optimized Sorting Libraries},
journal = {CoRR},
volume = {abs/1505.01962},
year = {2015},
url = {http://arxiv.org/abs/1505.01962},
eprinttype = {arXiv},
eprint = {1505.01962},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CodishCNS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CodishCEMS15,
author = {Michael Codish and
Lu{\'{\i}}s Cruz{-}Filipe and
Thorsten Ehlers and
Mike M{\"{u}}ller and
Peter Schneider{-}Kamp},
title = {Sorting Networks: to the End and Back Again},
journal = {CoRR},
volume = {abs/1507.01428},
year = {2015},
url = {http://arxiv.org/abs/1507.01428},
eprinttype = {arXiv},
eprint = {1507.01428},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CodishCEMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CodishCFS15,
author = {Michael Codish and
Lu{\'{\i}}s Cruz{-}Filipe and
Michael Frank and
Peter Schneider{-}Kamp},
title = {When Six Gates are Not Enough},
journal = {CoRR},
volume = {abs/1508.05737},
year = {2015},
url = {http://arxiv.org/abs/1508.05737},
eprinttype = {arXiv},
eprint = {1508.05737},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CodishCFS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CodishFIM15,
author = {Michael Codish and
Michael Frank and
Avraham Itzhakov and
Alice Miller},
title = {Computing the Ramsey Number R(4, 3, 3) using Abstraction and Symmetry
breaking},
journal = {CoRR},
volume = {abs/1510.08266},
year = {2015},
url = {http://arxiv.org/abs/1510.08266},
eprinttype = {arXiv},
eprint = {1510.08266},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CodishFIM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ItzhakovC15,
author = {Avraham Itzhakov and
Michael Codish},
title = {Breaking Symmetries in Graph Search with Canonizing Sets},
journal = {CoRR},
volume = {abs/1511.08205},
year = {2015},
url = {http://arxiv.org/abs/1511.08205},
eprinttype = {arXiv},
eprint = {1511.08205},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ItzhakovC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/MetodiSKC14,
author = {Amit Metodi and
Roni Stern and
Meir Kalech and
Michael Codish},
title = {A Novel SAT-Based Approach to Model Based Diagnosis},
journal = {J. Artif. Intell. Res.},
volume = {51},
pages = {377--411},
year = {2014},
url = {https://doi.org/10.1613/jair.4503},
doi = {10.1613/JAIR.4503},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/MetodiSKC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/CodishCFS14,
author = {Michael Codish and
Lu{\'{\i}}s Cruz{-}Filipe and
Michael Frank and
Peter Schneider{-}Kamp},
title = {Twenty-Five Comparators Is Optimal When Sorting Nine Inputs (and Twenty-Nine
for Ten)},
booktitle = {26th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2014, Limassol, Cyprus, November 10-12, 2014},
pages = {186--193},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICTAI.2014.36},
doi = {10.1109/ICTAI.2014.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/CodishCFS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/FeketeC14,
author = {Yoav Fekete and
Michael Codish},
editor = {Carsten Sinz and
Uwe Egly},
title = {Simplifying Pseudo-Boolean Constraints in Residual Number Systems},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2014 - 17th
International Conference, Held as Part of the Vienna Summer of Logic,
{VSL} 2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8561},
pages = {351--366},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09284-3\_26},
doi = {10.1007/978-3-319-09284-3\_26},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/FeketeC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/CodishCS14,
author = {Michael Codish and
Lu{\'{\i}}s Cruz{-}Filipe and
Peter Schneider{-}Kamp},
editor = {Franz Winkler and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer
Prefixes},
booktitle = {16th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2014, Timisoara, Romania, September
22-25, 2014},
pages = {359--366},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SYNASC.2014.55},
doi = {10.1109/SYNASC.2014.55},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/CodishCS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2014,
editor = {Michael Codish and
Eijiro Sumii},
title = {Functional and Logic Programming - 12th International Symposium, {FLOPS}
2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8475},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07151-0},
doi = {10.1007/978-3-319-07151-0},
isbn = {978-3-319-07150-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MetodiCS14,
author = {Amit Metodi and
Michael Codish and
Peter James Stuckey},
title = {Boolean Equi-propagation for Concise and Efficient {SAT} Encodings
of Combinatorial Problems},
journal = {CoRR},
volume = {abs/1402.0568},
year = {2014},
url = {http://arxiv.org/abs/1402.0568},
eprinttype = {arXiv},
eprint = {1402.0568},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MetodiCS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CodishCS14,
author = {Michael Codish and
Lu{\'{\i}}s Cruz{-}Filipe and
Peter Schneider{-}Kamp},
title = {The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer
Prefixes},
journal = {CoRR},
volume = {abs/1404.0948},
year = {2014},
url = {http://arxiv.org/abs/1404.0948},
eprinttype = {arXiv},
eprint = {1404.0948},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CodishCS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CodishCFS14,
author = {Michael Codish and
Lu{\'{\i}}s Cruz{-}Filipe and
Michael Frank and
Peter Schneider{-}Kamp},
title = {Twenty-Five Comparators is Optimal when Sorting Nine Inputs (and Twenty-Nine
for Ten)},
journal = {CoRR},
volume = {abs/1405.5754},
year = {2014},
url = {http://arxiv.org/abs/1405.5754},
eprinttype = {arXiv},
eprint = {1405.5754},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CodishCFS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CodishFIM14,
author = {Michael Codish and
Michael Frank and
Avraham Itzhakov and
Alice Miller},
title = {Solving Graph Coloring Problems with Abstraction and Symmetry: the
Ramsey Number R(4, 3, 3)=30},
journal = {CoRR},
volume = {abs/1409.5189},
year = {2014},
url = {http://arxiv.org/abs/1409.5189},
eprinttype = {arXiv},
eprint = {1409.5189},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CodishFIM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CodishCS14a,
author = {Michael Codish and
Lu{\'{\i}}s Cruz{-}Filipe and
Peter Schneider{-}Kamp},
title = {Sorting Networks: the End Game},
journal = {CoRR},
volume = {abs/1411.6408},
year = {2014},
url = {http://arxiv.org/abs/1411.6408},
eprinttype = {arXiv},
eprint = {1411.6408},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CodishCS14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BundalaCCSZ14,
author = {Daniel Bundala and
Michael Codish and
Lu{\'{\i}}s Cruz{-}Filipe and
Peter Schneider{-}Kamp and
Jakub Z{\'{a}}vodn{\'{y}}},
title = {Optimal-Depth Sorting Networks},
journal = {CoRR},
volume = {abs/1412.5302},
year = {2014},
url = {http://arxiv.org/abs/1412.5302},
eprinttype = {arXiv},
eprint = {1412.5302},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BundalaCCSZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/AMCS13,
author = {Amit Metodi and
Michael Codish and
Peter J. Stuckey},
title = {Boolean Equi-propagation for Concise and Efficient {SAT} Encodings
of Combinatorial Problems},
journal = {J. Artif. Intell. Res.},
volume = {46},
pages = {303--341},
year = {2013},
url = {https://doi.org/10.1613/jair.3809},
doi = {10.1613/JAIR.3809},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/AMCS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/CodishFM13,
author = {Michael Codish and
Yoav Fekete and
Amit Metodi},
editor = {Valeria Bertacco and
Axel Legay},
title = {Backbones for Equality},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {1--14},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_1},
doi = {10.1007/978-3-319-03077-7\_1},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/CodishFM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CodishMPS13,
author = {Michael Codish and
Alice Miller and
Patrick Prosser and
Peter James Stuckey},
editor = {Francesca Rossi},
title = {Breaking Symmetries in Graph Representation},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {510--516},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6480},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/CodishMPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CodishFM13,
author = {Michael Codish and
Yoav Fekete and
Amit Metodi},
title = {Compiling Finite Domain Constraints to {SAT} with {BEE:} the Director's
Cut},
journal = {CoRR},
volume = {abs/1308.3937},
year = {2013},
url = {http://arxiv.org/abs/1308.3937},
eprinttype = {arXiv},
eprint = {1308.3937},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CodishFM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/CodishGST12,
author = {Michael Codish and
J{\"{u}}rgen Giesl and
Peter Schneider{-}Kamp and
Ren{\'{e}} Thiemann},
title = {{SAT} Solving for Termination Proofs with Recursive Path Orders and
Dependency Pairs},
journal = {J. Autom. Reason.},
volume = {49},
number = {1},
pages = {53--93},
year = {2012},
url = {https://doi.org/10.1007/s10817-010-9211-0},
doi = {10.1007/S10817-010-9211-0},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/CodishGST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/MetodiC12,
author = {Amit Metodi and
Michael Codish},
title = {Compiling finite domain constraints to {SAT} with {BEE}},
journal = {Theory Pract. Log. Program.},
volume = {12},
number = {4-5},
pages = {465--483},
year = {2012},
url = {https://doi.org/10.1017/S1471068412000130},
doi = {10.1017/S1471068412000130},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/MetodiC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MetodiSKC12,
author = {Amit Metodi and
Roni Stern and
Meir Kalech and
Michael Codish},
editor = {J{\"{o}}rg Hoffmann and
Bart Selman},
title = {Compiling Model-Based Diagnosis to Boolean Satisfaction},
booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
July 22-26, 2012, Toronto, Ontario, Canada},
pages = {793--799},
publisher = {{AAAI} Press},
year = {2012},
url = {https://doi.org/10.1609/aaai.v26i1.8222},
doi = {10.1609/AAAI.V26I1.8222},
timestamp = {Mon, 04 Sep 2023 15:56:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MetodiSKC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/CodishFFGW12,
author = {Michael Codish and
Yoav Fekete and
Carsten Fuhs and
J{\"{u}}rgen Giesl and
Johannes Waldmann},
editor = {Pascal Fontaine and
Amit Goel},
title = {Exotic Semi-Ring Constraints},
booktitle = {10th International Workshop on Satisfiability Modulo Theories, {SMT}
2012, Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {20},
pages = {88--97},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/qqvt},
doi = {10.29007/QQVT},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/CodishFFGW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Codish12,
author = {Michael Codish},
editor = {Tom Schrijvers and
Peter Thiemann},
title = {Programming with Boolean Satisfaction},
booktitle = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
pages = {1},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6\_1},
doi = {10.1007/978-3-642-29822-6\_1},
timestamp = {Mon, 23 Mar 2020 12:22:51 +0100},
biburl = {https://dblp.org/rec/conf/flops/Codish12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1206-3883,
author = {Amit Metodi and
Michael Codish},
title = {Compiling Finite Domain Constraints to {SAT} with {BEE}},
journal = {CoRR},
volume = {abs/1206.3883},
year = {2012},
url = {http://arxiv.org/abs/1206.3883},
eprinttype = {arXiv},
eprint = {1206.3883},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1206-3883.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CodishGBFG11,
author = {Michael Codish and
Igor Gonopolskiy and
Amir M. Ben{-}Amram and
Carsten Fuhs and
J{\"{u}}rgen Giesl},
title = {SAT-based termination analysis using monotonicity constraints over
the integers},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {503--520},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000147},
doi = {10.1017/S1471068411000147},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/CodishGBFG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/MetodiCLS11,
author = {Amit Metodi and
Michael Codish and
Vitaly Lagoon and
Peter J. Stuckey},
editor = {Jimmy Ho{-}Man Lee},
title = {Boolean Equi-propagation for Optimized {SAT} Encoding},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2011 - 17th
International Conference, {CP} 2011, Perugia, Italy, September 12-16,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6876},
pages = {621--636},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23786-7\_47},
doi = {10.1007/978-3-642-23786-7\_47},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/MetodiCLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CodishFFS11,
author = {Michael Codish and
Yoav Fekete and
Carsten Fuhs and
Peter Schneider{-}Kamp},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Optimal Base Encodings for Pseudo-Boolean Constraints},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {189--204},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_16},
doi = {10.1007/978-3-642-19835-9\_16},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CodishFFS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-4617,
author = {Amit Metodi and
Michael Codish and
Vitaly Lagoon and
Peter J. Stuckey},
title = {Boolean Equi-propagation for Optimized {SAT} Encoding},
journal = {CoRR},
volume = {abs/1104.4617},
year = {2011},
url = {http://arxiv.org/abs/1104.4617},
eprinttype = {arXiv},
eprint = {1104.4617},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-4617.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-5980,
author = {Michael Codish and
Igor Gonopolskiy and
Amir M. Ben{-}Amram and
Carsten Fuhs and
J{\"{u}}rgen Giesl},
title = {SAT-Based Termination Analysis Using Monotonicity Constraints over
the Integers},
journal = {CoRR},
volume = {abs/1107.5980},
year = {2011},
url = {http://arxiv.org/abs/1107.5980},
eprinttype = {arXiv},
eprint = {1107.5980},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-5980.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/CodishZ10,
author = {Michael Codish and
Moshe Zazon{-}Ivry},
editor = {Edmund M. Clarke and
Andrei Voronkov},
title = {Pairwise Cardinality Networks},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th
International Conference, LPAR-16, Dakar, Senegal, April 25-May 1,
2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6355},
pages = {154--172},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17511-4\_10},
doi = {10.1007/978-3-642-17511-4\_10},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/CodishZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/CodishFGS10,
author = {Michael Codish and
Carsten Fuhs and
J{\"{u}}rgen Giesl and
Peter Schneider{-}Kamp},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Lazy Abstraction for Size-Change Termination},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {217--232},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_16},
doi = {10.1007/978-3-642-16242-8\_16},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/CodishFGS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-4935,
author = {Michael Codish and
Yoav Fekete and
Carsten Fuhs and
Peter Schneider{-}Kamp},
title = {Optimal Base Encodings for Pseudo-Boolean Constraints},
journal = {CoRR},
volume = {abs/1007.4935},
year = {2010},
url = {http://arxiv.org/abs/1007.4935},
eprinttype = {arXiv},
eprint = {1007.4935},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-4935.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/OhrimenkoSC09,
author = {Olga Ohrimenko and
Peter J. Stuckey and
Michael Codish},
title = {Propagation via lazy clause generation},
journal = {Constraints An Int. J.},
volume = {14},
number = {3},
pages = {357--391},
year = {2009},
url = {https://doi.org/10.1007/s10601-008-9064-x},
doi = {10.1007/S10601-008-9064-X},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/OhrimenkoSC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/CodishGS09,
author = {Michael Codish and
Samir Genaim and
Peter J. Stuckey},
editor = {Ant{\'{o}}nio Porto and
Francisco Javier L{\'{o}}pez{-}Fraguas},
title = {A declarative encoding of telecommunications feature subscription
in {SAT}},
booktitle = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, September 7-9,
2009, Coimbra, Portugal},
pages = {255--266},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1599410.1599442},
doi = {10.1145/1599410.1599442},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/CodishGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/CodishLS08,
author = {Michael Codish and
Vitaly Lagoon and
Peter J. Stuckey},
title = {Solving Partial Order Constraints for {LPO} Termination},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {5},
number = {1-4},
pages = {193--215},
year = {2008},
url = {https://doi.org/10.3233/sat190056},
doi = {10.3233/SAT190056},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/CodishLS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CodishLS08,
author = {Michael Codish and
Vitaly Lagoon and
Peter J. Stuckey},
title = {Logic programming with satisfiability},
journal = {Theory Pract. Log. Program.},
volume = {8},
number = {1},
pages = {121--128},
year = {2008},
url = {https://doi.org/10.1017/S1471068407003146},
doi = {10.1017/S1471068407003146},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CodishLS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/AlbertACGPZ08,
author = {Elvira Albert and
Puri Arenas and
Michael Codish and
Samir Genaim and
Germ{\'{a}}n Puebla and
Damiano Zanardini},
editor = {Gilles Barthe and
Frank S. de Boer},
title = {Termination Analysis of Java Bytecode},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June
4-6, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5051},
pages = {2--18},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68863-1\_2},
doi = {10.1007/978-3-540-68863-1\_2},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/AlbertACGPZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CodishLS08,
author = {Michael Codish and
Vitaly Lagoon and
Peter J. Stuckey},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {Telecommunications Feature Subscription as a Partial Order Constraint
Problem},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {749--753},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_70},
doi = {10.1007/978-3-540-89982-2\_70},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/CodishLS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Ben-AmramC08,
author = {Amir M. Ben{-}Amram and
Michael Codish},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {A SAT-Based Approach to Size Change Termination with Global Ranking
Functions},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {218--232},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_16},
doi = {10.1007/978-3-540-78800-3\_16},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Ben-AmramC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BruynoogheCGGV07,
author = {Maurice Bruynooghe and
Michael Codish and
John P. Gallagher and
Samir Genaim and
Wim Vanhoof},
title = {Termination analysis of logic programs through combination of type-based
norms},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {2},
pages = {10},
year = {2007},
url = {https://doi.org/10.1145/1216374.1216378},
doi = {10.1145/1216374.1216378},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BruynoogheCGGV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/OhrimenkoSC07,
author = {Olga Ohrimenko and
Peter J. Stuckey and
Michael Codish},
editor = {Christian Bessiere},
title = {Propagation = Lazy Clause Generation},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {544--558},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_39},
doi = {10.1007/978-3-540-74970-7\_39},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/OhrimenkoSC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Schneider-KampTACG07,
author = {Peter Schneider{-}Kamp and
Ren{\'{e}} Thiemann and
Elena Annov and
Michael Codish and
J{\"{u}}rgen Giesl},
editor = {Boris Konev and
Frank Wolter},
title = {Proving Termination Using Recursive Path Orders and {SAT} Solving},
booktitle = {Frontiers of Combining Systems, 6th International Symposium, FroCoS
2007, Liverpool, UK, September 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4720},
pages = {267--282},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74621-8\_18},
doi = {10.1007/978-3-540-74621-8\_18},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Schneider-KampTACG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Codish07,
author = {Michael Codish},
editor = {Andy King},
title = {Proving Termination with (Boolean) Satisfaction},
booktitle = {Logic-Based Program Synthesis and Transformation, 17th International
Symposium, {LOPSTR} 2007, Kongens Lyngby, Denmark, August 23-24, 2007,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4915},
pages = {1--7},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78769-3\_1},
doi = {10.1007/978-3-540-78769-3\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Codish07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Schneider-KampFTGACMZ07,
author = {Peter Schneider{-}Kamp and
Carsten Fuhs and
Ren{\'{e}} Thiemann and
J{\"{u}}rgen Giesl and
Elena Annov and
Michael Codish and
Aart Middeldorp and
Harald Zankl},
editor = {Franz Baader and
Byron Cook and
J{\"{u}}rgen Giesl and
Robert Nieuwenhuis},
title = {Implementing {RPO} and {POLO} using {SAT}},
booktitle = {Deduction and Decision Procedures, 30.09. - 05.10.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07401},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/1249},
timestamp = {Sun, 02 Oct 2022 15:58:47 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Schneider-KampFTGACMZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0702072,
author = {Michael Codish and
Vitaly Lagoon and
Peter J. Stuckey},
title = {Logic Programming with Satisfiability},
journal = {CoRR},
volume = {abs/cs/0702072},
year = {2007},
url = {http://arxiv.org/abs/cs/0702072},
eprinttype = {arXiv},
eprint = {cs/0702072},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0702072.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CodishLSS06,
author = {Michael Codish and
Vitaly Lagoon and
Peter Schachte and
Peter J. Stuckey},
editor = {Peter Sestoft},
title = {Size-Change Termination Analysis in \emph{k}-Bits},
booktitle = {Programming Languages and Systems, 15th European Symposium on Programming,
{ESOP} 2006, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2006, Vienna, Austria, March 27-28,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3924},
pages = {230--245},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11693024\_16},
doi = {10.1007/11693024\_16},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/CodishLSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/CodishSLTG06,
author = {Michael Codish and
Peter Schneider{-}Kamp and
Vitaly Lagoon and
Ren{\'{e}} Thiemann and
J{\"{u}}rgen Giesl},
editor = {Miki Hermann and
Andrei Voronkov},
title = {{SAT} Solving for Argument Filterings},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 13th
International Conference, {LPAR} 2006, Phnom Penh, Cambodia, November
13-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4246},
pages = {30--44},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11916277\_3},
doi = {10.1007/11916277\_3},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/CodishSLTG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/CodishLS06,
author = {Michael Codish and
Vitaly Lagoon and
Peter J. Stuckey},
editor = {Frank Pfenning},
title = {Solving Partial Order Constraints for {LPO} Termination},
booktitle = {Term Rewriting and Applications, 17th International Conference, {RTA}
2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4098},
pages = {4--18},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11805618\_2},
doi = {10.1007/11805618\_2},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/CodishLS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0605074,
author = {Michael Codish and
Peter Schneider{-}Kamp and
Vitaly Lagoon and
Ren{\'{e}} Thiemann and
J{\"{u}}rgen Giesl},
title = {{SAT} Solving for Argument Filterings},
journal = {CoRR},
volume = {abs/cs/0605074},
year = {2006},
url = {http://arxiv.org/abs/cs/0605074},
eprinttype = {arXiv},
eprint = {cs/0605074},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0605074.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GenaimC05,
author = {Samir Genaim and
Michael Codish},
title = {Inferring Termination Conditions for Logic Programs using Backwards
Analysis},
journal = {Theory Pract. Log. Program.},
volume = {5},
number = {1-2},
pages = {75--91},
year = {2005},
url = {https://doi.org/10.1017/S1471068404002236},
doi = {10.1017/S1471068404002236},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/GenaimC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CodishLS05,
author = {Michael Codish and
Vitaly Lagoon and
Peter J. Stuckey},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Testing for Termination with Monotonicity Constraints},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {326--340},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_25},
doi = {10.1007/11562931\_25},
timestamp = {Wed, 26 Oct 2022 11:14:38 +0200},
biburl = {https://dblp.org/rec/conf/iclp/CodishLS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0512067,
author = {Michael Codish and
Vitaly Lagoon and
Peter J. Stuckey},
title = {Solving Partial Order Constraints for {LPO} Termination},
journal = {CoRR},
volume = {abs/cs/0512067},
year = {2005},
url = {http://arxiv.org/abs/cs/0512067},
eprinttype = {arXiv},
eprint = {cs/0512067},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0512067.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/CodishG03,
author = {Michael Codish and
Samir Genaim},
editor = {Fr{\'{e}}d{\'{e}}ric Mesnard and
Alexander Serebrenik},
title = {Proving Termination One Loop at a Time},
booktitle = {Proceedings of the 13th International Workshop on Logic Programming
Environments, Tata Institute of Fundamental Research, Mumbai, India,
December 8, 2003},
series = {Report},
volume = {{CW371}},
pages = {48--59},
publisher = {Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan
200A, {B-3001} Heverlee (Belgium)},
year = {2003},
timestamp = {Thu, 11 Mar 2004 09:52:24 +0100},
biburl = {https://dblp.org/rec/conf/lpe/CodishG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0312023,
author = {Samir Genaim and
Michael Codish},
title = {Inferring Termination Conditions for Logic Programs using Backwards
Analysis},
journal = {CoRR},
volume = {cs.PL/0312023},
year = {2003},
url = {http://arxiv.org/abs/cs/0312023},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0312023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CodishS02,
author = {Michael Codish and
Harald S{\o}ndergaard},
editor = {Torben {\AE}. Mogensen and
David A. Schmidt and
Ivan Hal Sudborough},
title = {Meta-circular Abstract Interpretation in Prolog},
booktitle = {The Essence of Computation, Complexity, Analysis, Transformation.
Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]},
series = {Lecture Notes in Computer Science},
volume = {2566},
pages = {109--134},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36377-7\_6},
doi = {10.1007/3-540-36377-7\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CodishS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BruynoogheCGV02,
author = {Maurice Bruynooghe and
Michael Codish and
Samir Genaim and
Wim Vanhoof},
editor = {Manuel V. Hermenegildo and
Germ{\'{a}}n Puebla},
title = {Reuse of Results in Termination Analysis of Typed Logic Programs},
booktitle = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
Spain, September 17-20, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2477},
pages = {477--492},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45789-5\_33},
doi = {10.1007/3-540-45789-5\_33},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/BruynoogheCGV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GenaimCGL02,
author = {Samir Genaim and
Michael Codish and
John P. Gallagher and
Vitaly Lagoon},
editor = {Agostino Cortesi},
title = {Combining Norms to Prove Termination},
booktitle = {Verification, Model Checking, and Abstract Interpretation, Third International
Workshop, {VMCAI} 2002, Venice, Italy, January 21-22, 2002, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2294},
pages = {126--138},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47813-2\_9},
doi = {10.1007/3-540-47813-2\_9},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/GenaimCGL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GenaimHC01,
author = {Samir Genaim and
Jacob M. Howe and
Michael Codish},
title = {Worst-case groundness analysis using definite boolean functions},
journal = {Theory Pract. Log. Program.},
volume = {1},
number = {5},
pages = {611--615},
year = {2001},
url = {https://doi.org/10.1017/S1471068401001077},
doi = {10.1017/S1471068401001077},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/GenaimHC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/GenaimC01,
author = {Samir Genaim and
Michael Codish},
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {Inferring termination conditions for logic programs using backwards
analysis},
booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
pages = {229--243},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\%7Epq/agp01/finals/13.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/GenaimC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/BruynoogheVC01,
author = {Maurice Bruynooghe and
Wim Vanhoof and
Michael Codish},
editor = {Dines Bj{\o}rner and
Manfred Broy and
Alexandre V. Zamulin},
title = {Pos(T): Analyzing Dependencies in Typed Logic Programs},
booktitle = {Perspectives of System Informatics, 4th International Andrei Ershov
Memorial Conference, {PSI} 2001, Akademgorodok, Novosibirsk, Russia,
July 2-6, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2244},
pages = {406--420},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45575-2\_40},
doi = {10.1007/3-540-45575-2\_40},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/BruynoogheVC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GenaimC01,
author = {Samir Genaim and
Michael Codish},
editor = {David Sands},
title = {The Def-inite Approach to Dependency Analysis},
booktitle = {Programming Languages and Systems, 10th European Symposium on Programming,
{ESOP} 2001 Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2028},
pages = {417--432},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45309-1\_28},
doi = {10.1007/3-540-45309-1\_28},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/GenaimC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CodishGSS01,
author = {Michael Codish and
Samir Genaim and
Harald S{\o}ndergaard and
Peter J. Stuckey},
editor = {Philippe Codognet},
title = {Higher-Precision Groundness Analysis},
booktitle = {Logic Programming, 17th International Conference, {ICLP} 2001, Paphos,
Cyprus, November 26 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2237},
pages = {135--149},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45635-X\_17},
doi = {10.1007/3-540-45635-X\_17},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CodishGSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GenaimC01,
author = {Samir Genaim and
Michael Codish},
editor = {Robert Nieuwenhuis and
Andrei Voronkov},
title = {Inferring Termination Conditions for Logic Programs Using Backwards
Analysis},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 8th
International Conference, {LPAR} 2001, Havana, Cuba, December 3-7,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2250},
pages = {685--694},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45653-8\_47},
doi = {10.1007/3-540-45653-8\_47},
timestamp = {Sun, 02 Oct 2022 16:11:18 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GenaimC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CodishLB00,
author = {Michael Codish and
Vitaly Lagoon and
Francisco Bueno},
title = {An Algebraic Approach to Sharing Analysis of Logic Programs},
journal = {J. Log. Program.},
volume = {42},
number = {2},
pages = {111--149},
year = {2000},
url = {https://doi.org/10.1016/S0743-1066(99)00007-2},
doi = {10.1016/S0743-1066(99)00007-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/CodishLB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CodishMT00,
author = {Michael Codish and
Kim Marriott and
Cohavit Taboch},
title = {Improving Program Analyses, by Structure Untupling},
journal = {J. Log. Program.},
volume = {43},
number = {3},
pages = {251--263},
year = {2000},
url = {https://doi.org/10.1016/S0743-1066(99)00079-5},
doi = {10.1016/S0743-1066(99)00079-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/CodishMT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HeatonACK00,
author = {Andy Heaton and
Muhamed Abo{-}Zaed and
Michael Codish and
Andy King},
title = {A simple polynomial groundness analysis for logic programs},
journal = {J. Log. Program.},
volume = {45},
number = {1-3},
pages = {143--156},
year = {2000},
url = {https://doi.org/10.1016/S0743-1066(00)00006-6},
doi = {10.1016/S0743-1066(00)00006-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/HeatonACK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CodishL00,
author = {Michael Codish and
Vitaly Lagoon},
title = {Type dependencies for logic programs using ACI-unification},
journal = {Theor. Comput. Sci.},
volume = {238},
number = {1-2},
pages = {131--159},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(98)00122-4},
doi = {10.1016/S0304-3975(98)00122-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CodishL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Codish99,
author = {Michael Codish},
title = {Efficient Goal Directed Bottom-Up Evaluation of Logic Programs},
journal = {J. Log. Program.},
volume = {38},
number = {3},
pages = {355--370},
year = {1999},
url = {https://doi.org/10.1016/S0743-1066(98)10024-9},
doi = {10.1016/S0743-1066(98)10024-9},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Codish99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CodishT99,
author = {Michael Codish and
Cohavit Taboch},
title = {A Semantic Basis for the Termination Analysis of Logic Programs},
journal = {J. Log. Program.},
volume = {41},
number = {1},
pages = {103--123},
year = {1999},
url = {https://doi.org/10.1016/S0743-1066(99)00006-0},
doi = {10.1016/S0743-1066(99)00006-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/CodishT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Codish99a,
author = {Michael Codish},
title = {Worst-Case Groundness Analysis Using Positive Boolean Functions},
journal = {J. Log. Program.},
volume = {41},
number = {1},
pages = {125--128},
year = {1999},
url = {https://doi.org/10.1016/S0743-1066(99)00014-X},
doi = {10.1016/S0743-1066(99)00014-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Codish99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CodishSS99,
author = {Michael Codish and
Harald S{\o}ndergaard and
Peter J. Stuckey},
title = {Sharing and groundness dependencies in logic programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {21},
number = {5},
pages = {948--976},
year = {1999},
url = {https://doi.org/10.1145/330249.330252},
doi = {10.1145/330249.330252},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/CodishSS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/CodishDS98,
author = {Michael Codish and
Bart Demoen and
Konstantinos Sagonas},
title = {Semantics-Based Program Analysis for Logic-Based Languages Using {XSB}},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {2},
number = {1},
pages = {29--45},
year = {1998},
url = {https://doi.org/10.1007/s100090050016},
doi = {10.1007/S100090050016},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/CodishDS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/CodishS98,
author = {Michael Codish and
Harald S{\o}ndergaard},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {The Boolean Logic of Set Sharing Analysis},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {89--101},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056609},
doi = {10.1007/BFB0056609},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/CodishS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CodishFMW97,
author = {Michael Codish and
Moreno Falaschi and
Kim Marriott and
William H. Winsborough},
title = {A Confluent Semantic Basis for the Analysis of Concurrent Constraint
Logic Programs},
journal = {J. Log. Program.},
volume = {30},
number = {1},
pages = {53--81},
year = {1997},
url = {https://doi.org/10.1016/S0743-1066(96)00013-1},
doi = {10.1016/S0743-1066(96)00013-1},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/CodishFMW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CodishBBH97,
author = {Michael Codish and
Maurice Bruynooghe and
Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo},
title = {Exploiting Goal Independence in the Analysis of Logic Programs},
journal = {J. Log. Program.},
volume = {32},
number = {3},
pages = {247--261},
year = {1997},
url = {https://doi.org/10.1016/S0743-1066(96)00143-4},
doi = {10.1016/S0743-1066(96)00143-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/CodishBBH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/CodishT97,
author = {Michael Codish and
Cohavit Taboch},
editor = {Moreno Falaschi and
Marisa Navarro and
Alberto Policriti},
title = {A Semantic Basis for Termination Analysis of Logic Programs and its
Realization Using Symbolic Norm Constraints},
booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97,
Grado, Italy, June 16-19, 1997},
pages = {545--556},
year = {1997},
timestamp = {Thu, 02 Dec 2004 11:23:16 +0100},
biburl = {https://dblp.org/rec/conf/agp/CodishT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/CodishT97,
author = {Michael Codish and
Cohavit Taboch},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {A Semantic Basis for Termination Analysis of Logic Programs and Its
Realization Using Symbolic Norm Constraints},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {31--45},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027001},
doi = {10.1007/BFB0027001},
timestamp = {Thu, 14 Oct 2021 10:38:45 +0200},
biburl = {https://dblp.org/rec/conf/alp/CodishT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CodishDS97,
author = {Michael Codish and
Bart Demoen and
Konstantinos Sagonas},
editor = {Lee Naish},
title = {{XSB} as the Natural Habitat for General Purpose Program Analysis},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {416},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Tue, 18 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/CodishDS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BuenoCL97,
author = {Francisco Bueno and
Michael Codish and
Vitaly Lagoon},
editor = {Lee Naish},
title = {Sharing Analysis Using Set Logic Programs},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {417},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BuenoCL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Codish97,
author = {Michael Codish},
editor = {Lee Naish},
title = {Efficient Goal Directed Bottom-up Evaluation of Logic Programs},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {422},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Codish97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/CodishLB97,
author = {Michael Codish and
Vitaly Lagoon and
Francisco Bueno},
editor = {Pascal Van Hentenryck},
title = {An Algebraic Approach to Sharing Analysis of Logic Programs},
booktitle = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
September 8-10, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1302},
pages = {68--82},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032734},
doi = {10.1007/BFB0032734},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/CodishLB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CodishDFB96,
author = {Michael Codish and
Dennis Dams and
Gilberto Fil{\'{e}} and
Maurice Bruynooghe},
title = {On the Design of a Correct Freeness Analysis for Logic Programs},
journal = {J. Log. Program.},
volume = {28},
number = {3},
pages = {181--206},
year = {1996},
url = {https://doi.org/10.1016/0743-1066(95)00120-4},
doi = {10.1016/0743-1066(95)00120-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/CodishDFB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CodishM96,
author = {Michael Codish and
Grigory Mashevitzky},
title = {Proving Implications by Algebraic Approximation},
journal = {Theor. Comput. Sci.},
volume = {165},
number = {1},
pages = {57--74},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(96)00040-0},
doi = {10.1016/0304-3975(96)00040-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CodishM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/CodishLB96,
author = {Michael Codish and
Vitaly Lagoon and
Francisco Bueno},
editor = {Paqui Lucio and
Maurizio Martelli and
Marisa Navarro},
title = {Sharing Analysis for Logic Programs using Set Logic Programs},
booktitle = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96,
Donostia-San Sebastian, Spain, July 15-18, 1996},
pages = {29--40},
year = {1996},
timestamp = {Thu, 02 Dec 2004 11:12:18 +0100},
biburl = {https://dblp.org/rec/conf/agp/CodishLB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/CodishL96,
author = {Michael Codish and
Vitaly Lagoon},
title = {Type Dependencies for Logic Programs Using ACI-Unification},
booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
pages = {136--145},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 15:27:26 +0200},
biburl = {https://dblp.org/rec/conf/istcs/CodishL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BarbutiCGM95,
author = {Roberto Barbuti and
Michael Codish and
Roberto Giacobazzi and
Michael J. Maher},
title = {Oracle Semantics for Prolog},
journal = {Inf. Comput.},
volume = {122},
number = {2},
pages = {178--200},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1146},
doi = {10.1006/INCO.1995.1146},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BarbutiCGM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CodishD95,
author = {Michael Codish and
Bart Demoen},
title = {Analyzing Logic Programs Using "\texttt{PROP}"-ositional
Logic Programs and a Magic Wand},
journal = {J. Log. Program.},
volume = {25},
number = {3},
pages = {249--274},
year = {1995},
url = {https://doi.org/10.1016/0743-1066(95)00064-X},
doi = {10.1016/0743-1066(95)00064-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/CodishD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CodishMBBH95,
author = {Michael Codish and
Anne Mulkers and
Maurice Bruynooghe and
Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo},
title = {Improving Abstract Interpretations by Combining Domains},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {1},
pages = {28--44},
year = {1995},
url = {https://doi.org/10.1145/200994.200998},
doi = {10.1145/200994.200998},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/CodishMBBH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/cstoday95/BruynoogheCM95,
author = {Maurice Bruynooghe and
Michael Codish and
Anne Mulkers},
editor = {Jan van Leeuwen},
title = {Abstracting Unification: {A} Key Step in the Design of Logic Program
Analyses},
booktitle = {Computer Science Today: Recent Trends and Developments},
series = {Lecture Notes in Computer Science},
volume = {1000},
pages = {406--425},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0015257},
doi = {10.1007/BFB0015257},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/books/sp/cstoday95/BruynoogheCM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CodishDY94,
author = {Michael Codish and
Dennis Dams and
Eyal Yardeni},
title = {Bottom-up Abstract Interpretation of Logic Programs},
journal = {Theor. Comput. Sci.},
volume = {124},
number = {1},
pages = {93--125},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90055-8},
doi = {10.1016/0304-3975(94)90055-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CodishDY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CodishFM94,
author = {Michael Codish and
Moreno Falaschi and
Kim Marriott},
title = {Suspension Analyses for Concurrent Logic Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {649--686},
year = {1994},
url = {https://doi.org/10.1145/177492.177656},
doi = {10.1145/177492.177656},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/CodishFM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/CodishD94,
author = {Michael Codish and
Bart Demoen},
editor = {Mar{\'{\i}}a Alpuente and
Roberto Barbuti and
Isidro Ramos},
title = {Deriving Polymorphic Type Dependencies for Logic Programs using Multiple
Incarnations of Prop},
booktitle = {1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Pe{\~{n}}iscola,
Spain, September 19-22, 1994, Volume 1},
pages = {327--341},
year = {1994},
timestamp = {Wed, 01 Dec 2004 15:33:38 +0100},
biburl = {https://dblp.org/rec/conf/agp/CodishD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/CodishM94,
author = {Michael Codish and
Grigory Mashevitzky},
editor = {Giorgio Levi and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Proving Implications by Algebraic Approximation},
booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
Madid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {850},
pages = {6--22},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58431-5\_4},
doi = {10.1007/3-540-58431-5\_4},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/alp/CodishM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BruynoogheCM94,
author = {Maurice Bruynooghe and
Michael Codish and
Anne Mulkers},
editor = {Frank S. de Boer and
Maurizio Gabbrielli},
title = {Abstract Unification for a Composite Domain Deriving Sharing and Freeness
Properties of Program Variables},
booktitle = {{ICLP} 1994 Workshop {W2:} Verification and Analysis of (Concurrent)
Logic Languages, Santa Margherita Ligure, Italy, June 1994},
year = {1994},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BruynoogheCM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CodishD94,
author = {Michael Codish and
Bart Demoen},
editor = {Frank S. de Boer and
Maurizio Gabbrielli},
title = {Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple
Incarnations of Prop},
booktitle = {{ICLP} 1994 Workshop {W2:} Verification and Analysis of (Concurrent)
Logic Languages, Santa Margherita Ligure, Italy, June 1994},
year = {1994},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CodishD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/CodishBBH94,
author = {Michael Codish and
Maria J. Garc{\'{\i}}a de la Banda and
Maurice Bruynooghe and
Manuel V. Hermenegildo},
editor = {Frank Pfenning},
title = {Goal Dependent versus Goal Independent Analysis of Logic Programs},
booktitle = {Logic Programming and Automated Reasoning, 5th International Conference,
LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {822},
pages = {305--319},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58216-9\_46},
doi = {10.1007/3-540-58216-9\_46},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/CodishBBH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/CodishD94,
author = {Michael Codish and
Bart Demoen},
editor = {Baudouin Le Charlier},
title = {Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple
Incarnations of Prop},
booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94,
Namur, Belgium, September 28-30, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {864},
pages = {281--296},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58485-4\_47},
doi = {10.1007/3-540-58485-4\_47},
timestamp = {Mon, 12 Aug 2019 15:36:13 +0200},
biburl = {https://dblp.org/rec/conf/sas/CodishD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BarbutiCGL93,
author = {Roberto Barbuti and
Michael Codish and
Roberto Giacobazzi and
Giorgio Levi},
title = {Modelling Prolog Control},
journal = {J. Log. Comput.},
volume = {3},
number = {6},
pages = {579--603},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.6.579},
doi = {10.1093/LOGCOM/3.6.579},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/BarbutiCGL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CodishFMW93,
author = {Michael Codish and
Moreno Falaschi and
Kim Marriott and
William H. Winsborough},
editor = {Andrzej Lingas and
Rolf G. Karlsson and
Svante Carlsson},
title = {Efficient Analysis of Concurrent Constraint Logic Programs},
booktitle = {Automata, Languages and Programming, 20nd International Colloquium,
ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {700},
pages = {633--644},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56939-1\_108},
doi = {10.1007/3-540-56939-1\_108},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/CodishFMW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DumortierJBC93,
author = {Veroniek Dumortier and
Gerda Janssens and
Maurice Bruynooghe and
Michael Codish},
editor = {David Scott Warren},
title = {Freeness Analysis in the Presence of Numerical Constraints},
booktitle = {Logic Programming, Proceedings of the Tenth International Conference
on Logic Programming, Budapest, Hungary, June 21-25, 1993},
pages = {100--115},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/DumortierJBC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CodishDFB93,
author = {Michael Codish and
Dennis Dams and
Gilberto Fil{\'{e}} and
Maurice Bruynooghe},
editor = {David Scott Warren},
title = {Freeness Analysis for Logic Programs - And Correctness?},
booktitle = {Logic Programming, Proceedings of the Tenth International Conference
on Logic Programming, Budapest, Hungary, June 21-25, 1993},
pages = {116--131},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CodishDFB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/CodishMBBH93,
author = {Michael Codish and
Anne Mulkers and
Maurice Bruynooghe and
Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo},
editor = {David A. Schmidt},
title = {Improving Abstract Interpretations by Combining Domains},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark,
June 14-16, 1993},
pages = {194--205},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/154630.154650},
doi = {10.1145/154630.154650},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/CodishMBBH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CodishDG93,
author = {Michael Codish and
Saumya K. Debray and
Roberto Giacobazzi},
editor = {Mary S. Van Deusen and
Bernard Lang},
title = {Compositional Analysis of Modular Logic Programs},
booktitle = {Conference Record of the Twentieth Annual {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Charleston, South Carolina,
USA, January 1993},
pages = {451--464},
publisher = {{ACM} Press},
year = {1993},
url = {https://doi.org/10.1145/158511.158703},
doi = {10.1145/158511.158703},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/CodishDG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BruynoogheC93,
author = {Maurice Bruynooghe and
Michael Codish},
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {Freeness, Sharing, Linearity and Correctness - All at Once},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
pages = {153--164},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3\_37},
doi = {10.1007/3-540-57264-3\_37},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/BruynoogheC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/CodishD93,
author = {Michael Codish and
Bart Demoen},
editor = {Dale Miller},
title = {Analysing Logic Programs Using 'Prop'-ositional Logic Programs and
a Magic Wand},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {114--129},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
biburl = {https://dblp.org/rec/conf/slp/CodishD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/BarbutiCGM92,
author = {Roberto Barbuti and
Michael Codish and
Roberto Giacobazzi and
Michael J. Maher},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {Oracle Semantics for Prolog},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {100--114},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013822},
doi = {10.1007/BFB0013822},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/alp/BarbutiCGM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BarbutiCGL92,
author = {Roberto Barbuti and
Michael Codish and
Roberto Giacobazzi and
Giorgio Levi},
editor = {Ravi Sethi},
title = {Modeling Prolog Control},
booktitle = {Conference Record of the Nineteenth Annual {ACM} {SIGPLAN-SIGACT}
Symposium on Principles of Programming Languages, Albuquerque, New
Mexico, USA, January 19-22, 1992},
pages = {95--104},
publisher = {{ACM} Press},
year = {1992},
url = {https://doi.org/10.1145/143165.143186},
doi = {10.1145/143165.143186},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/BarbutiCGL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/CodishFMW92,
author = {Michael Codish and
Moreno Falaschi and
Kim Marriott and
William H. Winsborough},
editor = {Michel Billaud and
Pierre Cast{\'{e}}ran and
Marc{-}Michel Corsini and
Kaninda Musumbu and
Antoine Rauzy},
title = {Efficient Analysis of Reactive Properties of Concurrent Constraint
Logic Programs},
booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September
1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI),
Proceedings},
series = {Series Bigre},
volume = {81-82},
pages = {35--42},
publisher = {Atelier Irisa, IRISA, Campus de Beaulieu},
year = {1992},
timestamp = {Thu, 12 Jul 2018 08:27:45 +0200},
biburl = {https://dblp.org/rec/conf/sas/CodishFMW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CodishDY91,
author = {Michael Codish and
Dennis Dams and
Eyal Yardeni},
editor = {Koichi Furukawa},
title = {Derivation and Safety of an Abstract Unification Algorithm for Groundness
and Aliasing Analysis},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {79--93},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CodishDY91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CodishFM91,
author = {Michael Codish and
Moreno Falaschi and
Kim Marriott},
editor = {Koichi Furukawa},
title = {Suspension Analysis for Concurrent Logic Programs},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {331--345},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CodishFM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BarbutiCGL91,
author = {Roberto Barbuti and
Michael Codish and
Roberto Giacobazzi and
Giorgio Levi},
editor = {Michel Billaud and
Pierre Cast{\'{e}}ran and
Marc{-}Michel Corsini and
Kaninda Musumbu and
Antoine Rauzy},
title = {Modelling Prolog Control},
booktitle = {Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais
de Recherche en Informatique (LaBRI), Proceedings},
series = {Series Bigre},
volume = {74},
pages = {117--124},
publisher = {Atelier Irisa, IRISA, Campus de Beaulieu},
year = {1991},
timestamp = {Thu, 12 Jul 2018 08:27:32 +0200},
biburl = {https://dblp.org/rec/conf/sas/BarbutiCGL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/GallagherCS88,
author = {John P. Gallagher and
Michael Codish and
Ehud Shapiro},
title = {Specialisation of Prolog and {FCP} Programs Using Abstract Interpretation},
journal = {New Gener. Comput.},
volume = {6},
number = {2{\&}3},
pages = {159--186},
year = {1988},
url = {https://doi.org/10.1007/BF03037136},
doi = {10.1007/BF03037136},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/GallagherCS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GerthCLS88,
author = {Rob Gerth and
Michael Codish and
Yossi Lichtenstein and
Ehud Shapiro},
title = {Fully Abstract Denotational Semantics for Flat Concurrent Prolog},
booktitle = {Proceedings of the Third Annual Symposium on Logic in Computer Science
{(LICS} '88), Edinburgh, Scotland, UK, July 5-8, 1988},
pages = {320--335},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {https://doi.org/10.1109/LICS.1988.5130},
doi = {10.1109/LICS.1988.5130},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/GerthCLS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/CodishGS88,
author = {Michael Codish and
John P. Gallagher and
Ehud Shapiro},
editor = {Harvey Abramson and
M. H. Rogers},
title = {Using Safe Approximations of Fixed Points for Analysis of Logic Programs},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {233--261},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 17:09:12 +0200},
biburl = {https://dblp.org/rec/conf/meta/CodishGS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/CodishS87,
author = {Michael Codish and
Ehud Shapiro},
title = {Compiling OR-parallelism into AND-parallelism},
journal = {New Gener. Comput.},
volume = {5},
number = {1},
pages = {45--61},
year = {1987},
url = {https://doi.org/10.1007/BF03037457},
doi = {10.1007/BF03037457},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/CodishS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/SterlingC86,
author = {Leon Sterling and
Michael Codish},
title = {Pressing for Parallelism: {A} Prolog Program made Concurrent},
journal = {J. Log. Program.},
volume = {3},
number = {1},
pages = {75--92},
year = {1986},
url = {https://doi.org/10.1016/0743-1066(86)90006-3},
doi = {10.1016/0743-1066(86)90006-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/SterlingC86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CodishS86,
author = {Michael Codish and
Ehud Shapiro},
editor = {Ehud Shapiro},
title = {Compiling OR-parallelism into AND-parallelism},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {283--297},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_82},
doi = {10.1007/3-540-16492-8\_82},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/CodishS86.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 2024-04-25 05:51 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:
