Cruz Camacho, E. A. (2019). Static Analysis of Python Programs Using Abstract Interpretation: An Application to Tensor Shape Analysis [Mathesis, Universidad Nacional de Colombia]. https://repositorio.unal.edu.co/handle/unal/76335 [PDF]

Cruz-Camacho, E., Brown, K. A., Wang, X., Xu, X., Shu, K., Lan, Z., Ross, R. B., & Carothers, C. D. (2023). Hybrid PDES Simulation of HPC Networks Using Zombie Packets. ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 128–132. [PDF]

Xu, X., Wang, X., Cruz-Camacho, E., D. Carothers, C., A. Brown, K., B. Ross, R., Lan, Z., & Shu, K. (2023). Machine Learning for Interconnect Network Traffic Forecasting: Investigation and Exploitation. Proceedings of the 2023 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 133–137. [PDF]

Cruz-Camacho, E., Amer, A., Kopsaftopoulos, F., & Varela, C. A. (2023). Formal Safety Envelopes for Provably Accurate State Classification by Data-Driven Flight Models. Journal of Aerospace Information Systems, 20(1), 3–16. [PDF]

Cruz, E., Montoya, A., & Ágreda, J. (2023). Linear Stability Analysis of Chemical Mechanism, Listanalchem: A Tool for the Search of Spontaneous Mirror Symmetry Breaking. MethodsX, 11, 102307.

Paul, S., Cruz, E., Dutta, A., Bhaumik, A., Blasch, E., Agha, G., Patterson, S., Kopsaftopoulos, F., & Varela, C. (2023). Formal Verification of Safety-Critical Aerospace Systems. IEEE Aerospace and Electronic Systems Magazine, 38(5), 72–88.

Cruz-Camacho, E., Qian, S., Shukla, A., McGlohon, N., Rakheja, S., & Carothers, C. D. (2022). Evaluating Performance of Spintronics-Based Spiking Neural Network Chips using Parallel Discrete Event Simulation. Proceedings of the 2022 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 69–80. [PDF]

Cruz-Camacho, E., Paul, S., Kopsaftopoulos, F., & Varela, C. A. (2020). Towards Provably Correct Probabilistic Flight Systems. In F. Darema, E. Blasch, S. Ravela, & A. Aved (Eds.), Dynamic Data Driven Application Systems (pp. 236–244). Springer International Publishing.

Cruz, E., Montoya, A., & Ágreda, J. (2020). CHEMical KINetics SimuLATOR (Chemkinlator): A friendly user interface for chemical kinetics simulations. Revista Colombiana de Química.

Montoya, A., Cruz, E., & Ágreda, J. (2019). Computing the Parameter Values for the Emergence of Homochirality in Complex Networks. Life, 9(3), 74.

Montoya, J. A., Mejía, C., Bourdón, R. D., Cruz, E., & Ágreda, J. (2018). On the stability analysis of chiral networks and the emergence of homochirality. MATCH Commun. Math. Comput. Chem, 80, 311–344. [PDF]