Alëna Rodionova
ORCIDPublication Activity (10 Years)
Years Active: 2015-2023
Publications (10 Years): 22
Publications (10 Years): 22
Publications
- Lars Lindemann, Alëna Rodionova, George J. Pappas
- Lars Lindemann, Alëna Rodionova, George J. Pappas
- Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas
- Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas
- Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alëna Rodionova
- Alëna Rodionova, Matthew O'Kelly, Houssam Abbas, Vincent Pacelli, Rahul Mangharam
- Houssam Abbas, Alëna Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu
- Houssam Abbas, Alëna Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu
- Alëna Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu
- Alëna Rodionova, Ezio Bartocci, Dejan Nickovic, Radu GrosuTemporal Logic as Filtering. CoRR (2015)