[69] 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, 2019. [ bib | DOI ]
[68] 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, 2019. [ bib | DOI | read-only pdf | HAL ]
[67] 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, 2019. [ bib | DOI | arXiv ]
[66] Alberto Dennunzio, Enrico Formenti, Luca Manzoni, and Antonio E. Porreca. Complexity of the dynamics of reaction systems. Information and Computation, 267:96--109, 2019. [ bib | DOI | arXiv ]
[65] Mohamed Hatifi, Giuseppe Di Molfetta, Fabrice Debbasch, and Marc Brachet. Quantum walk hydrodynamics. Nature Scientific Reports, 9(1):2989, 2019. [ bib | DOI | http ]
[64] 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--79, 2019. [ bib | DOI | arXiv ]
[63] Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, and Claudio Zandron. Solving QSAT in sublinear depth. In Thomas Hinze, Grzegorz Rozenberg, Arto Salomaa, and Claudio Zandron, editors, Proceedings of CMC'2018, volume 11399 of LNCS, pages 188--201. Springer, 2019. [ bib | DOI | arXiv ]
[62] Eric Goles, Fabiola Lobos, Gonzalo A. Ruz, and Sylvain Sené. Attractor landscapes in Boolean networks with firing memory. Natural Computing, 2019. Accepted. [ bib ]
[61] 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. Phys. Rev. A, 98:032333, September 2018. [ bib | DOI | HAL ]
[60] Pablo Arrighi, Giuseppe Di Molfetta, and Stefano Facchini. Quantum walking in curved spacetime: discrete metric. Quantum, 2:84, August 2018. [ bib | DOI | HAL ]
[59] Giuseppe Di Molfetta, Diogo O. Soares-Pinto, and Sílvio M. Duarte Queirós. Elephant quantum walk. Phys. Rev. A, 97:062112, June 2018. [ bib | DOI | HAL ]
[58] Pablo Arrighi, Giuseppe Di Molfetta, Iván Márquez-Martín, and Armando Pérez. Dirac equation as a quantum walk over the honeycomb and triangular lattices. Phys. Rev. A, 97:062111, June 2018. [ bib | DOI | HAL ]
[57] 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, 2018. [ bib | arXiv | HAL | http ]
[56] 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, 2018. [ bib | DOI | HAL | http ]
[55] P. Arrighi, C. Chouteau, S. Facchini, and S. Martiel. Causal dynamics of discrete manifolds. In Proceedings of NCMA'2018. Österreichische Computer Gesellschaft, 2018. [ bib | 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, 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, 2018. [ bib | DOI | HAL ]
[52] 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, 2018. [ bib | arXiv | HAL ]
[51] 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, 2018. [ bib | arXiv | HAL ]
[50] 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 ]
[49] Mathilde Noual and Sylvain Sené. Synchronism versus asynchronism in monotonic Boolean automata networks. Natural Computing, 17:393--402, 2018. [ bib | DOI | HAL ]
[48] Gonzalo A. Ruz, Eric Goles, and Sylvain Sené. Reconstruction of Boolean regulatory models of flower development exploiting an evolution strategy. In Proceedings of CEC'18, pages 1--8. IEEE Press, 2018. [ bib | HAL ]
[47] Pierre Siegel, Andrei Doncescu, Vincent Risch, and Sylvain Sené. Towards a Boolean dynamical system representation in a nonmonotonic modal logic. In Proceedings of NMR'18, pages 53--62, 2018. [ bib | pdf | HAL ]
[46] 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, 2018. [ bib | HAL ]
[45] 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, 2018. [ bib | DOI | arXiv | HAL ]
[44] Pablo Arrighi, Simon Martiel, and Vincent Nesme. Cellular automata over generalized Cayley graphs. Mathematical Structures in Computer Science. Pre-print arXiv:1212.0027, 18:340--383, 2018. [ bib | HAL ]
[43] Tarek Khaled, Belaid Benhamou, and Pierre Siegel. A New Method for Computing Stable Models in Logic Programming. In IEEE 30th International Conference on Tools with Artificial Intelligence, ICTAI'2018, pages 800--807, 2018. [ bib | DOI | HAL ]
[42] Tarek Khaled, Belaid Benhamou, and Pierre Siegel. Vers une nouvelle méthode de calcul de modèles stables et extensions en programmation logique. In Actes des Quatorzièmes Journées Francophones de Programmation par Contraintes (JFPC'2018), pages 63--72, 2018. [ bib | HAL ]
[41] José-Luis Vilchis Medina, Pierre Siegel, and Andrei Doncescu. Pilotage stable d'un planeur en utilisant une logique non monotone. In Actes des Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes (JFPDA 2017), Caen, France, July 2017. [ bib | HAL ]
[40] Pablo Arrighi and Gilles Dowek. Lineal: A linear-algebraic Lambda-calculus. Logical Methods in Computer Science, Volume 13, Issue 1, March 2017. [ bib | DOI | HAL | http ]
[39] 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, page 14p., 2017. [ bib | HAL ]
[38] 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, 2017. [ bib | DOI | HAL ]
[37] Marco Montalva Medel, Kévin Perrot, Pedro de Oliveira, and Eurico Ruivo. Sensitivity to synchronism in some Boolean automata networks. AUTOMATA'2017 exploratory papers, 2017. [ bib | HAL ]
[36] Pablo Arrighi and Simon Martiel. Quantum causal graph dynamics. Physical Review D, 96(2):024026, 2017. [ bib | HAL ]
[35] Pablo Arrighi and Stefano Facchini. Quantum walking in curved spacetime: (3+1) dimensions, and beyond. Quantum Information and Computation, 17(9-10):0810--0824, 2017. [ bib | arXiv | HAL ]
[34] Pablo Arrighi, Alejandro Díaz-Caro, and Benoît Valiron. The vectorial λ-calculus. Information and Computation, 254:105--139, 2017. [ bib | HAL ]
[33] José-Luis Vilchis Medina, Pierre Siegel, and Andrei Doncescu. Autonomous aerial vehicle based on non-monotonic logic. In Proceedings of the 3rd International Conference on Vehicle Technology and Intelligent Transport Systems, volume 1, pages 236--241. INSTICC, ScitePress, 2017. [ bib | DOI | HAL ]
[32] 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, 2017. [ bib | DOI | HAL ]
[31] 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, 2017. [ bib | DOI | arXiv | HAL ]
[30] Pablo Arrighi, Vincent Nesme, and Reinhard F. Werner. Bounds on the speedup in quantum signaling. Phys. Rev. A, 95:012331--012341, 2017. [ bib | HAL ]
[29] Kévin Perrot and Éric Rémila. Strong emergence of wave patterns on Kadanoff sandpiles. Electronic Journal of Combinatorics, 24(2), 2017. [ bib | pdf | HAL ]
[28] Tarek Khaled, Belaïd Benhamou, and Pierre Siegel. Vers une nouvelle methode de calcul de modèles stables et extensions en programmation logique. In 11e Journées d'Intelligence Artificielle Fondamentale, 2017. [ bib | HAL ]
[27] 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, 2016. [ bib ]
[26] Pablo Arrighi, Stefano Facchini, and Marcelo Forets. Quantum walking in curved spacetime. Quantum Information Processing, 15(8):3467--3486, 2016. [ bib | DOI ]
[25] Pablo Arrighi and Simon Perdrix. Modèles de calcul quantiques. In Étienne Baudrier and Loïc Mazo, editors, Informatique Mathématique - une photographie en 2016. CNRS Editions, 2016. [ bib | HAL ]
[24] 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, 2016. [ bib ]
[23] Pablo Arrighi and Gilles Dowek. Free fall and cellular automata. In César A. Muñoz and Jorge A. Pérez, editors, Proceedings of DCM'2015, volume 204 of EPTCS, pages 1--10. Open Publishing Association, 2016. [ bib ]
[22] Pablo Arrighi, Simon Martiel, and Simon Perdrix. Reversible causal graph dynamics. In Proceedings of RC'2016, volume 9720 of LNCS, pages 73--88. Springer, 2016. [ bib ]
[21] 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, 2016. [ bib ]
[20] 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. Phys. Rev. A, 94:032328, 2016. [ bib | DOI ]
[19] Kévin Perrot and Trung Van Pham. Chip-firing game and partial Tutte polynomial for Eulerian digraphs. Electronic Journal of Combinatorics, 23(1), 2016. [ bib | arXiv | pdf ]
[18] 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, 2016. [ bib | arXiv ]
[17] Aurore Alcolei, Kévin Perrot, and Sylvain Sené. On the flora of asynchronous locally non-monotonic Boolean automata networks. In Proceedings of SASB'15, volume 326 of ENTCS, pages 3--25. Elsevier, 2016. [ bib | arXiv ]
[16] Pablo Arrighi and Gilles Dowek. Discrete geodesics and cellular automata. In Proceedings TPNC'2015, volume 9477 of LNCS, pages 137--149. Springer, 2015. [ bib ]
[15] Pablo Arrighi, Alejandro Diaz-Caro, and Benoît Valiron. The vectorial lambda-calculus. Information and Computation, 2015. to appear. [ bib ]
[14] 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, 2015. [ bib ]
[13] Pablo Arrighi and Simon Perdrix. La décohérence, une alliée pour la simulation. La Recherche, 501-502:66--68, 2015. [ bib ]
[12] 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, 2015. [ bib ]
[11] 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, 2015. [ bib ]
[10] 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, 2015. [ bib ]
[9] Kévin Perrot and Éric Rémila. Emergence on decreasing sandpile models. In Proceedings of MFCS'2015, volume 9234 of LNCS, pages 419--431, 2015. [ bib | HAL ]
[8] 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, 2015. [ bib ]
[7] Kévin Perrot and Éric Rémila. Piles de sable décroissantes 1D : classification expérimentale d'émergences. Technique et Science Informatiques -- Automates cellulaires et réseaux d'automates : le rôle central de l'irrégularité, 2015. [ bib | HAL ]
[6] 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, 2015. [ bib ]
[5] 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, 2015. [ bib | arXiv ]
[4] Georgia Barlovatz-Meimon and Sylvain Sené. Culture de cellules animales (3e édition), chapter Méthodes informatiques en biologie. Lavoisier, 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, 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, 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, 2014. [ bib ]