| Application of non-destructive sensors and big data analysis to predict physiological storage disorders and fruit firmness in ‘Braeburn’apples P Osinenko, K Biegert, RJ McCormick, T Göhrt, G Devadze, J Streif, ... Computers and Electronics in Agriculture 183, 106015, 2021 | 26 | 2021 |
| Stacked adaptive dynamic programming with unknown system model P Osinenko, T Göhrt, G Devadze, S Streif IFAC-PapersOnLine 50 (1), 4150-4155, 2017 | 10 | 2017 |
| Constructive analysis of control system stability P Osinenko, G Devadze, S Streif IFAC-PapersOnLine 50 (1), 7467-7474, 2017 | 8 | 2017 |
| Practical stability analysis of sliding‐mode control with explicit computation of sampling time P Osinenko, G Devadze, S Streif Asian Journal of Control 22 (4), 1692-1699, 2020 | 6 | 2020 |
| Extraction of a computer-certified ODE solver G Devadze, L Flessing, S Streif 2021 European Control Conference (ECC), 2676-2681, 2021 | 4 | 2021 |
| Analysis of the Caratheodoryʼ s theorem on dynamical system trajectories under numerical uncertainty P Osinenko, G Devadze, S Streif IEEE/CAA Journal of Automatica Sinica 5 (4), 787-793, 2018 | 4 | 2018 |
| Constructive analysis of eigenvalue problems in control under numerical uncertainty P Osinenko, G Devadze, S Streif International Journal of Control, Automation and Systems 18 (9), 2177-2185, 2020 | 3 | 2020 |
| Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis G Devadze, V Magron, S Streif arXiv preprint arXiv:2006.09884, 2020 | 2 | 2020 |
| Synthesis of Lyapunov functions using formal verification L Munser, G Devadze, S Streif arXiv preprint arXiv:2112.01835, 2021 | 1 | 2021 |
| Prototypical description and controller design for a set of systems using ν-gap based clustering L Munser, AJ Hempel, G Devadze, S Streif IFAC-PapersOnLine 53 (2), 4623-4628, 2020 | 1 | 2020 |
| Prediction of core browning and fruit firmness in stored ‘Braeburn’apples: Multivariate time series classification L Munser, R McCormick, G Devadze, N Siefen, S Streif, K Biegert Postharvest Biology and Technology 222, 113381, 2025 | | 2025 |
| Computer-Assisted Proofs for Lyapunov Stability via Sums of Squares Certificates and Constructive Analysis G Devadze, V Magron, S Streif Journal of Automated Reasoning 69 (1), 2, 2025 | | 2025 |
| Extraction of a computer-certified SMT solver for nonlinear theories G Devadze, L Munser, S Streif 2023 European Control Conference (ECC), 1-6, 2023 | | 2023 |
| Formal proofs for Lyapunov stability theorems in exact real arithmetic G Devadze, S Streif 2023 European Control Conference (ECC), 1-6, 2023 | | 2023 |
| Formal Verification of a Controller Implementation in Fixed-Point Arithmetic G Devadze, L Flessing, S Streif 2023 European Control Conference (ECC), 1-6, 2023 | | 2023 |
| Formal verification of a controller implementation in fixed-point arithmetic L Flessing, G Devadze, S Streif arXiv preprint arXiv:2112.01204, 2021 | | 2021 |
| A note on constructive treatment of eigenvectors P Osinenko, G Devadze, S Streif arXiv preprint arXiv:1607.04108, 2016 | | 2016 |
| Analysis of control system stability under algorithmic uncertainty G Devadze | | 2016 |
