diff --git a/bib/lifo.bib b/bib/lifo.bib new file mode 100644 index 0000000..f71dc7d --- /dev/null +++ b/bib/lifo.bib @@ -0,0 +1,170 @@ +@inproceedings{mcu/Zaitsev15, + author = {Dmitry A. Zaitsev}, + editor = {J{\'{e}}r{\^{o}}me Durand{-}Lose and + Benedek Nagy}, + title = {Universality in Infinite Petri Nets}, + booktitle = {Machines, Computations, and Universality - 7th International Conference, + {MCU} 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings}, + series = {Lecture Notes in Computer Science}, + volume = {9288}, + pages = {180--197}, + publisher = {Springer}, + year = {2015}, + url = {http://dx.doi.org/10.1007/978-3-319-23111-2_12}, + doi = {10.1007/978-3-319-23111-2_12}, + timestamp = {Sun, 30 Aug 2015 12:52:10 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/conf/mcu/Zaitsev15}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@Inbook{Kari2005, +author="Kari, Jarkko", +editor="De Felice, Clelia +and Restivo, Antonio", +title="Reversible Cellular Automata", +bookTitle="Developments in Language Theory: 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedings", +year="2005", +publisher="Springer Berlin Heidelberg", +address="Berlin, Heidelberg", +pages="57--68", +isbn="978-3-540-31682-4", +doi="10.1007/11505877_5", +url="http://dx.doi.org/10.1007/11505877_5" +} + +@article{Szwerinski85, + author = {Helge Szwerinski}, + title = {Symmetrical One-Dimensional Cellular Spaces}, + journal = {Information and Control}, + volume = {67}, + number = {1-3}, + pages = {163--172}, + year = {1985}, + url = {http://dx.doi.org/10.1016/S0019-9958(85)80033-4}, + doi = {10.1016/S0019-9958(85)80033-4}, + timestamp = {Wed, 06 Jul 2011 21:25:25 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/journals/iandc/Szwerinski85}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@incollection{CervelleDF09, + author = {Julien Cervelle and + Alberto Dennunzio and + Enrico Formenti}, + editor = {Robert A. Meyers}, + title = {Chaotic Behavior of Cellular Automata}, + booktitle = {Encyclopedia of Complexity and Systems Science}, + pages = {978--989}, + publisher = {Springer}, + year = {2009}, + url = {http://dx.doi.org/10.1007/978-0-387-30440-3_65}, + doi = {10.1007/978-0-387-30440-3_65}, + timestamp = {Fri, 25 Nov 2011 18:22:57 +0100}, + biburl = {http://dblp.uni-trier.de/rec/bib/reference/complexity/CervelleDF09}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@Inbook{Kutrib2015, +author="Kutrib, Martin", +editor="Isokawa, Teijiro +and Imai, Katsunobu +and Matsui, Nobuyuki +and Peper, Ferdinand +and Umeo, Hiroshi", +title="Complexity of One-Way Cellular Automata", +bookTitle="Cellular Automata and Discrete Complex Systems: 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers", +year="2015", +publisher="Springer International Publishing", +address="Cham", +pages="3--18", +isbn="978-3-319-18812-6", +doi="10.1007/978-3-319-18812-6_1", +url="http://dx.doi.org/10.1007/978-3-319-18812-6_1" +} + +@inproceedings{AlhazovI16, + author = {Artiom Alhazov and + Katsunobu Imai}, + title = {Particle Complexity of Universal Finite Number-Conserving Cellular + Automata}, + booktitle = {Fourth International Symposium on Computing and Networking, {CANDAR} + 2016, Hiroshima, Japan, November 22-25, 2016}, + pages = {209--214}, + publisher = {{IEEE} Computer Society}, + year = {2016}, + url = {http://dx.doi.org/10.1109/CANDAR.2016.0045}, + doi = {10.1109/CANDAR.2016.0045}, + timestamp = {Wed, 01 Feb 2017 11:57:17 +0100}, + biburl = {http://dblp.uni-trier.de/rec/bib/conf/ic-nc/AlhazovI16}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@article{post1946, +author = "Post, Emil L.", +fjournal = "Bulletin of the American Mathematical Society", +journal = "Bull. Amer. Math. Soc.", +month = "04", +number = "4", +pages = "264--268", +publisher = "American Mathematical Society", +title = "A variant of a recursively unsolvable problem", +url = "http://projecteuclid.org/euclid.bams/1183507843", +volume = "52", +year = "1946" +} + +@article{DennunzioFP14, + author = {Alberto Dennunzio and + Enrico Formenti and + Julien Provillard}, + title = {Three research directions in non-uniform cellular automata}, + journal = {Theoretical Computer Science}, + volume = {559}, + pages = {73--90}, + year = {2014}, + url = {http://dx.doi.org/10.1016/j.tcs.2014.06.046}, + doi = {10.1016/j.tcs.2014.06.046}, + timestamp = {Sun, 21 Dec 2014 11:22:04 +0100}, + biburl = {http://dblp.uni-trier.de/rec/bib/journals/tcs/DennunzioFP14}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@article{MaignanG11, + author = {Luidnel Maignan and + Fr{\'{e}}d{\'{e}}ric Gruau}, + title = {Gabriel Graphs in Arbitrary Metric Space and their Cellular Automaton + for Many Grids}, + journal = {{TAAS}}, + volume = {6}, + number = {2}, + pages = {12:1--12:14}, + year = {2011}, + url = {http://doi.acm.org/10.1145/1968513.1968515}, + doi = {10.1145/1968513.1968515}, + timestamp = {Fri, 06 Jan 2017 12:30:21 +0100}, + biburl = {http://dblp.uni-trier.de/rec/bib/journals/taas/MaignanG11}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} + +@inproceedings{BessonD16, + author = {Tom Besson and + J{\'{e}}r{\^{o}}me Durand{-}Lose}, + editor = {Matthew Cook and + Turlough Neary}, + title = {Exact Discretization of 3-Speed Rational Signal Machines into Cellular + Automata}, + booktitle = {Cellular Automata and Discrete Complex Systems - 22nd {IFIP} {WG} + 1.5 International Workshop, {AUTOMATA} 2016, Zurich, Switzerland, + June 15-17, 2016, Proceedings}, + series = {Lecture Notes in Computer Science}, + volume = {9664}, + pages = {63--76}, + publisher = {Springer}, + year = {2016}, + url = {http://dx.doi.org/10.1007/978-3-319-39300-1_6}, + doi = {10.1007/978-3-319-39300-1_6}, + timestamp = {Fri, 03 Jun 2016 15:29:46 +0200}, + biburl = {http://dblp.uni-trier.de/rec/bib/conf/automata/BessonD16}, + bibsource = {dblp computer science bibliography, http://dblp.org} +} +