Elena Ivanova

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 7

Top Topics

Controller Synthesis

Nonlinear Dynamics

Tissue Characterization

Transition Systems

Top Venues

Publications

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
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH (2023)
Zoltan Vilagosh, Dominique Appadoo, Negin Foroughimehr, Reza Shams, David Sly, Saulius Juodkazis, Elena Ivanova, Andrew W. Wood
Tissue Characterization Using Synchrotron Radiation at 0.7 THz to 10.0 THz with Extended ATR Apparatus Techniques. Sensors 22 (21) (2022)
Elena Ivanova, Adnane Saoud, Antoine Girard
Lazy controller synthesis for monotone transition systems and directed safety specifications. Autom. 135 (2022)
Elena Ivanova, Antoine Girard
Lazy Symbolic Controller for Continuous-Time Systems Based on Safe Set Boundary Exploration. ADHS (2021)
Elena Ivanova, Kam W. Leong, Andrew F. Laine
Automated Multi-Process CTC Detection using Deep Learning. CoRR (2021)
Adnane Saoud, Elena Ivanova, Antoine Girard
Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications. CDC (2019)
Sergey Salibekyan, Elena Ivanova, Andrey Vishnekov
Methodology of Mean Shift Clustering Algorithm Implementation Based on Dataflow Computer. REDUNDANCY (2019)
Elena Ivanova, Rachid Malti, Xavier Moreau
Frequency-domain subspace system identification with fractional differentiation models. MESA (2014)
Krasimir Trichkov, Elisaveta Trichkova, Elena Ivanova
Integrated information system based on web services. CompSysTech (2007)
Jorge García Flores, Elena Ivanova, Jean-Pierre Desclés, Brahim Djioua
Annotation automatique de relations de contrôle dans des spécifications des besoins informatiques. TALN (Posters) (2006)
Elena Ivanova
WSDL interface of services for distributed search in databases. CompSysTech (2004)
Elena Ivanova
SOAP Based multiple search. CompSysTech (2003)