Search - Archive ouverte HAL Access content directly

Filter your results

463 Results
Image document

Complexity of the dynamics of reaction systems

Alberto Dennunzio , Enrico Formenti , Luca Manzoni , Antonio Enrico Porreca
Information and Computation, 2019, ⟨10.1016/j.ic.2019.03.006⟩
Journal articles hal-02123610v1

On the impact of the distance between two genes on their interaction curve

Siamak Taati , Enrico Formenti , Jean-Paul Comet , Gilles Bernot
Journal of Mathematical Biology, 2012, 64 (1), pp.131-147. ⟨10.1007/s00285-010-0373-5⟩
Journal articles istex hal-01242438v1

Randomness with Cellular Automata

Bruno Martin
Discrete Models of Complex Systems, Mar 2018, Orléans, France
Conference papers hal-01741411v1

On Radius 1 Nontrivial Reversible and Number-Conserving Cellular Automata

Bruno Martin , Katsunobu Imai , Ryohei Saito
Reversibility and Universality, 2018
Book sections hal-01741396v1

A synergic approach to the minimal uncompletable words problem

Sandrine Julia , Arnaud Malapert , Julien Provillard
16th Mons Theoretical Computer Science Days , Sep 2016, Liège, Belgium
Conference papers hal-01342479v1

Strong and weak spatial segregation with multilevel discrimination criteria

Philippe Collard
Complex Systems , 2019
Journal articles hal-02175498v1

From Additive Flowers to Additive Automata Networks

Enrico Formenti , Christophe Papazian , Adrien Richard , Pierre-Alain Scribot
Automata and Complexity, 42, Springer International Publishing, pp.323-343, 2022, Emergence, Complexity and Computation, ⟨10.1007/978-3-030-92551-2_18⟩
Book sections hal-03865527v1

Ce que la cryptographie doit à Shannon

Bruno Martin
Other publications hal-01741406v1

Segregation Landscape: A New View on the Schelling Segregation Space

Philippe Collard , Teodor Ghetiu
Complex Systems , 2016, 25 (3), pp.169 - 193. ⟨10.25088/ComplexSystems.25.3.169⟩
Journal articles hal-01716809v1
Image document

Automatic Verification of Loop Invariants

Olivier Ponsini , Hélène Collavizza , Carine Fédèle , Claude Michel , Michel Rueher et al.
Preprints, Working Papers, ... hal-00495675v1

Inferring the Synaptical Weights of Leaky Integrate and Fire Asynchronous Neural Networks: Modelled as Timed Automata

Elisabetta de Maria , Cinzia Di Giusto
Biomedical Engineering Systems and Technologies, 1024, Springer International Publishing, pp.149-166, 2019, Communications in Computer and Information Science, ⟨10.1007/978-3-030-29196-9_9⟩
Book sections hal-03603403v1
Image document

Automates cellulaires non-uniformes

Julien Provillard
Mathématique discrète [cs.DM]. Université Nice Sophia Antipolis, 2012. Français. ⟨NNT : ⟩
Theses tel-01297387v1

The “Two’s Company, Three’s a Crowd” Game

Philippe Collard
Complex Systems , 2017, 26 (3)
Journal articles hal-01716804v1

Nilpotent dynamics on signed interaction graphs and weak converses of Thomas' rules

Adrien Richard
Discrete Applied Mathematics, 2019, 267, pp.160-175. ⟨10.1016/j.dam.2019.04.025⟩
Journal articles hal-02403960v1


Alberto Dennunzio , Enrico Formenti
Information and Computation, 2020, 274, pp.104530. ⟨10.1016/j.ic.2020.104530⟩
Journal articles hal-03117388v1

From Tetris to polyominoes generation

Enrico Formenti , Paolo Massazza
Electronic Notes in Discrete Mathematics, 2017, 59, pp.79 - 98. ⟨10.1016/j.endm.2017.05.007⟩
Journal articles hal-01753994v1

Kernels and Defaults

Philippe Langevin , Patrick Solé
Finite Fields : Theory, Applications and Algorithms, 1998, Unknown, Unknown Region. pp.77--87
Conference papers hal-01279306v1

Pseudo-random sequence generation with cellular automata

Bruno Martin
6th International Workshop on Applications and Fundamentals of Cellular Automata, Nov 2018, Hida, Takayama, Japan
Conference papers hal-01980216v1

Formal methods applied to gene network modelling

Gilles Bernot , Jean-Paul Comet , El Houssine Snoussi
Luis Fariñas del Cerro; Katsumi Inoue. Logical Modeling of Biological Systems, 2014, 978-1-84821-680-8
Book sections hal-01282880v1
Image document

Formal Methods for Systems Biology: Contributions

Elisabetta de Maria
Bioinformatics [q-bio.QM]. Université Côte d'Azur, 2020
Habilitation à diriger des recherches tel-02888024v1

Minimal uncompletable words

Sandrine Julia
First Russian-Finnish Symposium on Discrete Mathematics, Sep 2011, Saint Petersburg, Russia
Conference papers hal-01286382v1

Formal Validation of Neural Networks as Timed Automata

Elisabetta de Maria , Cinzia Di Giusto , Giovanni Ciatto
the 8th International Conference on Computational Systems-Biology and Bioinformatics, Dec 2017, Nha Trang City, France. ⟨10.1145/3156346.3156350⟩
Conference papers hal-01717598v1

Second-order Micromotives and Macrobehaviour

Philippe Collard
Journal of Computational Social Science, 2020
Journal articles hal-02463856v1

Regulatory networks

Gilles Bernot , Jean-Paul Comet , Christine Risso - de Faverney
Computational Toxicology, II, pp.215-234, 2013, 978-1-62703-058-8
Book sections hal-01282888v1

Positive and negative cycles in Boolean networks

Adrien Richard
Journal of Theoretical Biology, 2019, 463, pp.67-76. ⟨10.1016/j.jtbi.2018.11.028⟩
Journal articles hal-02403956v1

Necessary conditions for multistationarity in discrete dynamical systems

Adrien Richard , Jean-Paul Comet
Discrete Applied Mathematics, 2007, 155 (18), pp.2403-2413
Journal articles hal-00415886v1

Chaos and ergodicity are decidable for linear cellular automata over (Z /mZ)^n

Alberto Dennunzio , Enrico Formenti , Darij Grinberg , Luciano Margara
Information Sciences, 2020, 539, pp.136-144. ⟨10.1016/j.ins.2020.05.123⟩
Journal articles hal-03117448v1

A Hoare logic for gene regulatory networks

Jean-Paul Comet , Gilles Bernot
2nd Workshop on Computational Structural Biology: Integrative Approaches for Modeling Biomolecular Complexes, May 2013, Nice, France
Conference papers hal-01282935v1

More Decision Algorithms for Global Properties of 1D Cellular Automata

Enrico Formenti , Sébastien Autran
Journal of Cellular Automata, 2018
Journal articles hal-01977656v1

On the Generation of 2-Polyominoes

Enrico Formenti , Paolo Massazza
Descriptional Complexity of Formal Systems - 20th {IFIP} {WG} 1.02 International Conference (DCFS) 2018, Aug 2019, Halifax, Canada. pp.101-113
Conference papers hal-02272888v1