activity
20112024
most citedSmall Universal Petri Nets with Inhibitor Arcs

5 citations · 11 across the 8 of their papers we have counts for

collaborators

10 papers

cs.CC2024

A linear bound for the size of the finite terminal assembly of a directed non-cooperative tile assembly system

Sergiu Ivanov, Damien Regnault

The abstract tile assembly model (aTam) is a model of DNA self-assembly. Most of the studies focus on cooperative aTAM where a form of synchronization between the tiles is possible…

cs.FL2023

A P Systems Variant for Reasoning about Sequential Controllability of Boolean Networks

Artiom Alhazov, Vincent Ferrari-Dominguez, Rudolf Freund +2

A Boolean network is a discrete dynamical system operating on vectors of Boolean variables. The action of a Boolean network can be conveniently expressed as a system of Boolean upd…

cs.FL2022

P versus B: P Systems as a Formal Framework for Controllability of Boolean Networks

Artiom Alhazov, Rudolf Freund, Sergiu Ivanov

Membrane computing and P systems are a paradigm of massively parallel natural computing introduced by Gheorghe Păun in 1999, inspired by the structure of the living cell and by its…

q-bio.MN2021★ 2 cited

Network modeling methods for precision medicine

Elio Nushi, Victor-Bogdan Popescu, Jose Angel Sanchez Martin +3

We discuss in this survey several network modeling methods and their applicability to precision medicine. We review several network centrality methods (degree centrality, closeness…

eess.SY2020

Controllability of reaction systems

Sergiu Ivanov, Ion Petre

Controlling a dynamical system is the ability of changing its configuration arbitrarily through a suitable choice of inputs. It is a very well studied concept in control theory, wi…

cs.DM2020

Bisimilar Conversion of Multi-valued Networks to Boolean Networks

Franck Delaplace, Sergiu Ivanov

Discrete modelling frameworks of Biological networks can be divided in two distinct categories: Boolean and Multi-valued. Although Multi-valued networks are more expressive for qua…