Elena Ivanova

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger, Daniel Zhuang

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.

Zoltan Vilagosh, Dominique Appadoo, Negin Foroughimehr, Reza Shams, David Sly, Saulius Juodkazis, Elena Ivanova, Andrew W. Wood

Sensors, 2022

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

Elena Ivanova, Adnane Saoud, Antoine Girard

Autom., 2022

2021

Automated Multi-Process CTC Detection using Deep Learning.

Elena Ivanova, Kam W. Leong, Andrew F. Laine

CoRR, 2021

Lazy Symbolic Controller for Continuous-Time Systems Based on Safe Set Boundary Exploration.

Elena Ivanova, Antoine Girard

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.

Sergey Salibekyan, Elena Ivanova, Andrey Vishnekov

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.

Adnane Saoud, Elena Ivanova, Antoine Girard

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2014

Frequency-domain subspace system identification with fractional differentiation models.

Elena Ivanova, Rachid Malti, Xavier Moreau

Proceedings of the 10th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 2014

2007

Integrated information system based on web services.

Krasimir Trichkov, Elisaveta Trichkova, Elena Ivanova

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.

Jorge García Flores, Elena Ivanova, Jean-Pierre Desclés, Brahim Djioua

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.

Elena Ivanova

Proceedings of the 5th International Conference on Computer Systems and Technologies, 2004

2003

SOAP Based multiple search.

Elena Ivanova

Proceedings of the 4th International Conference on Computer Systems and Technologies: e-Learning, 2003