The following pages link to Bogdan Aman (Q264536):
Displaying 50 items.
- Modelling and verification of weighted spiking neural systems (Q264538) (← links)
- Properties of enhanced mobile membranes via coloured Petri nets (Q437686) (← links)
- Verification of membrane systems with delays via Petri nets with delays (Q496035) (← links)
- Efficiently solving the bin packing problem through bio-inspired mobility (Q530219) (← links)
- Mutual mobile membranes with objects on surface (Q553916) (← links)
- Mobility in process calculi and natural computing. (Q653874) (← links)
- Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems (Q766179) (← links)
- BioMaxP: a formal approach for cellular ion pumps (Q1650327) (← links)
- Solving the \(N\)-Queens puzzle by using few membranes (Q1709885) (← links)
- Controlled reversibility in reaction systems (Q1749154) (← links)
- Mutual exclusion and reversibility in reaction systems (Q1982970) (← links)
- Reversible computation in nature inspired rule-based systems (Q1982978) (← links)
- Travelling salesman problem in tissue P systems with costs (Q1983010) (← links)
- Synchronization of rules in membrane computing (Q1983026) (← links)
- Dynamics of reputation in mobile agents systems and weighted timed automata (Q2064524) (← links)
- From networks of reaction systems to communicating reaction systems and back (Q2104131) (← links)
- Verification of multi-agent systems with timeouts for migration and communication (Q2279119) (← links)
- Local time membrane systems and time Petri nets (Q2285668) (← links)
- Simulating P systems with membrane dissolution in a chemical calculus (Q2311261) (← links)
- Adaptive P systems (Q2328319) (← links)
- Automated Verification of Stochastic Spiking Neural P Systems (Q2789120) (← links)
- Mobile Membranes: Computability and Complexity (Q2851900) (← links)
- Describing the immune system using enhanced mobile membranes (Q2870294) (← links)
- On the Computability Power of Membrane Systems with Controlled Mobility (Q2904459) (← links)
- Computing by endocytosis and exocytosis (Q2919579) (← links)
- (Q2941320) (← links)
- Simulating R Systems by P Systems (Q2975902) (← links)
- Computational Power of Protein Networks (Q2975906) (← links)
- (Q3005244) (← links)
- A Temporal Logic for Mutual Mobile Membranes with Objects on Surface (Q3009342) (← links)
- Turing Completeness Using Three Mobile Membranes (Q3184756) (← links)
- Employing Costs in Multiagent Systems with Timed Migration and Timed Communication (Q3297779) (← links)
- Red–Green P Automata (Q3454887) (← links)
- Timers and Proximities for Mobile Ambients (Q3499765) (← links)
- Mobile Ambients with Timers and Types (Q3525074) (← links)
- Simple, Enhanced and Mutual Mobile Membranes (Q3642951) (← links)
- (Q4608683) (← links)
- (Q4905132) (← links)
- Mobile Membranes with Objects on Surface as Colored Petri Nets (Q4913836) (← links)
- (Q4965810) (← links)
- De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic (Q4972161) (← links)
- Stochastic sharing calculus for reasoning about social networks (Q5103718) (← links)
- Type Disciplines for Analysing Biologically Relevant Properties (Q5179427) (← links)
- Behavioural Equivalences in Real-Time P Systems (Q5404845) (← links)
- On the Reachability Problem in P Systems with Mobile Membranes (Q5452051) (← links)
- Matter and Anti-Matter in Membrane Systems (Q5496178) (← links)
- Typed Membrane Systems (Q5851905) (← links)
- P Systems with Anti-Matter (Q5899536) (← links)
- Solving SAT with P systems with anti-membranes (Q6048241) (← links)
- Bonding calculus (Q6062028) (← links)
