Petr Sosík

From MaRDI portal
Person:264527

Available identifiers

zbMath Open sosik.petrMaRDI QIDQ264527

List of research outcomes

PublicationDate of PublicationType
P colonies with agent division2024-04-11Paper
Self-healing Turing-universal computation in morphogenetic systems2023-09-08Paper
Morphogenetic computing: computability and complexity results2023-08-31Paper
Computational universality and efficiency in morphogenetic systems2022-12-09Paper
Morphogenetic systems for resource bounded computation and modeling2021-12-02Paper
From P systems to morphogenetic systems: an overview and open problems2021-09-14Paper
P colonies. Survey2020-02-24Paper
P systems attacking hard problems beyond NP: a survey2020-02-24Paper
Modeling plant development with M systems2019-10-10Paper
A logical representation of \(\mathrm{P}\) colonies: an introduction2019-01-15Paper
Small P systems with catalysts or anti-matter simulating generalized register machines and generalized counter automata2018-07-03Paper
On the robust power of morphogenetic systems for time bounded computation2018-05-16Paper
Generalized P colonies with passive environment2018-04-10Paper
Morphogenetic and homeostatic self-assembled systems2017-08-31Paper
P Colonies with Evolving Environment2017-04-12Paper
Computational power of cell separation in tissue P systems2017-01-31Paper
https://portal.mardi4nfdi.de/entity/Q55070772016-12-16Paper
An Optimal Frontier of the Efficiency of Tissue P Systems with Cell Separation2016-05-11Paper
Small (purely) catalytic P systems simulating register machines2016-03-31Paper
On the Power of Catalytic P Systems with One Catalyst2016-02-26Paper
Three Universal Homogeneous Spiking Neural P Systems Using Max Spike2015-06-26Paper
A limitation of cell division in tissue P systems by PSPACE2014-11-24Paper
Active Membranes, Proteins on Membranes, Tissue P Systems: Complexity-Related Issues and Challenges2014-03-28Paper
P systems with proteins on membranes characterize PSPACE2013-12-19Paper
Limits of the Power of Tissue P Systems with Cell Division2013-04-16Paper
Tissue P Systems with Cell Separation: Upper Bound by PSPACE2012-11-21Paper
On the scalability of biocomputing algorithms: the case of the maximum clique problem2012-07-13Paper
Autonomous Resolution Based on DNA Strand Displacement2011-09-16Paper
Selected Topics in Computational Complexity of Membrane Systems2011-06-24Paper
ON THE POWER OF FAMILIES OF RECOGNIZER SPIKING NEURAL P SYSTEMS2011-02-23Paper
ORTHOGONAL SHUFFLE ON TRAJECTORIES2011-02-23Paper
Polynomial Complexity Classes in Spiking Neural P Systems2011-01-21Paper
On the Power of Computing with Proteins on Membranes2010-01-26Paper
The Undecidability of the Infinite Ribbon Problem: Implications for Computing by Self-Assembly2010-01-06Paper
On the power of elementary features in spiking neural P systems2009-11-04Paper
https://portal.mardi4nfdi.de/entity/Q33960042009-09-15Paper
Hairpin Structures in DNA Words2009-04-02Paper
On the weight of universal insertion grammars2008-05-28Paper
P Systems with Active Membranes Characterize PSPACE2008-04-04Paper
https://portal.mardi4nfdi.de/entity/Q34312432007-04-10Paper
Normal forms for spiking neural P systems2007-03-27Paper
Membrane computing and complexity theory: A characterization of PSPACE2007-01-22Paper
Algebraic properties of substitution on trajectories2007-01-09Paper
Membrane Computing2006-11-13Paper
DNA Computing2006-10-19Paper
DNA Computing2006-10-19Paper
https://portal.mardi4nfdi.de/entity/Q54825992006-08-28Paper
Developments in Language Theory2006-06-23Paper
BOND-FREE LANGUAGES: FORMALIZATIONS, MAXIMALITY AND CONSTRUCTION METHODS2005-11-14Paper
Implementation and Application of Automata2005-08-17Paper
OPERATIONS ON TRAJECTORIES WITH APPLICATIONS TO CODING AND BIOINFORMATICS2005-08-01Paper
On properties of bond-free DNA languages2005-06-01Paper
Aspects of shuffle and deletion on trajectories2005-04-06Paper
Computationally universal P systems without priorities: Two catalysts are sufficient2005-02-22Paper
Theory Is Forever2005-01-18Paper
https://portal.mardi4nfdi.de/entity/Q48182702004-09-28Paper
https://portal.mardi4nfdi.de/entity/Q47379262004-08-11Paper
Watson-Crick D0L systems: Generative power and undecidable problems.2004-03-14Paper
https://portal.mardi4nfdi.de/entity/Q44371052003-12-07Paper
The computational power of cell division in P systems: Beating down parallel computers?2003-10-15Paper
The power of catalysts and priorities in membrane systems2003-08-25Paper
Watson-Crick D0L systems: The power of one transition2003-07-30Paper
https://portal.mardi4nfdi.de/entity/Q44138432003-07-21Paper
Universal computation with Watson-Crick D0L systems.2003-01-21Paper
https://portal.mardi4nfdi.de/entity/Q45300092002-05-07Paper
Conditional tabled eco-grammar systems: The scattered contexts2001-01-16Paper
https://portal.mardi4nfdi.de/entity/Q49391942000-10-03Paper
https://portal.mardi4nfdi.de/entity/Q49532412000-05-09Paper
On the hierarchy of extended conditional tabled eco-grammar systems2000-04-05Paper
https://portal.mardi4nfdi.de/entity/Q42315961999-03-14Paper
https://portal.mardi4nfdi.de/entity/Q48868031996-07-23Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Petr Sosík