[85] Giuseppe Di Molfetta and Pablo Arrighi. A quantum walk with both a continuous-time limit and a continuous-spacetime limit. Quantum Information Processing, 19(2):47, February 2020. [ bib | arXiv | HAL ]
[84] Kévin Perrot and Éric Rémila. On the emergence of regularities on one-dimensional decreasing sandpiles. Theoretical Computer Science, 2020. In press. [ bib | DOI ]
[83] Viet-Ha Nguyen, Kévin Perrot, and Mathieu Vallet. NP-completeness of the game Kingdomino. Theoretical Computer Science, 2020. In press. [ bib | DOI | arXiv ]
[82] Eurico L. P. Ruivo, Pedro Paulo Balbi, Marco Montalva-Medel, and Kévin Perrot. Maximum sensitivity to update schedules of elementary cellular automata over infinite configurations. Information and Computation, page 104538, 2020. [ bib | DOI ]
[81] Kévin Perrot, Marco Montalva-Medel, Pedro P. B. de Oliveira, and Eurico L. P. Ruivo. Maximum sensitivity to update schedule of elementary cellular automata over periodic configurations. Natural Computing, 19:51--90, 2020. [ bib | DOI | read-only pdf | HAL ]
[80] Quentin Aristote, Nathanaël Eon, and Giuseppe Di Molfetta. Dynamical triangulation induced by quantum walk. Symmetry, 12(1):128, January 2020. [ bib | DOI | arXiv | HAL | http ]
[79] Jacques Demongeot and Sylvain Sené. About block-parallel Boolean networks: a position paper. Natural Computing, January 2020. [ bib | DOI ]
[78] Enrico Formenti and Sylvain Sené, editors. Automata Networks and Their Applications. Natural Computing. Springer, January 2020. In press. [ bib ]
[77] Marcelo A. Pires, Giuseppe Di Molfetta, and Silvio M. Duarte Queiros. Multiple transitions between normal and hyperballistic diffusion in quantum walks with time-dependent jumps. Scientific reports, 9(1):19292, December 2019. [ bib | arXiv ]
[76] Pablo Arrighi, Giuseppe Di Molfetta, and Nathanaël Eon. Non-Abelian gauge-invariant cellular automata. In Proceedings of TPNC'2019, volume 11934 of LNCS, pages 211--221. Springer, November 2019. [ bib | DOI | arXiv | HAL ]
[75] Pablo Arrighi, Simon Martiel, and Simon Perdrix. Reversible causal graph dynamics: invertibility, block representation, vertex-preservation. Natural Computing, October 2019. [ bib | DOI | HAL ]
[74] Enrico Formenti and Kévin Perrot. How hard is it to predict sandpiles on lattices? A survey. Fondamenta Informaticae, 171(1-4):189--219, October 2019. [ bib | DOI | arXiv ]
[73] José Luis Vilchis Medina, Pierre Siegel, Vincent Risch, and Andrei Doncescu. A resilient behavior approach based on non-monotonic logic. In Proceedings of MICAI'2019, volume 11835 of LNCS, pages 403--413. Springer, October 2019. [ bib ]
[72] Pablo Arrighi. An overview of quantum cellular automata. Natural Computing, 18(4):885--899, September 2019. [ bib | arXiv | HAL ]
[71] José Luis Vilchis Medina, Pierre Siegel, Vincent Risch, and Andrei Doncescu. An implementation of a non-monotonic logic in an embedded computer for a motor-glider. In Proceedings of ICLP'2019 (Technical communications), volume 306 of EPTCS, pages 323--329. Open Publishing Association, September 2019. [ bib | arXiv ]
[70] Pablo Arrighi, Cédric Bény, and Terry Farrelly. A quantum cellular automaton for one-dimensional QED. In Local proceedings of AQIS'2019, August 2019. [ bib | arXiv | HAL ]
[69] Alberto Dennunzio, Enrico Formenti, Luca Manzoni, and Antonio E. Porreca. Complexity of the dynamics of reaction systems. Information and Computation, 267:96--109, August 2019. [ bib | DOI | arXiv ]
[68] Pablo Arrighi, Giuseppe Di Molfetta, Iván Márquez, and Armando Pérez. From curved spacetime to spacetime-dependent local unitaries over the honeycomb and triangular quantum walks. Scientific Reports, 9:10904, July 2019. [ bib | arXiv | HAL ]
[67] Florian Bridoux, Nicolas Durbec, Kévin Perrot, and Adrien Richard. Complexity of maximum fixed point problem in Boolean networks. In Proceedings of CiE'2019, volume 11558 of LNCS, pages 132--143. Springer, June 2019. [ bib | DOI | HAL ]
[66] Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Luciano Margara, and Antonio E. Porreca. On the dynamical behaviour of linear higher-order cellular automata and its decidability. Information Sciences, 486:73--87, June 2019. [ bib | DOI | arXiv ]
[65] Pablo Arrighi, Nicolas Durbec, and Aurélien Emmanuel. Reversibility vs local creation/destruction. In Proceedings of RC'2019, volume 11497 of LNCS, pages 51--66. Springer, May 2019. [ bib | DOI | arXiv | HAL ]
[64] Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, and Claudio Zandron. Characterizing PSPACE with shallow non-confluent P systems. Journal of Membrane Computing, 1(2):75--84, April 2019. [ bib | DOI | arXiv ]
[63] Mohamed Hatifi, Giuseppe Di Molfetta, Fabrice Debbasch, and Marc Brachet. Quantum walk hydrodynamics. Nature Scientific Reports, 9(1):2989, February 2019. [ bib | DOI | http ]
[62] Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, and Claudio Zandron. Solving QSAT in sublinear depth. In Proceedings of CMC'2019, volume 11399 of LNCS, pages 188--201. Springer, February 2019. [ bib | DOI | arXiv ]
[61] Eric Goles, Fabiola Lobos, Gonzalo A. Ruz, and Sylvain Sené. Attractor landscapes in Boolean networks with firing memory. Natural Computing, January 2019. Accepted. [ bib ]
[60] Tarek Khaled, Belaid Benhamou, and Pierre Siegel. A new method for computing stable models in logic programming. In Proceedings of ICTAI'2018, pages 800--807. IEEE, December 2018. [ bib | DOI | HAL ]
[59] Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, and Claudio Zandron. A Turing machine simulation by P systems without charges. In Proceedings of ACMC'2018, volume 530 of CDMTCS Research Report Series, pages 213--221, December 2018. [ bib | arXiv | HAL | http ]
[58] José Luis Vilchis Medina, Pierre Siegel, Vincent Risch, and Andrei Doncescu. Intelligent and adaptive system based on a non-monotonic logic for an autonomous motor-glider. In Proceedings of ICARCV'2018, pages 442--447. IEEE, November 2018. [ bib | DOI | HAL | http ]
[57] Pierre Siegel, Andrei Doncescu, Vincent Risch, and Sylvain Sené. Towards a Boolean dynamical system representation in a nonmonotonic modal logic. In Proceedings of NMR'2018, pages 53--62, October 2018. [ bib | pdf | HAL ]
[56] Iván Márquez-Martín, Pablo Arnault, Giuseppe Di Molfetta, and Armando Pérez. Electromagnetic lattice gauge invariance in two-dimensional discrete-time quantum walks. Physical Review A, 98:032333, September 2018. [ bib | DOI | HAL ]
[55] Pablo Arrighi, Giuseppe Di Molfetta, and Stefano Facchini. Quantum walking in curved spacetime: discrete metric. Quantum, 2:84, August 2018. [ bib | DOI | HAL ]
[54] Cédric Berenger, Peter Niebert, and Kévin Perrot. Balanced connected partitioning of unweighted grid graphs. In Proceedings of MFCS'2018, volume 117 of LIPIcs, pages 39:1--39:18. DROPS, August 2018. [ bib | DOI | pdf | HAL ]
[53] Eurico L. P. Ruivo, Marco Montalva-Medel, Pedro P. B. de Oliveira, and Kévin Perrot. Characterisation of the elementary cellular automata in terms of their maximum sensitivity to all possible asynchronous updates. Chaos, Solitons & Fractals, 113:209--220, August 2018. [ bib | DOI | HAL ]
[52] Jacques Demongeot and Sylvain Sené. Phase transitions in stochastic non-linear threshold Boolean automata networks on Z2: the boundary impact. Advances in Applied Mathematics, 98:77--99, July 2018. [ bib | HAL ]
[51] Gonzalo A. Ruz, Eric Goles, and Sylvain Sené. Reconstruction of Boolean regulatory models of flower development exploiting an evolution strategy. In Proceedings of CEC'2018, pages 1--8. IEEE, July 2018. [ bib | HAL ]
[50] Pablo Arrighi, Giuseppe Di Molfetta, Iván Márquez, and Armando Pérez. Dirac equation as a quantum walk over the honeycomb and triangular lattices. Physical Review A, 97(6):062111, June 2018. [ bib | DOI | arXiv | HAL ]
[49] Giuseppe Di Molfetta, Diogo O. Soares-Pinto, and Sílvio M. Duarte Queirós. Elephant quantum walk. Physical Review A, 97:062112, June 2018. [ bib | DOI | HAL ]
[48] Tarek Khaled, Belaid Benhamou, and Pierre Siegel. Une nouvelle méthode de calcul de modèles stables en programmation logique. In Proceedings of JFPC'2018), June 2018. [ bib | HAL ]
[47] Mathilde Noual and Sylvain Sené. Synchronism versus asynchronism in monotonic Boolean automata networks. Natural Computing, 17:393--402, June 2018. [ bib | DOI | HAL ]
[46] Pablo Arrighi, Clément Chouteau, Stefano Facchini, and Simon Martiel. Causal dynamics of discrete manifolds. In Proceedings of NCMA'2018, pages 31--47. Österreichische Computer Gesellschaft, May 2018. [ bib | HAL ]
[45] Pablo Arrighi, Giuseppe Di Molfetta, and Nathanaël Eon. A gauge-invariant reversible cellular automaton. In Proceedings of AUTOMATA'2018, volume 10875 of LNCS, pages 1--12. Springer, May 2018. [ bib | arXiv | HAL ]
[44] Viet-Ha Nguyen and Kévin Perrot. Any shape can ultimately cross information on two-dimensional abelian sandpile models. In Proceedings of AUTOMATA'2018, volume 10875 of LNCS, pages 127--142. Springer, May 2018. [ bib | arXiv | HAL ]
[43] Kévin Perrot, Pacôme Perrotin, and Sylvain Sené. A framework for (de)composing with Boolean automata networks. In Proceedings of MCU'2018, volume 10881 of LNCS, pages 121--136. Springer, May 2018. [ bib | DOI | arXiv | HAL ]
[42] Pablo Arrighi, Simon Martiel, and Vincent Nesme. Cellular automata over generalized Cayley graphs. Mathematical Structures in Computer Science, 18:340--383, March 2018. [ bib | arXiv | HAL ]
[41] Enrico Formenti, Kévin Perrot, and Eric Rémila. Computational complexity of the avalanche problem for one dimensional decreasing sandpiles. Journal of Cellular Automata, 13:215--228, 2018. [ bib | HAL ]
[40] Pablo Arrighi and Stefano Facchini. Quantum walking in curved spacetime: (3+1) dimensions, and beyond. Quantum Information and Computation, 17(9-10):0810--0824, August 2017. [ bib | arXiv | HAL ]
[39] Tarek Khaled, Belaïd Benhamou, and Pierre Siegel. Vers une nouvelle méthode de calcul de modèles stables et extensions en programmation logique. In Proceedings of JIAF'2017, July 2017. [ bib | HAL | .pdf ]
[38] Pierre Siegel, Andrei Doncescu, Vincent Risch, and Sylvain Sené. Vers une représentation des systèmes dynamiques booléens en logique des hypothèses. In Proceedings of JIAF'17, July 2017. [ bib | HAL ]
[37] José-Luis Vilchis Medina, Pierre Siegel, and Andrei Doncescu. Pilotage stable d'un planeur en utilisant une logique non monotone. In Proceedings of JFPDA'2017, July 2017. [ bib | HAL ]
[36] Pablo Arrighi, Alejandro Díaz-Caro, and Benoît Valiron. The vectorial λ-calculus. Information and Computation, 254:105--139, June 2017. [ bib | HAL ]
[35] Pablo Arrighi and Simon Martiel. Quantum causal graph dynamics. Physical Review D, 96(2):024026, June 2017. [ bib | HAL ]
[34] Marco Montalva Medel, Kévin Perrot, Pedro de Oliveira, and Eurico Ruivo. Sensitivity to synchronism in some Boolean automata networks. In Proceedings of AUTOMATA'2017 (Exploratory papers), June 2017. [ bib | HAL ]
[33] Iván Márquez-Martín, Giseppe Di Molfetta, and Armando Pérez. Fermion confinement via quantum walks in (2+1)-dimensional and (3+1)-dimensional space-time. Physical Review A, 95:042112, April 2017. [ bib | DOI | arXiv | HAL ]
[32] Kévin Perrot and Éric Rémila. Strong emergence of wave patterns on Kadanoff sandpiles. Electronic Journal of Combinatorics, 24(2):P2.4, April 2017. [ bib | pdf | HAL ]
[31] José-Luis Vilchis Medina, Pierre Siegel, and Andrei Doncescu. Autonomous aerial vehicle based on non-monotonic logic. In Proceedings of VEHITS'2017, pages 236--241. ScitePress, April 2017. [ bib | DOI | HAL ]
[30] Pablo Arrighi and Gilles Dowek. Lineal: A linear-algebraic Lambda-calculus. Logical Methods in Computer Science, 13(1):1--33, March 2017. [ bib | DOI | HAL | http ]
[29] Florian Bridoux, Pierre Guillon, Kévin Perrot, Sylvain Sené, and Guillaume Theyssier. On the cost of simulating a parallel Boolean automata network with a block-sequential one. In Proceedings of TAMC'17, volume 10185 of LNCS, pages 112--128. Springer, March 2017. [ bib | DOI | arXiv | HAL ]
[28] Eric Goles, Pedro Montealegre, Kévin Perrot, and Guillaume Theyssier. On the complexity of two-dimensional signed majority cellular automata. Journal of Computer and System Sciences, 91:1--32, February 2017. [ bib | DOI | HAL ]
[27] Pablo Arrighi, Vincent Nesme, and Reinhard F. Werner. Bounds on the speedup in quantum signaling. Physical Review A, 95:012331, January 2017. [ bib | HAL ]
[26] Aurore Alcolei, Kévin Perrot, and Sylvain Sené. On the flora of asynchronous locally non-monotonic Boolean automata networks. In Proceedings of SASB'2015, volume 326 of ENTCS, pages 3--25. Elsevier, October 2016. [ bib | arXiv ]
[25] Giuseppe Di Molfetta and Armando Pérez. Quantum walks as simulators of neutrino oscillations in a vacuum and matter. New Journal of Physics, 18(10):103038, October 2016. [ bib ]
[24] Luis A. Bru, Germán J. de Valcárcel, Giuseppe Di Molfetta, Armando Pérez, Eugenio Roldán, and Fernando Silva. Quantum walk on a cylinder. Physical Review A, 94:032328, September 2016. [ bib | DOI ]
[23] Pablo Arrighi, Stefano Facchini, and Marcelo Forets. Quantum walking in curved spacetime. Quantum Information Processing, 15(8):3467--3486, August 2016. [ bib | DOI ]
[22] Christophe Crespelle, Tien-Nam Le, Kévin Perrot, and Thi Ha Duong Phan. Linearity is strictly more powerful than contiguity for encoding graphs. Discrete Mathematics, 339:2168--2177, August 2016. [ bib | arXiv ]
[21] Tarek Melliti, Damien Regnault, Adrien Richard, and Sylvain Sené. Asynchronous simulation of Boolean networks by monotone Boolean networks. In Proceedings of ACRI'16, volume 9863 of LNCS, pages 182--191. Springer, August 2016. [ bib ]
[20] Pablo Arrighi, Simon Martiel, and Simon Perdrix. Reversible causal graph dynamics. In Proceedings of RC'2016, volume 9720 of LNCS, pages 73--88. Springer, June 2016. [ bib ]
[19] Thanh Nguyen, Andrei Doncescu, and Pierre Siegel. Performance comparison of ADTree and naive Bayes algorithms for spam filtering. International Journal of Mathematical, Computational, Physical, Electrical and Computer Engineering, 10(5):269--274, May 2016. [ bib ]
[18] Pablo Arrighi and Gilles Dowek. Free fall and cellular automata. In Proceedings of DCM'2015, volume 204 of EPTCS, pages 1--10. Open Publishing Association, March 2016. [ bib ]
[17] Pablo Arrighi and Simon Perdrix. Modèles de calcul quantiques. In Informatique Mathématique - une photographie en 2016. CNRS Editions, March 2016. [ bib | HAL ]
[16] Kévin Perrot and Trung Van Pham. Chip-firing game and partial Tutte polynomial for Eulerian digraphs. Electronic Journal of Combinatorics, 23(1):P1.57, March 2016. [ bib | arXiv | pdf ]
[15] Pablo Arrighi and Gilles Dowek. Discrete geodesics and cellular automata. In Proceedings TPNC'2015, volume 9477 of LNCS, pages 137--149. Springer, December 2015. [ bib ]
[14] Nazim Fatès and Sylvain Sené, editors. Automates cellulaires et réseaux d'automates : le rôle central de l'irrégularité, volume 35 of Technique et Science Informatiques. Lavoisier, November 2015. [ bib ]
[13] Tarek Melliti, Mathilde Noual, Damien Regnault, and Sylvain Sené. Cycles, double-cycles d'interactions et modes de mise à jour -- une synthèse. Technique et Science Informatiques, 35:401--430, November 2015. [ bib ]
[12] Kévin Perrot and Éric Rémila. Piles de sable décroissantes 1D : classification expérimentale d'émergences. Technique et Science Informatiques, 34:377--400, November 2015. [ bib | HAL ]
[11] Pablo Arrighi, Simon Martiel, and Simon Perdrix. Block representation of reversible causal graph dynamics. In Proceedings of FCT'2015, volume 9210 of LNCS, pages 351--363. Springer, August 2015. [ bib ]
[10] Tarek Melliti, Mathilde Noual, Damien Regnault, Sylvain Sené, and Jérémy Sobieraj. Asynchronous dynamics of Boolean automata double-cycles. In Proceedings of UCNC'2015, volume 9252 of LNCS, pages 250--262. Springer, August 2015. [ bib ]
[9] Andrei Doncescu and Pierre Siegel. Emerging Trends in Computational Biology, Bioinformatics, and Systems Biology, chapter DNA double-strand break-based nonmonotonic logic, pages 409--527. Elsevier, August 2015. [ bib ]
[8] Pablo Arrighi and Simon Perdrix. La décohérence, une alliée pour la simulation. La Recherche, 501-502:66--68, July 2015. [ bib ]
[7] Christophe Crespelle, Tien-Nam Le, Kévin Perrot, and Thi Ha Duong Phan. Linearity is strictly more powerful than contiguity for encoding graphs. In Proceedings of WADS'2015, volume 9214 of LNCS, pages 212--223. Springer, July 2015. [ bib ]
[6] Kévin Perrot and Trung Van Pham. Feedback arc set problem and NP-hardness of minimum recurrent configuration problem of Chip-firing game on directed graphs. Annals of Combinatorics, 19:373--396, February 2015. [ bib | arXiv ]
[5] Kévin Perrot and Éric Rémila. Emergence on decreasing sandpile models. In Proceedings of MFCS'2015, volume 9234 of LNCS, pages 419--431. Springer, 2015. [ bib | HAL ]
[4] Georgia Barlovatz-Meimon and Sylvain Sené. Culture de cellules animales (3e édition), chapter Méthodes informatiques en biologie, pages 217--240. Lavoisier, October 2014. [ bib ]
[3] Kévin Perrot and Éric Rémila. Emergence of regularities on decreasing sandpile models. In Proceedings of 15th Mons Theoretical Computer Science Days, September 2014. [ bib ]
[2] Andrei Doncescu, Pierre Siegel, and Tan Le. Representation and efficient algorithms for the study of cell signaling pathways. In Proceedings of ICAI'2014, pages 504--510, July 2014. [ bib ]
[1] Andrei Doncescu, Pierre Siegel, and Tan Le. Relevance of information in cell signaling pathways using default logic. In Proceedings of BIOCOMP'2014, pages 16--22. CSREA Press, July 2014. [ bib ]