• Ponencia
      Icon

      Semilinear Sets, Register Machines, and Integer Vector Addition (P) Systems 

      Alhazov, Artiom; Belingheri, Omar; Freund, Rudolf; Ivanov, Sergiu; Porreca, Antonio E.; Zandron, Claudio (Fénix, 2016)
      In this paper we consider P systems working with multisets with integer multiplicities. We focus on a model in which rule ...
    • Ponencia
      Icon

      Solving SAT with Antimatter in Membrane Computing 

      Díaz Pernil, Daniel; Alhazov, Artiom; Freund, Rudolf; Gutiérrez Naranjo, Miguel Ángel (Fénix Editora, 2015)
      The set of NP-complete problems is split into weakly and strongly NP- complete ones. The di erence consists in the in uence ...
    • Ponencia
      Icon

      Some open problems 

      Alhazov, Artiom (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2020)
    • Ponencia
      Icon

      The Computational Power of Exponential-Space P Systems with Active Membranes 

      Alhazov, Artiom; Leporati, Alberto; Mauri, Giancarlo; Porreca, Antonio E.; Zandron, Claudio (Fénix Editora, 2012)
      We show that exponential-space P systems with active membranes characterize the complexity class EXPSPACE. This result ...
    • Ponencia
      Icon

      The Membrane Systems Language Class 

      Alhazov, Artiom; Ciubotaru, Constantin; Rogozhin, Yurii; Ivanov, Sergiu (Fénix Editora, 2010)
      The aim of this paper is to introduce the class of languages generated by the transitional model of membrane systems ...
    • Ponencia
      Icon

      The Power of Symport-3 with Few Extra Symbols 

      Alhazov, Artiom; Rogozhin, Yurii (Fénix Editora, 2012)
      Membrane systems (with symbol objects) are formal models of distributed parallel multiset processing. Symport rules move ...
    • Ponencia
      Icon

      Time-freeness and Clock-freeness and Related Concepts in P Systems 

      Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu; Pan, Linqiang; Song, Bosheng (Fenix Editora, 2017)
      In the majority of models of P systems, rules are applied at the ticks of a global clock and their products are introduced ...
    • Ponencia
      Icon

      (Tissue) P Systems with Anti-Membranes 

      Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
      The concept of a matter object being annihilated when meeting its corresponding anti-matter object is taken over for ...
    • Ponencia
      Icon

      (Ultimately Confluent) Parallel Multiset-Rewriting Systems with Context 

      Alhazov, Artiom; Sburlan, Dragos (Fénix Editora, 2004)
      The aim of this paper is to study the power of parallel multiset- rewriting systems with permitting context (or P systems ...
    • Ponencia
      Icon

      Unfair P Systems 

      Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu (Fenix Editora, 2017)
      We introduce a novel kind of P systems in which the application of rules in each step is controlled by a function on the ...
    • Ponencia
      Icon

      Uniform Solution to QSAT Using Polarizationless Active Membranes 

      Alhazov, Artiom; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2006)
      It is known that the satisfiability problem (SAT) can be solved a semi- uniform family of deterministic polarizationless ...
    • Ponencia
      Icon

      Variants of P Systems with Toxic Objects 

      Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu (Fénix Editora, 2015)
      Toxic objects have been introduced to avoid trap rules, especially in (purely) catalytic P systems. No toxic object is ...