% This file was created with JabRef 2.6.
% Encoding: Cp1252

@STRING{TCS = {Theoretical Computer Science}}

@INCOLLECTION{FARV09,
  author = {R. Freund and A. Alhazov and Y. Rogozhin and S. Verlan},
  title = {Communication {P} Systems},
  booktitle = {The Oxford Handbook of Membrane Computing},
  publisher = {Oxford University Press},
  year = {2009},
  editor = {Gh. P\u{a}un and G. Rozenberg and A. Salomaa},
  pages = {118--143},
  crossref = {Paun:2010:OHM:1738939},
  owner = {ver},
  timestamp = {2010.06.14},
  url = {05-Paun-C05.pdf}
}

@INCOLLECTION{VF09,
  author = {S. Verlan and P. Frisco},
  title = {Splicing {P} systems},
  booktitle = {The Oxford Handbook of Membrane Computing},
  publisher = {Oxford University Press},
  year = {2009},
  editor = {Gh. P\u{a}un and G. Rozenberg and A. Salomaa},
  pages = {198--226},
  crossref = {Phandbook},
  owner = {ver},
  timestamp = {2010.06.14},
  url = {08-Paun-C08.pdf}
}

@INPROCEEDINGS{AFOV07,
  author = {Artiom Alhazov and Rudolf Freund and Marion Oswald and Sergey Verlan},
  title = {Partial Halting in {P} Systems Using Membrane Rules with Permitting
	Contexts},
  booktitle = {Machines, Computations, and Universality, 5th International Conference,
	MCU 2007, Orl{\'e}ans, France, September 10-13, 2007, Proceedings},
  year = {2007},
  editor = {J{\'e}r{\^o}me Olivier Durand-Lose and Maurice Margenstern},
  volume = {4664},
  series = {Lecture Notes in Computer Science},
  pages = {110-121},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://dx.doi.org/10.1007/978-3-540-74593-8_10},
  owner = {ver},
  timestamp = {2010.06.11},
  url = {phaltMCU_LNCS.pdf}
}

@INPROCEEDINGS{AKRV09,
  author = {Artiom Alhazov and Alexander Krassovitskiy and Yurii Rogozhin and Sergey Verlan},
  title = {P Systems with Minimal Insertion and Deletion},
  booktitle = {Proceedings of Seventh Brainstorming Week on Membrane Computing Sevilla,
	February 2--6, 2009},
  year = {2009},
  editor = {Rosa Guti\'errez-Escudero and Miguel Angel Guti\'errez-Naranjo and
	Gheorghe P\u{a}un and Ignacio P\'erez-Hurtado and Agust\'in Riscos-Nunez},
  volume = {I},
  pages = {9--21},
  publisher = {F\'enix Editora, Sevilla},
  note = {Also accepted to \emph{Theoretical Computer Science}.},
  timestamp = {2009.07.02},
  url = {mInsDel_tcs4_v1.pdf}
}

@INBOOK{AKRV10-chapter,
  chapter = {1},
  pages = {459--524},
  title = {New Trends in Formal Language Theory 
	
	Inspired by Natural Computing: 
	
	Small Size Insertion and Deletion Systems},
  publisher = {Imperial College Press},
  year = {2010},
  author = {Artiom Alhazov and Alexander Krassovitskiy and Yurii Rogozhin and Sergey Verlan},
  series = {Mathematics, Computing, Language, and Life: Frontiers in Mathematical
	Linguistics and Language Theory},
  owner = {ver},
  timestamp = {2010.06.11},
  url = {book_main.pdf}
}

@INBOOK{AKRV10-chapter-pub,
  chapter = {1},
  pages = {459--524},
  title = {Small Size Insertion and Deletion Systems},
  publisher = {World Scientific},
  booktitle = {Scientific Applications of Language Methods. Mathematics, Computing, Language, and Life: Frontiers in Mathematical Linguistics and Language Theory},
  year = {2010},
  volume = {228},
  author = {Artiom Alhazov and Alexander Krassovitskiy and Yurii Rogozhin and Sergey Verlan},
  series = {Mathematics, Computing, Language, and Life: Frontiers in Mathematical
	Linguistics and Language Theory},
}

@INPROCEEDINGS{AMV08,
  author = {Artiom Alhazov and Maurice Margenstern and Sergey Verlan},
  title = {Fast Synchronization in {P} Systems},
  booktitle = {Membrane Computing - 9th International Workshop, WMC 2008, Edinburgh,
	UK, July 28-31, 2008, Revised Selected and Invited Papers},
  year = {2008},
  editor = {David W. Corne and Pierluigi Frisco and Gheorghe P\u{a}un and Grzegorz
	Rozenberg and Arto Salomaa},
  volume = {5391},
  series = {Lecture Notes in Computer Science},
  pages = {118-128},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  comment = {DBLP:conf/membrane/AlhazovMV08},
  ee = {http://dx.doi.org/10.1007/978-3-540-95885-7_9},
  isbn = {978-3-540-95884-0},
  owner = {ver},
  timestamp = {2010.05.08},
  url = {fastSyncLNCS.pdf}
}

@ARTICLE{ARV07,
  author = {Artiom Alhazov and Yurii Rogozhin and Sergey Verlan},
  title = {Minimal Cooperation in Symport/Antiport Tissue {P} Systems},
  journal = {International Journal of Foundations of Computer Science},
  year = {2007},
  volume = {18},
  pages = {163-180},
  number = {1},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://dx.doi.org/10.1142/S0129054107004619},
  owner = {ver},
  timestamp = {2010.06.11},
  url = {mincoIJFCS.pdf}
}

@TECHREPORT{AV08,
  author = {Artiom Alhazov and Sergey Verlan},
  title = {Minimization Strategies for Maximally Parallel Multiset Rewriting
	Systems},
  institution = {TUCS},
  year = {2008},
  number = {862},
  note = {Also accepted to \emph{Theoretical Computer Science}},
  owner = {ver},
  timestamp = {2010.05.08},
  url = {tiny_symanti_tcs_v2.pdf}
}

@ARTICLE{BGMV07,
  author = {Francesco Bernardini and Marian Gheorghe and Maurice Margenstern
	and Sergey Verlan},
  title = {How to Synchronize the Activity of All Components of a {P} System?},
  journal = {International Journal of Foundations of Computer Science.},
  year = {2008},
  volume = {19},
  pages = {1183-1198},
  number = {5},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  comment = {DBLP:journals/ijfcs/BernardiniGMV08},
  ee = {http://dx.doi.org/10.1142/S0129054108006224},
  owner = {ver},
  timestamp = {2010.07.19},
  url = {syncIJFCS.pdf}
}

@ARTICLE{CMVV07,
  author = {Erzs{\'e}bet Csuhaj-Varj{\'u} and Maurice Margenstern and Gy{\"o}rgy
	Vaszil and Sergey Verlan},
  title = {On Small Universal Antiport {P} Systems},
  journal = TCS,
  year = {2007},
  volume = {372},
  pages = {152-164},
  number = {2-3},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://dx.doi.org/10.1016/j.tcs.2006.11.023},
  owner = {ver},
  timestamp = {2010.06.11},
  url = {smallsantiTCS.pdf}
}

@ARTICLE{CV08,
  author = {Erzs{\'e}bet Csuhaj-Varj{\'u} and Sergey Verlan},
  title = {On Length-Separating Test Tube Systems},
  journal = {Natural Computing},
  year = {2008},
  volume = {7},
  pages = {167-181},
  number = {2},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  comment = {DBLP:journals/nc/Csuhaj-VarjuV08},
  ee = {http://dx.doi.org/10.1007/s11047-007-9034-z},
  owner = {ver},
  timestamp = {2010.06.11},
  url = {lensepNC.pdf}
}

@ARTICLE{CV10,
  author = {E. Csuhaj-Varj{\'u} and S. Verlan},
  title = {On Generalized Communicating {P} Systems with Minimal Interaction
	Rules},
  journal = {Theoretical Computer Science},
  year = {2010},
  note = {2010. In press.},
  owner = {ver},
  timestamp = {2010.06.11},
  url = {min-int-revised-v8.pdf}
}

@INPROCEEDINGS{FKV09,
  author = {Rudolf Freund and Marian Kogler and Sergey Verlan},
  title = {P Automata with Controlled Use of Minimal Communication Rules},
  booktitle = {Workshop on Non-Classical Models of Automata and Applications, NCMA
	2009, Wroclaw, Poland},
  year = {2009},
  editor = {H. Bordihn and R. Freund and M. Holzer and M. Kutrib and F. Otto},
  pages = {107--120},
  publisher = {Oesterreichische Computer Gesellschaft},
  owner = {ver},
  timestamp = {2009.10.08},
  url = {NCMAfreundetal.pdf}
}

@INPROCEEDINGS{FreundVerlan07,
  author = {Rudolf Freund and Sergey Verlan},
  title = {A Formal Framework for Static (Tissue) {P} Systems},
  booktitle = {Membrane Computing, 8th International Workshop, WMC 2007, Thessaloniki,
	Greece, June 25-28, 2007 Revised Selected and Invited Papers},
  year = {2007},
  editor = {George Eleftherakis and Petros Kefalas and Gheorghe P\u{a}un and
	Grzegorz Rozenberg and Arto Salomaa},
  volume = {4860},
  series = {Lecture Notes in Computer Science},
  pages = {271-284},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://dx.doi.org/10.1007/978-3-540-77312-2_17},
  isbn = {978-3-540-77311-5},
  owner = {ver},
  timestamp = {2009.11.18},
  url = {formFrameworkLNCS.pdf}
}

@INPROCEEDINGS{FV08,
  author = {R. Freund and S. Verlan},
  title = {P Systems Working in the k-Restricted Minimally Parallel Mode},
  booktitle = {International Workshop on Computing with Biomolecules, August 27th,
	2008, Wien, Austria},
  year = {2008},
  editor = {Erzsébet Csuhaj-Varjú and Rudolf Freund and Marion Oswald and Kai
	Salomaa},
  volume = {244},
  pages = {43--52},
  publisher = {Oesterreichische Computer Gesellschaft},
  owner = {ver},
  timestamp = {2009.07.02},
  url = {minmaxkfin.pdf}
}

@INPROCEEDINGS{KRV08,
  author = {Alexander Krassovitskiy and Yurii Rogozhin and Sergey Verlan},
  title = {Further Results on Insertion-Deletion Systems with One-Sided Contexts},
  booktitle = {Language and Automata Theory and Applications, Second International
	Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised
	Papers},
  year = {2008},
  editor = {Carlos Mart\'{\i}n-Vide and Friedrich Otto and Henning Fernau},
  volume = {5196},
  series = {Lecture Notes in Computer Science},
  pages = {333-344},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  comment = {DBLP:conf/lata/KrassovitskiyRV08},
  ee = {http://dx.doi.org/10.1007/978-3-540-88282-4_31},
  isbn = {978-3-540-88281-7},
  url = {furtherInsDelLNCS.pdf}
}

@INPROCEEDINGS{KRV08b,
  author = {Alexander Krassovitskiy and Yurii Rogozhin and Sergey Verlan},
  title = {One-Sided Insertion and Deletion: Traditional and {P} Systems Case},
  booktitle = {International Workshop on Computing with Biomolecules, August 27th,
	2008, Wien, Austria},
  year = {2008},
  editor = {Erzs\'ebet Csuhaj-Varj\'u and Rudolf Freund and Marion Oswald and
	Kai Salomaa},
  pages = {53--64},
  publisher = {Druckerei Riegelnik},
  comment = {http://www.emcc.at/CBM2008/CBM2008.pdf},
  timestamp = {2009.07.02},
  url = {insdelMemf1.pdf}
}

@INPROCEEDINGS{KRV08c,
  author = {Alexander Krassovitskiy and Yurii Rogozhin and Sergey Verlan},
  title = {Computational Power of {P} Systems with Small Size Insertion and
	Deletion Rules},
  booktitle = {Proceedings International Workshop on The Complexity of Simple Programs,
	Cork, Ireland, 6-7th December 2008},
  year = {2009},
  editor = {Turlough Neary and Damien Woods and Anthony Karel Seda and Niall
	Murphy},
  volume = {1},
  series = {EPTCS},
  pages = {108-117},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://arxiv.org/abs/0906.3119},
  owner = {ver},
  timestamp = {2010.06.14},
  url = {pinsdel-final.pdf}
}

@UNPUBLISHED{KRV09-NC,
  author = {Alexander Krassovitskiy and Yurii Rogozhin and Sergey Verlan},
  title = {Computational Power of Insertion-Deletion ({P}) Systems with Rules
	of Size Two},
  note = {Accepted to \emph{Natural Computing}. 2010, in publication.},
  owner = {ver},
  timestamp = {2009.10.28},
  url = {insdel_110_nc-v6.pdf}
}

@ARTICLE{MPRV05,
  author = {Maurice Margenstern and Gheorghe P\u{a}un and Yurii Rogozhin and
	Sergey Verlan},
  title = {Context-Free Insertion-Deletion Systems},
  journal = TCS,
  year = {2005},
  volume = {330},
  pages = {339-348},
  number = {2},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://dx.doi.org/10.1016/j.tcs.2004.06.031},
  url = {cfInsDelTCS.pdf}
}

@INPROCEEDINGS{MRV07,
  author = {Artiom Matveevici and Yurii Rogozhin and Sergey Verlan},
  title = {Insertion-Deletion Systems with One-Sided Contexts},
  booktitle = {Machines, Computations, and Universality, 5th International Conference,
	MCU 2007, Orl{\'e}ans, France, September 10-13, 2007, Proceedings},
  year = {2007},
  editor = {J{\'e}r{\^o}me Olivier Durand-Lose and Maurice Margenstern},
  volume = {4664},
  series = {Lecture Notes in Computer Science},
  pages = {205-217},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://dx.doi.org/10.1007/978-3-540-74593-8_18},
  url = {insdeloneM_LNCS.pdf}
}

@INPROCEEDINGS{RV05,
  author = {Yurii Rogozhin and Sergey Verlan},
  title = {On the Rule Complexity of Universal Tissue {P} Systems},
  booktitle = {Membrane Computing, 6th International Workshop, WMC 2005, Vienna,
	Austria, July 18-21, 2005, Revised Selected and Invited Papers},
  year = {2005},
  editor = {Rudolf Freund and Gheorghe P\u{a}un and Grzegorz Rozenberg and Arto
	Salomaa},
  volume = {3850},
  series = {Lecture Notes in Computer Science},
  pages = {356-362},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://dx.doi.org/10.1007/11603047_24},
  owner = {ver},
  timestamp = {2010.06.11},
  url = {ruleComplLNCS.pdf}
}

@INCOLLECTION{Verlan04a,
  author = {Sergey Verlan},
  title = {Communicating Distributed {H} Systems with Alternating Filters},
  booktitle = {Aspects of Molecular Computing. Essays Dedicated to Tom Head on the
	Occasion of His 70th Birthday},
  publisher = {Springer},
  year = {2004},
  editor = {N. Jonoska and Gh. P\u{a}un and G. Rozenberg},
  volume = {2950},
  series = {Lecture Notes in Computer Science},
  pages = {367--384},
  doi = {http://dx.doi.org/10.1007/b94864},
  url = {ttH_LNCS.pdf}
}

@ARTICLE{Verlan07,
  author = {Sergey Verlan},
  title = {On Minimal Context-Free Insertion-Deletion Systems},
  journal = {Journal of Automata, Languages and Combinatorics},
  year = {2007},
  volume = {12},
  pages = {317-328},
  number = {1-2},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  comment = {DBLP:journals/jalc/Verlan07},
  url = {http://lacl.univ-paris12.fr/verlan/data/articles/insdel22_jalc2.pdf}
}

@PHDTHESIS{VerlanPhD,
  author = {Sergey Verlan},
  title = {Head Systems and Applications to Bioinformatics},
  school = {University of Metz},
  year = {2004},
  owner = {ver},
  timestamp = {2010.07.25},
  url = {http://lacl.univ-paris12.fr/verlan/data/thesis-en.pdf}
}

@INPROCEEDINGS{VerlanWMC09,
  author = {Sergey Verlan},
  title = {Look-Ahead Evolution for {P} Systems},
  booktitle = {Membrane Computing, 10th International Workshop, WMC 2009, Curtea
	de Arges, Romania, August 24-27, 2009. Revised Selected and Invited
	Papers},
  year = {2009},
  editor = {Gheorghe P\u{a}un and Mario J. P{\'e}rez-Jim{\'e}nez and Agustin
	Riscos-N{\'u}{\~n}ez and Grzegorz Rozenberg and Arto Salomaa},
  volume = {5957},
  series = {Lecture Notes in Computer Science},
  pages = {479-485},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://dx.doi.org/10.1007/978-3-642-11467-0_32},
  isbn = {978-3-642-11466-3},
  owner = {ver},
  timestamp = {2010.06.11},
  url = {Look-aheadP.pdf}
}

@INPROCEEDINGS{VBGM06,
  author = {Sergey Verlan and Francesco Bernardini and Marian Gheorghe and Maurice
	Margenstern},
  title = {Computational Completeness of Tissue {P} Systems with Conditional
	Uniport},
  booktitle = {Membrane Computing, 7th International Workshop, WMC 2006, Leiden,
	The Netherlands, July 17-21, 2006, Revised, Selected, and Invited
	Papers},
  year = {2006},
  editor = {Hendrik Jan Hoogeboom and Gheorghe P\u{a}un and Grzegorz Rozenberg
	and Arto Salomaa},
  volume = {4361},
  series = {Lecture Notes in Computer Science},
  pages = {521-535},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://dx.doi.org/10.1007/11963516_33},
  owner = {ver},
  timestamp = {2010.06.11},
  url = {condUniport.pdf}
}

@ARTICLE{VBGM08,
  author = {Sergey Verlan and Francesco Bernardini and Marian Gheorghe and Maurice
	Margenstern},
  title = {Generalized Communicating {P} Systems},
  journal = TCS,
  year = {2008},
  volume = {404},
  pages = {170-184},
  number = {1-2},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  comment = {DBLP:journals/tcs/VerlanBGM08},
  ee = {http://dx.doi.org/10.1016/j.tcs.2008.04.008},
  owner = {ver},
  timestamp = {2010.05.08},
  url = {genComm.pdf}
}

@INPROCEEDINGS{VR09,
  author = {Sergey Verlan and Yurii Rogozhin},
  title = {New Choice for Small Universal Devices: Symport/Antiport {P} Systems},
  booktitle = {Proceedings International Workshop on The Complexity of Simple Programs,
	Cork, Ireland, 6-7th December 2008},
  year = {2008},
  editor = {Turlough Neary and Damien Woods and Anthony Karel Seda and Niall
	Murphy},
  volume = {1},
  series = {EPTCS},
  pages = {235-241},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  owner = {ver},
  timestamp = {2010.06.14},
  url = {symantiov.pdf}
}

@comment{jabref-meta: selector_publisher:}

@comment{jabref-meta: selector_author:}

@comment{jabref-meta: selector_journal:}

@comment{jabref-meta: selector_keywords:}