Petr Sosík

From MaRDI portal
(Redirected from Person:264527)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
P colonies with agent division
Information Sciences
2024-04-11Paper
Watson-Crick (D)0L systems: a survey
Journal of Membrane Computing
2023-11-14Paper
Self-healing Turing-universal computation in morphogenetic systems
Natural Computing
2023-09-08Paper
Morphogenetic computing: computability and complexity results
Natural Computing
2023-08-31Paper
Computational universality and efficiency in morphogenetic systems2022-12-09Paper
Morphogenetic systems for resource bounded computation and modeling
Information Sciences
2021-12-02Paper
From P systems to morphogenetic systems: an overview and open problems
Journal of Membrane Computing
2021-09-14Paper
P colonies. Survey
Journal of Membrane Computing
2020-02-24Paper
P systems attacking hard problems beyond NP: a survey
Journal of Membrane Computing
2020-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 automata
Computer Science Journal of Moldova
2018-07-03Paper
On the robust power of morphogenetic systems for time bounded computation2018-05-16Paper
Generalized P colonies with passive environment
Theoretical Computer Science
2018-04-10Paper
Morphogenetic and homeostatic self-assembled systems2017-08-31Paper
P colonies with evolving environment
Membrane Computing
2017-04-12Paper
Computational power of cell separation in tissue P systems
Information Sciences
2017-01-31Paper
scientific article; zbMATH DE number 6665229 (Why is no real title available?)2016-12-16Paper
An optimal frontier of the efficiency of tissue P systems with cell separation
Fundamenta Informaticae
2016-05-11Paper
Small (purely) catalytic P systems simulating register machines
Theoretical Computer Science
2016-03-31Paper
On the power of catalytic P systems with one catalyst
Membrane Computing
2016-02-26Paper
Three universal homogeneous spiking neural P systems using max spike
Fundamenta Informaticae
2015-06-26Paper
A limitation of cell division in tissue P systems by PSPACE
Journal of Computer and System Sciences
2014-11-24Paper
Active membranes, proteins on membranes, tissue P systems: complexity-related issues and challenges
Membrane Computing
2014-03-28Paper
P systems with proteins on membranes characterize PSPACE
Theoretical Computer Science
2013-12-19Paper
Limits of the power of tissue P systems with cell division
Membrane Computing
2013-04-16Paper
Tissue P systems with cell separation: upper bound by PSPACE
Theory and Practice of Natural Computing
2012-11-21Paper
On the scalability of biocomputing algorithms: the case of the maximum clique problem
Theoretical Computer Science
2012-07-13Paper
Autonomous resolution based on DNA strand displacement
Lecture Notes in Computer Science
2011-09-16Paper
Selected Topics in Computational Complexity of Membrane Systems
Computation, Cooperation, and Life
2011-06-24Paper
Orthogonal shuffle on trajectories
International Journal of Foundations of Computer Science
2011-02-23Paper
On the power of families of recognizer spiking neural P systems
International Journal of Foundations of Computer Science
2011-02-23Paper
Polynomial complexity classes in spiking neural P systems
Membrane Computing
2011-01-21Paper
On the power of computing with proteins on membranes
Membrane Computing
2010-01-26Paper
The undecidability of the infinite ribbon problem: implications for computing by self-assembly
SIAM Journal on Computing
2010-01-06Paper
On the power of elementary features in spiking neural P systems
Natural Computing
2009-11-04Paper
scientific article; zbMATH DE number 5604120 (Why is no real title available?)2009-09-15Paper
Hairpin Structures in DNA Words
DNA Computing
2009-04-02Paper
On the weight of universal insertion grammars
Theoretical Computer Science
2008-05-28Paper
P Systems with Active Membranes Characterize PSPACE
DNA Computing
2008-04-04Paper
scientific article; zbMATH DE number 5141145 (Why is no real title available?)2007-04-10Paper
Normal forms for spiking neural P systems
Theoretical Computer Science
2007-03-27Paper
Membrane computing and complexity theory: A characterization of PSPACE
Journal of Computer and System Sciences
2007-01-22Paper
Algebraic properties of substitution on trajectories
Theoretical Computer Science
2007-01-09Paper
Membrane Computing
Lecture Notes in Computer Science
2006-11-13Paper
DNA Computing
Lecture Notes in Computer Science
2006-10-19Paper
DNA Computing
Lecture Notes in Computer Science
2006-10-19Paper
A formal language analysis of DNA hairpin structures2006-08-28Paper
Developments in Language Theory
Lecture Notes in Computer Science
2006-06-23Paper
BOND-FREE LANGUAGES: FORMALIZATIONS, MAXIMALITY AND CONSTRUCTION METHODS
International Journal of Foundations of Computer Science
2005-11-14Paper
Implementation and Application of Automata
Lecture Notes in Computer Science
2005-08-17Paper
OPERATIONS ON TRAJECTORIES WITH APPLICATIONS TO CODING AND BIOINFORMATICS
International Journal of Foundations of Computer Science
2005-08-01Paper
On properties of bond-free DNA languages
Theoretical Computer Science
2005-06-01Paper
Aspects of shuffle and deletion on trajectories
Theoretical Computer Science
2005-04-06Paper
Computationally universal P systems without priorities: Two catalysts are sufficient
Theoretical Computer Science
2005-02-22Paper
Theory Is Forever
Lecture Notes in Computer Science
2005-01-18Paper
scientific article; zbMATH DE number 2103894 (Why is no real title available?)2004-09-28Paper
scientific article; zbMATH DE number 2087241 (Why is no real title available?)2004-08-11Paper
Watson-Crick D0L systems: Generative power and undecidable problems.
Theoretical Computer Science
2004-03-14Paper
scientific article; zbMATH DE number 2013814 (Why is no real title available?)2003-12-07Paper
The computational power of cell division in P systems: Beating down parallel computers?
Natural Computing
2003-10-15Paper
The power of catalysts and priorities in membrane systems
Grammars
2003-08-25Paper
Watson-Crick D0L systems: The power of one transition
Theoretical Computer Science
2003-07-30Paper
scientific article; zbMATH DE number 1951598 (Why is no real title available?)2003-07-21Paper
Universal computation with Watson-Crick D0L systems.
Theoretical Computer Science
2003-01-21Paper
scientific article; zbMATH DE number 1738672 (Why is no real title available?)2002-05-07Paper
Conditional tabled eco-grammar systems: The scattered contexts
Grammars
2001-01-16Paper
scientific article; zbMATH DE number 1406162 (Why is no real title available?)2000-10-03Paper
scientific article; zbMATH DE number 1444093 (Why is no real title available?)2000-05-09Paper
On the hierarchy of extended conditional tabled eco-grammar systems
Grammars
2000-04-05Paper
scientific article; zbMATH DE number 1261153 (Why is no real title available?)1999-03-14Paper
scientific article; zbMATH DE number 907957 (Why is no real title available?)1996-07-23Paper


Research outcomes over time


This page was built for person: Petr Sosík