• Ponencia
      Icon

      dP Automata versus Right-Linear Simple Matrix Grammars 

      Paun, Gheorghe; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2011)
      We consider dP automata with the input string distributed in an arbitrary (hence not necessary balanced) way, and we ...
    • 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

      Spiking Neural dP Systems 

      Ionescu, Mihai; Paun, Gheorghe; Pérez Jiménez, Mario de Jesús; Yokomori, Takashi (Fénix Editora, 2011)
      We bring together two topics recently introduced in membrane computing, the much investigated spiking neural P systems ...
    • Ponencia
      Icon

      P Systems for Social Networks 

      Csuhaj Varjú, Erzsébet; Gheorgue, Marian; Vaszil, György; Oswald, Marion (Fénix Editora, 2011)
      We introduce some variants of P systems that mimic the behaviour of social networks and illustrate some of the characteristics ...
    • Ponencia
      Icon

      Elementary Active Membranes Have the Power of Counting 

      Porreca, Antonio E.; Leporati, Alberto; Mauri, Giancarlo; Zandron, Claudio (Fénix Editora, 2011)
      We prove that uniform families of P systems with active membranes operat- ing in polynomial time can solve the whole class ...
    • Ponencia
      Icon

      Towards Automated Verification of P Systems Using Spin 

      Lefticaru, Raluca; Tudose, Cristina; Ipate, Florentin (Fénix Editora, 2011)
      This paper presents an approach to P systems verification using the Spin model checker. A tool which implements the ...
    • Ponencia
      Icon

      P Systems with Replicator Dynamics: A Proposal 

      Cavaliere, Matteo; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2011)
      This short note proposes some ideas for considering evolutionary game theory in the area of membrane computing