Elena V. Ravve

Proceedings of the Foundations of Information and Knowledge Systems, 2020

2019

A logician's view of graph polynomials.

[BibT_eX]

[DOI]

Tomer Kotek

Ann. Pure Appl. Log., 2019

Automatic Code Generator for Screen Based Systems.

[BibT_eX]

[DOI]

Katerina Korenblat

Proceedings of the New Trends in Databases and Information Systems, 2019

2018

On sequences of polynomials arising from graph invariants.

[BibT_eX]

[DOI]

Tomer Kotek

Eur. J. Comb., 2018

2017

Entropy "2"-Soft Classification of Objects.

[BibT_eX]

[DOI]

Entropy, 2017

2016

Incremental computations over strongly distributed databases.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2016

An estimate of the objective function optimum for the network Steiner problem.

[BibT_eX]

[DOI]

Valery M. Kirzhner

Ann. Oper. Res., 2016

Semantic Equivalence of Graph Polynomials Definable in Second Order Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information, and Computation, 2016

Maintenance of Queries Under Database Changes: A Unified Logic Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2016

2015

Incremental Reasoning on Strongly Distributed Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

Automatic Definition of Optimal Default Parameters of Models: Image Matting Application.

[BibT_eX]

[DOI]

Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures.

[BibT_eX]

[DOI]

Proceedings of the Global Conference on Artificial Intelligence, 2015

2014

On the location of roots of graph polynomials.

[BibT_eX]

[DOI]

N. K. Blanchard

Eur. J. Comb., 2014

Analyzing WMSOL Definable Properties on Sum-Like Weighted Labeled Trees.

[BibT_eX]

[DOI]

Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014

Views and Updates over Distributed Databases.

[BibT_eX]

[DOI]

Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014

2013

On the Location of Roots of Graph Polynomials.

[BibT_eX]

[DOI]

Electron. Notes Discret. Math., 2013

A Systematic Approach to Computations on Decomposable Graphs.

[BibT_eX]

[DOI]

Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013

2012

A Computational Framework for the Study of Partition Functions and Graph Polynomials.

[BibT_eX]

[DOI]

Tomer Kotek

Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

BCNF via Attribute Splitting.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modelling and Its Theoretical Foundations, 2012

2011

The Universal Edge Elimination Polynomial and the Dichromatic Polynomial.

[BibT_eX]

[DOI]

Electron. Notes Discret. Math., 2011

2008

Counting truth assignments of formulas of bounded tree-width or clique-width.

[BibT_eX]

[DOI]

Eldar Fischer

Discret. Appl. Math., 2008

1999

Decomposition of databases with translation schemes.

[BibT_eX]

[DOI]

PhD thesis, 1999

1998

Dependency Preserving Refinements and the Fundamental Problem of Database Design.

[BibT_eX]

[DOI]

Data Knowl. Eng., 1998

1997

The Fundamental Problem of Database Design.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM '97: Theory and Practice of Informatics, 1997

1996

Translation Schemes and the Fundamental Problem of Database Design.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 1996

1995

Incremental Model Checking for Decomposable Structures (Extended Abstract).

[BibT_eX]

[DOI]