[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 |
DOI |
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 ]
|