Elena V. Ravve

Orcid: 0000-0001-7124-8300

According to our database1, Elena V. Ravve authored at least 28 papers between 1995 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Indoor Navigation in Facilities with Repetitive Structures.
Sensors, May, 2024

2023
An Approach to Predicting Social Events via Dailies Tracking.
Proceedings of the Advances in Computational Intelligence, 2023

2020
Logic-Based Approach to Incremental Monitoring and Optimization on Strongly Distributed Data Streams.
Proceedings of the Foundations of Information and Knowledge Systems, 2020

2019
A logician's view of graph polynomials.
Ann. Pure Appl. Log., 2019

Automatic Code Generator for Screen Based Systems.
Proceedings of the New Trends in Databases and Information Systems, 2019

2018
On sequences of polynomials arising from graph invariants.
Eur. J. Comb., 2018

2017
Entropy "2"-Soft Classification of Objects.
Entropy, 2017

2016
Incremental computations over strongly distributed databases.
Concurr. Comput. Pract. Exp., 2016

An estimate of the objective function optimum for the network Steiner problem.
Ann. Oper. Res., 2016

Semantic Equivalence of Graph Polynomials Definable in Second Order Logic.
Proceedings of the Logic, Language, Information, and Computation, 2016

Maintenance of Queries Under Database Changes: A Unified Logic Based Approach.
Proceedings of the Foundations of Information and Knowledge Systems, 2016

2015
Incremental Reasoning on Strongly Distributed Multi-agent Systems.
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.
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.
Proceedings of the Global Conference on Artificial Intelligence, 2015

2014
On the location of roots of graph polynomials.
Eur. J. Comb., 2014

Analyzing WMSOL Definable Properties on Sum-Like Weighted Labeled Trees.
Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014

Views and Updates over Distributed Databases.
Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014

2013
On the Location of Roots of Graph Polynomials.
Electron. Notes Discret. Math., 2013

A Systematic Approach to Computations on Decomposable Graphs.
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.
Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

BCNF via Attribute Splitting.
Proceedings of the Conceptual Modelling and Its Theoretical Foundations, 2012

2011
The Universal Edge Elimination Polynomial and the Dichromatic Polynomial.
Electron. Notes Discret. Math., 2011

2008
Counting truth assignments of formulas of bounded tree-width or clique-width.
Discret. Appl. Math., 2008

1999
Decomposition of databases with translation schemes.
PhD thesis, 1999

1998
Dependency Preserving Refinements and the Fundamental Problem of Database Design.
Data Knowl. Eng., 1998

1997
The Fundamental Problem of Database Design.
Proceedings of the SOFSEM '97: Theory and Practice of Informatics, 1997

1996
Translation Schemes and the Fundamental Problem of Database Design.
Proceedings of the Conceptual Modeling, 1996

1995
Incremental Model Checking for Decomposable Structures (Extended Abstract).
Proceedings of the Mathematical Foundations of Computer Science 1995, 1995


  Loading...