Browsing by Author 

Browsing by Author "Aman, Bogdan"  

Now showing items 1-10 of 10

    • Presentation
      Icon

      Complexity of Simulating R Systems by P Systems 

      Alhazov, Artiom; Aman, Bogdan; Freund, Rudolf; Ivanov, Sergiu (Fénix, 2016)
      We show multiple ways to simulate R systems by non-cooperative P systems with atomic control by promoters and/or inhibitors, ...
    • Presentation
      Icon

      Flattening P Systems with Active Membranes 

      Aman, Bogdan; Ciobanu, Gabriel (Fénix Editora, 2013)
    • Presentation
      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 ...
    • Presentation
      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 ...
    • Presentation
      Icon

      Membrane Systems and Time Petri Nets 

      Aman, Bogdan; Battyányi, Péter; Ciobanu, Gabriel; Vaszil, György (Fenix Editora, 2017)
      We investigate the relationship of time Petri nets and di erent variants of membrane systems. First we show that the added ...
    • Presentation
      Icon

      Mutual Mobile Membranes Systems with Surface Objects 

      Aman, Bogdan; Ciobanu, Gabriel (Fénix Editora, 2009)
      In this paper we introduce mutual mobile membranes with surface objects, systems which have biological motivation. In P ...
    • Presentation
      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 ...
    • Presentation
      Icon

      Simulating Membrane Systems and Dissolution in a Typed Chemical Calculus 

      Aman, Bogdan; Battyányi, Péter; Ciobanu, Gabriel; Vaszil, György (Fénix Editora, 2015)
      We present a transformation of membrane systems, possibly with pro- moter/inhibitor rules, priority relations, and membrane ...
    • Presentation
      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 ...
    • Presentation
      Icon

      Verifying P Systems with Costs by Using Priced-Timed Maude 

      Aman, Bogdan; Ciobanu, Gabriel (Fénix, 2016)
      We consider P systems that assigns storage costs per step to membranes, and execution costs to rules. We present an ...