| Publication | Date of Publication | Type |
|---|
Introducing variables in the evolution rules of P systems
Information and Computation | 2024-12-03 | Paper |
New editorial team for SACS after 16 years
Scientific Annals of Computer Science | 2024-08-15 | Paper |
The power of synchronizing rules in membrane computing
Information Sciences | 2024-02-28 | Paper |
Type inference for hierarchical multiset structures in rule-based systems
Information Sciences | 2024-01-10 | Paper |
Bonding calculus
Natural Computing | 2023-11-30 | Paper |
Solving SAT with P systems with anti-membranes
Journal of Membrane Computing | 2023-09-14 | Paper |
Solving subset sum by spiking neural P systems with astrocytes producing calcium
Natural Computing | 2023-08-31 | Paper |
On the efficiency of synchronized P systems
Journal of Membrane Computing | 2023-08-26 | Paper |
Relating randomized right-hand sides to communicating rewriting rules
Theoretical Computer Science | 2023-08-18 | Paper |
Interval probability for sessions types
Logic, Language, Information, and Computation | 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
Journal Of Logic And Computation | 2022-09-08 | Paper |
Dynamics of reputation in mobile agents systems and weighted timed automata
Information and Computation | 2022-01-06 | Paper |
Mutual exclusion and reversibility in reaction systems
Journal of Membrane Computing | 2021-09-14 | Paper |
Reversible computation in nature inspired rule-based systems
Journal of Membrane Computing | 2021-09-14 | Paper |
Travelling salesman problem in tissue P systems with costs
Journal of Membrane Computing | 2021-09-14 | Paper |
Synchronization of rules in membrane computing
Journal of Membrane Computing | 2021-09-14 | Paper |
| scientific article; zbMATH DE number 7318976 (Why is no real title available?) | 2021-03-10 | Paper |
scientific article; zbMATH DE number 7318976 (Why is no real title available?)
(available as arXiv preprint) | 2021-03-10 | Paper |
Employing costs in multiagent systems with timed migration and timed communication
SOFSEM 2020: Theory and Practice of Computer Science | 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
Theoretical Computer Science | 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
ACM Transactions on Computational Logic | 2019-11-22 | Paper |
De Morgan dual nominal quantifiers modelling private names in non-commutative logic
ACM Transactions on Computational Logic | 2019-11-22 | Paper |
| Adaptive P systems | 2019-10-10 | Paper |
Simulating P systems with membrane dissolution in a chemical calculus
Natural Computing | 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
Computer Science Journal of Moldova | 2018-07-03 | Paper |
| Controlled reversibility in reaction systems | 2018-05-16 | Paper |
| scientific article; zbMATH DE number 6851953 (Why is no real title available?) | 2018-03-21 | Paper |
Efficiently solving the bin packing problem through bio-inspired mobility
Acta Informatica | 2017-06-09 | Paper |
Simulating R Systems by P Systems
Membrane Computing | 2017-04-12 | Paper |
Computational power of protein networks
Membrane Computing | 2017-04-12 | Paper |
Modelling and verification of weighted spiking neural systems
Theoretical Computer Science | 2016-03-31 | Paper |
Automated verification of stochastic spiking neural P systems
Membrane Computing | 2016-02-26 | Paper |
P systems with anti-matter
Membrane Computing | 2015-12-02 | Paper |
Red–Green P Automata
Membrane Computing | 2015-12-02 | Paper |
Verification of membrane systems with delays via Petri nets with delays
Theoretical Computer Science | 2015-09-16 | Paper |
| Extending timed mobility with probabilities and real-time | 2015-08-27 | Paper |
Type Disciplines for Analysing Biologically Relevant Properties
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
Matter and anti-matter in membrane systems
Descriptional Complexity of Formal Systems | 2014-08-07 | Paper |
Behavioural equivalences in real-time P systems
Membrane Computing | 2014-03-28 | Paper |
Describing the immune system using enhanced mobile membranes
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
Mobile membranes: computability and complexity
Theoretical Aspects of Computing – ICTAC 2013 | 2013-10-04 | Paper |
Mobile membranes with objects on surface as colored Petri nets
Membrane Computing | 2013-04-16 | Paper |
| scientific article; zbMATH DE number 6136500 (Why is no real title available?) | 2013-02-15 | Paper |
Computing by endocytosis and exocytosis
Analele Științifice ale Universității Al. I. Cuza din Iași. Serie Nouă. Matematică | 2012-10-04 | Paper |
On the computability power of membrane systems with controlled mobility
Lecture Notes in Computer Science | 2012-08-14 | Paper |
Properties of enhanced mobile membranes via coloured Petri nets
Information Processing Letters | 2012-07-18 | Paper |
Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems
Acta Informatica | 2012-03-23 | Paper |
Mobility in process calculi and natural computing.
Natural Computing Series | 2011-12-20 | Paper |
Mutual mobile membranes with objects on surface
Natural Computing | 2011-07-28 | Paper |
A temporal logic for mutual mobile membranes with objects on surface
Computation, Cooperation, and Life | 2011-06-24 | Paper |
| Type disciplines for analysing biologically relevant properties | 2011-06-07 | Paper |
Typed membrane systems
Membrane Computing | 2010-01-26 | Paper |
Simple, Enhanced and Mutual Mobile Membranes
Lecture Notes in Computer Science | 2009-11-10 | Paper |
Turing Completeness Using Three Mobile Membranes
Lecture Notes in Computer Science | 2009-10-22 | Paper |
Mobile Ambients with Timers and Types
Theoretical Aspects of Computing – ICTAC 2007 | 2008-09-17 | Paper |
Timers and Proximities for Mobile Ambients
Computer Science – Theory and Applications | 2008-06-03 | Paper |
On the Reachability Problem in P Systems with Mobile Membranes
Membrane Computing | 2008-03-28 | Paper |
