E. Ravve

Available identifiers

Publication	Date of Publication	Type
Construction of the developing connecting tree	2023-10-10	Paper
A logic-based approach to incremental reasoning on multi-agent systems	2022-10-22	Paper
Logic-based approach to incremental monitoring and optimization on strongly distributed data streams	2020-10-26	Paper
A logician's view of graph polynomials	2019-09-18	Paper
On sequences of polynomials arising from graph invariants	2017-10-10	Paper
A Computational Framework for the Study of Partition Functions and Graph Polynomials	2017-05-31	Paper
Semantic Equivalence of Graph Polynomials Definable in Second Order Logic	2016-09-09	Paper
Maintenance of Queries Under Database Changes: A Unified Logic Based Approach	2016-05-19	Paper
An estimate of the objective function optimum for the network Steiner problem	2016-04-20	Paper
Automatic definition of optimal default parameters of algorithms	2016-04-18	Paper
On the location of roots of graph polynomials	2014-09-02	Paper
Effective optimization with weighted automata on decomposable trees	2014-05-02	Paper
The universal edge elimination polynomial and the dichromatic polynomial	2013-11-01	Paper
BCNF via attribute splitting	2012-03-09	Paper
Incremental model checking for decomposable structures	2010-06-17	Paper
Counting truth assignments of formulas of bounded tree-width or clique-width	2008-02-26	Paper
Dependency preserving refinements and the fundamental problem of database design	1998-06-30	Paper

This page was built for person: E. Ravve