- idUS
- Jornadas y Congresos US
- Informática
- Listar Informática por autor
Listar Informática por autor "Aman, Bogdan"
Mostrando ítems 1-10 de 10
-
Ponencia
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, ...
-
Ponencia
Flattening P Systems with Active Membranes
Aman, Bogdan; Ciobanu, Gabriel (Fénix Editora, 2013) -
Ponencia
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
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
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 ...
-
Ponencia
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 ...
-
Ponencia
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
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 ...
-
Ponencia
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 ...
-
Ponencia
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 ...