Petr Sosík

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 23

Top Topics

Automatic Segmentation

Spiking Neural Networks

Complex Systems

Top Venues

J. Membr. Comput.

Int. Conf. on Membrane Computing

Publications

Prithwineel Paul, Petr Sosík, Lucie Ciencialová
A survey on learning models of spiking neural membrane systems and spiking neural networks. CoRR (2024)
Petr Sosík
Morphogenetic computing: computability and complexity results. Nat. Comput. 22 (1) (2023)
Petr Sosík
Watson-crick (D)0 L systems: a survey. J. Membr. Comput. 5 (3) (2023)
Mario J. Pérez-Jiménez, Claudio Zandron, Petr Sosík, David Orellana-Martín
Preface of the special issue on computational complexity and complex systems. J. Membr. Comput. 5 (3) (2023)
Petr Sosík, Jan Drastík
Computational Universality and Efficiency in Morphogenetic Systems. MCU (2022)
Ludek Cienciala, Lucie Ciencialová, Petr Sosík
P colonies with agent division. Inf. Sci. 589 (2022)
Martin Pavlícek, Tomás Filip, Petr Sosík
ZREC architecture for textual sentiment analysis. ITAT (2021)
Petr Sosík, Max H. Garzon, Vladimír Smolka, Jan Drastík
Morphogenetic systems for resource bounded computation and modeling. Inf. Sci. 547 (2021)
Petr Sosík, Max H. Garzon, Jan Drastík
Self-healing turing-universal computation in morphogenetic systems. Nat. Comput. 20 (4) (2021)
Vladimír Smolka, Jan Drastík, Jaroslav Bradík, Max H. Garzon, Petr Sosík
Morphogenetic systems: Models and experiments. Biosyst. 198 (2020)
Petr Sosík, Jan Drastík, Vladimír Smolka, Max H. Garzon
From P systems to morphogenetic systems: an overview and open problems. J. Membr. Comput. 2 (4) (2020)
Jiri Blahuta, Tomás Soukup, Petr Sosík
Approach to Automatic Segmentation of Atherosclerotic Plaque in B-images Using Active Contour Algorithm Adapted by Convolutional Neural Network to Echogenicity Index Computation. ITAT (2020)
Martin Pavlícek, Tomás Filip, Petr Sosík
Zrec.org - Psychosocial Phenomena Studies in Cyberspace. ITAT (2020)
Lucie Ciencialová, Erzsébet Csuhaj-Varjú, Ludek Cienciala, Petr Sosík
P colonies. J. Membr. Comput. 1 (3) (2019)
Petr Sosík
P systems attacking hard problems beyond NP: a survey. J. Membr. Comput. 1 (3) (2019)
Ludek Cienciala, Lucie Ciencialová, Erzsébet Csuhaj-Varjú, Petr Sosík
A Logical Representation of P Colonies: An Introduction. Enjoying Natural Computing (2018)
Petr Sosík, Vladimír Smolka, Jaroslav Bradík, Max H. Garzon
Modeling Plant Development with M Systems. Int. Conf. on Membrane Computing (2018)
Lucie Ciencialová, Ludek Cienciala, Petr Sosík
Generalized P colonies with passive environment. Theor. Comput. Sci. 724 (2018)
David Benes, Alfonso Rodríguez-Patón, Petr Sosík
Directed evolution of biocircuits using conjugative plasmids and CRISPR-Cas9: design and in silico experiments. Nat. Comput. 16 (3) (2017)
Petr Sosík, Vladimír Smolka, Jan Drastík, Tyler Moore, Max H. Garzon
Morphogenetic and Homeostatic Self-assembled Systems. UCNC (2017)
Petr Sosík, Vladimír Smolka, Jan Drastík, Jaroslav Bradík, Max H. Garzon
On the Robust Power of Morphogenetic Systems for Time Bounded Computation. Int. Conf. on Membrane Computing (2017)
Petr Sosík, Miroslav Langer
Small (purely) catalytic P systems simulating register machines. Theor. Comput. Sci. 623 (2016)
Lucie Ciencialová, Ludek Cienciala, Petr Sosík
P Colonies with Evolving Environment. Int. Conf. on Membrane Computing (2016)
Petr Sosík, Ludek Cienciala
A limitation of cell division in tissue P systems by PSPACE. J. Comput. Syst. Sci. 81 (2) (2015)
Artiom Alhazov, Rudolf Freund, Petr Sosík
Small P Systems with Catalysts or Anti-Matter Simulating Generalized Register Machines and Generalized Counter Automata. Comput. Sci. J. Moldova 23 (3) (2015)
Mario J. Pérez-Jiménez, Petr Sosík
An Optimal Frontier of the Efficiency of Tissue P Systems with Cell Separation. Fundam. Informaticae 138 (1-2) (2015)
Rudolf Freund, Petr Sosík
On the Power of Catalytic P Systems with One Catalyst. Int. Conf. on Membrane Computing (2015)
David Benes, Petr Sosík, Alfonso Rodríguez-Patón
An Autonomous In Vivo Dual Selection Protocol for Boolean Genetic Circuits. Artif. Life 21 (2) (2015)
Petr Sosík, Miroslav Langer
Improved universality proof for catalytic P systems and a relation to non-semilinear sets. NCMA (2014)
Petr Sosík
PSPACE Limits the Power of P Systems with Active Membranes. J. Autom. Lang. Comb. 19 (1-4) (2014)
Andrei Paun, Petr Sosík
Three Universal Homogeneous Spiking Neural P Systems Using Max Spike. Fundam. Informaticae 134 (1-2) (2014)
Petr Sosík, Ludek Cienciala
Computational power of cell separation in tissue P systems. Inf. Sci. 279 (2014)
Alfonso Rodríguez-Patón, Iñaki Sainz de Murieta, Petr Sosík
DNA strand displacement system running logic programs. Biosyst. 115 (2014)
Petr Sosík, Andrei Paun, Alfonso Rodríguez-Patón
P systems with proteins on membranes characterize PSPACE. Theor. Comput. Sci. 488 (2013)
Petr Sosík
Active Membranes, Proteins on Membranes, Tissue P Systems: Complexity-Related Issues and Challenges. Int. Conf. on Membrane Computing (2013)
Petr Sosík
Limits of the Power of Tissue P Systems with Cell Division. Int. Conf. on Membrane Computing (2012)
Petr Sosík, Ludek Cienciala
Tissue P Systems with Cell Separation: Upper Bound by PSPACE. TPNC (2012)
Petr Sosík
Selected Topics in Computational Complexity of Membrane Systems. Computation, Cooperation, and Life (2011)
Alfonso Rodríguez-Patón, Iñaki Sainz de Murieta, Petr Sosík
Autonomous Resolution Based on DNA Strand Displacement. DNA (2011)
Petr Sosík, Alfonso Rodríguez-Patón, Ludek Cienciala
On the Power of Families of Recognizer Spiking Neural P Systems. Int. J. Found. Comput. Sci. 22 (1) (2011)
Daniel Manrique, Alfonso Rodríguez-Patón, Petr Sosík
On the scalability of biocomputing algorithms: The case of the maximum clique problem. Theor. Comput. Sci. 412 (51) (2011)
Mark Daley, Lila Kari, Shinnosuke Seki, Petr Sosík
Orthogonal Shuffle on Trajectories. Int. J. Found. Comput. Sci. 22 (1) (2011)
Petr Sosík, Alfonso Rodríguez-Patón, Lucie Ciencialová
Polynomial Complexity Classes in Spiking Neural P Systems. Int. Conf. on Membrane Computing (2010)
Petr Sosík
Catalytic P systems. Scholarpedia 5 (1) (2010)
Leonard M. Adleman, Jarkko Kari, Lila Kari, Dustin Reishus, Petr Sosík
The Undecidability of the Infinite Ribbon Problem: Implications for Computing by Self-Assembly. SIAM J. Comput. 38 (6) (2009)
Marc García-Arnau, David Pérez, Alfonso Rodríguez-Patón, Petr Sosík
Spiking Neural P Systems: Stronger Normal Forms. Int. J. Unconv. Comput. 5 (5) (2009)
Petr Sosík, Andrei Paun, Alfonso Rodríguez-Patón, David Pérez
On the Power of Computing with Proteins on Membranes. Workshop on Membrane Computing (2009)
Petr Sosík
Preface. Int. J. Found. Comput. Sci. 20 (3) (2009)
Lila Kari, Petr Sosík
On the weight of universal insertion grammars. Theor. Comput. Sci. 396 (1-3) (2008)
Marc García-Arnau, David Pérez, Alfonso Rodríguez-Patón, Petr Sosík
On the power of elementary features in spiking neural P systems. Nat. Comput. 7 (4) (2008)
Marc García-Arnau, Daniel Manrique, Alfonso Rodríguez-Patón, Petr Sosík
Towards a Robust Biocomputing Solution of Intractable Problems. DNA (2007)
Ludek Cienciala, Lucie Ciencialová, Pierluigi Frisco, Petr Sosík
On the Power of Deterministic and Sequential Communicating P Systems. Int. J. Found. Comput. Sci. 18 (2) (2007)
Oscar H. Ibarra, Andrei Paun, Gheorghe Paun, Alfonso Rodríguez-Patón, Petr Sosík, Sara Woodworth
Normal forms for spiking neural P systems. Theor. Comput. Sci. 372 (2-3) (2007)
Petr Sosík, Alfonso Rodríguez-Patón
Membrane computing and complexity theory: A characterization of PSPACE. J. Comput. Syst. Sci. 73 (1) (2007)
Peter Sebestyén, Petr Sosík
Modelling Multiple Robots in Space: An Adaptive Eco-Grammar System. Fundam. Informaticae 76 (3) (2007)
Marc García-Arnau, Daniel Manrique, Alfonso Rodríguez-Patón, Petr Sosík
A P system and a constructive membrane-inspired DNA algorithm for solving the Maximum Clique Problem. Biosyst. 90 (3) (2007)
Petr Sosík, Alfonso Rodríguez-Patón
P Systems with Active Membranes Characterize PSPACE. DNA (2006)
Michael Domaratzki, Petr Sosík, Alfonso Rodríguez-Patón
Algebraic properties of substitution on trajectories. Theor. Comput. Sci. 369 (1-3) (2006)
Lila Kari, Elena Losseva, Stavros Konstantinidis, Petr Sosík, Gabriel Thierrin
A Formal Language Analysis of DNA Hairpin Structures. Fundam. Informaticae 71 (4) (2006)
Petr Sosík, Ondrej Valík
On Evolutionary Lineages of Membrane Systems. Workshop on Membrane Computing (2005)
Rudolf Freund, Lila Kari, Marion Oswald, Petr Sosík
Computationally universal P systems without priorities: two catalysts are sufficient. Theor. Comput. Sci. 330 (2) (2005)
Lila Kari, Stavros Konstantinidis, Petr Sosík
Operations on trajectories with applications to coding and bioinformatics. Int. J. Found. Comput. Sci. 16 (3) (2005)
Lila Kari, Stavros Konstantinidis, Petr Sosík, Gabriel Thierrin
On Hairpin-Free Words and Languages. Developments in Language Theory (2005)
Lila Kari, Stavros Konstantinidis, Petr Sosík
Bond-free languages: formalizations, maximality and construction methods. Int. J. Found. Comput. Sci. 16 (5) (2005)
Lila Kari, Petr Sosík
Aspects of shuffle and deletion on trajectories. Theor. Comput. Sci. 332 (1-3) (2005)
Lila Kari, Petr Sosík
On Weight of Universal Insertion Grammars. DCFS (2005)
Lila Kari, Stavros Konstantinidis, Petr Sosík
On properties of bond-free DNA languages. Theor. Comput. Sci. 334 (1-3) (2005)
Lila Kari, Stavros Konstantinidis, Elena Losseva, Petr Sosík, Gabriel Thierrin
Hairpin Structures in DNA Words. DNA (2005)
Lila Kari, Stavros Konstantinidis, Petr Sosík
Bond-Free Languages: Formalizations, Maximality and Construction Methods. DNA (2004)
Lila Kari, Stavros Konstantinidis, Petr Sosík
Preventing Undesirable Bonds Between DNA Codewords. DNA (2004)
Lila Kari, Stavros Konstantinidis, Petr Sosík
Substitutions, Trajectories and Noisy Channels. CIAA (2004)
Lila Kari, Stavros Konstantinidis, Petr Sosík
Substitution on Trajectories. Theory Is Forever (2004)
Lila Kari, Petr Sosík
On Language Equations with Deletion. Bull. EATCS 83 (2004)
Rudolf Freund, Marion Oswald, Petr Sosík
Reducing the Number of Catalysts Needed in Computationally Universal P Systems without Priorities. DCFS (2003)
Petr Sosík
Watson-Crick D0L systems: generative power and undecidable problems. Theor. Comput. Sci. 306 (1-3) (2003)
Petr Sosík
The computational power of cell division in P systems: Beating down parallel computers? Nat. Comput. 2 (3) (2003)
Arto Salomaa, Petr Sosík
Watson-Crick D0L systems: the power of one transition. Theor. Comput. Sci. 301 (1-3) (2003)
Petr Sosík
The Power of Catalysts and Priorities in Membrane Systems. Grammars 6 (1) (2003)
Petr Sosík, Jirí Matýsek
Membrane Computing: When Communication Is Enough. UMC (2002)
Petr Sosík, Rudolf Freund
P Systems without Priorities Are Computationally Universal. WMC-CdeA (2002)
Petr Sosík
Universal computation with Watson-Crick D0L systems. Theor. Comput. Sci. 289 (1) (2002)
Petr Sosík, Rudolf Freund
String Rewriting Sequential P-Systems and Regulated Rewriting. Developments in Language Theory (2001)
Petr Sosík
D0L System + Watson-Crick Complementarity = Universal Computation. MCU (2001)
Petr Sosík
On the Decidability Problems of Eco-Grammar Systems. J. Autom. Lang. Comb. 5 (1) (2000)
Petr Sosík
On the Hierarchy of Extended Conditional Tabled Eco-Grammar Systems. Grammars 1 (3) (1999)
Petr Sosík
Parallel Accepting Colonies and Neural Networks. Grammatical Models of Multi-Agent Systems (1999)
Petr Sosík
Conditional Tabled Eco-Grammar Systems: the Scattered Contexts. Grammars 2 (3) (1999)
Petr Sosík
Eco-Grammar Systems, Decidability and the Tiling Problem. MFCS Workshop on Grammar Systems (1998)
Petr Sosík, Leos Stýbnar
Grammatical Inference of Colonies. New Trends in Formal Languages (1997)
Petr Sosík
On Hybrid Connectionist-Symbolic Models. Acta Cybern. 13 (2) (1997)
Petr Sosík
On Eco-Grammar Systems and Artificial Neural Networks. Comput. Artif. Intell. 15 (2-3) (1996)