default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Enrico Formenti
@article{DBLP:journals/isci/DennunzioFM24,
author = {Alberto Dennunzio and
Enrico Formenti and
Luciano Margara},
title = {An efficient algorithm deciding chaos for linear cellular automata
over (Z/mZ)n with applications to data encryption},
journal = {Inf. Sci.},
volume = {657},
pages = {119942},
year = {2024},
url = {https://doi.org/10.1016/j.ins.2023.119942},
doi = {10.1016/J.INS.2023.119942},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/DennunzioFM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/AsconeBFLM24,
author = {Rocco Ascone and
Giulia Bernardini and
Enrico Formenti and
Francesco Leiter and
Luca Manzoni},
title = {Pure reaction automata},
journal = {Nat. Comput.},
volume = {23},
number = {2},
pages = {189--204},
year = {2024},
url = {https://doi.org/10.1007/s11047-024-09980-7},
doi = {10.1007/S11047-024-09980-7},
timestamp = {Tue, 13 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/AsconeBFLM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DoreFPR24,
author = {Fran{\c{c}}ois Dor{\'{e}} and
Enrico Formenti and
Antonio E. Porreca and
Sara Riva},
title = {Decomposition and factorisation of transients in functional graphs},
journal = {Theor. Comput. Sci.},
volume = {999},
pages = {114514},
year = {2024},
url = {https://doi.org/10.1016/j.tcs.2024.114514},
doi = {10.1016/J.TCS.2024.114514},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/DoreFPR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ascat/FormentiK24,
author = {Enrico Formenti and
Supreeti Kamilya},
editor = {Mamata Dalui and
Sukanta Das and
Enrico Formenti},
title = {On Elementary Second Order Cellular Automata},
booktitle = {Cellular Automata Technology - Third Asian Symposium, {ASCAT} 2024,
Durgapur, India, February 29 - March 2, 2024, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {2021},
pages = {204--218},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-56943-2\_16},
doi = {10.1007/978-3-031-56943-2\_16},
timestamp = {Sat, 04 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ascat/FormentiK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ascat/2024,
editor = {Mamata Dalui and
Sukanta Das and
Enrico Formenti},
title = {Cellular Automata Technology - Third Asian Symposium, {ASCAT} 2024,
Durgapur, India, February 29 - March 2, 2024, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {2021},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-56943-2},
doi = {10.1007/978-3-031-56943-2},
isbn = {978-3-031-56942-5},
timestamp = {Fri, 19 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ascat/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-16923,
author = {Alberto Dennunzio and
Enrico Formenti and
Luciano Margara and
Sara Riva},
title = {A note on solving basic equations over the semiring of functional
digraphs},
journal = {CoRR},
volume = {abs/2402.16923},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.16923},
doi = {10.48550/ARXIV.2402.16923},
eprinttype = {arXiv},
eprint = {2402.16923},
timestamp = {Mon, 25 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-16923.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/DennunzioFM23,
author = {Alberto Dennunzio and
Enrico Formenti and
Luciano Margara},
title = {An Easy to Check Characterization of Positive Expansivity for Additive
Cellular Automata Over a Finite Abelian Group},
journal = {{IEEE} Access},
volume = {11},
pages = {121246--121255},
year = {2023},
url = {https://doi.org/10.1109/ACCESS.2023.3328540},
doi = {10.1109/ACCESS.2023.3328540},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/DennunzioFM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmemcom/DennunzioFMMM23,
author = {Alberto Dennunzio and
Enrico Formenti and
Luca Manzoni and
Luciano Margara and
Giuliamaria Menara},
title = {A topology for P-systems with active membranes},
journal = {J. Membr. Comput.},
volume = {5},
number = {4},
pages = {193--204},
year = {2023},
url = {https://doi.org/10.1007/s41965-023-00132-x},
doi = {10.1007/S41965-023-00132-X},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jmemcom/DennunzioFMMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jocs/DennunzioFMR23,
author = {Alberto Dennunzio and
Enrico Formenti and
Luciano Margara and
Sara Riva},
title = {An algorithmic pipeline for solving equations over discrete dynamical
systems modelling hypothesis on real phenomena},
journal = {J. Comput. Sci.},
volume = {66},
pages = {101932},
year = {2023},
url = {https://doi.org/10.1016/j.jocs.2022.101932},
doi = {10.1016/J.JOCS.2022.101932},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jocs/DennunzioFMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/FormentiST23,
author = {Enrico Formenti and
Sylvain Sen{\'{e}} and
Guillaume Theyssier},
title = {Preface},
journal = {Nat. Comput.},
volume = {22},
number = {3},
pages = {409--410},
year = {2023},
url = {https://doi.org/10.1007/s11047-023-09952-3},
doi = {10.1007/S11047-023-09952-3},
timestamp = {Fri, 06 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/FormentiST23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rp/2023,
editor = {Olivier Bournez and
Enrico Formenti and
Igor Potapov},
title = {Reachability Problems - 17th International Conference, {RP} 2023,
Nice, France, October 11-13, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14235},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45286-4},
doi = {10.1007/978-3-031-45286-4},
isbn = {978-3-031-45285-7},
timestamp = {Tue, 10 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-05136,
author = {Fran{\c{c}}ois Dor{\'{e}} and
Enrico Formenti},
title = {A New Heuristic for Rectilinear Crossing Minimization},
journal = {CoRR},
volume = {abs/2303.05136},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.05136},
doi = {10.48550/ARXIV.2303.05136},
eprinttype = {arXiv},
eprint = {2303.05136},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-05136.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-07505,
author = {Enrico Formenti and
Luca Mariot},
title = {Exhaustive Generation of Linear Orthogonal Cellular Automata},
journal = {CoRR},
volume = {abs/2307.07505},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.07505},
doi = {10.48550/ARXIV.2307.07505},
eprinttype = {arXiv},
eprint = {2307.07505},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-07505.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-08287,
author = {Fran{\c{c}}ois Dor{\'{e}} and
Enrico Formenti},
title = {Drawing non-planar graphs with rotation systems on the Klein bottle},
journal = {CoRR},
volume = {abs/2307.08287},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.08287},
doi = {10.48550/ARXIV.2307.08287},
eprinttype = {arXiv},
eprint = {2307.08287},
timestamp = {Tue, 25 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-08287.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-03064,
author = {Alberto Dennunzio and
Enrico Formenti and
Luciano Margara},
title = {An Easily Checkable Algebraic Characterization of Positive Expansivity
for Additive Cellular Automata over a Finite Abelian Group},
journal = {CoRR},
volume = {abs/2308.03064},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.03064},
doi = {10.48550/ARXIV.2308.03064},
eprinttype = {arXiv},
eprint = {2308.03064},
timestamp = {Mon, 21 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-03064.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/OliveiraFPRR22,
author = {Pedro Paulo Balbi de Oliveira and
Enrico Formenti and
K{\'{e}}vin Perrot and
Sara Riva and
Eurico L. P. Ruivo},
title = {Non-maximal sensitivity to synchronism in elementary cellular automata:
Exact asymptotic measures},
journal = {Theor. Comput. Sci.},
volume = {926},
pages = {21--50},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2022.05.024},
doi = {10.1016/J.TCS.2022.05.024},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/OliveiraFPRR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FormentiPRS22,
author = {Enrico Formenti and
Christophe Papazian and
Adrien Richard and
Pierre{-}Alain Scribot},
editor = {Andrew Adamatzky},
title = {From Additive Flowers to Additive Automata Networks},
booktitle = {Automata and Complexity - Essays Presented to Eric Goles on the Occasion
of His 70th Birthday},
volume = {42},
pages = {323--343},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-92551-2\_18},
doi = {10.1007/978-3-030-92551-2\_18},
timestamp = {Fri, 22 Apr 2022 14:45:29 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FormentiPRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcu/Formenti22,
author = {Enrico Formenti},
editor = {J{\'{e}}r{\^{o}}me Durand{-}Lose and
Gy{\"{o}}rgy Vaszil},
title = {Complexity of Local, Global and Universality Properties in Finite
Dynamical Systems},
booktitle = {Machines, Computations, and Universality - 9th International Conference,
{MCU} 2022, Debrecen, Hungary, August 31 - September 2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13419},
pages = {1--11},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-13502-6\_1},
doi = {10.1007/978-3-031-13502-6\_1},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mcu/Formenti22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-00406,
author = {Enrico Formenti and
Luca Mariot},
title = {An Enumeration Algorithm for Binary Coprime Polynomials with Nonzero
Constant Term},
journal = {CoRR},
volume = {abs/2207.00406},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.00406},
doi = {10.48550/ARXIV.2207.00406},
eprinttype = {arXiv},
eprint = {2207.00406},
timestamp = {Wed, 06 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-00406.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-08310,
author = {Fran{\c{c}}ois Dor{\'{e}} and
Enrico Formenti and
Antonio E. Porreca and
Sara Riva},
title = {Algorithmic reconstruction of discrete dynamics},
journal = {CoRR},
volume = {abs/2208.08310},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.08310},
doi = {10.48550/ARXIV.2208.08310},
eprinttype = {arXiv},
eprint = {2208.08310},
timestamp = {Mon, 22 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-08310.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-07030,
author = {Alberto Dennunzio and
Enrico Formenti and
Luciano Margara},
title = {Hard to Detect Factors of Univariate Integer Polynomials},
journal = {CoRR},
volume = {abs/2210.07030},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.07030},
doi = {10.48550/ARXIV.2210.07030},
eprinttype = {arXiv},
eprint = {2210.07030},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-07030.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/DennunzioFGM21,
author = {Alberto Dennunzio and
Enrico Formenti and
Darij Grinberg and
Luciano Margara},
title = {Decidable characterizations of dynamical properties for additive cellular
automata over a finite abelian group with applications to data encryption},
journal = {Inf. Sci.},
volume = {563},
pages = {183--195},
year = {2021},
url = {https://doi.org/10.1016/j.ins.2021.02.012},
doi = {10.1016/J.INS.2021.02.012},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/DennunzioFGM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DennunzioFGM21,
author = {Alberto Dennunzio and
Enrico Formenti and
Darij Grinberg and
Luciano Margara},
title = {An efficiently computable characterization of stability and instability
for linear cellular automata},
journal = {J. Comput. Syst. Sci.},
volume = {122},
pages = {63--71},
year = {2021},
url = {https://doi.org/10.1016/j.jcss.2021.06.001},
doi = {10.1016/J.JCSS.2021.06.001},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/DennunzioFGM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/FormentiRR21,
author = {Enrico Formenti and
Jean{-}Charles R{\'{e}}gin and
Sara Riva},
editor = {Peter J. Stuckey},
title = {MDDs Boost Equation Solving on Discrete Dynamical Systems},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and
Operations Research - 18th International Conference, {CPAIOR} 2021,
Vienna, Austria, July 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12735},
pages = {196--213},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-78230-6\_13},
doi = {10.1007/978-3-030-78230-6\_13},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/FormentiRR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dcc/MariotGFL20,
author = {Luca Mariot and
Maximilien Gadouleau and
Enrico Formenti and
Alberto Leporati},
title = {Mutually orthogonal latin squares based on cellular automata},
journal = {Des. Codes Cryptogr.},
volume = {88},
number = {2},
pages = {391--411},
year = {2020},
url = {https://doi.org/10.1007/s10623-019-00689-8},
doi = {10.1007/S10623-019-00689-8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dcc/MariotGFL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FormentiP20,
author = {Enrico Formenti and
K{\'{e}}vin Perrot},
title = {How Hard is it to Predict Sandpiles on Lattices? {A} Survey},
journal = {Fundam. Informaticae},
volume = {171},
number = {1-4},
pages = {189--219},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1879},
doi = {10.3233/FI-2020-1879},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/FormentiP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DennunzioF20,
author = {Alberto Dennunzio and
Enrico Formenti},
title = {Preface},
journal = {Inf. Comput.},
volume = {274},
pages = {104530},
year = {2020},
url = {https://doi.org/10.1016/j.ic.2020.104530},
doi = {10.1016/J.IC.2020.104530},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/DennunzioF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/DennunzioFGM20,
author = {Alberto Dennunzio and
Enrico Formenti and
Darij Grinberg and
Luciano Margara},
title = {Chaos and ergodicity are decidable for linear cellular automata over
(Z/mZ)n},
journal = {Inf. Sci.},
volume = {539},
pages = {136--144},
year = {2020},
url = {https://doi.org/10.1016/j.ins.2020.05.123},
doi = {10.1016/J.INS.2020.05.123},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/DennunzioFGM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/FormentiS20,
author = {Enrico Formenti and
Sylvain Sen{\'{e}}},
title = {Preface},
journal = {Nat. Comput.},
volume = {19},
number = {1},
pages = {1--2},
year = {2020},
url = {https://doi.org/10.1007/s11047-019-09780-4},
doi = {10.1007/S11047-019-09780-4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/FormentiS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/DennunzioF20,
author = {Alberto Dennunzio and
Enrico Formenti},
title = {Preface},
journal = {Nat. Comput.},
volume = {19},
number = {2},
pages = {271},
year = {2020},
url = {https://doi.org/10.1007/s11047-020-09790-7},
doi = {10.1007/S11047-020-09790-7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/DennunzioF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DennunzioFGM20,
author = {Alberto Dennunzio and
Enrico Formenti and
Darij Grinberg and
Luciano Margara},
title = {Dynamical behavior of additive cellular automata over finite abelian
groups},
journal = {Theor. Comput. Sci.},
volume = {843},
pages = {45--56},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2020.06.021},
doi = {10.1016/J.TCS.2020.06.021},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/DennunzioFGM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acri/FormentiP20,
author = {Enrico Formenti and
Jean{-}Louis Paquelin},
editor = {Tomasz M. Gwizdalla and
Luca Manzoni and
Georgios Ch. Sirakoulis and
Stefania Bandini and
Krzysztof Podlaski},
title = {High Order Cellular Automata for Edge Detection: {A} Preliminary Study},
booktitle = {Cellular Automata - 14th International Conference on Cellular Automata
for Research and Industry, {ACRI} 2020, Lodz, Poland, December 2-4,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12599},
pages = {80--89},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-69480-7\_9},
doi = {10.1007/978-3-030-69480-7\_9},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acri/FormentiP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/OliveiraFPRR20,
author = {Pedro Paulo Balbi de Oliveira and
Enrico Formenti and
K{\'{e}}vin Perrot and
Sara Riva and
Eurico L. P. Ruivo},
editor = {Hector Zenil},
title = {Non-maximal Sensitivity to Synchronism in Periodic Elementary Cellular
Automata: Exact Asymptotic Measures},
booktitle = {Cellular Automata and Discrete Complex Systems - 26th {IFIP} {WG}
1.5 International Workshop, {AUTOMATA} 2020, Stockholm, Sweden, August
10-12, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12286},
pages = {14--28},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61588-8\_2},
doi = {10.1007/978-3-030-61588-8\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/automata/OliveiraFPRR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DennunzioFGM20,
author = {Alberto Dennunzio and
Enrico Formenti and
Darij Grinberg and
Luciano Margara},
editor = {Artur Czumaj and
Anuj Dawar and
Emanuela Merelli},
title = {From Linear to Additive Cellular Automata},
booktitle = {47th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2020, July 8-11, 2020, Saarbr{\"{u}}cken, Germany (Virtual
Conference)},
series = {LIPIcs},
volume = {168},
pages = {125:1--125:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2020.125},
doi = {10.4230/LIPICS.ICALP.2020.125},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DennunzioFGM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-07128,
author = {Pedro Paulo Balbi de Oliveira and
Enrico Formenti and
K{\'{e}}vin Perrot and
Sara Riva and
Eurico L. P. Ruivo},
title = {Non-maximal sensitivity to synchronism in periodic elementary cellular
automata: exact asymptotic measures},
journal = {CoRR},
volume = {abs/2004.07128},
year = {2020},
url = {https://arxiv.org/abs/2004.07128},
eprinttype = {arXiv},
eprint = {2004.07128},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-07128.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DennunzioFMP19,
author = {Alberto Dennunzio and
Enrico Formenti and
Luca Manzoni and
Antonio E. Porreca},
title = {Complexity of the dynamics of reaction systems},
journal = {Inf. Comput.},
volume = {267},
pages = {96--109},
year = {2019},
url = {https://doi.org/10.1016/j.ic.2019.03.006},
doi = {10.1016/J.IC.2019.03.006},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/DennunzioFMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/DennunzioFMMP19,
author = {Alberto Dennunzio and
Enrico Formenti and
Luca Manzoni and
Luciano Margara and
Antonio E. Porreca},
title = {On the dynamical behaviour of linear higher-order cellular automata
and its decidability},
journal = {Inf. Sci.},
volume = {486},
pages = {73--87},
year = {2019},
url = {https://doi.org/10.1016/j.ins.2019.02.023},
doi = {10.1016/J.INS.2019.02.023},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/DennunzioFMMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cibb/DennunzioFMMR19,
author = {Alberto Dennunzio and
Enrico Formenti and
Luciano Margara and
Valentin Montmirail and
Sara Riva},
editor = {Paolo Cazzaniga and
Daniela Besozzi and
Ivan Merelli and
Luca Manzoni},
title = {Solving Equations on Discrete Dynamical Systems},
booktitle = {Computational Intelligence Methods for Bioinformatics and Biostatistics
- 16th International Meeting, {CIBB} 2019, Bergamo, Italy, September
4-6, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12313},
pages = {119--132},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-63061-4\_12},
doi = {10.1007/978-3-030-63061-4\_12},
timestamp = {Thu, 17 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cibb/DennunzioFMMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/DennunzioFMMP19,
author = {Alberto Dennunzio and
Enrico Formenti and
Luca Manzoni and
Luciano Margara and
Antonio E. Porreca},
editor = {Carlos Mart{\'{\i}}n{-}Vide and
Alexander Okhotin and
Dana Shapira},
title = {Decidability of Sensitivity and Equicontinuity for Linear Higher-Order
Cellular Automata},
booktitle = {Language and Automata Theory and Applications - 13th International
Conference, {LATA} 2019, St. Petersburg, Russia, March 26-29, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11417},
pages = {95--107},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-13435-8\_7},
doi = {10.1007/978-3-030-13435-8\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/DennunzioFMMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/DennunzioFGM19,
author = {Alberto Dennunzio and
Enrico Formenti and
Darij Grinberg and
Luciano Margara},
editor = {Peter Rossmanith and
Pinar Heggernes and
Joost{-}Pieter Katoen},
title = {Additive Cellular Automata Over Finite Abelian Groups: Topological
and Measure Theoretic Properties},
booktitle = {44th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2019, August 26-30, 2019, Aachen, Germany},
series = {LIPIcs},
volume = {138},
pages = {68:1--68:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2019.68},
doi = {10.4230/LIPICS.MFCS.2019.68},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/DennunzioFGM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-06775,
author = {Alberto Dennunzio and
Enrico Formenti and
Luca Manzoni and
Luciano Margara and
Antonio E. Porreca},
title = {On the dynamical behaviour of linear higher-order cellular automata
and its decidability},
journal = {CoRR},
volume = {abs/1902.06775},
year = {2019},
url = {http://arxiv.org/abs/1902.06775},
eprinttype = {arXiv},
eprint = {1902.06775},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-06775.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-07913,
author = {Alberto Dennunzio and
Enrico Formenti and
Luca Manzoni and
Antonio E. Porreca},
title = {Complexity of the dynamics of reaction systems},
journal = {CoRR},
volume = {abs/1903.07913},
year = {2019},
url = {http://arxiv.org/abs/1903.07913},
eprinttype = {arXiv},
eprint = {1903.07913},
timestamp = {Mon, 01 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-07913.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-08249,
author = {Luca Mariot and
Maximilien Gadouleau and
Enrico Formenti and
Alberto Leporati},
title = {Mutually Orthogonal Latin Squares based on Cellular Automata},
journal = {CoRR},
volume = {abs/1906.08249},
year = {2019},
url = {http://arxiv.org/abs/1906.08249},
eprinttype = {arXiv},
eprint = {1906.08249},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-08249.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-08565,
author = {Alberto Dennunzio and
Enrico Formenti and
Darij Grinberg and
Luciano Margara},
title = {Integrality of matrices, finiteness of matrix semigroups, and dynamics
of linear cellular automata},
journal = {CoRR},
volume = {abs/1907.08565},
year = {2019},
url = {http://arxiv.org/abs/1907.08565},
eprinttype = {arXiv},
eprint = {1907.08565},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-08565.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-12150,
author = {K{\'{e}}vin Perrot and
Enrico Formenti},
title = {How hard is it to predict sandpiles on lattices? {A} survey},
journal = {CoRR},
volume = {abs/1909.12150},
year = {2019},
url = {http://arxiv.org/abs/1909.12150},
eprinttype = {arXiv},
eprint = {1909.12150},
timestamp = {Fri, 27 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-12150.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/asc/ClergueVF18,
author = {Manuel Clergue and
S{\'{e}}bastien V{\'{e}}rel and
Enrico Formenti},
title = {An Iterated Local Search to find many solutions of the 6-states Firing
Squad Synchronization Problem},
journal = {Appl. Soft Comput.},
volume = {66},
pages = {449--461},
year = {2018},
url = {https://doi.org/10.1016/j.asoc.2018.01.026},
doi = {10.1016/J.ASOC.2018.01.026},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/asc/ClergueVF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jca/AutranF18,
author = {S{\'{e}}bastien Autran and
Enrico Formenti},
title = {More Decision Algorithms for Global Properties of 1D Cellular Automata},
journal = {J. Cell. Autom.},
volume = {13},
number = {1-2},
pages = {1--14},
year = {2018},
url = {http://www.oldcitypublishing.com/journals/jca-home/jca-issue-contents/jca-volume-13-number-1-2-2018/jca-13-1-2-p-1-14/},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jca/AutranF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jca/FormentiPR18,
author = {Enrico Formenti and
K{\'{e}}vin Perrot and
Eric R{\'{e}}mila},
title = {Computational Complexity of the Avalanche Problem for One Dimensional
Decreasing Sandpiles},
journal = {J. Cell. Autom.},
volume = {13},
number = {3},
pages = {215--228},
year = {2018},
url = {http://www.oldcitypublishing.com/journals/jca-home/jca-issue-contents/jca-volume-13-number-3-2018/jca-13-3-p-215-228/},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jca/FormentiPR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acri/DennunzioDFMP18,
author = {Alberto Dennunzio and
Valentina Dorigatti and
Enrico Formenti and
Luca Manzoni and
Antonio E. Porreca},
editor = {Giancarlo Mauri and
Samira El Yacoubi and
Alberto Dennunzio and
Katsuhiro Nishinari and
Luca Manzoni},
title = {Polynomial Equations over Finite, Discrete-Time Dynamical Systems},
booktitle = {Cellular Automata - 13th International Conference on Cellular Automata
for Research and Industry, {ACRI} 2018, Como, Italy, September 17-21,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11115},
pages = {298--306},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99813-8\_27},
doi = {10.1007/978-3-319-99813-8\_27},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acri/DennunzioDFMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/FormentiM18,
author = {Enrico Formenti and
Paolo Massazza},
editor = {Stavros Konstantinidis and
Giovanni Pighizzini},
title = {On the Generation of 2-Polyominoes},
booktitle = {Descriptional Complexity of Formal Systems - 20th {IFIP} {WG} 1.02
International Conference, {DCFS} 2018, Halifax, NS, Canada, July 25-27,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10952},
pages = {101--113},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94631-3\_9},
doi = {10.1007/978-3-319-94631-3\_9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/FormentiM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-05498,
author = {Enrico Formenti and
K{\'{e}}vin Perrot and
Eric R{\'{e}}mila},
title = {Computational complexity of the avalanche problem on one dimensional
Kadanoff sandpiles},
journal = {CoRR},
volume = {abs/1803.05498},
year = {2018},
url = {http://arxiv.org/abs/1803.05498},
eprinttype = {arXiv},
eprint = {1803.05498},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-05498.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/FormentiM17,
author = {Enrico Formenti and
Paolo Massazza},
title = {From Tetris to polyominoes generation},
journal = {Electron. Notes Discret. Math.},
volume = {59},
pages = {79--98},
year = {2017},
url = {https://doi.org/10.1016/j.endm.2017.05.007},
doi = {10.1016/J.ENDM.2017.05.007},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/endm/FormentiM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/MariotLDF17,
author = {Luca Mariot and
Alberto Leporati and
Alberto Dennunzio and
Enrico Formenti},
title = {Computing the periods of preimages in surjective cellular automata},
journal = {Nat. Comput.},
volume = {16},
number = {3},
pages = {367--381},
year = {2017},
url = {https://doi.org/10.1007/s11047-016-9586-x},
doi = {10.1007/S11047-016-9586-X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/MariotLDF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DennunzioFMMP17,
author = {Alberto Dennunzio and
Enrico Formenti and
Luca Manzoni and
Giancarlo Mauri and
Antonio E. Porreca},
title = {Computational complexity of finite asynchronous cellular automata},
journal = {Theor. Comput. Sci.},
volume = {664},
pages = {131--143},
year = {2017},
url = {https://doi.org/10.1016/j.tcs.2015.12.003},
doi = {10.1016/J.TCS.2015.12.003},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/DennunzioFMMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/MariotFL17,
author = {Luca Mariot and
Enrico Formenti and
Alberto Leporati},
editor = {Alberto Dennunzio and
Enrico Formenti and
Luca Manzoni and
Antonio E. Porreca},
title = {Enumerating Orthogonal Latin Squares Generated by Bipermutive Cellular
Automata},
booktitle = {Cellular Automata and Discrete Complex Systems - 23rd {IFIP} {WG}
1.5 International Workshop, {AUTOMATA} 2017, Milan, Italy, June 7-9,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10248},
pages = {151--164},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-58631-1\_12},
doi = {10.1007/978-3-319-58631-1\_12},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/automata/MariotFL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/automata/2017,
editor = {Alberto Dennunzio and
Enrico Formenti and
Luca Manzoni and
Antonio E. Porreca},
title = {Cellular Automata and Discrete Complex Systems - 23rd {IFIP} {WG}
1.5 International Workshop, {AUTOMATA} 2017, Milan, Italy, June 7-9,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10248},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-58631-1},
doi = {10.1007/978-3-319-58631-1},
isbn = {978-3-319-58630-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/automata/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/DennunzioFMP16,
author = {Alberto Dennunzio and
Enrico Formenti and
Luca Manzoni and
Antonio E. Porreca},
editor = {Adrian{-}Horia Dediu and
Jan Janousek and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {Reachability in Resource-Bounded Reaction Systems},
booktitle = {Language and Automata Theory and Applications - 10th International
Conference, {LATA} 2016, Prague, Czech Republic, March 14-18, 2016,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9618},
pages = {592--602},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30000-9\_45},
doi = {10.1007/978-3-319-30000-9\_45},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/DennunzioFMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MariotFL16,
author = {Luca Mariot and
Enrico Formenti and
Alberto Leporati},
title = {Constructing Orthogonal Latin Squares from Linear Cellular Automata},
journal = {CoRR},
volume = {abs/1610.00139},
year = {2016},
url = {http://arxiv.org/abs/1610.00139},
eprinttype = {arXiv},
eprint = {1610.00139},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MariotFL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/FormentiMP15,
author = {Enrico Formenti and
Luca Manzoni and
Antonio E. Porreca},
title = {On the complexity of occurrence and convergence problems in reaction
systems},
journal = {Nat. Comput.},
volume = {14},
number = {1},
pages = {185--191},
year = {2015},
url = {https://doi.org/10.1007/s11047-014-9456-3},
doi = {10.1007/S11047-014-9456-3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/FormentiMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/DennunzioFMW15,
author = {Alberto Dennunzio and
Enrico Formenti and
Giancarlo Mauri and
Thomas Worsch},
title = {Foreword: asynchronous behavior of cellular automata and discrete
models},
journal = {Nat. Comput.},
volume = {14},
number = {4},
pages = {505--506},
year = {2015},
url = {https://doi.org/10.1007/s11047-015-9524-3},
doi = {10.1007/S11047-015-9524-3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/DennunzioFMW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DennunzioFM15,
author = {Alberto Dennunzio and
Enrico Formenti and
Luca Manzoni},
title = {Reaction systems and extremal combinatorics properties},
journal = {Theor. Comput. Sci.},
volume = {598},
pages = {138--149},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.06.001},
doi = {10.1016/J.TCS.2015.06.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DennunzioFM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DennunzioFMP15,
author = {Alberto Dennunzio and
Enrico Formenti and
Luca Manzoni and
Antonio E. Porreca},
title = {Ancestors, descendants, and gardens of Eden in reaction systems},
journal = {Theor. Comput. Sci.},
volume = {608},
pages = {16--26},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.05.046},
doi = {10.1016/J.TCS.2015.05.046},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/DennunzioFMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/DennunzioFMP15,
author = {Alberto Dennunzio and
Enrico Formenti and
Luca Manzoni and
Antonio E. Porreca},
editor = {Adrian{-}Horia Dediu and
Enrico Formenti and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {Preimage Problems for Reaction Systems},
booktitle = {Language and Automata Theory and Applications - 9th International
Conference, {LATA} 2015, Nice, France, March 2-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8977},
pages = {537--548},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15579-1\_42},
doi = {10.1007/978-3-319-15579-1\_42},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/DennunzioFMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lata/2015,
editor = {Adrian{-}Horia Dediu and
Enrico Formenti and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {Language and Automata Theory and Applications - 9th International
Conference, {LATA} 2015, Nice, France, March 2-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8977},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15579-1},
doi = {10.1007/978-3-319-15579-1},
isbn = {978-3-319-15578-4},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jca/DennunzioFM14,
author = {Alberto Dennunzio and
Enrico Formenti and
Luca Manzoni},
title = {Limit Properties of Doubly Quiescent \emph{m}-Asynchronous Elementary
Cellular Automata},
journal = {J. Cell. Autom.},
volume = {9},
number = {5-6},
pages = {341--355},
year = {2014},
url = {http://www.oldcitypublishing.com/journals/jca-home/jca-issue-contents/jca-volume-9-number-5-6-2014/jca-9-5-6-p-341-355/},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jca/DennunzioFM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DennunzioFW14,
author = {Alberto Dennunzio and
Enrico Formenti and
Michael Weiss},
title = {Multidimensional cellular automata: closing property, quasi-expansivity,
and (un)decidability issues},
journal = {Theor. Comput. Sci.},
volume = {516},
pages = {40--59},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2013.11.005},
doi = {10.1016/J.TCS.2013.11.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DennunzioFW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FormentiPPH14,
author = {Enrico Formenti and
Van Trung Pham and
Thi Ha Duong Phan and
Tran Thi Thu Huong},
title = {Fixed-point forms of the parallel symmetric sandpile model},
journal = {Theor. Comput. Sci.},
volume = {533},
pages = {1--14},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2014.02.051},
doi = {10.1016/J.TCS.2014.02.051},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/FormentiPPH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DasFK14,
author = {Sukanta Das and
Enrico Formenti and
Jarkko Kari},
title = {Non-uniform Cellular Automata},
journal = {Theor. Comput. Sci.},
volume = {559},
pages = {1--2},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2014.10.024},
doi = {10.1016/J.TCS.2014.10.024},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/DasFK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DennunzioFP14,
author = {Alberto Dennunzio and
Enrico Formenti and
Julien Provillard},
title = {Three research directions in non-uniform cellular automata},
journal = {Theor. Comput. Sci.},
volume = {559},
pages = {73--90},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2014.06.046},
doi = {10.1016/J.TCS.2014.06.046},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DennunzioFP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acri/CattaneoCDFM14,
author = {Gianpiero Cattaneo and
Giampiero Chiaselotti and
Alberto Dennunzio and
Enrico Formenti and
Luca Manzoni},
editor = {Jaroslaw Was and
Georgios Ch. Sirakoulis and
Stefania Bandini},
title = {Non Uniform Cellular Automata Description of Signed Partition Versions
of Ice and Sand Pile Models},
booktitle = {Cellular Automata - 11th International Conference on Cellular Automata
for Research and Industry, {ACRI} 2014, Krakow, Poland, September
22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8751},
pages = {115--124},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11520-7\_13},
doi = {10.1007/978-3-319-11520-7\_13},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acri/CattaneoCDFM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/FormentiPR14,
author = {Enrico Formenti and
K{\'{e}}vin Perrot and
Eric R{\'{e}}mila},
editor = {Teijiro Isokawa and
Katsunobu Imai and
Nobuyuki Matsui and
Ferdinand Peper and
Hiroshi Umeo},
title = {Computational Complexity of the Avalanche Problem on One Dimensional
Kadanoff Sandpiles},
booktitle = {Cellular Automata and Discrete Complex Systems - 20th International
Workshop, {AUTOMATA} 2014, Himeji, Japan, July 7-9, 2014, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8996},
pages = {21--30},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-18812-6\_2},
doi = {10.1007/978-3-319-18812-6\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/automata/FormentiPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FormentiIMY14,
author = {Enrico Formenti and
Katsunobu Imai and
Bruno Martin and
Jean{-}Baptiste Yun{\`{e}}s},
editor = {Cristian S. Calude and
Rusins Freivalds and
Kazuo Iwama},
title = {Advances on Random Sequence Generation by Uniform Cellular Automata},
booktitle = {Computing with New Resources - Essays Dedicated to Jozef Gruska on
the Occasion of His 80th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8808},
pages = {56--70},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13350-8\_5},
doi = {10.1007/978-3-319-13350-8\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FormentiIMY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/FormentiMP14,
author = {Enrico Formenti and
Luca Manzoni and
Antonio E. Porreca},
editor = {Arnold Beckmann and
Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Klaus Meer},
title = {Fixed Points and Attractors of Reaction Systems},
booktitle = {Language, Life, Limits - 10th Conference on Computability in Europe,
CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8493},
pages = {194--203},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08019-2\_20},
doi = {10.1007/978-3-319-08019-2\_20},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/FormentiMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/FormentiMP14,
author = {Enrico Formenti and
Luca Manzoni and
Antonio E. Porreca},
editor = {Helmut J{\"{u}}rgensen and
Juhani Karhum{\"{a}}ki and
Alexander Okhotin},
title = {Cycles and Global Attractors of Reaction Systems},
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},
pages = {114--125},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09704-6\_11},
doi = {10.1007/978-3-319-09704-6\_11},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/FormentiMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/DennunzioFM14,
author = {Alberto Dennunzio and
Enrico Formenti and
Luca Manzoni},
editor = {Adrian{-}Horia Dediu and
Carlos Mart{\'{\i}}n{-}Vide and
Jos{\'{e}} Luis Sierra{-}Rodr{\'{\i}}guez and
Bianca Truthe},
title = {Extremal Combinatorics of Reaction Systems},
booktitle = {Language and Automata Theory and Applications - 8th International
Conference, {LATA} 2014, Madrid, Spain, March 10-14, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8370},
pages = {297--307},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04921-2\_24},
doi = {10.1007/978-3-319-04921-2\_24},
timestamp = {Sun, 02 Oct 2022 16:11:11 +0200},
biburl = {https://dblp.org/rec/conf/lata/DennunzioFM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/FormentiHKP14,
author = {Enrico Formenti and
Markus Holzer and
Martin Kutrib and
Julien Provillard},
editor = {Adrian{-}Horia Dediu and
Carlos Mart{\'{\i}}n{-}Vide and
Jos{\'{e}} Luis Sierra{-}Rodr{\'{\i}}guez and
Bianca Truthe},
title = {{\(\omega\)}-rational Languages: High Complexity Classes vs. Borel
Hierarchy},
booktitle = {Language and Automata Theory and Applications - 8th International
Conference, {LATA} 2014, Madrid, Spain, March 10-14, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8370},
pages = {372--383},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04921-2\_30},
doi = {10.1007/978-3-319-04921-2\_30},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/FormentiHKP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cibb/2013,
editor = {Enrico Formenti and
Roberto Tagliaferri and
Ernst Wit},
title = {Computational Intelligence Methods for Bioinformatics and Biostatistics
- 10th International Meeting, {CIBB} 2013, Nice, France, June 20-22,
2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8452},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09042-9},
doi = {10.1007/978-3-319-09042-9},
isbn = {978-3-319-09041-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cibb/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DennunzioLFM13,
author = {Alberto Dennunzio and
Pietro Di Lena and
Enrico Formenti and
Luciano Margara},
title = {Periodic Orbits and Dynamical Complexity in Cellular Automata},
journal = {Fundam. Informaticae},
volume = {126},
number = {2-3},
pages = {183--199},
year = {2013},
url = {https://doi.org/10.3233/FI-2013-877},
doi = {10.3233/FI-2013-877},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DennunzioLFM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CervelleDFS13,
author = {Julien Cervelle and
Alberto Dennunzio and
Enrico Formenti and
Andrzej Skowron},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {126},
number = {2-3},
pages = {i--ii},
year = {2013},
url = {https://doi.org/10.3233/FI-2013-874},
doi = {10.3233/FI-2013-874},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CervelleDFS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/AcerbiDF13,
author = {Luigi Acerbi and
Alberto Dennunzio and
Enrico Formenti},
title = {Surjective multidimensional cellular automata are non-wandering: {A}
combinatorial proof},
journal = {Inf. Process. Lett.},
volume = {113},
number = {5-6},
pages = {156--159},
year = {2013},
url = {https://doi.org/10.1016/j.ipl.2012.12.009},
doi = {10.1016/J.IPL.2012.12.009},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/AcerbiDF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/DennunzioF13,
author = {Alberto Dennunzio and
Enrico Formenti},
title = {Foreword: cellular automata and applications},
journal = {Nat. Comput.},
volume = {12},
number = {3},
pages = {305},
year = {2013},
url = {https://doi.org/10.1007/s11047-013-9377-6},
doi = {10.1007/S11047-013-9377-6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/DennunzioF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/DennunzioFF13,
author = {Alberto Dennunzio and
Nazim Fat{\`{e}}s and
Enrico Formenti},
title = {Foreword: asynchronous cellular automata and applications},
journal = {Nat. Comput.},
volume = {12},
number = {4},
pages = {537--538},
year = {2013},
url = {https://doi.org/10.1007/s11047-013-9385-6},
doi = {10.1007/S11047-013-9385-6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/DennunzioFF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/DennunzioFMM13,
author = {Alberto Dennunzio and
Enrico Formenti and
Luca Manzoni and
Giancarlo Mauri},
title = {m-Asynchronous cellular automata: from fairness to quasi-fairness},
journal = {Nat. Comput.},
volume = {12},
number = {4},
pages = {561--572},
year = {2013},
url = {https://doi.org/10.1007/s11047-013-9386-5},
doi = {10.1007/S11047-013-9386-5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/DennunzioFMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DennunzioFP13,
author = {Alberto Dennunzio and
Enrico Formenti and
Julien Provillard},
title = {Local rule distributions, language complexity and non-uniform cellular
automata},
journal = {Theor. Comput. Sci.},
volume = {504},
pages = {38--51},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2012.05.013},
doi = {10.1016/J.TCS.2012.05.013},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/DennunzioFP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Formenti13,
author = {Enrico Formenti},
editor = {Jarkko Kari and
Martin Kutrib and
Andreas Malcher},
title = {A Survey on m-Asynchronous Cellular Automata},
booktitle = {Cellular Automata and Discrete Complex Systems - 19th International
Workshop, {AUTOMATA} 2013, Gie{\ss}en, Germany, September 17-19, 2013.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8155},
pages = {46--66},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40867-0\_4},
doi = {10.1007/978-3-642-40867-0\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/automata/Formenti13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/Formenti13,
author = {Enrico Formenti},
editor = {Giancarlo Mauri and
Alberto Dennunzio and
Luca Manzoni and
Antonio E. Porreca},
title = {Asymptotic Dynamics of (Some) Asyncronous Cellular Automata - (Abstract)},
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},
pages = {1--2},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39074-6\_1},
doi = {10.1007/978-3-642-39074-6\_1},
timestamp = {Sat, 09 Apr 2022 12:39:24 +0200},
biburl = {https://dblp.org/rec/conf/uc/Formenti13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/prib/2013,
editor = {Alioune Ngom and
Enrico Formenti and
Jin{-}Kao Hao and
Xing{-}Ming Zhao and
Twan van Laarhoven},
title = {Pattern Recognition in Bioinformatics - 8th {IAPR} International Conference,
{PRIB} 2013, Nice, France, June 17-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7986},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39159-0},
doi = {10.1007/978-3-642-39159-0},
isbn = {978-3-642-39158-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prib/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CervelleDFP13,
author = {Julien Cervelle and
Alberto Dennunzio and
Enrico Formenti and
Julien Provillard},
title = {Acceptance conditions for omega-languages and the Borel hierarchy},
journal = {CoRR},
volume = {abs/1310.5032},
year = {2013},
url = {http://arxiv.org/abs/1310.5032},
eprinttype = {arXiv},
eprint = {1310.5032},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CervelleDFP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FormentiCM12,
author = {Enrico Formenti and
Eric Goles Ch. and
Bruno Martin},
title = {Computational Complexity of Avalanches in the Kadanoff Sandpile Model},
journal = {Fundam. Informaticae},
volume = {115},
number = {1},
pages = {107--124},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-643},
doi = {10.3233/FI-2012-643},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/FormentiCM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DennunzioFM12,
author = {Alberto Dennunzio and
Enrico Formenti and
Luca Manzoni},
title = {Computing Issues of Asynchronous {CA}},
journal = {Fundam. Informaticae},
volume = {120},
number = {2},
pages = {165--180},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-755},
doi = {10.3233/FI-2012-755},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DennunzioFM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DennunzioFP12,
author = {Alberto Dennunzio and
Enrico Formenti and
Julien Provillard},
title = {Non-uniform cellular automata: Classes, dynamics, and decidability},
journal = {Inf. Comput.},
volume = {215},
pages = {32--46},
year = {2012},
url = {https://doi.org/10.1016/j.ic.2012.02.008},
doi = {10.1016/J.IC.2012.02.008},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/DennunzioFP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/DennunzioFPU12,
author = {Alberto Dennunzio and
Enrico Formenti and
Ferdinand Peper and
Hiroshi Umeo},
title = {Foreword: asynchronous cellular automata and nature-inspired computation},
journal = {Nat. Comput.},
volume = {11},
number = {2},
pages = {267--268},
year = {2012},
url = {https://doi.org/10.1007/s11047-012-9309-x},
doi = {10.1007/S11047-012-9309-X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/DennunzioFPU12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acri/DennunzioFMM12,
author = {Alberto Dennunzio and
Enrico Formenti and
Luca Manzoni and
Giancarlo Mauri},
editor = {Georgios Ch. Sirakoulis and
Stefania Bandini},
title = {m-Asynchronous Cellular Automata},
booktitle = {Cellular Automata - 10th International Conference on Cellular Automata
for Research and Industry, {ACRI} 2012, Santorini Island, Greece,
September 24-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7495},
pages = {653--662},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33350-7\_67},
doi = {10.1007/978-3-642-33350-7\_67},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acri/DennunzioFMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/DennunzioFP12,
author = {Alberto Dennunzio and
Enrico Formenti and
Julien Provillard},
editor = {Hsu{-}Chun Yen and
Oscar H. Ibarra},
title = {Acceptance Conditions for {\(\omega\)}-Languages},
booktitle = {Developments in Language Theory - 16th International Conference, {DLT}
2012, Taipei, Taiwan, August 14-17, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7410},
pages = {320--331},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31653-1\_29},
doi = {10.1007/978-3-642-31653-1\_29},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/DennunzioFP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/DennunzioFP12,
author = {Alberto Dennunzio and
Enrico Formenti and
Julien Provillard},
editor = {Adrian{-}Horia Dediu and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Computational Complexity of Rule Distributions of Non-uniform Cellular
Automata},
booktitle = {Language and Automata Theory and Applications - 6th International
Conference, {LATA} 2012, {A} Coru{\~{n}}a, Spain, March 5-9, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7183},
pages = {204--215},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28332-1\_18},
doi = {10.1007/978-3-642-28332-1\_18},
timestamp = {Sun, 02 Oct 2022 16:11:11 +0200},
biburl = {https://dblp.org/rec/conf/lata/DennunzioFP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/nc/DennunzioFK12,
author = {Alberto Dennunzio and
Enrico Formenti and
Petr Kurka},
editor = {Grzegorz Rozenberg and
Thomas B{\"{a}}ck and
Joost N. Kok},
title = {Cellular Automata Dynamical Systems},
booktitle = {Handbook of Natural Computing},
pages = {25--75},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-540-92910-9\_2},
doi = {10.1007/978-3-540-92910-9\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/nc/DennunzioFK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1208-2498,
editor = {Enrico Formenti},
title = {Proceedings 18th international workshop on Cellular Automata and Discrete
Complex Systems and 3rd international symposium Journ{\'{e}}es
Automates Cellulaires, {AUTOMATA} {\&} {JAC} 2012, La Marana,
Corsica, September 19-21, 2012},
series = {{EPTCS}},
volume = {90},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.90},
doi = {10.4204/EPTCS.90},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-2498.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/FormentiKT11,
author = {Enrico Formenti and
Jarkko Kari and
Siamak Taati},
title = {On the hierarchy of conservation laws in a cellular automaton},
journal = {Nat. Comput.},
volume = {10},
number = {4},
pages = {1275--1294},
year = {2011},
url = {https://doi.org/10.1007/s11047-010-9222-0},
doi = {10.1007/S11047-010-9222-0},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/FormentiKT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/KurkaFD11,
author = {Petr Kurka and
Enrico Formenti and
Alberto Dennunzio},
editor = {Nazim Fat{\`{e}}s and
Eric Goles Chacc and
Alejandro Maass and
Ivan Rapaport},
title = {Asymptotic distribution of entry times in a cellular automaton with
annihilating particles},
booktitle = {17th International Workshop on Cellular Automata and Discrete Complex
Systems, Automata 2011, Center for Mathematical Modeling, University
of Chile, Santiago, Chile, November 21-23, 2011},
series = {{DMTCS} Proceedings},
volume = {{AP}},
pages = {47--58},
publisher = {{DMTCS}},
year = {2011},
url = {http://dmtcs.episciences.org/2976},
timestamp = {Wed, 15 Jan 2020 16:23:04 +0100},
biburl = {https://dblp.org/rec/conf/automata/KurkaFD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/ChandesrisDFM11,
author = {J{\'{e}}r{\^{o}}me Chandesris and
Alberto Dennunzio and
Enrico Formenti and
Luca Manzoni},
editor = {Giancarlo Mauri and
Alberto Leporati},
title = {Computational Aspects of Asynchronous Cellular Automata},
booktitle = {Developments in Language Theory - 15th International Conference, {DLT}
2011, Milan, Italy, July 19-22, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6795},
pages = {466--468},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22321-1\_41},
doi = {10.1007/978-3-642-22321-1\_41},
timestamp = {Sat, 09 Apr 2022 12:37:59 +0200},
biburl = {https://dblp.org/rec/conf/dlt/ChandesrisDFM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-0065,
author = {J{\'{e}}r{\^{o}}me Chandesris and
Alberto Dennunzio and
Enrico Formenti and
Luca Manzoni},
title = {Computational Aspects of Asynchronous {CA}},
journal = {CoRR},
volume = {abs/1105.0065},
year = {2011},
url = {http://arxiv.org/abs/1105.0065},
eprinttype = {arXiv},
eprint = {1105.0065},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-0065.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-5228,
author = {Alberto Dennunzio and
Enrico Formenti and
Julien Provillard},
title = {Non-Uniform Cellular Automata: classes, dynamics, and decidability},
journal = {CoRR},
volume = {abs/1107.5228},
year = {2011},
url = {http://arxiv.org/abs/1107.5228},
eprinttype = {arXiv},
eprint = {1107.5228},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-5228.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-1419,
author = {Julien Provillard and
Enrico Formenti and
Alberto Dennunzio},
title = {Non-uniform cellular automata and distributions of rules},
journal = {CoRR},
volume = {abs/1108.1419},
year = {2011},
url = {http://arxiv.org/abs/1108.1419},
eprinttype = {arXiv},
eprint = {1108.1419},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-1419.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-0825,
author = {Enrico Formenti and
Van Trung Pham and
Ha Duong Phan and
Tran Thi Thu Huong},
title = {Fixed point forms of the parallel symmetric sandpile model},
journal = {CoRR},
volume = {abs/1109.0825},
year = {2011},
url = {http://arxiv.org/abs/1109.0825},
eprinttype = {arXiv},
eprint = {1109.0825},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-0825.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/FormentiKZ10,
author = {Enrico Formenti and
Petr Kurka and
Ondrej Zahradn{\'{\i}}k},
title = {A Search Algorithm for Subshift Attractors of Cellular Automata},
journal = {Theory Comput. Syst.},
volume = {46},
number = {3},
pages = {479--498},
year = {2010},
url = {https://doi.org/10.1007/s00224-009-9230-6},
doi = {10.1007/S00224-009-9230-6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/FormentiKZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/CervelleFG10,
author = {Julien Cervelle and
Enrico Formenti and
Pierre Guillon},
editor = {Jean{-}Yves Marion and
Thomas Schwentick},
title = {Ultimate Traces of Cellular Automata},
booktitle = {27th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2010, March 4-6, 2010, Nancy, France},
series = {LIPIcs},
volume = {5},
pages = {155--166},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.STACS.2010.2451},
doi = {10.4230/LIPICS.STACS.2010.2451},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/CervelleFG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1001-0251,
author = {Julien Cervelle and
Enrico Formenti and
Pierre Guillon},
title = {Ultimate Traces of Cellular Automata},
journal = {CoRR},
volume = {abs/1001.0251},
year = {2010},
url = {http://arxiv.org/abs/1001.0251},
eprinttype = {arXiv},
eprint = {1001.0251},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1001-0251.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AcerbiDF09,
author = {Luigi Acerbi and
Alberto Dennunzio and
Enrico Formenti},
title = {Conservation of some dynamical properties for operations on cellular
automata},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {38-40},
pages = {3685--3693},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2009.05.004},
doi = {10.1016/J.TCS.2009.05.004},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AcerbiDF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DennunzioLFM09,
author = {Alberto Dennunzio and
Pietro di Lena and
Enrico Formenti and
Luciano Margara},
title = {On the directional dynamics of additive cellular automata},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {47-49},
pages = {4823--4833},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2009.06.023},
doi = {10.1016/J.TCS.2009.06.023},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/DennunzioLFM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/CattaneoDFP09,
author = {Gianpiero Cattaneo and
Alberto Dennunzio and
Enrico Formenti and
Julien Provillard},
editor = {Adrian{-}Horia Dediu and
Armand{-}Mihai Ionescu and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Non-uniform Cellular Automata},
booktitle = {Language and Automata Theory and Applications, Third International
Conference, {LATA} 2009, Tarragona, Spain, April 2-8, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5457},
pages = {302--313},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00982-2\_26},
doi = {10.1007/978-3-642-00982-2\_26},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/CattaneoDFP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/complexity/CervelleF09,
author = {Julien Cervelle and
Enrico Formenti},
editor = {Robert A. Meyers},
title = {Algorithmic Complexity and Cellular Automata},
booktitle = {Encyclopedia of Complexity and Systems Science},
pages = {243--257},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-0-387-30440-3\_17},
doi = {10.1007/978-0-387-30440-3\_17},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/complexity/CervelleF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/complexity/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 = {https://doi.org/10.1007/978-0-387-30440-3\_65},
doi = {10.1007/978-0-387-30440-3\_65},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/complexity/CervelleDF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/complexity/FormentiK09,
author = {Enrico Formenti and
Petr Kurka},
editor = {Robert A. Meyers},
title = {Dynamics of Cellular Automata in Non-compact Spaces},
booktitle = {Encyclopedia of Complexity and Systems Science},
pages = {2232--2242},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-0-387-30440-3\_138},
doi = {10.1007/978-0-387-30440-3\_138},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/complexity/FormentiK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0906-0857,
author = {Enrico Formenti and
Alberto Dennunzio and
Michael Weiss},
title = {2D cellular automata: expansivity and decidability issues},
journal = {CoRR},
volume = {abs/0906.0857},
year = {2009},
url = {http://arxiv.org/abs/0906.0857},
eprinttype = {arXiv},
eprint = {0906.0857},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0906-0857.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/FormentiKT08,
author = {Enrico Formenti and
Jarkko Kari and
Siamak Taati},
editor = {Edward A. Hirsch and
Alexander A. Razborov and
Alexei L. Semenov and
Anatol Slissenko},
title = {The Most General Conservation Law for a Cellular Automaton},
booktitle = {Computer Science - Theory and Applications, Third International Computer
Science Symposium in Russia, {CSR} 2008, Moscow, Russia, June 7-12,
2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5010},
pages = {194--203},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79709-8\_21},
doi = {10.1007/978-3-540-79709-8\_21},
timestamp = {Tue, 21 Mar 2023 21:00:47 +0100},
biburl = {https://dblp.org/rec/conf/csr/FormentiKT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/DennunzioF08,
author = {Alberto Dennunzio and
Enrico Formenti},
editor = {Masami Ito and
Masafumi Toyama},
title = {Decidable Properties of 2D Cellular Automata},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {264--275},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_21},
doi = {10.1007/978-3-540-85780-8\_21},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/DennunzioF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jac/DennunzioLFM08,
author = {Alberto Dennunzio and
Pietro di Lena and
Enrico Formenti and
Luciano Margara},
editor = {Bruno Durand},
title = {Classification of directional dynamics for additive cellular automata},
booktitle = {First Symposium on Cellular Automata "Journ{\'{e}}es Automates
Cellulaires" {(JAC} 2008), Uz{\`{e}}s, France, April 21-25, 2008.
Proceedings},
pages = {40--53},
publisher = {{MCCME} Publishing House, Moscow},
year = {2008},
timestamp = {Wed, 19 May 2021 12:05:42 +0200},
biburl = {https://dblp.org/rec/conf/jac/DennunzioLFM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FormentiMP07,
author = {Enrico Formenti and
Beno{\^{\i}}t Masson and
Theophilos Pisokas},
title = {Advances in Symmetric Sandpiles},
journal = {Fundam. Informaticae},
volume = {76},
number = {1-2},
pages = {91--112},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi76-1-2-07},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/FormentiMP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CervelleFM07,
author = {Julien Cervelle and
Enrico Formenti and
Beno{\^{\i}}t Masson},
title = {From sandpiles to sand automata},
journal = {Theor. Comput. Sci.},
volume = {381},
number = {1-3},
pages = {1--28},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.03.042},
doi = {10.1016/J.TCS.2007.03.042},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/CervelleFM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/AcerbiDF07,
author = {Luigi Acerbi and
Alberto Dennunzio and
Enrico Formenti},
editor = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Andrea Sorbi},
title = {Shifting and Lifting of Cellular Automata},
booktitle = {Computation and Logic in the Real World, Third Conference on Computability
in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4497},
pages = {1--10},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73001-9\_1},
doi = {10.1007/978-3-540-73001-9\_1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/AcerbiDF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/CervelleFG07,
author = {Julien Cervelle and
Enrico Formenti and
Pierre Guillon},
editor = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Andrea Sorbi},
title = {Sofic Trace Subshift of a Cellular Automaton},
booktitle = {Computation and Logic in the Real World, Third Conference on Computability
in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4497},
pages = {152--161},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73001-9\_16},
doi = {10.1007/978-3-540-73001-9\_16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/CervelleFG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/FormentiK07,
author = {Enrico Formenti and
Petr Kurka},
editor = {Wolfgang Thomas and
Pascal Weil},
title = {A Search Algorithm for the Maximal Attractor of a Cellular Automaton},
booktitle = {{STACS} 2007, 24th Annual Symposium on Theoretical Aspects of Computer
Science, Aachen, Germany, February 22-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4393},
pages = {356--366},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-70918-3\_31},
doi = {10.1007/978-3-540-70918-3\_31},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/FormentiK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-math-0703241,
author = {Julien Cervelle and
Enrico Formenti and
Pierre Guillon},
title = {Sofic Trace of a Cellular Automaton},
journal = {CoRR},
volume = {abs/math/0703241},
year = {2007},
url = {http://arxiv.org/abs/math/0703241},
eprinttype = {arXiv},
eprint = {math/0703241},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-math-0703241.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijuc/FormentiM06,
author = {Enrico Formenti and
Beno{\^{\i}}t Masson},
title = {On Computing Fixed Points for Generalized Sandpiles},
journal = {Int. J. Unconv. Comput.},
volume = {2},
number = {1},
pages = {51--72},
year = {2006},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijuc/FormentiM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijuc/FormentiM06a,
author = {Enrico Formenti and
Beno{\^{\i}}t Masson},
title = {A Note on Fixed Points of Generalized Ice Pile Models},
journal = {Int. J. Unconv. Comput.},
volume = {2},
number = {2},
pages = {183--191},
year = {2006},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijuc/FormentiM06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acri/FormentiMP06,
author = {Enrico Formenti and
Beno{\^{\i}}t Masson and
Theophilos Pisokas},
editor = {Samira El Yacoubi and
Bastien Chopard and
Stefania Bandini},
title = {On Symmetric Sandpiles},
booktitle = {Cellular Automata, 7th International Conference on Cellular Automata,
for Research and Industry, {ACRI} 2006, Perpignan, France, September
20-23, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4173},
pages = {676--685},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11861201\_78},
doi = {10.1007/11861201\_78},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acri/FormentiMP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0606120,
author = {Enrico Formenti and
Beno{\^{\i}}t Masson and
Theophilos Pisokas},
title = {On symmetric sandpiles},
journal = {CoRR},
volume = {abs/cs/0606120},
year = {2006},
url = {http://arxiv.org/abs/cs/0606120},
eprinttype = {arXiv},
eprint = {cs/0606120},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0606120.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BernardiDFK05,
author = {Vincent Bernardi and
Bruno Durand and
Enrico Formenti and
Jarkko Kari},
title = {A new dimension sensitive property for cellular automata},
journal = {Theor. Comput. Sci.},
volume = {345},
number = {2-3},
pages = {235--247},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.07.009},
doi = {10.1016/J.TCS.2005.07.009},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BernardiDFK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BlanchardCF05,
author = {Fran{\c{c}}ois Blanchard and
Julien Cervelle and
Enrico Formenti},
title = {Some results about the chaotic behavior of cellular automata},
journal = {Theor. Comput. Sci.},
volume = {349},
number = {3},
pages = {318--336},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.06.038},
doi = {10.1016/J.TCS.2005.06.038},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BlanchardCF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CervelleFM05,
author = {Julien Cervelle and
Enrico Formenti and
Beno{\^{\i}}t Masson},
editor = {Joanna Jedrzejowicz and
Andrzej Szepietowski},
title = {Basic Properties for Sand Automata},
booktitle = {Mathematical Foundations of Computer Science 2005, 30th International
Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3618},
pages = {192--211},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11549345\_18},
doi = {10.1007/11549345\_18},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/CervelleFM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BernardiDFK04,
author = {Vincent Bernardi and
Bruno Durand and
Enrico Formenti and
Jarkko Kari},
editor = {Jir{\'{\i}} Fiala and
V{\'{a}}clav Koubek and
Jan Kratochv{\'{\i}}l},
title = {A New Dimension Sensitive Property for Cellular Automata},
booktitle = {Mathematical Foundations of Computer Science 2004, 29th International
Symposium, {MFCS} 2004, Prague, Czech Republic, August 22-27, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3153},
pages = {416--426},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28629-5\_31},
doi = {10.1007/978-3-540-28629-5\_31},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BernardiDFK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0412048,
author = {Enrico Formenti and
Beno{\^{\i}}t Masson},
title = {On computing fixed points for generalized sandpiles},
journal = {CoRR},
volume = {abs/cs/0412048},
year = {2004},
url = {http://arxiv.org/abs/cs/0412048},
eprinttype = {arXiv},
eprint = {cs/0412048},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0412048.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CC-0411007,
author = {Julien Cervelle and
Enrico Formenti and
Beno{\^{\i}}t Masson},
title = {Basic properties for sand automata},
journal = {CoRR},
volume = {cs.CC/0411007},
year = {2004},
url = {http://arxiv.org/abs/cs.CC/0411007},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-CC-0411007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DurandFR03,
author = {Bruno Durand and
Enrico Formenti and
Zsuzsanna R{\'{o}}ka},
title = {Number-conserving cellular automata {I:} decidability},
journal = {Theor. Comput. Sci.},
volume = {299},
number = {1-3},
pages = {523--535},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00534-0},
doi = {10.1016/S0304-3975(02)00534-0},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/DurandFR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Formenti03,
author = {Enrico Formenti},
title = {On the sensitivity of additive cellular automata in Besicovitch topologies},
journal = {Theor. Comput. Sci.},
volume = {301},
number = {1-3},
pages = {341--354},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00591-1},
doi = {10.1016/S0304-3975(02)00591-1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Formenti03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FormentiG03,
author = {Enrico Formenti and
Aristide Grange},
title = {Number conserving cellular automata {II:} dynamics},
journal = {Theor. Comput. Sci.},
volume = {304},
number = {1-3},
pages = {269--290},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(03)00134-8},
doi = {10.1016/S0304-3975(03)00134-8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/FormentiG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmcs/DurandFV03,
author = {Bruno Durand and
Enrico Formenti and
Georges Varouchas},
editor = {Michel Morvan and
Eric R{\'{e}}mila},
title = {On undecidability of equicontinuity classification for cellular automata},
booktitle = {Discrete Models for Complex Systems, DMCS'03, Lyon, France, June 16-19,
2003},
series = {{DMTCS} Proceedings},
volume = {{AB}},
pages = {117--128},
publisher = {{DMTCS}},
year = {2003},
url = {http://dmtcs.episciences.org/2302},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmcs/DurandFV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmcs/DurandFGR03,
author = {Bruno Durand and
Enrico Formenti and
Aristide Grange and
Zsuzsanna R{\'{o}}ka},
editor = {Michel Morvan and
Eric R{\'{e}}mila},
title = {Number conserving cellular automata: new results on decidability and
dynamics},
booktitle = {Discrete Models for Complex Systems, DMCS'03, Lyon, France, June 16-19,
2003},
series = {{DMTCS} Proceedings},
volume = {{AB}},
pages = {129--140},
publisher = {{DMTCS}},
year = {2003},
url = {http://dmtcs.episciences.org/2301},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dmcs/DurandFGR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/membrane/Dal-ZilioF03,
author = {Silvano Dal{-}Zilio and
Enrico Formenti},
editor = {Carlos Mart{\'{\i}}n{-}Vide and
Giancarlo Mauri and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {On the Dynamics of {PB} Systems: {A} Petri Net View},
booktitle = {Membrane Computing, International Workshop, {WMC} 2003, Tarragona,
Spain, July 17-22, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2933},
pages = {153--167},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24619-0\_11},
doi = {10.1007/978-3-540-24619-0\_11},
timestamp = {Sat, 09 Apr 2022 12:48:52 +0200},
biburl = {https://dblp.org/rec/conf/membrane/Dal-ZilioF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BlanchardCF03,
author = {Fran{\c{c}}ois Blanchard and
Julien Cervelle and
Enrico Formenti},
editor = {Branislav Rovan and
Peter Vojt{\'{a}}s},
title = {Periodicity and Transitivity for Cellular Automata in Besicovitch
Topologies},
booktitle = {Mathematical Foundations of Computer Science 2003, 28th International
Symposium, {MFCS} 2003, Bratislava, Slovakia, August 25-29, 2003,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2747},
pages = {228--238},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45138-9\_17},
doi = {10.1007/978-3-540-45138-9\_17},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BlanchardCF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/CervelleF03,
author = {Julien Cervelle and
Enrico Formenti},
editor = {Helmut Alt and
Michel Habib},
title = {On Sand Automata},
booktitle = {{STACS} 2003, 20th Annual Symposium on Theoretical Aspects of Computer
Science, Berlin, Germany, February 27 - March 1, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2607},
pages = {642--653},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36494-3\_56},
doi = {10.1007/3-540-36494-3\_56},
timestamp = {Thu, 14 Oct 2021 10:38:16 +0200},
biburl = {https://dblp.org/rec/conf/stacs/CervelleF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DubacqDF01,
author = {Jean{-}Christophe Dubacq and
Bruno Durand and
Enrico Formenti},
title = {Kolmogorov complexity and cellular automata classification},
journal = {Theor. Comput. Sci.},
volume = {259},
number = {1-2},
pages = {271--285},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00012-8},
doi = {10.1016/S0304-3975(00)00012-8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/DubacqDF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CervelleDF01,
author = {Julien Cervelle and
Bruno Durand and
Enrico Formenti},
editor = {Jir{\'{\i}} Sgall and
Ales Pultr and
Petr Kolman},
title = {Algorithmic Information Theory and Cellular Automata Dynamics},
booktitle = {Mathematical Foundations of Computer Science 2001, 26th International
Symposium, {MFCS} 2001 Marianske Lazne, Czech Republic, August 27-31,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2136},
pages = {248--259},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44683-4\_22},
doi = {10.1007/3-540-44683-4\_22},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/CervelleDF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CattaneoFMM00,
author = {Gianpiero Cattaneo and
Enrico Formenti and
Giovanni Manzini and
Luciano Margara},
title = {Ergodicity, transitivity, and regularity for linear cellular automata
over Z\({}_{\mbox{m}}\)},
journal = {Theor. Comput. Sci.},
volume = {233},
number = {1-2},
pages = {147--164},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(98)00005-X},
doi = {10.1016/S0304-3975(98)00005-X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/CattaneoFMM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CattaneoFMM99,
author = {Gianpiero Cattaneo and
Enrico Formenti and
Luciano Margara and
Giancarlo Mauri},
title = {On the Dynamical Behavior of Chaotic Cellular Automata},
journal = {Theor. Comput. Sci.},
volume = {217},
number = {1},
pages = {31--51},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00149-2},
doi = {10.1016/S0304-3975(98)00149-2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/CattaneoFMM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsys/BlanchardFK97,
author = {Fran{\c{c}}ois Blanchard and
Enrico Formenti and
Petr Kurka},
title = {Cellular Automata in the Cantor, Besicovitch, and Weyl Topological
Spaces},
journal = {Complex Syst.},
volume = {11},
number = {2},
year = {1997},
url = {http://www.complex-systems.com/abstracts/v11\_i02\_a02.html},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compsys/BlanchardFK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/CattaneoFMM97,
author = {Gianpiero Cattaneo and
Enrico Formenti and
Luciano Margara and
Giancarlo Mauri},
title = {Transformations of the One-Dimensional Cellular Automata Rule Space},
journal = {Parallel Comput.},
volume = {23},
number = {11},
pages = {1593--1611},
year = {1997},
url = {https://doi.org/10.1016/S0167-8191(97)00076-8},
doi = {10.1016/S0167-8191(97)00076-8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pc/CattaneoFMM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CattaneoFMM97,
author = {Gianpiero Cattaneo and
Enrico Formenti and
Luciano Margara and
Jacques Mazoyer},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {A Shift-Invariant Metric on S\({}^{\mbox{zz}}\) Inducing a Non-trivial
Tolology},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {179--188},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029961},
doi = {10.1007/BFB0029961},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/CattaneoFMM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/CattaneoFMM97,
author = {Gianpiero Cattaneo and
Enrico Formenti and
Giovanni Manzini and
Luciano Margara},
editor = {R{\"{u}}diger Reischuk and
Michel Morvan},
title = {On Ergodic Linear Cellular Automata over Z\({}_{\mbox{m}}\)},
booktitle = {{STACS} 97, 14th Annual Symposium on Theoretical Aspects of Computer
Science, L{\"{u}}beck, Germany, February 27 - March 1, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1200},
pages = {427--438},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0023478},
doi = {10.1007/BFB0023478},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/CattaneoFMM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acri/CattaneoFMVM96,
author = {Gianpiero Cattaneo and
Enrico Formenti and
Giancarlo Mauri and
A. Vaccaro and
Luciano Margara},
editor = {Stefania Bandini and
Giancarlo Mauri},
title = {Essential Transformations of the One Dimensional Cellular Automata
Rule Space and Endomorphisms of Compact Abelian Groups},
booktitle = {{ACRI} '96, Proceedings of the Second Conference on Cellular Automata
for Research and Industry, Milan, Italy, 16-18 October 1996},
pages = {42--56},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/978-1-4471-0941-9\_5},
doi = {10.1007/978-1-4471-0941-9\_5},
timestamp = {Tue, 25 Jun 2019 12:25:42 +0200},
biburl = {https://dblp.org/rec/conf/acri/CattaneoFMVM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/CattaneoFM95,
author = {Gianpiero Cattaneo and
Enrico Formenti and
Giancarlo Mauri},
editor = {J{\"{u}}rgen Dassow and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Rule Space Transformations and One-Dimensional Cellular Automata},
booktitle = {Developments in Language Theory II, At the Crossroads of Mathematics,
Computer Science and Biology, Magdeburg, Germany, 17-21 July 1995},
pages = {409--419},
publisher = {World Scientific, Singapore},
year = {1995},
timestamp = {Fri, 26 May 2017 12:54:08 +0200},
biburl = {https://dblp.org/rec/conf/dlt/CattaneoFM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-08-14 23:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
