| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Daley, Lila Kari, Shinnosuke Seki, Petr Sosík |
Orthogonal Shuffle on Trajectories. |
Int. J. Found. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfonso Rodríguez-Patón, Iñaki Sainz de Murieta, Petr Sosík |
Autonomous Resolution Based on DNA Strand Displacement. |
DNA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Sosík |
Selected Topics in Computational Complexity of Membrane Systems. |
Computation, Cooperation, and Life |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Sosík |
Catalytic P systems. |
Scholarpedia |
2010 |
DBLP BibTeX RDF |
|
| 1 | Petr Sosík, Alfonso Rodríguez-Patón, Lucie Ciencialová |
Polynomial Complexity Classes in Spiking Neural P Systems. |
Int. Conf. on Membrane Computing |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Sosík |
Preface. |
Int. J. Found. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc García-Arnau, David Pérez, Alfonso Rodríguez-Patón, Petr Sosík |
Spiking Neural P Systems: Stronger Normal Forms. |
IJUC |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Goel, Friedrich C. Simmel, Petr Sosík (eds.) |
DNA Computing, 14th International Meeting on DNA Computing, DNA 14, Prague, Czech Republic, June 2-9, 2008. Revised Selected Papers |
DNA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Natural Computing |
2008 |
DBLP DOI BibTeX RDF |
Normal form, Membrane computing, P system, Spiking neuron |
| 1 | Lila Kari, Petr Sosík |
On the weight of universal insertion grammars. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludek Cienciala, Lucie Ciencialová, Pierluigi Frisco, Petr Sosík |
On the Power of Deterministic and Sequential Communicating P Systems. |
Int. J. Found. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Biosystems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Sebestyén, Petr Sosík |
Modelling Multiple Robots in Space: An Adaptive Eco-Grammar System. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Petr Sosík, Alfonso Rodríguez-Patón |
Membrane computing and complexity theory: A characterization of PSPACE. |
J. Comput. Syst. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc García-Arnau, Daniel Manrique, Alfonso Rodríguez-Patón, Petr Sosík |
Towards a Robust Biocomputing Solution of Intractable Problems. |
DNA |
2007 |
DBLP DOI BibTeX RDF |
Incremental Strategy, DNA Computing, NP-Complete problem, Membrane Computing, Maximum Clique Problem |
| 1 | Michael Domaratzki, Petr Sosík, Alfonso Rodríguez-Patón |
Algebraic properties of substitution on trajectories. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lila Kari, Elena Losseva, Stavros Konstantinidis, Petr Sosík, Gabriel Thierrin |
A Formal Language Analysis of DNA Hairpin Structures. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Petr Sosík, Alfonso Rodríguez-Patón |
P Systems with Active Membranes Characterize PSPACE. |
DNA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lila Kari, Petr Sosík |
Aspects of shuffle and deletion on trajectories. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lila Kari, Stavros Konstantinidis, Petr Sosík |
On properties of bond-free DNA languages. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudolf Freund, Lila Kari, Marion Oswald, Petr Sosík |
Computationally universal P systems without priorities: two catalysts are sufficient. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lila Kari, Stavros Konstantinidis, Petr Sosík |
Operations on trajectories with applications to coding and bioinformatics. |
Int. J. Found. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lila Kari, Stavros Konstantinidis, Petr Sosík |
Bond-free languages: formalizations, maximality and construction methods. |
Int. J. Found. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lila Kari, Stavros Konstantinidis, Elena Losseva, Petr Sosík, Gabriel Thierrin |
Hairpin Structures in DNA Words. |
DNA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lila Kari, Stavros Konstantinidis, Petr Sosík, Gabriel Thierrin |
On Hairpin-Free Words and Languages. |
Developments in Language Theory |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lila Kari, Petr Sosík |
On Weight of Universal Insertion Grammars. |
DCFS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Petr Sosík, Ondrej Valík |
On Evolutionary Lineages of Membrane Systems. |
Workshop on Membrane Computing |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lila Kari, Petr Sosík |
On Language Equations with Deletion. |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Lila Kari, Stavros Konstantinidis, Petr Sosík |
Preventing Undesirable Bonds Between DNA Codewords. |
DNA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lila Kari, Stavros Konstantinidis, Petr Sosík |
Bond-Free Languages: Formalizations, Maximality and Construction Methods. |
DNA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lila Kari, Stavros Konstantinidis, Petr Sosík |
Substitution on Trajectories. |
Theory Is Forever |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lila Kari, Stavros Konstantinidis, Petr Sosík |
Substitutions, Trajectories and Noisy Channels. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Sosík |
The computational power of cell division in P systems: Beating down parallel computers? |
Natural Computing |
2003 |
DBLP DOI BibTeX RDF |
Second Machine Class, membrane computing, P system |
| 1 | Arto Salomaa, Petr Sosík |
Watson-Crick D0L systems: the power of one transition. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Sosík |
Watson-Crick D0L systems: generative power and undecidable problems. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Sosík |
The Power of Catalysts and Priorities in Membrane Systems. |
Grammars |
2003 |
DBLP DOI BibTeX RDF |
universal computation, membrane computing, P system |
| 1 | Rudolf Freund, Marion Oswald, Petr Sosík |
Reducing the Number of Catalysts Needed in Computationally Universal P Systems without Priorities. |
DCFS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Petr Sosík |
Universal computation with Watson-Crick D0L systems. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Sosík, Jirí Matýsek |
Membrane Computing: When Communication Is Enough. |
UMC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Sosík, Rudolf Freund |
P Systems without Priorities Are Computationally Universal. |
WMC-CdeA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Sosík |
D0L System + Watson-Crick Complementarity = Universal Computation. |
MCU |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Sosík, Rudolf Freund |
String Rewriting Sequential P-Systems and Regulated Rewriting. |
Developments in Language Theory |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jozef Kelemen, Petr Sosík (eds.) |
Advances in Artificial Life, 6th European Conference, ECAL 2001, Prague, Czech Republic, September 10-14, 2001, Proceedings |
ECAL |
2001 |
DBLP BibTeX RDF |
|
| 1 | Petr Sosík |
On the Decidability Problems of Eco-Grammar Systems. |
Journal of Automata, Languages and Combinatorics |
2000 |
DBLP BibTeX RDF |
|
| 1 | Petr Sosík |
Conditional Tabled Eco-Grammar Systems: the Scattered Contexts. |
Grammars |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Sosík |
On the Hierarchy of Extended Conditional Tabled Eco-Grammar Systems. |
Grammars |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Sosík |
Parallel Accepting Colonies and Neural Networks. |
Grammatical Models of Multi-Agent Systems |
1999 |
DBLP BibTeX RDF |
|
| 1 | Petr Sosík |
Eco-Grammar Systems, Decidability and the Tiling Problem. |
MFCS Workshop on Grammar Systems |
1998 |
DBLP BibTeX RDF |
|
| 1 | Petr Sosík |
On Hybrid Connectionist-Symbolic Models. |
Acta Cybern. |
1997 |
DBLP BibTeX RDF |
|
| 1 | Petr Sosík, Leos Stýbnar |
Grammatical Inference of Colonies. |
New Trends in Formal Languages |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Sosík |
On Eco-Grammar Systems and Artificial Neural Networks. |
Computers and Artificial Intelligence |
1996 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")