Elena Ivanova

Orcid: 0000-0002-5509-8071

According to our database1, Elena Ivanova authored at least 12 papers between 2003 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022
Tissue Characterization Using Synchrotron Radiation at 0.7 THz to 10.0 THz with Extended ATR Apparatus Techniques.
Sensors, 2022

Lazy controller synthesis for monotone transition systems and directed safety specifications.
Autom., 2022

2021
Automated Multi-Process CTC Detection using Deep Learning.
CoRR, 2021

Lazy Symbolic Controller for Continuous-Time Systems Based on Safe Set Boundary Exploration.
Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2019
Methodology of Mean Shift Clustering Algorithm Implementation Based on Dataflow Computer.
Proceedings of the XVI International Symposium "Problems of Redundancy in Information and Control Systems", 2019

Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2014
Frequency-domain subspace system identification with fractional differentiation models.
Proceedings of the 10th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 2014

2007
Integrated information system based on web services.
Proceedings of the 2007 International Conference on Computer Systems and Technologies, 2007

2006
Annotation automatique de relations de contrôle dans des spécifications des besoins informatiques.
Proceedings of the Actes de la 13ème conférence sur le Traitement Automatique des Langues Naturelles. Posters, 2006

2004
WSDL interface of services for distributed search in databases.
Proceedings of the 5th International Conference on Computer Systems and Technologies, 2004

2003
SOAP Based multiple search.
Proceedings of the 4th International Conference on Computer Systems and Technologies: e-Learning, 2003


  Loading...