Navarro Lopez, E & O'Toole, M 2017, ' Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsication of safety properties ' Mathematical and Computer Modelling of Dynamical Systems .
Gomez, M, Navarro Lopez, E & Gilman, T 2016, ' The coevolution of sexual imprinting by males and females ', Ecology and Evolution, vol. 6, no. 19, pp. 7113–7125 . https://doi.org/10.1002/ece3.2409
Navarro Lopez, E & Rebekah Carter 2016, ' Deadness and how to disprove liveness in hybrid dynamical systems ' Theoretical Computer Science, vol 642, pp. 1-23 . DOI: 10.1016/j.tcs.2016.06.009 Navarro Lopez, E & Rebekah Carter 2016, ' Deadness and how to disprove liveness in hybrid dynamical systems ', Theoretical Computer Science, vol. 642, pp. 1-23 . https://doi.org/10.1016/j.tcs.2016.06.009
Navarro Lopez, E 2007, ' Local feedback dissipativity through energy invariance and feedback losslessness properties in nonlinear discrete-time systems ' Journal of Mathematical Control Science and Applications, vol 1, no. 2, pp. 325-337 .