diff --git a/bib/sivanov.bib b/bib/sivanov.bib index 1c9098a..de053e3 100644 --- a/bib/sivanov.bib +++ b/bib/sivanov.bib @@ -1,267 +1,264 @@ - -@inproceedings{DBLP:journals/corr/FreundIOS13, - author = {Rudolf Freund and - Sergiu Ivanov and - Marion Oswald and - K. G. Subramanian}, - title = {One-dimensional Array Grammars and {P} Systems with Array Insertion - and Deletion Rules}, - booktitle = {Proceedings Machines, Computations and Universality 2013, {MCU} 2013, - Z{\"{u}}rich, Switzerland, September 9-11, 2013.}, - pages = {62--75}, - year = {2013}, - crossref = {DBLP:journals/corr/NearyC13}, - url = {http://dx.doi.org/10.4204/EPTCS.128.14}, - doi = {10.4204/EPTCS.128.14}, - timestamp = {Tue, 06 May 2014 01:00:00 +0200}, - biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/FreundIOS13}, - bibsource = {dblp computer science bibliography, http://dblp.org} -} - -@inproceedings{DBLP:conf/uc/FernauFISS13, - author = {Henning Fernau and - Rudolf Freund and - Sergiu Ivanov and - Markus L. Schmid and - K. G. Subramanian}, - title = {Array Insertion and Deletion {P} Systems}, - booktitle = {Unconventional Computation and Natural Computation - 12th International - Conference, {UCNC} 2013, Milan, Italy, July 1-5, 2013. Proceedings}, - pages = {67--78}, - year = {2013}, - crossref = {DBLP:conf/uc/2013}, - url = {http://dx.doi.org/10.1007/978-3-642-39074-6_8}, - doi = {10.1007/978-3-642-39074-6_8}, - timestamp = {Tue, 06 May 2014 01:00:00 +0200}, - biburl = {http://dblp.uni-trier.de/rec/bib/conf/uc/FernauFISS13}, - bibsource = {dblp computer science bibliography, http://dblp.org} -} - -@inproceedings{DBLP:conf/membrane/IvanovV13, - author = {Sergiu Ivanov and +@article{DBLP:journals/fuin/0001V15, + author = {Sergiu Ivanov and Sergey Verlan}, - title = {About One-Sided One-Symbol Insertion-Deletion {P} Systems}, - booktitle = {Membrane Computing - 14th International Conference, {CMC} 2013, Chi{\c{s}}in{\u{a}}u, - Republic of Moldova, August 20-23, 2013, Revised Selected Papers}, - pages = {225--237}, - year = {2013}, - crossref = {DBLP:conf/membrane/2013}, - url = {http://dx.doi.org/10.1007/978-3-642-54239-8_16}, - doi = {10.1007/978-3-642-54239-8_16}, - timestamp = {Tue, 06 May 2014 01:00:00 +0200}, - biburl = {http://dblp.uni-trier.de/rec/bib/conf/membrane/IvanovV13}, - bibsource = {dblp computer science bibliography, http://dblp.org} + title = {Random Context and Semi-conditional Insertion-deletion Systems}, + journal = {Fundam. Inform.}, + volume = {138}, + number = {1-2}, + pages = {127--144}, + year = {2015}, + url = {http://dx.doi.org/10.3233/FI-2015-1203}, + doi = {10.3233/FI-2015-1203}, + timestamp = {Fri, 17 Apr 2015 01:00:00 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/journals/fuin/0001V15}, + bibsource = {dblp computer science bibliography, http://dblp.org} } -@inproceedings{DBLP:conf/membrane/Ivanov11, - author = {Sergiu Ivanov}, - title = {Basic Concurrency Resolution in Clock-Free {P} Systems}, - booktitle = {Membrane Computing - 12th International Conference, {CMC} 2011, Fontainebleau, - France, August 23-26, 2011, Revised Selected Papers}, - pages = {226--242}, - year = {2011}, - crossref = {DBLP:conf/membrane/2011}, - url = {http://dx.doi.org/10.1007/978-3-642-28024-5_16}, - doi = {10.1007/978-3-642-28024-5_16}, - timestamp = {Tue, 06 May 2014 01:00:00 +0200}, - biburl = {http://dblp.uni-trier.de/rec/bib/conf/membrane/Ivanov11}, - bibsource = {dblp computer science bibliography, http://dblp.org} +@article{DBLP:journals/fuin/AlhazovF014, + author = {Artiom Alhazov and + Rudolf Freund and + Sergiu Ivanov}, + title = {Length {P} Systems}, + journal = {Fundam. Inform.}, + volume = {134}, + number = {1-2}, + pages = {17--37}, + year = {2014}, + url = {http://dx.doi.org/10.3233/FI-2014-1088}, + doi = {10.3233/FI-2014-1088}, + timestamp = {Mon, 24 Nov 2014 00:00:00 +0100}, + biburl = {http://dblp.uni-trier.de/rec/bib/journals/fuin/AlhazovF014}, + bibsource = {dblp computer science bibliography, http://dblp.org} } -@inproceedings{DBLP:conf/membrane/AlhazovIR10, - author = {Artiom Alhazov and - Sergiu Ivanov and - Yurii Rogozhin}, - title = {Polymorphic {P} Systems}, - booktitle = {Membrane Computing - 11th International Conference, {CMC} 2010, Jena, - Germany, August 24-27, 2010. Revised Selected Papers}, - pages = {81--94}, - year = {2010}, - crossref = {DBLP:conf/membrane/2010}, - url = {http://dx.doi.org/10.1007/978-3-642-18123-8_9}, - doi = {10.1007/978-3-642-18123-8_9}, - timestamp = {Tue, 06 May 2014 01:00:00 +0200}, - biburl = {http://dblp.uni-trier.de/rec/bib/conf/membrane/AlhazovIR10}, - bibsource = {dblp computer science bibliography, http://dblp.org} -} - -@inproceedings{DBLP:conf/membrane/AlhazovCIR10, - author = {Artiom Alhazov and - Constantin Ciubotaru and - Sergiu Ivanov and - Yurii Rogozhin}, - title = {The Family of Languages Generated by Non-cooperative Membrane Systems}, - booktitle = {Membrane Computing - 11th International Conference, {CMC} 2010, Jena, - Germany, August 24-27, 2010. Revised Selected Papers}, - pages = {65--80}, - year = {2010}, - crossref = {DBLP:conf/membrane/2010}, - url = {http://dx.doi.org/10.1007/978-3-642-18123-8_8}, - doi = {10.1007/978-3-642-18123-8_8}, - timestamp = {Tue, 06 May 2014 01:00:00 +0200}, - biburl = {http://dblp.uni-trier.de/rec/bib/conf/membrane/AlhazovCIR10}, - bibsource = {dblp computer science bibliography, http://dblp.org} +@article{DBLP:journals/jalc/0001RV14, + author = {Sergiu Ivanov and + Yurii Rogozhin and + Sergey Verlan}, + title = {Small Universal Networks of Evolutionary Processors}, + journal = {Journal of Automata, Languages and Combinatorics}, + volume = {19}, + number = {1-4}, + pages = {133--144}, + year = {2014}, + timestamp = {Tue, 09 Sep 2014 01:00:00 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/journals/jalc/0001RV14}, + bibsource = {dblp computer science bibliography, http://dblp.org} } @inproceedings{DBLP:conf/dcfs/0001PV14, - author = {Sergiu Ivanov and + author = {Sergiu Ivanov and Elisabeth Pelz and Sergey Verlan}, - title = {Small Universal Non-deterministic Petri Nets with Inhibitor Arcs}, - booktitle = {Descriptional Complexity of Formal Systems - 16th International Workshop, - {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings}, - pages = {186--197}, - year = {2014}, - crossref = {DBLP:conf/dcfs/2014}, - url = {http://dx.doi.org/10.1007/978-3-319-09704-6_17}, - doi = {10.1007/978-3-319-09704-6_17}, - timestamp = {Mon, 14 Jul 2014 13:14:30 +0200}, - biburl = {http://dblp.uni-trier.de/rec/bib/conf/dcfs/0001PV14}, - bibsource = {dblp computer science bibliography, http://dblp.org} -} - -@proceedings{DBLP:conf/dcfs/2014, - editor = {Helmut J{\"{u}}rgensen and + editor = {Helmut J{\"{u}}rgensen and Juhani Karhum{\"{a}}ki and Alexander Okhotin}, - title = {Descriptional Complexity of Formal Systems - 16th International Workshop, + title = {Small Universal Non-deterministic Petri Nets with Inhibitor Arcs}, + booktitle = {Descriptional Complexity of Formal Systems - 16th International Workshop, {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings}, - series = {Lecture Notes in Computer Science}, - volume = {8614}, - publisher = {Springer}, - year = {2014}, - url = {http://dx.doi.org/10.1007/978-3-319-09704-6}, - doi = {10.1007/978-3-319-09704-6}, - isbn = {978-3-319-09703-9}, - timestamp = {Mon, 14 Jul 2014 13:14:30 +0200}, - biburl = {http://dblp.uni-trier.de/rec/bib/conf/dcfs/2014}, - bibsource = {dblp computer science bibliography, http://dblp.org} + series = {Lecture Notes in Computer Science}, + volume = {8614}, + pages = {186--197}, + publisher = {Springer}, + year = {2014}, + url = {http://dx.doi.org/10.1007/978-3-319-09704-6_17}, + doi = {10.1007/978-3-319-09704-6_17}, + timestamp = {Mon, 14 Jul 2014 13:14:30 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/conf/dcfs/0001PV14}, + bibsource = {dblp computer science bibliography, http://dblp.org} } -@proceedings{DBLP:conf/membrane/2010, - editor = {Marian Gheorghe and - Thomas Hinze and - Gheorghe Paun and - Grzegorz Rozenberg and - Arto Salomaa}, - title = {Membrane Computing - 11th International Conference, {CMC} 2010, Jena, - Germany, August 24-27, 2010. Revised Selected Papers}, - series = {Lecture Notes in Computer Science}, - volume = {6501}, - publisher = {Springer}, - year = {2011}, - url = {http://dx.doi.org/10.1007/978-3-642-18123-8}, - doi = {10.1007/978-3-642-18123-8}, - isbn = {978-3-642-18122-1}, - timestamp = {Tue, 15 Feb 2011 15:21:25 +0100}, - biburl = {http://dblp.uni-trier.de/rec/bib/conf/membrane/2010}, - bibsource = {dblp computer science bibliography, http://dblp.org} -} - -@proceedings{DBLP:conf/membrane/2011, - editor = {Marian Gheorghe and - Gheorghe Paun and +@inproceedings{DBLP:conf/membrane/Ivanov14, + author = {Sergiu Ivanov}, + editor = {Marian Gheorghe and Grzegorz Rozenberg and Arto Salomaa and - Sergey Verlan}, - title = {Membrane Computing - 12th International Conference, {CMC} 2011, Fontainebleau, - France, August 23-26, 2011, Revised Selected Papers}, - series = {Lecture Notes in Computer Science}, - volume = {7184}, - publisher = {Springer}, - year = {2012}, - url = {http://dx.doi.org/10.1007/978-3-642-28024-5}, - doi = {10.1007/978-3-642-28024-5}, - isbn = {978-3-642-28023-8}, - timestamp = {Fri, 13 Jan 2012 11:14:17 +0100}, - biburl = {http://dblp.uni-trier.de/rec/bib/conf/membrane/2011}, - bibsource = {dblp computer science bibliography, http://dblp.org} + Petr Sos{\'{\i}}k and + Claudio Zandron}, + title = {Polymorphic {P} Systems with Non-cooperative Rules and No Ingredients}, + booktitle = {Membrane Computing - 15th International Conference, {CMC} 2014, Prague, + Czech Republic, August 20-22, 2014, Revised Selected Papers}, + series = {Lecture Notes in Computer Science}, + volume = {8961}, + pages = {258--273}, + publisher = {Springer}, + year = {2014}, + url = {http://dx.doi.org/10.1007/978-3-319-14370-5_16}, + doi = {10.1007/978-3-319-14370-5_16}, + timestamp = {Fri, 22 May 2015 01:00:00 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/conf/membrane/Ivanov14}, + bibsource = {dblp computer science bibliography, http://dblp.org} } -@proceedings{DBLP:conf/membrane/2013, - editor = {Artiom Alhazov and +@article{DBLP:journals/ijcm/Ivanov13, + author = {Sergiu Ivanov}, + title = {A formal framework for clock-free networks of cells}, + journal = {Int. J. Comput. Math.}, + volume = {90}, + number = {4}, + pages = {776--788}, + year = {2013}, + url = {http://dx.doi.org/10.1080/00207160.2012.743652}, + doi = {10.1080/00207160.2012.743652}, + timestamp = {Tue, 06 May 2014 01:00:00 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/journals/ijcm/Ivanov13}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@inproceedings{DBLP:conf/membrane/IvanovV13, + author = {Sergiu Ivanov and + Sergey Verlan}, + editor = {Artiom Alhazov and Svetlana Cojocaru and Marian Gheorghe and Yurii Rogozhin and Grzegorz Rozenberg and Arto Salomaa}, - title = {Membrane Computing - 14th International Conference, {CMC} 2013, Chi{\c{s}}in{\u{a}}u, + title = {About One-Sided One-Symbol Insertion-Deletion {P} Systems}, + booktitle = {Membrane Computing - 14th International Conference, {CMC} 2013, Chi{\c{s}}in{\u{a}}u, Republic of Moldova, August 20-23, 2013, Revised Selected Papers}, - series = {Lecture Notes in Computer Science}, - volume = {8340}, - publisher = {Springer}, - year = {2014}, - url = {http://dx.doi.org/10.1007/978-3-642-54239-8}, - doi = {10.1007/978-3-642-54239-8}, - isbn = {978-3-642-54238-1}, - timestamp = {Tue, 21 Jan 2014 13:50:48 +0100}, - biburl = {http://dblp.uni-trier.de/rec/bib/conf/membrane/2013}, - bibsource = {dblp computer science bibliography, http://dblp.org} + series = {Lecture Notes in Computer Science}, + volume = {8340}, + pages = {225--237}, + publisher = {Springer}, + year = {2013}, + url = {http://dx.doi.org/10.1007/978-3-642-54239-8_16}, + doi = {10.1007/978-3-642-54239-8_16}, + timestamp = {Tue, 06 May 2014 01:00:00 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/conf/membrane/IvanovV13}, + bibsource = {dblp computer science bibliography, http://dblp.org} } -@proceedings{DBLP:conf/uc/2013, - editor = {Giancarlo Mauri and +@inproceedings{DBLP:conf/uc/FernauFISS13, + author = {Henning Fernau and + Rudolf Freund and + Sergiu Ivanov and + Markus L. Schmid and + K. G. Subramanian}, + editor = {Giancarlo Mauri and Alberto Dennunzio and Luca Manzoni and Antonio E. Porreca}, - title = {Unconventional Computation and Natural Computation - 12th International + title = {Array Insertion and Deletion {P} Systems}, + booktitle = {Unconventional Computation and Natural Computation - 12th International Conference, {UCNC} 2013, Milan, Italy, July 1-5, 2013. Proceedings}, - series = {Lecture Notes in Computer Science}, - volume = {7956}, - publisher = {Springer}, - year = {2013}, - url = {http://dx.doi.org/10.1007/978-3-642-39074-6}, - doi = {10.1007/978-3-642-39074-6}, - isbn = {978-3-642-39073-9}, - timestamp = {Tue, 04 Jun 2013 15:26:56 +0200}, - biburl = {http://dblp.uni-trier.de/rec/bib/conf/uc/2013}, - bibsource = {dblp computer science bibliography, http://dblp.org} + series = {Lecture Notes in Computer Science}, + volume = {7956}, + pages = {67--78}, + publisher = {Springer}, + year = {2013}, + url = {http://dx.doi.org/10.1007/978-3-642-39074-6_8}, + doi = {10.1007/978-3-642-39074-6_8}, + timestamp = {Tue, 06 May 2014 01:00:00 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/conf/uc/FernauFISS13}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@inproceedings{DBLP:journals/corr/FreundIOS13, + author = {Rudolf Freund and + Sergiu Ivanov and + Marion Oswald and + K. G. Subramanian}, + editor = {Turlough Neary and + Matthew Cook}, + title = {One-dimensional Array Grammars and {P} Systems with Array Insertion + and Deletion Rules}, + booktitle = {Proceedings Machines, Computations and Universality 2013, {MCU} 2013, + Z{\"{u}}rich, Switzerland, September 9-11, 2013.}, + series = {{EPTCS}}, + volume = {128}, + pages = {62--75}, + year = {2013}, + url = {http://dx.doi.org/10.4204/EPTCS.128.14}, + doi = {10.4204/EPTCS.128.14}, + timestamp = {Tue, 06 May 2014 01:00:00 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/FreundIOS13}, + bibsource = {dblp computer science bibliography, http://dblp.org} } @article{DBLP:journals/corr/IvanovPV13, - author = {Sergiu Ivanov and + author = {Sergiu Ivanov and Elisabeth Pelz and Sergey Verlan}, - title = {Small Universal Petri Nets with Inhibitor Arcs}, - journal = {CoRR}, - volume = {abs/1312.4414}, - year = {2013}, - url = {http://arxiv.org/abs/1312.4414}, - timestamp = {Tue, 06 May 2014 01:00:00 +0200}, - biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/IvanovPV13}, - bibsource = {dblp computer science bibliography, http://dblp.org} + title = {Small Universal Petri Nets with Inhibitor Arcs}, + journal = {CoRR}, + volume = {abs/1312.4414}, + year = {2013}, + url = {http://arxiv.org/abs/1312.4414}, + timestamp = {Tue, 06 May 2014 01:00:00 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/IvanovPV13}, + bibsource = {dblp computer science bibliography, http://dblp.org} } -@proceedings{DBLP:journals/corr/NearyC13, - editor = {Turlough Neary and - Matthew Cook}, - title = {Proceedings Machines, Computations and Universality 2013, {MCU} 2013, - Z{\"{u}}rich, Switzerland, September 9-11, 2013}, - series = {{EPTCS}}, - volume = {128}, - year = {2013}, - url = {http://dx.doi.org/10.4204/EPTCS.128}, - doi = {10.4204/EPTCS.128}, - timestamp = {Mon, 28 Oct 2013 16:56:55 +0100}, - biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/NearyC13}, - bibsource = {dblp computer science bibliography, http://dblp.org} +@article{DBLP:journals/csjm/Ivanov12, + author = {Sergiu Ivanov}, + title = {Static and Dynamic Membrane Structures}, + journal = {The Computer Science Journal of Moldova}, + volume = {20}, + number = {3}, + pages = {374--402}, + year = {2012}, + url = {http://www.math.md/publications/csjm/issues/v20-n3/11125/}, + timestamp = {Tue, 06 May 2014 01:00:00 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/journals/csjm/Ivanov12}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@article{DBLP:journals/ijncr/IvanovARG11, + author = {Sergiu Ivanov and + Artiom Alhazov and + Vladimir Rogojin and + Miguel A. Guti{\'{e}}rrez{-}Naranjo}, + title = {Forward and Backward Chaining with {P} Systems}, + journal = {{IJNCR}}, + volume = {2}, + number = {2}, + pages = {56--66}, + year = {2011}, + url = {http://dx.doi.org/10.4018/jncr.2011040105}, + doi = {10.4018/jncr.2011040105}, + timestamp = {Tue, 06 May 2014 01:00:00 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/journals/ijncr/IvanovARG11}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@inproceedings{DBLP:conf/membrane/Ivanov11, + author = {Sergiu Ivanov}, + editor = {Marian Gheorghe and + Gheorghe Paun and + Grzegorz Rozenberg and + Arto Salomaa and + Sergey Verlan}, + title = {Basic Concurrency Resolution in Clock-Free {P} Systems}, + booktitle = {Membrane Computing - 12th International Conference, {CMC} 2011, Fontainebleau, + France, August 23-26, 2011, Revised Selected Papers}, + series = {Lecture Notes in Computer Science}, + volume = {7184}, + pages = {226--242}, + publisher = {Springer}, + year = {2011}, + url = {http://dx.doi.org/10.1007/978-3-642-28024-5_16}, + doi = {10.1007/978-3-642-28024-5_16}, + timestamp = {Tue, 06 May 2014 01:00:00 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/conf/membrane/Ivanov11}, + bibsource = {dblp computer science bibliography, http://dblp.org} } @article{DBLP:journals/corr/abs-1112-5947, - author = {Sergiu Ivanov and + author = {Sergiu Ivanov and Sergey Verlan}, - title = {Random Context and Semi-Conditional Insertion-Deletion Systems}, - journal = {CoRR}, - volume = {abs/1112.5947}, - year = {2011}, - url = {http://arxiv.org/abs/1112.5947}, - timestamp = {Tue, 06 May 2014 01:00:00 +0200}, - biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1112-5947}, - bibsource = {dblp computer science bibliography, http://dblp.org} + title = {Random Context and Semi-Conditional Insertion-Deletion Systems}, + journal = {CoRR}, + volume = {abs/1112.5947}, + year = {2011}, + url = {http://arxiv.org/abs/1112.5947}, + timestamp = {Tue, 06 May 2014 01:00:00 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1112-5947}, + bibsource = {dblp computer science bibliography, http://dblp.org} } @article{DBLP:journals/csjm/AlhazovBBCCCDIMMMRRTVV10, - author = {Artiom Alhazov and + author = {Artiom Alhazov and Elena Boian and Liudmila Burtseva and Constantin Ciubotaru and @@ -277,128 +274,82 @@ Tatiana Tofan and Sergey Verlan and Tatiana Verlan}, - title = {Investigations on Natural Computing in the Institute of Mathematics + title = {Investigations on Natural Computing in the Institute of Mathematics and Computer Science}, - journal = {The Computer Science Journal of Moldova}, - volume = {18}, - number = {2}, - pages = {101--138}, - year = {2010}, - url = {http://www.math.md/publications/csjm/issues/v18-n2/10280/}, - timestamp = {Tue, 06 May 2014 01:00:00 +0200}, - biburl = {http://dblp.uni-trier.de/rec/bib/journals/csjm/AlhazovBBCCCDIMMMRRTVV10}, - bibsource = {dblp computer science bibliography, http://dblp.org} + journal = {The Computer Science Journal of Moldova}, + volume = {18}, + number = {2}, + pages = {101--138}, + year = {2010}, + url = {http://www.math.md/publications/csjm/issues/v18-n2/10280/}, + timestamp = {Tue, 06 May 2014 01:00:00 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/journals/csjm/AlhazovBBCCCDIMMMRRTVV10}, + bibsource = {dblp computer science bibliography, http://dblp.org} } @article{DBLP:journals/csjm/AlhazovCIR10, - author = {Artiom Alhazov and + author = {Artiom Alhazov and Constantin Ciubotaru and Sergiu Ivanov and Yurii Rogozhin}, - title = {Membrane Systems Languages Are Polynomial-Time Parsable}, - journal = {The Computer Science Journal of Moldova}, - volume = {18}, - number = {2}, - pages = {139--148}, - year = {2010}, - url = {http://www.math.md/publications/csjm/issues/v18-n2/10282/}, - timestamp = {Tue, 06 May 2014 01:00:00 +0200}, - biburl = {http://dblp.uni-trier.de/rec/bib/journals/csjm/AlhazovCIR10}, - bibsource = {dblp computer science bibliography, http://dblp.org} + title = {Membrane Systems Languages Are Polynomial-Time Parsable}, + journal = {The Computer Science Journal of Moldova}, + volume = {18}, + number = {2}, + pages = {139--148}, + year = {2010}, + url = {http://www.math.md/publications/csjm/issues/v18-n2/10282/}, + timestamp = {Tue, 06 May 2014 01:00:00 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/journals/csjm/AlhazovCIR10}, + bibsource = {dblp computer science bibliography, http://dblp.org} } -@article{DBLP:journals/csjm/Ivanov12, - author = {Sergiu Ivanov}, - title = {Static and Dynamic Membrane Structures}, - journal = {The Computer Science Journal of Moldova}, - volume = {20}, - number = {3}, - pages = {374--402}, - year = {2012}, - url = {http://www.math.md/publications/csjm/issues/v20-n3/11125/}, - timestamp = {Tue, 06 May 2014 01:00:00 +0200}, - biburl = {http://dblp.uni-trier.de/rec/bib/journals/csjm/Ivanov12}, - bibsource = {dblp computer science bibliography, http://dblp.org} +@inproceedings{DBLP:conf/membrane/AlhazovCIR10, + author = {Artiom Alhazov and + Constantin Ciubotaru and + Sergiu Ivanov and + Yurii Rogozhin}, + editor = {Marian Gheorghe and + Thomas Hinze and + Gheorghe Paun and + Grzegorz Rozenberg and + Arto Salomaa}, + title = {The Family of Languages Generated by Non-cooperative Membrane Systems}, + booktitle = {Membrane Computing - 11th International Conference, {CMC} 2010, Jena, + Germany, August 24-27, 2010. Revised Selected Papers}, + series = {Lecture Notes in Computer Science}, + volume = {6501}, + pages = {65--80}, + publisher = {Springer}, + year = {2010}, + url = {http://dx.doi.org/10.1007/978-3-642-18123-8_8}, + doi = {10.1007/978-3-642-18123-8_8}, + timestamp = {Tue, 06 May 2014 01:00:00 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/conf/membrane/AlhazovCIR10}, + bibsource = {dblp computer science bibliography, http://dblp.org} } -@article{DBLP:journals/fuin/0001V15, - author = {Sergiu Ivanov and - Sergey Verlan}, - title = {Random Context and Semi-conditional Insertion-deletion Systems}, - journal = {Fundamenta Informaticae}, - volume = {138}, - number = {1-2}, - pages = {127--144}, - year = {2015}, - url = {http://dx.doi.org/10.3233/FI-2015-1203}, - doi = {10.3233/FI-2015-1203}, - timestamp = {Fri, 17 Apr 2015 01:00:00 +0200}, - biburl = {http://dblp.uni-trier.de/rec/bib/journals/fuin/0001V15}, - bibsource = {dblp computer science bibliography, http://dblp.org} -} - -@article{DBLP:journals/fuin/AlhazovF014, - author = {Artiom Alhazov and - Rudolf Freund and - Sergiu Ivanov}, - title = {Length {P} Systems}, - journal = {Fundamenta Informaticae}, - volume = {134}, - number = {1-2}, - pages = {17--37}, - year = {2014}, - url = {http://dx.doi.org/10.3233/FI-2014-1088}, - doi = {10.3233/FI-2014-1088}, - timestamp = {Mon, 24 Nov 2014 00:00:00 +0100}, - biburl = {http://dblp.uni-trier.de/rec/bib/journals/fuin/AlhazovF014}, - bibsource = {dblp computer science bibliography, http://dblp.org} -} - -@article{DBLP:journals/ijcm/Ivanov13, - author = {Sergiu Ivanov}, - title = {A formal framework for clock-free networks of cells}, - journal = {International Journal of Computer Mathematics}, - volume = {90}, - number = {4}, - pages = {776--788}, - year = {2013}, - url = {http://dx.doi.org/10.1080/00207160.2012.743652}, - doi = {10.1080/00207160.2012.743652}, - timestamp = {Tue, 06 May 2014 01:00:00 +0200}, - biburl = {http://dblp.uni-trier.de/rec/bib/journals/ijcm/Ivanov13}, - bibsource = {dblp computer science bibliography, http://dblp.org} -} - -@article{DBLP:journals/ijncr/IvanovARG11, - author = {Sergiu Ivanov and - Artiom Alhazov and - Vladimir Rogojin and - Miguel A. Guti{\'{e}}rrez{-}Naranjo}, - title = {Forward and Backward Chaining with {P} Systems}, - journal = {International Journal of Natural Computing Research}, - volume = {2}, - number = {2}, - pages = {56--66}, - year = {2011}, - url = {http://dx.doi.org/10.4018/jncr.2011040105}, - doi = {10.4018/jncr.2011040105}, - timestamp = {Tue, 06 May 2014 01:00:00 +0200}, - biburl = {http://dblp.uni-trier.de/rec/bib/journals/ijncr/IvanovARG11}, - bibsource = {dblp computer science bibliography, http://dblp.org} -} - -@article{DBLP:journals/jalc/0001RV14, - author = {Sergiu Ivanov and - Yurii Rogozhin and - Sergey Verlan}, - title = {Small Universal Networks of Evolutionary Processors}, - journal = {Journal of Automata, Languages and Combinatorics}, - volume = {19}, - number = {1-4}, - pages = {133--144}, - year = {2014}, - timestamp = {Tue, 09 Sep 2014 01:00:00 +0200}, - biburl = {http://dblp.uni-trier.de/rec/bib/journals/jalc/0001RV14}, - bibsource = {dblp computer science bibliography, http://dblp.org} +@inproceedings{DBLP:conf/membrane/AlhazovIR10, + author = {Artiom Alhazov and + Sergiu Ivanov and + Yurii Rogozhin}, + editor = {Marian Gheorghe and + Thomas Hinze and + Gheorghe Paun and + Grzegorz Rozenberg and + Arto Salomaa}, + title = {Polymorphic {P} Systems}, + booktitle = {Membrane Computing - 11th International Conference, {CMC} 2010, Jena, + Germany, August 24-27, 2010. Revised Selected Papers}, + series = {Lecture Notes in Computer Science}, + volume = {6501}, + pages = {81--94}, + publisher = {Springer}, + year = {2010}, + url = {http://dx.doi.org/10.1007/978-3-642-18123-8_9}, + doi = {10.1007/978-3-642-18123-8_9}, + timestamp = {Tue, 06 May 2014 01:00:00 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/conf/membrane/AlhazovIR10}, + bibsource = {dblp computer science bibliography, http://dblp.org} } diff --git a/candidature.sty b/candidature.sty index 44884ad..bdb0cff 100644 --- a/candidature.sty +++ b/candidature.sty @@ -10,7 +10,9 @@ style=numeric, maxbibnames=99, doi=false, - url=false]{biblatex} + url=false, + defernumbers=true, +]{biblatex} \usepackage[ text={154mm,253mm}, top=20mm, diff --git a/candidature.tex b/candidature.tex index 5bf5cbf..092ae00 100644 --- a/candidature.tex +++ b/candidature.tex @@ -50,4 +50,8 @@ \input{recherche.tex} +\clearpage + +\input{publications.tex} + \end{document} diff --git a/publications.tex b/publications.tex new file mode 100644 index 0000000..cf44171 --- /dev/null +++ b/publications.tex @@ -0,0 +1,34 @@ +\defbibcheck{notarXiv}{% + \iffieldequalstr{journaltitle}{CoRR}{\skipentry}{} +} + +\defbibcheck{arXiv}{% + \iffieldequalstr{journaltitle}{CoRR}{}{\skipentry} +} + +\begin{refsection}[bib/sivanov.bib] +\section{Publications} +\nocite{*} +\printbibliography[ + heading=subbibliography, + title={Revues internationales}, + type=article, + prefixnumbers={j}, + check=notarXiv +] + +\printbibliography[ + heading=subbibliography, + title={Conférences et ateliers d'audience internationale}, + type=inproceedings, + prefixnumbers={c} +] + +\printbibliography[ + heading=subbibliography, + title={Publications informelles}, + type=article, + prefixnumbers={i}, + check=arXiv +] +\end{refsection}