| Publication | Date of Publication | Type |
|---|
Efficient multi-word compare and swap
| 2023-11-02 | Paper |
Distance-Based Classification Methods
INFOR: Information Systems and Operational Research | 2023-04-21 | Paper |
A simple model explaining super-resolution in absolute optical instruments
New Journal of Physics | 2021-01-14 | Paper |
Transactional Lock Elision Meets Combining
Proceedings of the ACM Symposium on Principles of Distributed Computing | 2017-10-11 | Paper |
Erratum to: ``Threshold Boolean form for joint probabilistic constraints with random technology matrix
Mathematical Programming. Series A. Series B | 2016-02-23 | Paper |
The future(s) of shared data structures
Proceedings of the 2014 ACM symposium on Principles of distributed computing | 2015-09-03 | Paper |
Threshold Boolean form for joint probabilistic constraints with random technology matrix
Mathematical Programming. Series A. Series B | 2014-10-17 | Paper |
A subclass of Horn CNFs optimally compressible in polynomial time
Annals of Mathematics and Artificial Intelligence | 2012-12-07 | Paper |
Vanishing tetrad differences and model structure
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems | 2012-02-17 | Paper |
Logical analysis of data: classification with justification
Annals of Operations Research | 2011-11-17 | Paper |
Exclusive and essential sets of implicates of Boolean functions
Discrete Applied Mathematics | 2010-05-05 | Paper |
Maximum patterns in datasets
Discrete Applied Mathematics | 2008-03-28 | Paper |
Comprehensive vs. comprehensible classifiers in logical analysis of data
Discrete Applied Mathematics | 2008-03-28 | Paper |
Logical analysis of data -- the vision of Peter L. Hammer
Annals of Mathematics and Artificial Intelligence | 2007-10-12 | Paper |
Modeling country risk ratings using partial orders
European Journal of Operational Research | 2006-10-27 | Paper |
Pareto-optimal patterns in logical analysis of data
Discrete Applied Mathematics | 2004-11-12 | Paper |
Inferring minimal functional dependencies in Horn and q-Horn theories
Annals of Mathematics and Artificial Intelligence | 2003-06-09 | Paper |
On functional dependencies in \(q\)-Horn theories
Artificial Intelligence | 2002-07-24 | Paper |
A satisfiability formulation of problems on level graphs
| 2001-09-24 | Paper |
Convexity and logical analysis of data
Theoretical Computer Science | 2000-08-21 | Paper |
Evaluation, Strength, and Relevance of Variables of Boolean Functions
SIAM Journal on Discrete Mathematics | 2000-07-20 | Paper |
Optimal compression of propositional Horn knowledge bases: Complexity and approximation
Artificial Intelligence | 2000-04-24 | Paper |
On connected Boolean functions
Discrete Applied Mathematics | 2000-02-14 | Paper |
Functional dependencies in Horn theories
Artificial Intelligence | 1999-04-28 | Paper |
Horn minimization by iterative decomposition
Annals of Mathematics and Artificial Intelligence | 1999-02-02 | Paper |
Knowing what doesn't matter: exploiting the omission of irrelevant data
Artificial Intelligence | 1998-08-13 | Paper |
Logical analysis of numerical data
Mathematical Programming. Series A. Series B | 1997-08-28 | Paper |
Decomposability of partially defined Boolean functions
Discrete Applied Mathematics | 1996-03-11 | Paper |
On the essential test sets of discrete matrices
Discrete Applied Mathematics | 1996-01-07 | Paper |
Horn functions and their DNFs
Information Processing Letters | 1993-01-04 | Paper |
Disjunctive normal forms of Boolean functions with a small number of zeros
USSR Computational Mathematics and Mathematical Physics | 1987-01-01 | Paper |
On lower bounds for the complexity of disjunctive normal forms of Boolean functions with a small number of zeros
USSR Computational Mathematics and Mathematical Physics | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4162290 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4053526 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4045647 (Why is no real title available?)
| 1987-01-01 | Paper |
An algorithm for constructing a disjunctive normal form equivalent to the product of the left-hand sides of Nelson Boolean equations
USSR Computational Mathematics and Mathematical Physics | 1986-01-01 | Paper |
scientific article; zbMATH DE number 3989257 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3961508 (Why is no real title available?)
| 1985-01-01 | Paper |
