| On the stability analysis of chiral networks and the emergence of homochirality JA Montoya, C Mejía, RD Bourdón, E Cruz, J Ágreda MATCH Commun. Math. Comput. Chem 80 (2), 311-344, 2018 | 10 | 2018 |
| Formal Verification of Safety-Critical Aerospace Systems S Paul, E Cruz, A Dutta, A Bhaumik, E Blasch, G Agha, S Patterson, ... IEEE Aerospace and Electronic Systems Magazine, 2023 | 8 | 2023 |
| Towards provably correct probabilistic flight systems E Cruz-Camacho, S Paul, F Kopsaftopoulos, CA Varela International Conference on Dynamic Data Driven Application Systems, 236-244, 2020 | 4 | 2020 |
| Evaluating Performance of Spintronics-Based Spiking Neural Network Chips using Parallel Discrete Event Simulation E Cruz-Camacho, S Qian, A Shukla, N McGlohon, S Rakheja, ... Proceedings of the 2022 ACM SIGSIM Conference on Principles of Advanced …, 2022 | 3 | 2022 |
| CHEMical KINetics SimuLATOR (Chemkinlator): A friendly user interface for chemical kinetics simulations E Cruz, A Montoya, J Ágreda Revista Colombiana de Química 49 (1), 40-47, 2020 | 3 | 2020 |
| Computing the Parameter Values for the Emergence of Homochirality in Complex Networks A Montoya, E Cruz, J Ágreda Life 9 (3), 74, 2019 | 3 | 2019 |
| Static Analysis of Python Programs using Abstract Interpretation: An Application to Tensor Shape Analysis EA Cruz Camacho Ingeniería de Sistemas, 2019 | 3* | 2019 |
| Hybrid PDES Simulation of HPC Networks Using Zombie Packets E Cruz-Camacho, KA Brown, X Wang, X Xu, K Shu, Z Lan, RB Ross, ... Proceedings of the 2023 ACM SIGSIM Conference on Principles of Advanced …, 2023 | 2 | 2023 |
| Machine Learning for Interconnect Network Traffic Forecasting: Investigation and Exploitation X Xu, X Wang, E Cruz-Camacho, C D. Carothers, K A. Brown, R B. Ross, ... Proceedings of the 2023 ACM SIGSIM Conference on Principles of Advanced …, 2023 | 1 | 2023 |
| Formal Safety Envelopes for Provably Accurate State Classification by Data-Driven Flight Models E Cruz-Camacho, A Amer, F Kopsaftopoulos, CA Varela Journal of Aerospace Information Systems 20 (1), 3-16, 2023 | 1 | 2023 |
| Performance Evaluation of Spintronic-Based Spiking Neural Networks Using Parallel Discrete-Event Simulation E Cruz-Camacho, S Qian, A Shukla, N McGlohon, S Rakheja, ... ACM Transactions on Modeling and Computer Simulation, 2024 | | 2024 |
| Linear stability analysis of chemical mechanism, Listanalchem: A tool for the search of spontaneous mirror symmetry breaking E Cruz, A Montoya, J Ágreda MethodsX 11, 102307, 2023 | | 2023 |
