mostrando 5 de 8 (Ver todas las publicaciones) | |||
| No. | Título | Congreso | Año |
|---|---|---|---|
| 1) | Computability and stability for hybrid algorithms | 10th International Conference on Swarm Intelligence, ICSI 2019 | 2019 |
| 2) | Modelling and verification analysis of the predator-prey system via a modal logic approach | 9th International Conference on Swarm Intelligence, ICSI 2018 | 2018 |
| 3) | Modelling and verification analysis of the predator-prey system via a first order logic approach | 8th International Conference on Swarm Intelligence, ICSI 2017 | 2017 |
| 4) | Modeling and Analysis of the Metro-Bus Public Transport System in Mexico City using Timed Event Petri Nets and Max-Plus Algebra | IMACS-MODSIM09 World Congress | 2009 |
| 5) | A Generalized Eigenmode Algorithm for Reducible Regular Matrices over the Max-Plus Algebra | Chinese Control and Decisión Conference | 2009 |