• Ponencia
      Icon

      Kernel P Systems - Version 1 

      Gheorgue, Marian; Ipate, Florentin; Dragomir, Ciprian; Mierla, Laurentiu; Valencia Cabrera, Luis; García Quismondo, Manuel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2013)
      A basic P system, called kernel P system4 (kP system for short), combining features of di erent P systems introduced and ...
    • Ponencia
      Icon

      Kernel P Systems Modelling, Testing and Veri cation 

      Gheorghe, Marian; Ceterchi, Rodica; Ipate, Florentin; Konur, Savas (Fénix, 2016)
      A kernel P system (kP system, for short) integrates in a coherent and elegant manner many of the P system features most ...
    • Ponencia
      Icon

      KMFC-GWO: A Hybrid Fuzzy-Metaheuristic Algorithm for Privacy Preserving in Graph-based Social Networks 

      Memarian, Saeideh; Oprescu, Andreea M.; Alexandre, Betsaida; Miró Amarante, Gloria; Romero Ternero, María del Carmen (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
      In recent years, the proliferation of social networks has been remarkable, providing a rich source for data mining endeavours. ...
    • Ponencia
      Icon

      kPWorkbench: A Software Framework for Kernel P Systems 

      Gheorgue, Marian; Ipate, Florentin; Mierla, Laurentiu; Konur, Savas (Fénix Editora, 2015)
      P systems are the computational models introduced in the context of membrane computing, a computational paradigm within ...
    • Ponencia
      Icon

      Laboratorios virtuales de redes: sí, inténtelo en casa 

      Martínez, Jesús; Ortega, Juan José; Fernández, José Alberto (AENUI: Asociación de Enseñantes Universitarios de Informática, 2011)
      Las asignaturas de redes y servicios distribuidos han adquirido un papel destacado en los nuevos títulos de grado en ...
    • Ponencia
      Icon

      Languages and P Systems: Recent Developments 

      Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2012)
      Languages appeared from the very beginning in membrane computing, by their length sets or directly as sets of strings. ...
    • Ponencia
      Icon

      Length P Systems with a Lone Traveler 

      Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu (Fénix Editora, 2014)
      In this paper we consider P systems with linear membrane structures (only one membrane is elementary) with at most one ...
    • Ponencia
      Icon

      Leveraging Digital Twins and SIEM Integration for Incident Response in OT Environments 

      Arias, Adei; Arellano, Cristobal; Zurutuza, Urko (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
      The Industrial Internet of Things (IIoT) has digitally transformed industrial processes albeit at the expense of increasing ...
    • Ponencia
      Icon

      Life-Death Ratio Approach by a Multiset-Based Type System 

      Aman, Bogdan; Ciobanu, Gabriel (Fénix Editora, 2014)
      We introduce and study a multiset-based type system with ratio thresholds motivated by an important regulatory mechanism ...
    • Ponencia
      Icon

      Limits on Efficient Computation in P Systems with Symport/Antiport Rules 

      Macías Ramos, Luis Felipe; Song, Bosheng; Song, Tao; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (Fenix Editora, 2017)
      Classical membrane systems with symport/antiport rules observe the con- servation law, in the sense that they compute by ...
    • Ponencia
      Icon

      Limits on P Systems with Proteins and Without Division 

      Orellana Martín, David; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018)
      In the field of Membrane Computing, computational complexity theory has been widely studied trying to nd frontiers of ...
    • Ponencia
      Icon

      Linear Time Solution to Prime Factorization by Tissue P Systems with Cell Division 

      Zhang, Xingyi; Niu, Yunyun; Pan, Linqiang; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2011)
      Prime factorization is useful and crucial for public-key cryptography, and its application in public-key cryptography is ...
    • Ponencia
      Icon

      Linking Bistable Dynamics to Metabolic P Systems 

      Pagliarini, Roberto; Bianco, Luca; Manca, Vincenzo; Bessant, Conrad (Fénix Editora, 2010)
      Bistability, or more generally multistability, is an important recurring theme in biological systems. In particular, the ...
    • Ponencia
      Icon

      Looking for Computers in the Biological Cell. After Twenty Years 

      Paun, Gheorghe (Fénix Editora, 2015)
    • Ponencia
      Icon

      Looking for P Truth 

      Cordón Franco, Andrés; Gutiérrez Naranjo, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2004)
      In a general sense, Logic studies how to derive new pieces of in- formation from previous ones. In this paper we explore ...
    • Ponencia
      Icon

      Magnetotactic Bacteria and Their Significance for P Systems and Nanoactuators 

      Ardelean, Ioan I.; Ignat, Mircea; Moisescu, Cristina (Fénix Editora, 2007)
      In the framework of the dialog between P systems and Microbiology, in this paper we focus on the magnetotactic behavior ...
    • Ponencia
      Icon

      Marco para el desarrollo de la competencia transversal Comunicación Eficaz 

      López Álvarez, David; Ramírez Bellido, Alejandro (AENUI: Asociación de Enseñantes Universitarios de Informática, 2011)
      Hay bastante consenso entre los profesores y los empleadores sobre la importancia que tiene para los ingenieros saberse ...
    • Ponencia
      Icon

      MARISMA-SHIPS: Un nuevo patrón de riesgos para el entorno marítimo basado en la metodología MARISMA 

      Martínez, Ferney; Sánchez, Luis Enrique; Santos Olmo, Antonio; Rosado, David G.; Fernández Medina, Eduardo (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
      La ciberseguridad es crucial para prevenir, detectar y responder rápidamente a los ataques garantizando la continuidad y ...
    • Ponencia
      Icon

      Matrix Languages, Register Machines, Vector Addition Systems 

      Freund, Rudolf; Ibarra, Óscar H.; Paun, Gheorghe; Yen, Hsu-Chen (Fénix Editora, 2005)
      We give a direct and simple proof of the equality of Parikh images of lan- guages generated by matrix grammars with ...
    • Ponencia
      Icon

      Matter and Anti-Matter in Membrane Systems 

      Alhazov, Artiom; Aman, Bogdan; Freund, Rudolf; Paun, Gheorghe (Fénix Editora, 2014)
      The concept of a matter object being annihilated when meeting its corresponding anti-matter object is investigated in the ...