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

Search results

  • 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 proceedingConference contribution

  • Using Safe Approximations of Fixed Points for Analysis of Logic Programs

    Codish, M., Gallagher, J. P. & Shapiro, E., 1988, Meta-Programming in Logic Programming: Workshop on Meta-Programming in Logic. Abramson, H. & Rogers, M. H. (eds.). MIT Press Journals, p. 233-261 29 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

    30 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 proceedingConference contributionpeer-review

    11 Scopus citations
  • 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 proceedingConference contributionpeer-review

    Open Access
    4 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 proceedingConference contributionpeer-review

    Open Access
    3 Scopus citations
  • 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    Open Access
    40 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 proceedingConference contributionpeer-review

    5 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 proceedingConference contributionpeer-review

    7 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 proceedingConference contributionpeer-review

    20 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 proceedingConference contributionpeer-review

    Open Access
    5 Scopus citations
  • 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 proceedingConference contributionpeer-review

    4 Scopus citations
  • 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 proceedingConference contribution

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

    13 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

    9 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 proceedingConference contributionpeer-review

    3 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 proceedingConference contributionpeer-review

    21 Scopus citations
  • 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 proceedingConference contribution

  • Proving implications by algebraic approximation

    Codish, M. & Mashevitzky, G., 1 Jan 1994, Algebraic and Logic Programming - 4th International Conference, ALP 1994, Proceedings. Levi, G. & Rodriguez-Artalejo, M. (eds.). Springer Verlag, p. 6-22 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 850 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • 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 proceedingConference contributionpeer-review

    36 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

    7 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 proceedingConference contributionpeer-review

    36 Scopus citations
  • Oracle semantics for prolog

    Barbuti, R., Codish, M., Giacobazzi, R. & Maher, M., 1 Jan 1992, Algebraic and Logic Programming - 3rd International Conference, Proceedings. Levi, G. & Kirchner, H. (eds.). Springer Verlag, p. 100-114 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 632 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    10 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 proceedingConference contributionpeer-review

    Open Access
    11 Scopus citations
  • Modelling Prolog control

    Barbuti, R., Codish, M., Giacobazzi, R. & Levi, G., 1 Jan 1992, Conference Record of the Annual ACM Symposium on Principles of Programming Languages. Publ by ACM, p. 95-104 10 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    13 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 proceedingConference contributionpeer-review

    1 Scopus citations
  • 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 proceedingConference contributionpeer-review

    6 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 proceedingConference contributionpeer-review

    21 Scopus citations
  • 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 proceedingConference contributionpeer-review

    1 Scopus citations
  • Improving Abstract Interpretations by Combining Domains

    Codish, M., Mulkers, A., Bruynooghe, M., Garcia de la Banda, M. & Hermenegildo, M., 1 Jan 1993, Proceedings of the 1993 ACM SIGPLAN Symposium on Partial Evaluation Semantics-Based Program Manipulation. Association for Computing Machinery (ACM), p. 194-205 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    19 Scopus citations
  • 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 proceedingConference contributionpeer-review

    3 Scopus citations
  • 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 proceedingConference contributionpeer-review

    5 Scopus citations
  • Fully abstract denotational semantics for Flat Concurrent Prolog.

    Gerth, R., Codish, M., Lichtenstein, Y. & Shapiro, E., 1 Dec 1988, Proc Third Annu Symp on Logic in Comput Sci. Publ by IEEE, p. 320-335 16 p. (Proc Third Annu Symp on Logic in Comput Sci).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    24 Scopus citations
  • Freeness Analysis in the Presence of Numerical Constraints

    Dumortier, V., Janssens, G., Bruynooghe, M. & Codish, M., 1993, Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993. Warren, D. S. (ed.). MIT Press Journals, p. 100-115 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Freeness Analysis for Logic Programs - And Correctness?

    Codish, M., Dams, D., Filé, G. & Bruynooghe, M., 1993, Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993. Warren, D. S. (ed.). MIT Press Journals, p. 116-131 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Freeness, Sharing, linearity and correctness- all at once

    Bruynooghe, M. & Codish, M., 1 Jan 1993, Static Analysis - 3rd International Workshop, WSA '93, Proceedings. Cousot, P., Falaschi, M., File, G. & Rauzy, A. (eds.). Springer Verlag, p. 153-164 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 724 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    12 Scopus citations
  • 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 proceedingConference contributionpeer-review

  • Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs

    Codish, M., Falaschi, M., Marriott, K. & Winsborough, W. H., 1992, Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings. Billaud, M., Castéran, P., Corsini, M-M., Musumbu, K. & Rauzy, A. (eds.). Atelier Irisa, IRISA, Campus de Beaulieu, Vol. 81-82. p. 35-42 8 p. (Series Bigre).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Efficient analysis of concurrent constraint logic programs

    Codish, M., Falaschi, M., Marriott, K. & Winsborough, W., 1 Jan 1993, Automata, Languages and Programming - 20th International Colloquium, ICALP 1993, Proceedings. Lingas, A., Karlsson, R. & Carlsson, S. (eds.). Springer Verlag, p. 633-644 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 700 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    13 Scopus citations
  • 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 proceedingConference contribution

  • 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    39 Scopus citations
  • Compositional analysis of modular logic programs

    Codish, M., Debray, S. K. & Giacobazzi, R., 1 Jan 1993, Conference Record of the Annual ACM Symposium on Principles of Programming Languages. Publ by ACM, p. 451-464 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    40 Scopus citations
  • Compiling OR-parallelism into AND-parallelism

    Codish, M. & Shapiro, E., 1 Jan 1986, 3rd International Conference on Logic Programming - Imperial College of Science and Technology, Proceedings. Shapiro, E. (ed.). Springer Verlag, p. 283-297 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 225 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    7 Scopus citations
  • 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 proceedingConference contributionpeer-review

    24 Scopus citations