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

Search results

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

  • 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

  • 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