•  60
    Different approaches for the detection of SSH anomalous connections
    with Á Herrero, J. Sedano, Urko Zurutuza, and E. Corchado
    Logic Journal of the IGPL 24 (1). 2016.
  •  34
    Dynamics of Multimodal Families of m-Modal Maps
    with B. B. Cassal-Quiroga, J. Tuxpan, and E. Campos
    Complexity 2022 1-13. 2022.
    In this work, we introduce families of multimodal maps based on logistic map, i.e., families of m-modal maps are defined on an interval I ⊂ ℝ, which is partitioned into non-uniform subdomains, with m ∈ ℕ. Because the subdomains of the partition are not uniform, each subdomain contains a unimodal map, given by the logistic map, that can have different heights. Therefore, we give the necessary and sufficient conditions for these modal maps present a multimodal family of m-modal maps, i.e., a bifur…Read more
  •  29
    Mathematical Structures Within Simple Type Theory
    Studia Logica 1-30. forthcoming.
    We present an extension of simple type theory that incorporates types for any kind of mathematical structure (of any order). We further extend this system allowing isomorphic structures to be identified within these types thanks to some syntactical restrictions; for this purpose, we formally define what it means for two structures to be isomorphic. We model both extensions in NFU set theory in order to prove their relative consistency.