E. Ravve

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Construction of the developing connecting tree Engineering Optimization	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 Annals of Pure and Applied Logic	2019-09-18	Paper
On sequences of polynomials arising from graph invariants European Journal of Combinatorics	2017-10-10	Paper
A computational framework for the study of partition functions and graph polynomials Proceedings of the 12th Asian Logic Conference	2017-05-31	Paper
Semantic equivalence of graph polynomials definable in second order logic Logic, Language, Information, and Computation	2016-09-09	Paper
Maintenance of queries under database changes: a unified logic based approach Lecture Notes in Computer Science	2016-05-19	Paper
An estimate of the objective function optimum for the network Steiner problem Annals of Operations Research	2016-04-20	Paper
Automatic definition of optimal default parameters of algorithms Dynamics of Continuous, Discrete & Impulsive Systems. Series B. Applications & Algorithms	2016-04-18	Paper
Automatic definition of optimal default parameters of algorithms Dynamics of Continuous, Discrete & Impulsive Systems. Series B. Applications & Algorithms	2016-04-18	Paper
On the location of roots of graph polynomials European Journal of Combinatorics	2014-09-02	Paper
Effective optimization with weighted automata on decomposable trees Optimization	2014-05-02	Paper
The universal edge elimination polynomial and the dichromatic polynomial	2013-11-01	Paper
BCNF via attribute splitting Conceptual Modelling and Its Theoretical Foundations	2012-03-09	Paper
Incremental model checking for decomposable structures Lecture Notes in Computer Science	2010-06-17	Paper
Counting truth assignments of formulas of bounded tree-width or clique-width Discrete Applied Mathematics	2008-02-26	Paper
Dependency preserving refinements and the fundamental problem of database design Data & Knowledge Engineering	1998-06-30	Paper

Research outcomes over time

This page was built for person: E. Ravve