Andrei Aleksandrov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2024–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | The Rocq-NN-Roll Prover: Soundly Verifying Hyperproperties of Neural Networks in Rocq. | Andrei Aleksandrov, Malte Jackisch, Kim Vllinger |
| 2025 | DATA | Leveraging Liquid Time-Constant Neural Networks for ECG Classification: A Focus on Pre-Processing Techniques. | Lisa-Maria Beneke, Michell Boerger, Philipp Lmmel, Helene Knof, Andrei Aleksandrov, Nikolay Tcholtchev |
| 2025 | DATA | Anomaly Detection in IoT Networks: A Performance Comparison of Transformer, 1D-CNN, and GrowNet Models on the Bot-IoT Dataset. | Aurelia Kusumastuti, Denis Rangelov, Philipp Lmmel, Michell Boerger, Andrei Aleksandrov, Nikolay Tcholtchev |
| 2025 | TASE | A Formally Verified Neural Network Converter for the Interactive Theorem Prover Coq. | Leo Alexander Gummersbach, Kim Vllinger, Andrei Aleksandrov |
| 2024 | ICTAC | Switched Systems in Coq for Modeling Periodic Controllers. | Andrei Aleksandrov, Kim Vllinger |