Miriam García Soto
AuthID: R-00J-VPA
1
TÃTULO: Design and Validation of a PLC-Controlled Morbidostat for Investigating Bacterial Drug Resistance
AUTORES: Pedreira, Adrian; Vazquez, Jose A.; Romanenko, Andrey; Garcia, Miriam R.;
PUBLICAÇÃO: 2024, FONTE: BIOENGINEERING-BASEL, VOLUME: 11, NÚMERO: 8
AUTORES: Pedreira, Adrian; Vazquez, Jose A.; Romanenko, Andrey; Garcia, Miriam R.;
PUBLICAÇÃO: 2024, FONTE: BIOENGINEERING-BASEL, VOLUME: 11, NÚMERO: 8
INDEXADO EM: 
Scopus 
WOS
Scopus WOS2
TÃTULO: Synthesis of Parametric Hybrid Automata from Time Series
AUTORES: Miriam García Soto; Thomas A Henzinger; Christian Schilling;
PUBLICAÇÃO: 2022, FONTE: Lecture Notes in Computer Science - Automated Technology for Verification and Analysis
AUTORES: Miriam García Soto; Thomas A Henzinger; Christian Schilling;
PUBLICAÇÃO: 2022, FONTE: Lecture Notes in Computer Science - Automated Technology for Verification and Analysis
3
TÃTULO: Synthesis of hybrid automata with affine dynamics from time-series data
AUTORES: Miriam García Soto; Thomas A Henzinger; Christian Schilling;
PUBLICAÇÃO: 2021, FONTE: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control
AUTORES: Miriam García Soto; Thomas A Henzinger; Christian Schilling;
PUBLICAÇÃO: 2021, FONTE: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control
4
TÃTULO: Hybridization for Stability Verification of Nonlinear Switched Systems
AUTORES: Miriam Garcia Soto; Pavithra Prabhakar;
PUBLICAÇÃO: 2020, FONTE: 2020 IEEE Real-Time Systems Symposium (RTSS)
AUTORES: Miriam Garcia Soto; Pavithra Prabhakar;
PUBLICAÇÃO: 2020, FONTE: 2020 IEEE Real-Time Systems Symposium (RTSS)
