Filter your results
- 247
- 214
- 2
- 227
- 137
- 22
- 20
- 18
- 15
- 7
- 5
- 5
- 3
- 3
- 1
- 16
- 1
- 440
- 84
- 37
- 27
- 11
- 9
- 6
- 3
- 2
- 2
- 33
- 1
- 12
- 9
- 15
- 28
- 25
- 23
- 27
- 32
- 39
- 45
- 46
- 46
- 25
- 21
- 28
- 29
- 4
- 2
- 1
- 2
- 1
- 2
- 412
- 48
- 3
- 463
- 48
- 30
- 30
- 25
- 17
- 16
- 15
- 14
- 14
- 11
- 10
- 10
- 10
- 9
- 9
- 7
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 76
- 52
- 34
- 33
- 31
- 30
- 29
- 26
- 25
- 21
- 19
- 17
- 17
- 17
- 17
- 16
- 16
- 14
- 14
- 13
- 13
- 12
- 12
- 12
- 11
- 11
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
463 Results
|
Complexity of the dynamics of reaction systemsInformation 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 curveJournal of Mathematical Biology, 2012, 64 (1), pp.131-147. ⟨10.1007/s00285-010-0373-5⟩
Journal articles
istex
hal-01242438v1
|
|||
Randomness with Cellular AutomataDiscrete Models of Complex Systems, Mar 2018, Orléans, France
Conference papers
hal-01741411v1
|
|||
On Radius 1 Nontrivial Reversible and Number-Conserving Cellular AutomataReversibility and Universality, 2018
Book sections
hal-01741396v1
|
|||
A synergic approach to the minimal uncompletable words problem16th Mons Theoretical Computer Science Days , Sep 2016, Liège, Belgium
Conference papers
hal-01342479v1
|
|||
Strong and weak spatial segregation with multilevel discrimination criteriaComplex Systems , 2019
Journal articles
hal-02175498v1
|
|||
From Additive Flowers to Additive Automata NetworksAutomata 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 à Shannon2017
Other publications
hal-01741406v1
|
|||
Segregation Landscape: A New View on the Schelling Segregation SpaceComplex Systems , 2016, 25 (3), pp.169 - 193. ⟨10.25088/ComplexSystems.25.3.169⟩
Journal articles
hal-01716809v1
|
|||
|
Automatic Verification of Loop Invariants2010
Preprints, Working Papers, ...
hal-00495675v1
|
||
Inferring the Synaptical Weights of Leaky Integrate and Fire Asynchronous Neural Networks: Modelled as Timed AutomataBiomedical 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
|
|||
|
Automates cellulaires non-uniformesMathématique discrète [cs.DM]. Université Nice Sophia Antipolis, 2012. Français. ⟨NNT : ⟩
Theses
tel-01297387v1
|
||
The “Two’s Company, Three’s a Crowd” GameComplex Systems , 2017, 26 (3)
Journal articles
hal-01716804v1
|
|||
|
Nilpotent dynamics on signed interaction graphs and weak converses of Thomas' rulesDiscrete Applied Mathematics, 2019, 267, pp.160-175. ⟨10.1016/j.dam.2019.04.025⟩
Journal articles
hal-02403960v1
|
||
|
PrefaceInformation and Computation, 2020, 274, pp.104530. ⟨10.1016/j.ic.2020.104530⟩
Journal articles
hal-03117388v1
|
||
From Tetris to polyominoes generationElectronic Notes in Discrete Mathematics, 2017, 59, pp.79 - 98. ⟨10.1016/j.endm.2017.05.007⟩
Journal articles
hal-01753994v1
|
|||
Kernels and DefaultsFinite Fields : Theory, Applications and Algorithms, 1998, Unknown, Unknown Region. pp.77--87
Conference papers
hal-01279306v1
|
|||
Pseudo-random sequence generation with cellular automata6th International Workshop on Applications and Fundamentals of Cellular Automata, Nov 2018, Hida, Takayama, Japan
Conference papers
hal-01980216v1
|
|||
Formal methods applied to gene network modellingLuis Fariñas del Cerro; Katsumi Inoue. Logical Modeling of Biological Systems, 2014, 978-1-84821-680-8
Book sections
hal-01282880v1
|
|||
|
Formal Methods for Systems Biology: ContributionsBioinformatics [q-bio.QM]. Université Côte d'Azur, 2020
Habilitation à diriger des recherches
tel-02888024v1
|
||
Minimal uncompletable wordsFirst Russian-Finnish Symposium on Discrete Mathematics, Sep 2011, Saint Petersburg, Russia
Conference papers
hal-01286382v1
|
|||
|
Formal Validation of Neural Networks as Timed Automatathe 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 MacrobehaviourJournal of Computational Social Science, 2020
Journal articles
hal-02463856v1
|
|||
Regulatory networksComputational Toxicology, II, pp.215-234, 2013, 978-1-62703-058-8
Book sections
hal-01282888v1
|
|||
|
Positive and negative cycles in Boolean networksJournal 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 systemsDiscrete Applied Mathematics, 2007, 155 (18), pp.2403-2413
Journal articles
hal-00415886v1
|
|||
Chaos and ergodicity are decidable for linear cellular automata over (Z /mZ)^nInformation Sciences, 2020, 539, pp.136-144. ⟨10.1016/j.ins.2020.05.123⟩
Journal articles
hal-03117448v1
|
|||
A Hoare logic for gene regulatory networks2nd 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 AutomataJournal of Cellular Automata, 2018
Journal articles
hal-01977656v1
|
|||
On the Generation of 2-PolyominoesDescriptional Complexity of Formal Systems - 20th {IFIP} {WG} 1.02 International Conference (DCFS) 2018, Aug 2019, Halifax, Canada. pp.101-113
Conference papers
hal-02272888v1
|