Search the dblp DataBase
Petr Sosík :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Lila Kari , Stavros Konstantinidis , Petr Sosík Substitution on Trajectories. [Citation Graph (0, 0)][DBLP ] Theory Is Forever, 2004, pp:145-158 [Conf ] Petr Sosík , Leos Stýbnar Grammatical Inference of Colonies. [Citation Graph (0, 0)][DBLP ] New Trends in Formal Languages, 1997, pp:236-246 [Conf ] Lila Kari , Stavros Konstantinidis , Petr Sosík , Gabriel Thierrin On Hairpin-Free Words and Languages. [Citation Graph (0, 0)][DBLP ] Developments in Language Theory, 2005, pp:296-307 [Conf ] Petr Sosík , Rudolf Freund String Rewriting Sequential P-Systems and Regulated Rewriting. [Citation Graph (0, 0)][DBLP ] Developments in Language Theory, 2001, pp:379-388 [Conf ] Lila Kari , Stavros Konstantinidis , Petr Sosík Bond-Free Languages: Formalizations, Maximality and Construction Methods. [Citation Graph (0, 0)][DBLP ] DNA, 2004, pp:169-181 [Conf ] Lila Kari , Stavros Konstantinidis , Petr Sosík Preventing Undesirable Bonds Between DNA Codewords. [Citation Graph (0, 0)][DBLP ] DNA, 2004, pp:182-191 [Conf ] Petr Sosík , Alfonso Rodríguez-Patón P Systems with Active Membranes Characterize PSPACE. [Citation Graph (0, 0)][DBLP ] DNA, 2006, pp:33-46 [Conf ] Lila Kari , Stavros Konstantinidis , Elena Losseva , Petr Sosík , Gabriel Thierrin Hairpin Structures in DNA Words. [Citation Graph (0, 0)][DBLP ] DNA, 2005, pp:158-170 [Conf ] Petr Sosík Parallel Accepting Colonies and Neural Networks. [Citation Graph (0, 0)][DBLP ] Grammatical Models of Multi-Agent Systems, 1999, pp:144-156 [Conf ] Petr Sosík D0L System + Watson-Crick Complementarity = Universal Computation. [Citation Graph (0, 0)][DBLP ] MCU, 2001, pp:308-320 [Conf ] Petr Sosík , Ondrej Valík On Evolutionary Lineages of Membrane Systems. [Citation Graph (0, 0)][DBLP ] Workshop on Membrane Computing, 2005, pp:67-78 [Conf ] Petr Sosík Eco-Grammar Systems, Decidability and the Tiling Problem. [Citation Graph (0, 0)][DBLP ] MFCS Workshop on Grammar Systems, 1998, pp:195-213 [Conf ] Petr Sosík , Jirí Matýsek Membrane Computing: When Communication Is Enough. [Citation Graph (0, 0)][DBLP ] UMC, 2002, pp:264-275 [Conf ] Lila Kari , Stavros Konstantinidis , Petr Sosík Substitutions, Trajectories and Noisy Channels. [Citation Graph (0, 0)][DBLP ] CIAA, 2004, pp:202-212 [Conf ] Petr Sosík , Rudolf Freund P Systems without Priorities Are Computationally Universal. [Citation Graph (0, 0)][DBLP ] WMC-CdeA, 2002, pp:400-409 [Conf ] Petr Sosík On Hybrid Connectionist-Symbolic Models. [Citation Graph (0, 0)][DBLP ] Acta Cybern., 1997, v:13, n:2, pp:159-172 [Journal ] Petr Sosík On Eco-Grammar Systems and Artificial Neural Networks. [Citation Graph (0, 0)][DBLP ] Computers and Artificial Intelligence, 1996, v:15, n:2-3, pp:- [Journal ] Lila Kari , Petr Sosík On Language Equations with Deletion. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 2004, v:83, n:, pp:173-180 [Journal ] Lila Kari , Elena Losseva , Stavros Konstantinidis , Petr Sosík , Gabriel Thierrin A Formal Language Analysis of DNA Hairpin Structures. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2006, v:71, n:4, pp:453-475 [Journal ] Peter Sebestyén , Petr Sosík Modelling Multiple Robots in Space: An Adaptive Eco-Grammar System. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2007, v:76, n:3, pp:367-381 [Journal ] Petr Sosík The Power of Catalysts and Priorities in Membrane Systems. [Citation Graph (0, 0)][DBLP ] Grammars, 2003, v:6, n:1, pp:13-24 [Journal ] Petr Sosík On the Hierarchy of Extended Conditional Tabled Eco-Grammar Systems. [Citation Graph (0, 0)][DBLP ] Grammars, 1999, v:1, n:3, pp:225-238 [Journal ] Petr Sosík Conditional Tabled Eco-Grammar Systems: the Scattered Contexts. [Citation Graph (0, 0)][DBLP ] Grammars, 1999, v:2, n:3, pp:235-245 [Journal ] Lila Kari , Stavros Konstantinidis , Petr Sosík Operations on trajectories with applications to coding and bioinformatics. [Citation Graph (0, 0)][DBLP ] Int. J. Found. Comput. Sci., 2005, v:16, n:3, pp:531-546 [Journal ] Lila Kari , Stavros Konstantinidis , Petr Sosík Bond-free languages: formalizations, maximality and construction methods. [Citation Graph (0, 0)][DBLP ] Int. J. Found. Comput. Sci., 2005, v:16, n:5, pp:1039-1070 [Journal ] Petr Sosík On the Decidability Problems of Eco-Grammar Systems. [Citation Graph (0, 0)][DBLP ] Journal of Automata, Languages and Combinatorics, 2000, v:5, n:1, pp:45-58 [Journal ] Petr Sosík , Alfonso Rodríguez-Patón Membrane computing and complexity theory: A characterization of PSPACE. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 2007, v:73, n:1, pp:137-152 [Journal ] Petr Sosík The computational power of cell division in P systems: Beating down parallel computers? [Citation Graph (0, 0)][DBLP ] Natural Computing, 2003, v:2, n:3, pp:287-298 [Journal ] Rudolf Freund , Lila Kari , Marion Oswald , Petr Sosík Computationally universal P systems without priorities: two catalysts are sufficient. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2005, v:330, n:2, pp:251-266 [Journal ] Lila Kari , Stavros Konstantinidis , Petr Sosík On properties of bond-free DNA languages. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2005, v:334, n:1-3, pp:131-159 [Journal ] Lila Kari , Petr Sosík Aspects of shuffle and deletion on trajectories. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2005, v:332, n:1-3, pp:47-61 [Journal ] Arto Salomaa , Petr Sosík Watson-Crick D0L systems: the power of one transition. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2003, v:1, n:301, pp:187-200 [Journal ] Petr Sosík Universal computation with Watson-Crick D0L systems. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2002, v:289, n:1, pp:485-501 [Journal ] Petr Sosík Watson-Crick D0L systems: generative power and undecidable problems. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2003, v:306, n:1-3, pp:101-112 [Journal ] Michael Domaratzki , Petr Sosík , Alfonso Rodríguez-Patón Algebraic properties of substitution on trajectories. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2006, v:369, n:1-3, pp:183-196 [Journal ] Oscar H. Ibarra , Andrei Paun , Gheorghe Paun , Alfonso Rodríguez-Patón , Petr Sosík , Sara Woodworth Normal forms for spiking neural P systems. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2007, v:372, n:2-3, pp:196-217 [Journal ] Towards a Robust Biocomputing Solution of Intractable Problems. [Citation Graph (, )][DBLP ] On the Power of Computing with Proteins on Membranes. [Citation Graph (, )][DBLP ] Search in 0.016secs, Finished in 0.350secs