Bogdan Aman

Available identifiers

zbMath Open aman.bogdanWikidataQ79842264 ScholiaQ79842264MaRDI QIDQ264536

List of research outcomes

Publication	Date of Publication	Type
The power of synchronizing rules in membrane computing	2024-02-28	Paper
Type inference for hierarchical multiset structures in rule-based systems	2024-01-10	Paper
Bonding calculus	2023-11-30	Paper
Solving SAT with P systems with anti-membranes	2023-09-14	Paper
Solving subset sum by spiking neural P systems with astrocytes producing calcium	2023-08-31	Paper
On the efficiency of synchronized P systems	2023-08-26	Paper
Relating randomized right-hand sides to communicating rewriting rules	2023-08-18	Paper
Interval probability for sessions types	2023-06-02	Paper
From networks of reaction systems to communicating reaction systems and back	2022-12-09	Paper
Stochastic sharing calculus for reasoning about social networks	2022-09-08	Paper
Dynamics of reputation in mobile agents systems and weighted timed automata	2022-01-06	Paper
Mutual exclusion and reversibility in reaction systems	2021-09-14	Paper
Reversible computation in nature inspired rule-based systems	2021-09-14	Paper
Travelling salesman problem in tissue P systems with costs	2021-09-14	Paper
Synchronization of rules in membrane computing	2021-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4965810	2021-03-10	Paper
Employing Costs in Multiagent Systems with Timed Migration and Timed Communication	2020-07-20	Paper
Imprecise Probability for Multiparty Session Types in Process Algebra	2020-02-19	Paper
Local time membrane systems and time Petri nets	2020-01-08	Paper
Verification of multi-agent systems with timeouts for migration and communication	2019-12-12	Paper
De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic	2019-11-22	Paper
Adaptive P systems	2019-10-10	Paper
Simulating P systems with membrane dissolution in a chemical calculus	2019-07-10	Paper
Solving the \(N\)-Queens puzzle by using few membranes	2019-01-15	Paper
BioMaxP: a formal approach for cellular ion pumps	2018-07-03	Paper
Controlled reversibility in reaction systems	2018-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q4608683	2018-03-21	Paper
Efficiently solving the bin packing problem through bio-inspired mobility	2017-06-09	Paper
Simulating R Systems by P Systems	2017-04-12	Paper
Computational Power of Protein Networks	2017-04-12	Paper
Modelling and verification of weighted spiking neural systems	2016-03-31	Paper
Automated Verification of Stochastic Spiking Neural P Systems	2016-02-26	Paper
Red–Green P Automata	2015-12-02	Paper
P Systems with Anti-Matter	2015-12-02	Paper
Verification of membrane systems with delays via Petri nets with delays	2015-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q2941320	2015-08-27	Paper
Type Disciplines for Analysing Biologically Relevant Properties	2015-03-19	Paper
Matter and Anti-Matter in Membrane Systems	2014-08-07	Paper
Behavioural Equivalences in Real-Time P Systems	2014-03-28	Paper
Describing the Immune System Using Enhanced Mobile Membranes	2014-01-17	Paper
Mobile Membranes: Computability and Complexity	2013-10-04	Paper
Mobile Membranes with Objects on Surface as Colored Petri Nets	2013-04-16	Paper
https://portal.mardi4nfdi.de/entity/Q4905132	2013-02-15	Paper
Computing by Endocytosis and Exocytosis	2012-10-04	Paper
On the Computability Power of Membrane Systems with Controlled Mobility	2012-08-14	Paper
Properties of enhanced mobile membranes via coloured Petri nets	2012-07-18	Paper
Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems	2012-03-23	Paper
Mobility in process calculi and natural computing.	2011-12-20	Paper
Mutual mobile membranes with objects on surface	2011-07-28	Paper
A Temporal Logic for Mutual Mobile Membranes with Objects on Surface	2011-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q3005244	2011-06-07	Paper
Typed Membrane Systems	2010-01-26	Paper
Simple, Enhanced and Mutual Mobile Membranes	2009-11-10	Paper
Turing Completeness Using Three Mobile Membranes	2009-10-22	Paper
Mobile Ambients with Timers and Types	2008-09-17	Paper
Timers and Proximities for Mobile Ambients	2008-06-03	Paper
On the Reachability Problem in P Systems with Mobile Membranes	2008-03-28	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Bogdan Aman