Petr Sosík

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