495 lines
16 KiB
BibTeX
495 lines
16 KiB
BibTeX
% 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:}
|
|
|