No photo of Michael Codish

View Scopus Profile

Michael Codish

 https://orcid.org/0000-0003-0394-5854
1986 …2022

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2020

    Incremental symmetry breaking constraints for graph search problems

    Itzhakov, A. & Codish, M., 1 Jan 2020, AAAI 2020 - 34th AAAI Conference on Artificial Intelligence. AAAI press, p. 1536-1543 8 p. (AAAI 2020 - 34th AAAI Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations
  • 2018

    Breaking symmetries with lex implications

    Codish, M., Ehlers, T., Gange, G., Itzhakov, A. & Stuckey, P. J., 1 Jan 2018, Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Proceedings. Gallagher, J. P., Sulzmann, M. & Gallagher, J. P. (eds.). Springer Verlag, p. 182-197 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10818 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Logic programming with max-clique and its application to graph coloring (tool description)

    Codish, M., Frank, M., Metodi, A. & Muslimany, M., 1 Feb 2018, Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017. Son, T. C., Mears, C., Rocha, R. & Saeedloei, N. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5. (OpenAccess Series in Informatics; vol. 58).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • SAT-based big-step local search

    Muslimany, M. & Codish, M., 1 Sep 2018, Proceedings - 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018. Institute of Electrical and Electronics Engineers Inc., p. 109-116 8 p. 8750736. (Proceedings - 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2017

    The DNA word design problem: A new constraint model and new results

    Codish, M., Frank, M. & Lagoon, V., 1 Jan 2017, 26th International Joint Conference on Artificial Intelligence, IJCAI 2017. Sierra, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 585-591 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 0).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    4 Scopus citations
  • 2016

    Breaking symmetries in graphs: The nauty way

    Codish, M., Gange, G., Itzhakov, A. & Stuckey, P. J., 1 Jan 2016, Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Proceedings. Rueher, M. (ed.). Springer Verlag, p. 157-172 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9892 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations
  • 2015

    Applying sorting networks to synthesize optimized sorting libraries

    Codish, M., Cruz-Filipe, L., Nebel, M. & Schneider-Kamp, P., 1 Jan 2015, Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Revised Selected Papers. Falaschi, M. (ed.). Springer Verlag, p. 127-142 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9527).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations

  • Sorting networks: The end game

    Codish, M., Cruz-Filipe, L. & Schneider-Kamp, P., 1 Jan 2015, Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Proceedings. Dediu, A-H., Martín-Vide, C., Formenti, E. & Truthe, B. (eds.). Springer Verlag, p. 664-675 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8977).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    7 Scopus citations

  • The quest for optimal sorting networks: Efficient generation of two-layer prefixes

    Codish, M., Cruz-Filipe, L. & Schneider-Kamp, P., 5 Feb 2015, Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014. Winkler, F., Negru, V., Ida, T., Jebelean, T., Petcu, D., Watt, S. M. & Zaharie, D. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 359-366 8 p. 7034705. (Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    11 Scopus citations
  • 2014

    Simplifying pseudo-boolean constraints in residual number systems

    Fekete, Y. & Codish, M., 1 Jan 2014, Theory and Applications of Satisfiability Testing, SAT 2014 - 17th International Conference, Held as Part of theVienna Summer of Logic, VSL 2014, Proceedings. Springer Verlag, p. 351-366 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8561 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations

  • Twenty-Five Comparators Is Optimal When Sorting Nine Inputs (and Twenty-Nine for Ten)

    Codish, M., Cruz-Filipe, L., Frank, M. & Schneider-Kamp, P., 12 Dec 2014, Proceedings - 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, ICTAI 2014. IEEE Computer Society, p. 186-193 8 p. 6984472. (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI; vol. 2014-December).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    30 Scopus citations
  • 2013

    Backbones for equality

    Codish, M., Fekete, Y. & Metodi, A., 1 Jan 2013, Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Proceedings. Springer Verlag, p. 1-14 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8244 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    6 Scopus citations

  • Breaking symmetries in graph representation

    Codish, M., Miller, A., Prosser, P. & Stuckey, P. J., 1 Dec 2013, IJCAI 2013 - Proceedings of the 23rd International Joint Conference on Artificial Intelligence. p. 510-516 7 p. (IJCAI International Joint Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    16 Scopus citations
  • 2012

    Compiling model-based diagnosis to Boolean satisfaction

    Metodi, A., Stern, R., Kalech, M. & Codish, M., 7 Nov 2012, AAAI-12 / IAAI-12 - Proceedings of the 26th AAAI Conference on Artificial Intelligence and the 24th Innovative Applications of Artificial Intelligence Conference. p. 793-799 7 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    25 Scopus citations

  • Programming with Boolean Satisfaction

    Codish, M., 2012, Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings. Schrijvers, T. & Thiemann, P. (eds.). Springer, Vol. 7294. p. 1 1 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2011

    Boolean equi-propagation for optimized SAT encoding

    Metodi, A., Codish, M., Lagoon, V. & Stuckey, P. J., 26 Sep 2011, Principles and Practice of Constraint Programming, CP 2011 - 17th International Conference, Proceedings. p. 621-636 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6876 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    15 Scopus citations

  • Optimal base encodings for Pseudo-Boolean constraints

    Codish, M., Fekete, Y., Fuhs, C. & Schneider-Kamp, P., 4 Apr 2011, Tools and Algorithms for the Construction and Analysis of Systems - 17th Int. Conf., TACAS 2011, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2011, Proceedings. p. 189-204 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6605 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    11 Scopus citations
  • 2010

    Lazy abstraction for size-change termination

    Codish, M., Fuhs, C., Giesl, J. & Schneider-Kamp, P., 1 Jan 2010, Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Proceedings. Fermuller, C. G. (ed.). Springer Verlag, p. 217-232 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6397 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    6 Scopus citations

  • Pairwise cardinality networks

    Codish, M. & Zazon-Ivry, M., 1 Dec 2010, Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Revised Selected Papers. p. 154-172 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6355 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    36 Scopus citations
  • 2009

    A declarative encoding of telecommunications feature subscription in SAT

    Codish, M., Genaim, S. & Stuckey, P. J., 30 Nov 2009, PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. p. 255-265 11 p. (PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    6 Scopus citations
  • 2008

    A SAT-based approach to size change termination with global ranking functions

    Ben-Amram, A. M. & Codish, M., 21 Jul 2008, Tools and Algorithms for the Construction and Analysis of Systems - 14th Int. Conf., TACAS 2008 - Held as Part of the Joint European Conf. Theory and Practice of Software, ETAPS 2008 Proceedings. p. 218-232 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4963 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    15 Scopus citations

  • Proving termination with (Boolean) satisfaction

    Codish, M., 1 Dec 2008, Logic-Based Program Synthesis and Transformation - 17th International Symposium, LOPSTR 2007, Revised Selected Papers. p. 1-7 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4915 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Telecommunications feature subscription as a partial order constraint problem

    Codish, M., Lagoon, V. & Stuckey, P. J., 1 Dec 2008, Logic Programming - 24th International Conference, ICLP 2008, Proceedings. p. 749-753 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5366 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations

  • Termination analysis of Java Bytecode

    Albert, E., Arenas, P., Codish, M., Genaim, S., Puebla, G. & Zanardini, D., 4 Jul 2008, Formal Methods for Open Object-Based Distributed Systems - 10th IFIP WG 6.1 International Conference, FMOODS 2008, Proceedings. p. 2-18 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5051 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    40 Scopus citations
  • 2007

    Propagation = Lazy clause generation

    Ohrimenko, O., Stuckey, P. J. & Codish, M., 1 Jan 2007, Principles and Practice of Constraint Programming - CP 2007 - 13th International Conference, CP 2007, Proceedings. Springer Verlag, p. 544-558 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4741 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    38 Scopus citations

  • Proving termination using recursive path orders and SAT solving

    Schneider-Kamp, P., Thiemann, R., Annov, E., Codish, M. & Giesl, J., 1 Jan 2007, Frontiers of Combining Systems - 6th International Symposium, FroCoS 2007, Proceedings. Springer Verlag, p. 267-282 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4720 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    21 Scopus citations
  • 2006

    SAT solving for argument filterings

    Codish, M., Schneider-Kamp, P., Lagoon, V., Thiemann, R. & Giesl, J., 1 Jan 2006, Logic for Programming, Artificial Intelligence, and Reasoning - 13th International Conference, LPAR 2006, Proceedings. Springer Verlag, p. 30-44 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4246 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    13 Scopus citations

  • Size-change termination analysis in k-bits

    Codish, M., Lagoon, V., Schachte, P. & Stuckey, P. J., 14 Jul 2006, 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, Proceedings. p. 230-245 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3924 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    5 Scopus citations

  • Solving partial order constraints for LPO termination

    Codish, M., Lagoon, V. & Stuckey, P. J., 1 Jan 2006, Term Rewriting and Applications - 17th International Conference, RTA 2006, Proceedings. Springer Verlag, p. 4-18 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4098 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    20 Scopus citations
  • 2003

    Proving Termination One Loop at a Time

    Codish, M. & Genaim, S., 2003, Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003. Mesnard, F. & Serebrenik, A. (eds.). Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan 200A, B-3001 Heverlee (Belgium), Vol. CW371. p. 48-59 12 p. (Report).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2002

    Combining norms to prove termination

    Genaim, S., Codish, M., Gallagher, J. & Lagoon, V., 1 Jan 2002, Verification, Model Checking, and Abstract Interpretation - Third International Workshop, VMCAI 2002, Revised Papers. Cortesi, A. (ed.). Springer Verlag, p. 126-138 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2294 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    19 Scopus citations

  • Reuse of results in termination analysis of typed logic programs

    Bruynooghe, M., Codish, M., Genaim, S. & Vanhoof, W., 1 Jan 2002, Static Analysis - 9th International Symposium, SAS 2002 Madrid, Spain, September 17-20, 2002 Proceedings. Hermenegildo, M. V. & Puebla, G. (eds.). Springer Verlag, p. 477-492 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2477).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    9 Scopus citations
  • 2001

    Higher-precision groundness analysis

    Codish, M., Genaim, S., Søndergaard, H. & Stuckey, P. J., 1 Jan 2001, Logic Programming - 17th International Conference, ICLP 2001, Proceedings. Codognet, P. (ed.). Springer Verlag, p. 135-149 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2237).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Inferring termination conditions for logic programs using backwards analysis

    Genaim, S. & Codish, M., 1 Jan 2001, Logic for Programming, Artificial Intelligence, and Reasoning - 8th International Conference, LPAR 2001, Proceedings. Nieuwenhuis, R. & Voronkov, A. (eds.). Springer Verlag, p. 685-694 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2250).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    21 Scopus citations

  • Pos(T ): Analyzing dependencies in typed logic programs

    Bruynooghe, M., Vanhoof, W. & Codish, M., 1 Jan 2001, Perspectives of System Informatics - 4th International Andrei Ershov Memorial Conference, PSI 2001, Revised Papers. Bjørner, D., Broy, M. & Zamulin, Z. (eds.). Springer Verlag, p. 406-420 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2244 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    7 Scopus citations

  • The def-inite approach to dependency analysis

    Genaim, S. & Codish, M., 1 Jan 2001, 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, Proceedings. Sands, D. (ed.). Springer Verlag, p. 417-431 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2028).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    3 Scopus citations
  • 1998

    The boolean logic of set sharing analysis

    Codish, M. & Søndergaard, H., 1 Jan 1998, Principles of Declarative Programming - 10th International Symposium, PLILP 1998 with 6th International Conference, ALP 1998, Proceedings. Palamidessi, C., Glaser, H. & Meinke, K. (eds.). Springer Verlag, p. 89-101 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1490).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations
  • 1997

    An algebraic approach to sharing analysis of logic programs

    Codish, M., Lagoon, V. & Bueno, F., 1 Jan 1997, Static Analysis - 4th International Symposium, SAS 1997. Van Hentenryck, P. (ed.). Springer Verlag, p. 68-82 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1302 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    7 Scopus citations

  • A semantic basis for termination analysis of logic programs and its realization using symbolic norm constraints

    Codish, M. & Taboch, C., 1 Jan 1997, Algebraic and Logic Programming - 6th International Joint Conference ALP 1997 ― HOA 1997, Proceedings. Meinke, K., Hanus, M. & Heering, J. (eds.). Springer Verlag, p. 31-45 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1298).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    15 Scopus citations

  • A Semantic Basis for Termination Analysis of Logic Programs and its Realization Using Symbolic Norm Constraints

    Codish, M. & Taboch, C., 1997, 1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997. Falaschi, M., Navarro, M. & Policriti, A. (eds.). p. 545-556 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Efficient Goal Directed Bottom-up Evaluation of Logic Programs

    Codish, M., 1997, Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997. Naish, L. (ed.). MIT Press Journals, p. 422 1 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Sharing Analysis Using Set Logic Programs

    Bueno, F., Codish, M. & Lagoon, V., 1997, Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997. Naish, L. (ed.). MIT Press Journals, p. 417 1 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • XSB as the Natural Habitat for General Purpose Program Analysis

    Codish, M., Demoen, B. & Sagonas, K., 1997, Logic Programming, Proceedings of the 14th International Conference on Logic Programming. Naish, L. (ed.). MIT Press Journals, p. 416 1 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1996

    Sharing Analysis for Logic Programs using Set Logic Programs

    Codish, M., Lagoon, V. & Bueno, F., 1996, 1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996. Lucio, P., Martelli, M. & Navarro, M. (eds.). p. 29-40 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Type Dependencies for Logic Programs Using ACI-Unification

    Codish, M. & Lagoon, V., 1996, Fourth Israel Symposium on Theory of Computing and Systems, ISTCS 1996, Jerusalem, Israel, June 10-12, 1996, Proceedings. IEEE Computer Society, p. 136-145 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 1994

    Abstract Unification for a Composite Domain Deriving Sharing and Freeness Properties of Program Variables

    Bruynooghe, M., Codish, M. & Mulkers, A., 1994, ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994. Boer, F. S. D. & Gabbrielli, M. (eds.). p. 213 229 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Deriving polymorphic type dependencies for logic programs using multiple incarnations of prop

    Codish, M. & Demoen, B., 1 Jan 1994, Static Analysis - 1st International Static Analysis Symposium, SAS '94, Proceedings. Le Charlier, B. (ed.). Springer Verlag, p. 281-296 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 864 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    39 Scopus citations

  • Deriving Polymorphic Type Dependencies for Logic Programs using Multiple Incarnations of Prop

    Codish, M. & Demoen, B., 1994, 1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 1. Alpuente, M., Barbuti, R. & Ramos, I. (eds.). p. 327-341 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop

    Codish, M. & Demoen, B., 1994, ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994. Boer, F. S. D. & Gabbrielli, M. (eds.).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Goal dependent vs. Goal independent analysis of logic programs

    Codish, M., García de la Bands, M., Bruynooghc, M. & Hermenegildo, M., 1994, Logic Programming and Automated Reasoning - 5th International Conference, LPAR 1994, Proceedings. Pfenning, F. (ed.). Springer Berlin Heidelberg, p. 305-319 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 822 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations