Michael Codish: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Type dependencies for logic programs using ACI-unification

Michael Codish, Vitaly Lagoon

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 197 KB

english, 2000

2

Efficient goal directed bottom-up evaluation of logic programs

Journal:

The Journal of Logic Programming

Year:

1999

Language:

english

File:

PDF, 1.04 MB

english, 1999

3

Mud compress therapy for the hands of patients with rheumatoid arthritis

Shlomi Codish, Mahmoud Abu-Shakra, Daniel Flusser, Michael Friger, Shaul Sukenik

Journal:

Rheumatology International

Year:

2005

Language:

english

File:

PDF, 182 KB

english, 2005

4

Analyzing logic programs using “prop”-ositional logic programs and a magic wand

Michael Codish, Bart Demoen

Journal:

The Journal of Logic Programming

Year:

1995

Language:

english

File:

PDF, 1.46 MB

english, 1995

5

[ACM Press the 19th ACM SIGPLAN-SIGACT symposium - Albuquerque, New Mexico, United States (1992.01.19-1992.01.22)] Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '92 - Modelling Prolog control

Barbuti, Roberto, Codish, Michael, Giacobazzi, Roberto, Levi, Giorgio

Year:

1992

Language:

english

File:

PDF, 890 KB

english, 1992

6

Sorting nine inputs requires twenty-five comparisons

Codish, Michael, Cruz-Filipe, Luís, Frank, Michael, Schneider-Kamp, Peter

Journal:

Journal of Computer and System Sciences

Year:

2016

Language:

english

File:

PDF, 661 KB

english, 2016

7

Constraints for symmetry breaking in graph representation

Codish, Michael, Miller, Alice, Prosser, Patrick, Stuckey, Peter J.

Journal:

Year:

2018

Language:

english

File:

PDF, 2.90 MB

english, 2018

8

Proving implications by algebraic approximation

Michael Codish, Grigory Mashevitzky

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 1.24 MB

english, 1996

9

On the design of a correct freeness analysis for logic programs

Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe

Journal:

The Journal of Logic Programming

Year:

1996

Language:

english

File:

PDF, 1.47 MB

english, 1996

10

A simple polynomial groundness analysis for logic programs

Andy Heaton, Muhamed Abo-Zaed, Michael Codish, Andy King

Journal:

The Journal of Logic Programming

Year:

2000

Language:

english

File:

PDF, 169 KB

english, 2000

11

A confluent semantic basis for the analysis of concurrent constraint logic programs

Michael Codish, Moreno Falaschi, Kim Marriott, William Winsborough

Journal:

The Journal of Logic Programming

Year:

1997

Language:

english

File:

PDF, 1.77 MB

english, 1997

12

Exploiting goal independence in the analysis of logic programs

Michael Codish, Maurice Bruynooghe, Maria García De La Banda, Manuel Hermenegildo

Journal:

The Journal of Logic Programming

Year:

1997

Language:

english

File:

PDF, 880 KB

english, 1997

13

An algebraic approach to sharing analysis of logic programs

Michael Codish, Vitaly Lagoon, Francisco Bueno

Journal:

The Journal of Logic Programming

Year:

2000

Language:

english

File:

PDF, 2.68 MB

english, 2000

14

Worst-case groundness analysis using positive Boolean functions

Journal:

The Journal of Logic Programming

Year:

1999

Language:

english

File:

PDF, 61 KB

english, 1999

15

A semantic basis for the termination analysis of logic programs

Michael Codish, Cohavit Taboch

Journal:

The Journal of Logic Programming

Year:

1999

Language:

english

File:

PDF, 287 KB

english, 1999

16

Improving program analyses, by structure untupling

Michael Codish, Kim Marriott, Cohavit Taboch

Journal:

The Journal of Logic Programming

Year:

2000

Language:

english

File:

PDF, 127 KB

english, 2000

17

Semantics-based program analysis for logic-based languages using XSB

Michael Codish, Bart Demoen, Konstantinos Sagonas

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

1998

Language:

english

File:

PDF, 373 KB

english, 1998

18

Propagation via lazy clause generation

Olga Ohrimenko, Peter J. Stuckey, Michael Codish

Journal:

Year:

2009

Language:

english

File:

PDF, 630 KB

english, 2009

19

Bottom-up abstract interpretation of logic programs

Michael Codish, Dennis Dams, Eyal Yardeni

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 2.09 MB

english, 1994

20

Specialisation of Prolog and FCP programs using abstract interpretation

John Gallagher, Michael Codish, Ehud Shapiro

Journal:

New Generation Computing

Year:

1988

Language:

english

File:

PDF, 1.31 MB

english, 1988

21

Compiling OR-parallelism into AND-parallelism

Michael Codish, Ehud Shapiro

Journal:

New Generation Computing

Year:

1987

Language:

english

File:

PDF, 848 KB

english, 1987

22

SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs

Michael Codish, Jürgen Giesl, Peter Schneider-Kamp, René Thiemann

Journal:

Journal of Automated Reasoning

Year:

2012

Language:

english

File:

PDF, 673 KB

english, 2012

23

LONG-TERM SURVIVAL OF OCTOGENARIANS FOLLOWING INTENSIVE CARE ADMISSION WITH SEPSIS: A MULTICENTER STUDY

Jacob Dreiher, Sharon Einav, Shlomi Codish, Pierre Singer, Daniel Talmor, Yaniv Almog, Michael Friger, Victor Novack

Journal:

European Journal of Internal Medicine

Year:

2011

Language:

english

File:

PDF, 73 KB

english, 2011

24

[IEEE 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Romania (2014.9.22-2014.9.25)] 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes

Codish, Michael, Cruz-Filipe, Luis, Schneider-Kamp, Peter

Year:

2014

Language:

english

File:

PDF, 241 KB

english, 2014

25

[ACM Press the 11th ACM SIGPLAN conference - Coimbra, Portugal (2009.09.07-2009.09.09)] Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP '09 - A declarative encoding of telecommunications feature subscription in SAT

Codish, Michael, Genaim, Samir, Stuckey, Peter J.

Year:

2009

Language:

english

File:

PDF, 538 KB

english, 2009

26

Suspension analyses for concurrent logic programs

Codish, Michael, Falaschi, Moreno, Marriott, Kim

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1994

Language:

english

File:

PDF, 2.16 MB

english, 1994

27

Improving abstract interpretations by combining domains

Codish, Michael, Mulkers, Anne, Bruynooghe, Maurice, de la Banda, Maria García, Hermenegildo, Manuel

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1995

Language:

english

File:

PDF, 1.10 MB

english, 1995

28

[ACM Press the 20th ACM SIGPLAN-SIGACT symposium - Charleston, South Carolina, United States (1993..-..)] Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93 - Compositional analysis of modular logic programs

Codish, Michael, Debray, Saumya K., Giacobazzi, Roberto

Year:

1993

Language:

english

File:

PDF, 1.28 MB

english, 1993

29

Sharing and groundness dependencies in logic programs

Codish, Michael, Søndergaard, Harald, Stuckey, Peter J.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1999

Language:

english

File:

PDF, 334 KB

english, 1999

30

Modelling Prolog Control

BARBUTI, ROBERTO, CODISH, MICHAEL, GIACOBAZZI, ROBERTO, LEVI, GIORGIO

Journal:

Journal of Logic and Computation

Year:

1993

Language:

english

File:

PDF, 1.05 MB

english, 1993

31

Effectiveness of stringent decontamination of computer input devices in the era of electronic medical records and bedside computing: A randomized controlled trial

Codish, Shlomi, Toledano, Ronen, Novack, Victor, Sherf, Michael, Borer, Abraham

Journal:

American Journal of Infection Control

Year:

2015

Language:

english

File:

PDF, 167 KB

english, 2015

32

Breaking symmetries in graph search with canonizing sets

Itzhakov, Avraham, Codish, Michael

Journal:

Year:

2016

Language:

english

File:

PDF, 637 KB

english, 2016

33

Computing the Ramsey number R(4,3,3) using abstraction and symmetry breaking

Codish, Michael, Frank, Michael, Itzhakov, Avraham, Miller, Alice

Journal:

Year:

2016

Language:

english

File:

PDF, 1.08 MB

english, 2016

34

Compiling finite domain constraints to SAT with BEE

METODI, AMIT, CODISH, MICHAEL

Journal:

Theory and Practice of Logic Programming

Year:

2012

Language:

english

File:

PDF, 197 KB

english, 2012

35

SAT-based termination analysis using monotonicity constraints over the integers

CODISH, MICHAEL, GONOPOLSKIY, IGOR, BEN-AMRAM, AMIR M., FUHS, CARSTEN, GIESL, JÜRGEN

Journal:

Theory and Practice of Logic Programming

Year:

2011

Language:

english

File:

PDF, 189 KB

english, 2011

36

Inferring termination conditions for logic programs using backwards analysis

GENAIM, SAMIR, CODISH, MICHAEL

Journal:

Theory and Practice of Logic Programming

Year:

2005

Language:

english

File:

PDF, 175 KB

english, 2005

37

Worst-case groundness analysis using definite Boolean functions

GENAIM, SAMIR, CODISH, MICHAEL, HOWE, JACOB M.

Journal:

Theory and Practice of Logic Programming

Year:

2001

Language:

english

File:

PDF, 140 KB

english, 2001

38

Logic programming with satisfiability

CODISH, MICHAEL, LAGOON, VITALY, STUCKEY, PETER J.

Journal:

Theory and Practice of Logic Programming

Year:

2008

Language:

english

File:

PDF, 96 KB

english, 2008

39

Therapy With Mud Compresses for Knee Osteoarthritis

Flusser, Daniel, Abu-Shakra, Mahmoud, Friger, Michael, Codish, Shlomi, Sukenik, Shaul

Journal:

JCR Journal of Clinical Rheumatology

Year:

2002

Language:

english

File:

PDF, 870 KB

english, 2002

40

Sorting networks: To the end and back again

Codish, Michael, Cruz-Filipe, Luís, Ehlers, Thorsten, Müller, Mike, Schneider-Kamp, Peter

Journal:

Journal of Computer and System Sciences

Year:

2016

Language:

english

File:

PDF, 994 KB

english, 2016

41

Temporal trends in patient characteristics and survival of intensive care admissions with sepsis

Dreiher, Jacob, Almog, Yaniv, Sprung, Charles L., Codish, Shlomi, Klein, Moti, Einav, Sharon, Bar-Lavie, Yaron, Singer, Pierre P., Nimrod, Adi, Sachs, Jeffrey, Talmor, Daniel, Friger, Michael, Greenbe

Journal:

Critical Care Medicine

Year:

2012

Language:

english

File:

PDF, 533 KB

english, 2012

42

Optimal-depth sorting networks

Bundala, Daniel, Codish, Michael, Cruz-Filipe, Luís, Schneider-Kamp, Peter, Závodný, Jakub

Journal:

Journal of Computer and System Sciences

Year:

2016

Language:

english

File:

PDF, 996 KB

english, 2016

43

Optimizing sorting algorithms by using sorting networks

Codish, Michael, Cruz-Filipe, Luís, Nebel, Markus, Schneider-Kamp, Peter

Journal:

Formal Aspects of Computing

Year:

2017

Language:

english

File:

PDF, 1.09 MB

english, 2017

44

[IEEE 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2018.9.20-2018.9.23)] 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - SAT-Based Big-Step Local Search

Muslimany, Morad, Codish, Michael

Year:

2018

Language:

english

File:

PDF, 145 KB

english, 2018

45

Solving Partial Order Constraints for LPO Termination

Codish, Michael, Lagoon, Vitaly, Stuckey, Peter J., Velev, Miroslav N.

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2008

File:

PDF, 562 KB

2008