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 |