Elena Ivanova

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