default search action
Petr Sosík
- > Home > Persons > Petr Sosík
Publications
- 2024
- [i2]Prithwineel Paul, Petr Sosík, Lucie Ciencialová:
A survey on learning models of spiking neural membrane systems and spiking neural networks. CoRR abs/2403.18609 (2024) - 2023
- [j53]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): 190-192 (2023) - 2022
- [j51]Ludek Cienciala, Lucie Ciencialová, Petr Sosík:
P colonies with agent division. Inf. Sci. 589: 162-169 (2022) - 2020
- [e4]Martin Holena, Tomás Horváth, Alica Kelemenová, Frantisek Mráz, Dana Pardubská, Martin Plátek, Petr Sosík:
Proceedings of the 20th Conference Information Technologies - Applications and Theory (ITAT 2020), Hotel Tyrapol, Oravská Lesná, Slovakia, September 18-22, 2020. CEUR Workshop Proceedings 2718, CEUR-WS.org 2020 [contents] - 2019
- [j46]Lucie Ciencialová, Erzsébet Csuhaj-Varjú, Ludek Cienciala, Petr Sosík:
P colonies. J. Membr. Comput. 1(3): 178-197 (2019) - 2018
- [j44]Lucie Ciencialová, Ludek Cienciala, Petr Sosík:
Generalized P colonies with passive environment. Theor. Comput. Sci. 724: 61-68 (2018) - [c32]Ludek Cienciala, Lucie Ciencialová, Erzsébet Csuhaj-Varjú, Petr Sosík:
A Logical Representation of P Colonies: An Introduction. Enjoying Natural Computing 2018: 66-76 - 2017
- [j43]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): 497-505 (2017) - 2016
- [j42]Petr Sosík, Miroslav Langer:
Small (purely) catalytic P systems simulating register machines. Theor. Comput. Sci. 623: 65-74 (2016) - [c28]Lucie Ciencialová, Ludek Cienciala, Petr Sosík:
P Colonies with Evolving Environment. Int. Conf. on Membrane Computing 2016: 151-164 - 2015
- [j41]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): 247-260 (2015) - [j40]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): 304-328 (2015) - [j39]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): 45-60 (2015) - [j38]Petr Sosík, Ludek Cienciala:
A limitation of cell division in tissue P systems by PSPACE. J. Comput. Syst. Sci. 81(2): 473-484 (2015) - [c27]Rudolf Freund, Petr Sosík:
On the Power of Catalytic P Systems with One Catalyst. Int. Conf. on Membrane Computing 2015: 137-152 - 2014
- [j37]Alfonso Rodríguez-Patón, Iñaki Sainz de Murieta, Petr Sosík:
DNA strand displacement system running logic programs. Biosyst. 115: 5-12 (2014) - [j36]Andrei Paun, Petr Sosík:
Three Universal Homogeneous Spiking Neural P Systems Using Max Spike. Fundam. Informaticae 134(1-2): 167-182 (2014) - [j35]Petr Sosík, Ludek Cienciala:
Computational power of cell separation in tissue P systems. Inf. Sci. 279: 805-815 (2014) - [c26]Petr Sosík, Miroslav Langer:
Improved universality proof for catalytic P systems and a relation to non-semilinear sets. NCMA 2014: 223-233 - [e3]Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, Petr Sosík, Claudio Zandron:
Membrane Computing - 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8961, Springer 2014, ISBN 978-3-319-14369-9 [contents] - 2013
- [j33]Petr Sosík, Andrei Paun, Alfonso Rodríguez-Patón:
P systems with proteins on membranes characterize PSPACE. Theor. Comput. Sci. 488: 78-95 (2013) - 2012
- [c23]Petr Sosík, Ludek Cienciala:
Tissue P Systems with Cell Separation: Upper Bound by PSPACE. TPNC 2012: 201-215 - [p1]Lila Kari, Shinnosuke Seki, Petr Sosík:
DNA Computing - Foundations and Implications. Handbook of Natural Computing 2012: 1073-1127 - 2011
- [j32]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): 75-88 (2011) - [j31]Mark Daley, Lila Kari, Shinnosuke Seki, Petr Sosík:
Orthogonal Shuffle on Trajectories. Int. J. Found. Comput. Sci. 22(1): 213-222 (2011) - [j30]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): 7075-7086 (2011) - [c21]Alfonso Rodríguez-Patón, Iñaki Sainz de Murieta, Petr Sosík:
Autonomous Resolution Based on DNA Strand Displacement. DNA 2011: 190-203 - 2010
- [c20]Petr Sosík, Alfonso Rodríguez-Patón, Lucie Ciencialová:
Polynomial Complexity Classes in Spiking Neural P Systems. Int. Conf. on Membrane Computing 2010: 348-360 - 2009
- [j27]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): 411-425 (2009) - [j26]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): 2356-2381 (2009) - [c19]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: 448-460 - [e2]Ashish Goel, Friedrich C. Simmel, Petr Sosík:
DNA Computing, 14th International Meeting on DNA Computing, DNA 14, Prague, Czech Republic, June 2-9, 2008. Revised Selected Papers. Lecture Notes in Computer Science 5347, Springer 2009, ISBN 978-3-642-03075-8 [contents] - 2008
- [j25]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): 471-483 (2008) - [j24]Lila Kari, Petr Sosík:
On the weight of universal insertion grammars. Theor. Comput. Sci. 396(1-3): 264-270 (2008) - 2007
- [j23]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): 687-697 (2007) - [j21]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): 415-431 (2007) - [j20]Petr Sosík, Alfonso Rodríguez-Patón:
Membrane computing and complexity theory: A characterization of PSPACE. J. Comput. Syst. Sci. 73(1): 137-152 (2007) - [j19]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): 196-217 (2007) - [c18]Marc García-Arnau, Daniel Manrique, Alfonso Rodríguez-Patón, Petr Sosík:
Towards a Robust Biocomputing Solution of Intractable Problems. DNA 2007: 221-230 - 2006
- [j18]Lila Kari, Elena Losseva, Stavros Konstantinidis, Petr Sosík, Gabriel Thierrin:
A Formal Language Analysis of DNA Hairpin Structures. Fundam. Informaticae 71(4): 453-475 (2006) - [j17]Michael Domaratzki, Petr Sosík, Alfonso Rodríguez-Patón:
Algebraic properties of substitution on trajectories. Theor. Comput. Sci. 369(1-3): 183-196 (2006) - [c17]Petr Sosík, Alfonso Rodríguez-Patón:
P Systems with Active Membranes Characterize PSPACE. DNA 2006: 33-46 - 2005
- [j16]Lila Kari, Stavros Konstantinidis, Petr Sosík:
Operations on trajectories with applications to coding and bioinformatics. Int. J. Found. Comput. Sci. 16(3): 531-546 (2005) - [j15]Lila Kari, Stavros Konstantinidis, Petr Sosík:
Bond-free languages: formalizations, maximality and construction methods. Int. J. Found. Comput. Sci. 16(5): 1039-1070 (2005) - [j14]Rudolf Freund, Lila Kari, Marion Oswald, Petr Sosík:
Computationally universal P systems without priorities: two catalysts are sufficient. Theor. Comput. Sci. 330(2): 251-266 (2005) - [j13]Lila Kari, Petr Sosík:
Aspects of shuffle and deletion on trajectories. Theor. Comput. Sci. 332(1-3): 47-61 (2005) - [j12]Lila Kari, Stavros Konstantinidis, Petr Sosík:
On properties of bond-free DNA languages. Theor. Comput. Sci. 334(1-3): 131-159 (2005) - [c16]Lila Kari, Petr Sosík:
On Weight of Universal Insertion Grammars. DCFS 2005: 206-214 - [c15]Lila Kari, Stavros Konstantinidis, Petr Sosík, Gabriel Thierrin:
On Hairpin-Free Words and Languages. Developments in Language Theory 2005: 296-307 - [c14]Lila Kari, Stavros Konstantinidis, Elena Losseva, Petr Sosík, Gabriel Thierrin:
Hairpin Structures in DNA Words. DNA 2005: 158-170 - 2004
- [j11]Lila Kari, Petr Sosík:
On Language Equations with Deletion. Bull. EATCS 83: 173-180 (2004) - [c12]Lila Kari, Stavros Konstantinidis, Petr Sosík:
Substitution on Trajectories. Theory Is Forever 2004: 145-158 - [c11]Lila Kari, Stavros Konstantinidis, Petr Sosík:
Bond-Free Languages: Formalizations, Maximality and Construction Methods. DNA 2004: 169-181 - [c10]Lila Kari, Stavros Konstantinidis, Petr Sosík:
Preventing Undesirable Bonds Between DNA Codewords. DNA 2004: 182-191 - [c9]Lila Kari, Stavros Konstantinidis, Petr Sosík:
Substitutions, Trajectories and Noisy Channels. CIAA 2004: 202-212 - 2003
- [j8]Arto Salomaa, Petr Sosík:
Watson-Crick D0L systems: the power of one transition. Theor. Comput. Sci. 301(1-3): 187-200 (2003) - [c8]Rudolf Freund, Marion Oswald, Petr Sosík:
Reducing the Number of Catalysts Needed in Computationally Universal P Systems without Priorities. DCFS 2003: 102-113 - 2002
- [c6]Petr Sosík, Rudolf Freund:
P Systems without Priorities Are Computationally Universal. WMC-CdeA 2002: 400-409 - 2001
- [c5]Petr Sosík, Rudolf Freund:
String Rewriting Sequential P-Systems and Regulated Rewriting. Developments in Language Theory 2001: 379-388 - [e1]Jozef Kelemen, Petr Sosík:
Advances in Artificial Life, 6th European Conference, ECAL 2001, Prague, Czech Republic, September 10-14, 2001, Proceedings. Lecture Notes in Computer Science 2159, Springer 2001, ISBN 3-540-42567-5 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-13 01:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint