Publications Listed by Year
For details on a publication, click the title link. You will
find an abstract, access to a bibtex item, and in many cases an
online version of the paper. These are usually similar to the
published version. Please observe the copyright notice. For
information on a coauthor click, the authors
name. You will find a list of papers coauthored with that
person and sometimes a link to his/her homepage.For some information about how these pages were created check here.Published in 2016
Published in 2015
Published in 2014
- The Quest for Optimal Sorting Networks: Efficient Generation of
Two-Layer Prefixes;
Michael Codish,
Luis Cruz-Filipe and
Peter Schneider-Kamp; Technical Report (unpublished);
International Symposium on Symbolic and
Numeric Algorithms for Scientific Computing (Timisoara, Romania); September, 2014.
- Twenty-Five Comparators is Optimal when Sorting Nine Inputs
(and Twenty-Nine for Ten);
Michael Codish,
Luis Cruz-Filipe,
Michael Frank and
Peter Schneider-Kamp; Technical Report (unpublished);
IEEE International Conference on Tools with Artificial Intelligence (ICTAI) ; November, 2014.
- Solving Graph Coloring Problems with Abstraction and\ Symmetry:
the Ramsey Number $R(4,3,3)=30$;
Michael Codish,
Michael Frank,
Avraham Itzhakov and
Alice Miller; Technical Report (unpublished);
Ben-Gurion University of the Negev; September, 2014.
Published in 2013
Published in 2012
Published in 2011
Published in 2010
Published in 2009
Published in 2008
- Proving Termination with (Boolean) Satisfaction;
Michael Codish
;
   The 17th International Symposium on Logic-Based
Program Synthesis and Transformation (LOPSTR 2007)
- A SAT-Based Approach to Size Change Termination
with Global Ranking Functions;
Amir Ben-Amram and
Michael Codish;
   Fourteenth International Conference on
Tools and Algorithms for the Construction
and Analysis of Systems (TACAS)
- Termination Analysis of Java Bytecode;
Elvira Albert,
Puri Arenas,
Michael Codish,
Samir Genaim,
German Puebla and
Damiano Zanardini;
   Formal Methods for Open Object-Based Distributed Systems,
10th IFIP WG 6.1 International Conference, FMOODS 2008,
Oslo, Norway, June 4-6, 2008, Proceedings
- Telecommunications Feature Subscription as a
Partial Order Constraint Problem;
Michael Codish,
Vitaly Lagoon and
Peter Stuckey;
   Twenty Fourth International Conference on Logic Programming
Published in 2007
Published in 2006
- Size-Change Termination Analysis in k-Bits;
Michael Codish,
Vitaly Lagoon,
Peter Schachte and
Peter Stuckey;
   15th European Symposium on Programming Languages
and Systems, ESOP 2006
- Solving Partial Order Constraints for LPO Termination;
Michael Codish,
Vitaly Lagoon and
Peter Stuckey;
   International Conference on
Rewriting Techniques and Applications, RTA 2006
- SAT Solving for Argument Filterings;
Michael Codish,
Peter Schneider-Kamp,
Vitaly Lagoon,
René Thiemann and
Jürgen Giesl;
   International Conference on
Logic for Programming, Artificial Intelligence and Reasoning
- A SAT-based Implementation for RPO Termination;
Elena Annov,
Michael Codish,
Jürgen Giesl,
Peter Schneider-Kamp and
René Thiemann;
   International Conference on
Logic for Programming, Artificial Intelligence and Reasoning (Short Paper)
Published in 2005
Published in 2004
Published in 2003
Published in 2002
Published in 2001
Published in 2000
Published in 1999
Published in 1998
Published in 1997
Published in 1996
Published in 1995
Published in 1994
Published in 1993
- Compositional Analysis of Modular Logic Programs;
Michael Codish,
Saumya Debray and
Roberto Giacobazzi;
   Proceedings of the Twentieth ACM symposium
on Principles of Programming Languages
- Improving Abstract Interpretations by Combining
Domains;
Michael Codish,
A. Mulkers,
Maurice Bruynooghe,
María García de la Banda and
Manuel Hermenegildo;
   Proceedings of the ACM Symposium on Partial Evaluation and
Semantics-Based Program Manipulation
- Efficient Analysis of Reactive Properties of
Concurrent Constraint Logic Programs;
Michael Codish,
Moreno Falaschi,
Kim Marriott and
Will Winsborough;
   Proceedings of the Twentieth International Colloquium on
Automata, Languages and Programming
- Freeness Analysis for Logic Programs ---
And Correctness ?;
Michael Codish,
Dennis Dams,
Gilberto Filé and
Maurice Bruynooghe;
   Proceedings of the Tenth International Conference on Logic
Programming
- Freeness Analysis in the Presence of
Numerical Constraints;
V. Dumortier, G. Janssens,
Maurice Bruynooghe and
Michael Codish;
   Proceedings of
the Tenth International Conference on Logic Programming
- Freeness, Sharing, Linearity and
Correctness --- All at Once;
Maurice Bruynooghe and
Michael Codish;
   Proceedings of the 1993 International
Workshop on Static Analysis
- Analysing Logic Programs using
Prop-ositional Logic Programs and a Magic Wand;
Michael Codish and
Bart Demoen;
   Proceedings of the
1993 International Logic Programming Symposium
Published in 1992
Published in 1991
Published in 1990
Published in 1989
Published in 1988
Published in 1987
Published in 1986