- 16
- 8
- 7
- 5
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
Research domains
Publications
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 5
- 2
- 3
- 3
- 2
- 4
- 5
- 6
- 2
- 3
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 14
- 13
- 13
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 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
- 8
- 8
- 7
- 7
- 5
- 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
- 39
- 8
- 4
|
Approches quantitatives de l'analyse des prédictions en traduction automatique neuronale (TAN)JADT 2020 : 15èmes Journées Internationales d'Analyse statistique des Données Textuelles, Université de Toulouse, Jun 2020, Toulouse, France
Conference papers
hal-03049589v1
|
A Field Based Solution of Mazoyer's FSSP SchemaCellular Automata - 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings, Samira El Yacoubi, Jaroslaw Wąs, Stefania Bandini, 2016, Fez, Morocco. pp.134--143, ⟨10.1007/978-3-319-44365-2_13⟩
Conference papers
hal-01799306v1
|
|
Synchronizing the Squad with (Almost) Arbitrary Cut RatioFourth International Symposium on Computing and Networking, CANDAR 2016, Hiroshima, Japan, November 22-25, 2016, 2016, Hiroshima, Japan. pp.229--235, ⟨10.1109/CANDAR.2016.0048⟩
Conference papers
hal-01799305v1
|
|
An Efficient Algorithm for Generating Symmetric Ice PilesItalian Conference on Theoretical Computer Science, Sep 2014, Perugia, Italy
Conference papers
hal-02419827v1
|
|
Experimental Finitization of Infinite Field-Based Generalized FSSP SolutionCellular Automata - 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014. Proceedings, 2014, Cracovie, Poland. pp.136--145, ⟨10.1007/978-3-319-11520-7_15⟩
Conference papers
hal-01799311v1
|
|
Generalized FSSP on Hexagonal Tiling: Towards Arbitrary Regular SpacesCellular Automata and Discrete Complex Systems - 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers, 2014, Himeji, Japan. pp.83--96, ⟨10.1007/978-3-319-18812-6_7⟩
Conference papers
hal-01799309v1
|
|
Moore and Von Neumann Neighborhood N-Dimensional Generalized Firing Squad Solutions Using FieldsThe First International Symposium on Computing and Networking - Across Practical Development and Theoretical Research, Dogo SPA Resort, Matsuyama, Japan, December 4-6, 2013., 2013, Matsuyama, Japan. pp.552--558, ⟨10.1109/CANDAR.2013.98⟩
Conference papers
hal-01799312v1
|
|
Recursivity in Field-based Programming: the Firing Squad Example.Workshop on Spatial Computing International Conference on Autonomous Agents and MultiAgent Systems, Jun 2012, Valencia, Spain
Conference papers
hal-02420182v1
|
|
A Spatio-temporal Algorithmic Point of View on Firing Squad Synchronisation ProblemCellular Automata - 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012. Proceedings, 2012, santorini, Greece. pp.101--110, ⟨10.1007/978-3-642-33350-7_11⟩
Conference papers
hal-01799314v1
|
|
A Boolean approach to cellular automata random sequences generation17th International Workshop on Cellular Automata and Discrete Complex System, Nov 2011, Santiago, Chile. pp.25-35
Conference papers
hal-00686571v1
|
|
A Note on Synchronization Steps in Firing Squad Synchronization ProblemThird International Conference on Computational Sciences and Optimization, May 2010, Huangshan Moutain, Anhui, China. pp.300-301, ⟨10.1109/CSO.2010.124⟩
Conference papers
hal-00686555v1
|
|
Achieving Universal Computations on One-Dimensional Cellular AutomataInternational Conference on Cellular Automata for Research and Industry - International Workshop of Natural Computing, Sep 2010, Ascoli Piceno, Italy
Conference papers
hal-00686561v1
|
|
A Two-Dimensional Optimum-Time Firing Squad Synchronization Algorithm and Its ImplementationInternational Workshop on Natural Computing, Sep 2009, Himeji, Japan. pp.342--351, ⟨10.1007/978-4-431-53868-4_39⟩
Conference papers
hal-00686545v1
|
|
Small Non-Optimum-Time Firing Squad Synchronization Protocols for One-Dimensional RingsInternational Symposium on Nonlinear Theory and its Applications, Oct 2009, Sapporo, Japan. pp.479-492
Conference papers
hal-00459013v1
|
|
A simple Optimum-Time Firing Squad Synchronization Algorithm for Two-Dimensional Rectangle ArraysInternational Conference on Computational Intelligence, Modelling and Simulation, Sep 2009, Brno, Czech Republic
Conference papers
hal-00686552v1
|
|
A family of smallest symmetrical four-state firing squad synchronization protocols for one-dimensional ring cellular automataAUTOMATA 2008, Jun 2008, Bristol, United Kingdom. pp.174-185
Conference papers
hal-00287876v1
|
|
About 4-states Solutions to the Firing Squad Synchronization ProblemACRI 2008, Sep 2008, Yokohama, Japan. pp.108-113, ⟨10.1007/978-3-540-79992-4_14⟩
Conference papers
hal-00326644v1
|
|
|
Goto's construction and Pascal's triangle: new insights into cellular automata synchronizationJAC 2008, Apr 2008, Uzès, France. pp.195-203
Conference papers
hal-00274000v1
|
Revisiting existing solutions to the firing squad synchronization problemWSDC'07 Workshop on Symbolic Dynamics and Coding, Jul 2007, Marne-la-vallée, France
Conference papers
hal-00172195v1
|
|
Simple new algorithm which solve the FSSP: a 4n-steps 7-states solutionMachines, Computations and Universality. MCU 2007, Sep 2007, Orléans, France. pp.316-324, ⟨10.1007/978-3-540-74593-8_27⟩
Conference papers
hal-00172156v1
|
|
Known CA synchronizers made insensitive to the initial state of the initiatorAUTOMATA 2007, Aug 2007, Toronto, Canada. pp.147-158
Conference papers
hal-00365053v1
|
|
New extensions to some firing squad synchronization solutionsAUTOMATA 2007, Aug 2007, Toronto, Canada
Conference papers
hal-00172194v1
|
|
HFE and BDDs: A Practical Attempt at Cryptanalysis2004, pp.11
Conference papers
hal-00081338v1
|
|
Analysis of HFE from a BDD point of viewCCC'03, 2003, China
Conference papers
hal-00081341v1
|
|
An Implementation of a Fault Tolerant Scheme of the FSSPIFIP WG1.5 Meeting, 1999, France
Conference papers
hal-00139044v1
|
|
Solutions Tolérantes aux pannes pour le problème de la synchronisation d'une ligne de fusiliers.ASMICS Workshop, 1995, France
Conference papers
hal-00139045v1
|
|
Fault Tolerant Solutions to the Firing Squad Synchronization Problem1995, pp.28
Conference papers
hal-00139050v1
|
|
The SPECTRANS System Description for the WMT22 Biomedical Task7th conference on machine translation (WMT22), EMNLP 2022, Dec 2022, Abu Dhabi, United Arab Emirates.
Conference poster
hal-03895294v1
|
Fondements de la Programmation Concepts et TechniquesEllipses, 2014, 978-2340000148
Books
hal-01187683v1
|
|
BFCA'06 Boolean Functions: Cryptography and ApplicationsJean-Francis Michon, Pierre Valarcher, Jean-Baptiste Yunès. Presses Universitaires de Rouen et du Havre, pp.202, 2006
Books
hal-00131767v1
|
|
Boolean Functions: Cryptography and Applications.Presses Universitaires de Rouen et du Havre, pp.204, 2005
Books
hal-00081317v1
|
|
BFCA'05 - Boolean Functions: Cryptography and ApplicationsJean-Francis Michon, Pierre Valarcher, Jean-Baptiste Yunès. Presses Universitaires de Rouen et du Havre, pp.204, 2005
Books
hal-00139042v1
|
|
Unix: Programmation et CommunicationDunod, pp.800, 2003
Books
hal-00081342v1
|
Advances on Random Sequence Generation by Uniform Cellular AutomataComputing with New Resources, 8808, Springer Verlag, pp.56-70, 2014, Lecture Notes in Computer Science, 978-3-319-13349-2. ⟨10.1007/978-3-319-13350-8_5⟩
Book sections
hal-01218459v1
|
|
Le premier programme informatique de von NeumannÉléments pour une histoire de l'informatique, Société Mathématique de France - CSLI Publications, Stanford, California, pp.56-75, 2011, 978-1-57586-622-2
Book sections
hal-00686568v1
|
|
Computations on cellular automataRozenberg, Back, Kok. Handbook of natural computing, Springer, pp.1-29, 2011
Book sections
hal-00578620v1
|
Sequence of Enumeration of QROBDD2004
Other publications
hal-00081330v1
|
|
Proving Formally a Field-Based FSSP Solution[Technical Report] Laboratoire d'Informatique Algorithmique: Fondements et Applications, Université Paris Diderot - Paris 7. 2018, pp.1-58
Reports
hal-01739317v1
|
|
Synchronisation et Automates Cellulaires: La Ligne de FusiliersModélisation et simulation. Université Paris-Diderot - Paris VII, 1993. Français. ⟨NNT : ⟩
Theses
tel-00139049v1
|
|
Automates Cellulaires; Fonctions BooléennesAutre [cs.OH]. Université Paris-Diderot - Paris VII, 2007
Habilitation à diriger des recherches
tel-00200440v1
|