• 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

      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 ...
    • Ponencia
      Icon

      Red-Green P Automata 

      Aman, Bogdan; Csuhaj Varjú, Erzsébet; Freund, Rudolf (Fénix Editora, 2014)
      In this short note we extend the notion of red-green Turing machines to speci c variants of P automata. Acceptance and ...
    • Ponencia
      Icon

      Solving SAT with Active Membranes and Pre-Computed Initial Con gurations 

      Aman, Bogdan; Ciobanu, Gabriel (Fénix Editora, 2014)
      In this paper we provide algorithms for solving the SAT problem using P systems with active membranes with neither ...