Jean-Baptiste Yunès

05-04
2013

Recherche

Automates cellulaires, HFE, Combinatoire, Cryptographie

Activités

Productions (publications, développement, etc.) : In progress, 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003, 2002, Oldies.

Jury : thèses et habilitations / PhD.

Projets/Projects.

Missions/Policies.

En cours...

Roberto Mantaci, Paolo Massazza, Jean-Baptiste Yunès. "A CAT Algorithm for Generating Symmetric Ice Piles."

David Ameisen, Philippe Bertheau, Valérie Perrier, Jean-Baptiste Yunès. "Fast and accurate reference-free blur metric based on an edge-brightness ratio (EBR)."

MINES-DGESIP Ministère de l'Enseignement Supérieur et de la Recherche

Rachid El Boussarghini, Thierry Koscielniak, François Lankar, Vincenzo Musco, Patrick Pollet, Jean-Baptiste Yunès. "Développement d'une application dédiée au C2I (Certificat Informatique et Internet) basée sur les technologies HTML5."

2012

LNCS 7495 - Cellular Automata. 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24—27, 2012, Proceedings.
Georgios Sirakoulis, Stefania Bandini (eds). isbn-13 : 978-3-642-33350-7

Luidnel Maignan, Jean-Baptiste Yunès. "A Spatio-temporal Algorithmic Point of View on Firing Squad Synchronisation Problem." pp. 101—110. doi: 10.1007/978-3-642-33350-7

Séminaire de l'UFR d'Informatique, Paris, Juin 2012.

Yann Régis-Gianas, Jean-Baptiste Yunès. "Robothétie : une expérience pédagogique en 2012." (le document)

Communication at W21 SCW at AAMAS, Workshop on Spatial Computing International Conference on Autonomous Agents and MultiAgent Systems, June 4—8, 2012, Valencia, Spain

Luidnel Maignan, Jean-Baptiste Yunès. "Recursivity in Field-based Programming: the Firing Squad Example."

Accepted ACRI 2012 — International Conference on Cellular Automata for Research and Industry, Santorini, Greece

Luidnel Maignan (speaker), Jean-Baptiste Yunès. "A Spatio-Temporal Algorithmic Point of View on Firing Squad Synchronisation Problem."

Natural Computing Vol. 11, Number 2, June 2012.

Jean-Baptiste Yunès. "Grids and universal computations on one-dimensional cellular automata." pp. 303—309. doi : 10.1007/s11047-012-9312-2

2011

Automata 2011, 17th International Workshop on Cellular Automata and Discrete Complex Systems, November 21—23, 2011, Santiago, Chile.

Enrico Formenti, Katsunobu Imai, Bruno Martin, Jean-Baptiste Yunès. "A Boolean approach to cellular automata random sequences generation."

Enseignant/Chercheur invité. Invited professor.
École de combinatoire et algorithmique de Madagascar, Université d'Antananarivo, École Supérieure Polytechnique d'Antananarivo, Madagascar. September 5-16, 2011.

Jean-Baptiste Yunès. "Cours d'informatique." D.E.A. de mathématiques.

Chapitre dans « Éléments pour une histoire de l'informatique. »
Traduction d'œuvres choisies de Donald E. Knuth. Traduction dirigée par Patrick Cégielski.
Société Mathématique de France - CSLI Publications, Stanford, California.

Jean-Baptiste Yunès. "Le premier programme informatique de von Neumann.", p. 56 isbn : 978-1-57586-622-2

Workshop on Sand Pile Model. April 7—8, 2011, LIAFA, Paris.

Roberto Mantaci, Paulo Massazza, Jean-Baptiste Yunès.

Chapter in Handbook of Natural Computing. Grzegorz Rozenberg, Thomas H.W. Bäck, Joost N. Kok (Eds.).
Springer

Jacques Mazoyer, Jean-Baptiste Yunès. "Computations on Cellular Automata." isbn : 978-3-540-92911-6

2010

IWNC — International Workshop of Natural Computing
Satellite workshop of ACRI 2010 — International Conference on Cellular Automata for Research and Industry. Ascoli Piceno, Italy. September 21—22, 2010.

Jean-Baptiste Yunès. "Achieving Universal Computations on One-Dimensional Cellular Automata." Invited talk.

LNCS 6350 - Cellular Automata. 9th International Conference on Cellular Automata for Research and Industry, ACRI 2010, Ascoli Piceno, Italy, September 21—24, 2010, Proceedings.
Stefania Bandini, Sara Manzoni, Hiroshi Umeo and Giuseppe Vizzari (eds). isbn-13 : 978-3-642-15978-7

Jean-Baptiste Yunès. "Achieving Universal Computations on One-Dimensional Cellular Automata." pp. 660—669. doi: 10.1007/978-3-642-15979-4_74

CSO 2010 — Third International Conference on Computational Sciences and Optimization. Huangshan Mountain, Anhui, China, May 28—31, 2010. Proceedings. isbn-13 : 978-1-4244-6812-6

Akira Nomura, Hiroshi Umeo, Jean-Baptiste Yunès. "A Note on Synchronization Steps in Firing Squad Synchronization Problem." doi: 10.1109/CSO.2010.124

2009

International Symposium on Nonlinear Theory and its Applications (NOLTA'09). Sapporo, Japan, October 18—21, 2009.

Hiroshi Umeo, Jean-Baptiste Yunès, Naoki Kamikawa, Juntarou Kurashiki. "Small Non-Optimum-Time Firing Squad Synchronization Protocols for One-Dimensional Rings." pp. 479—492.

CSSim'09, International Conference on Computational Intelligence, Modelling and Simulation. Brno, Czech Republic, September 7—9, 2009.

Hiroshi Umeo, Jean-Baptiste Yunès, Takuya Yamawaki. "A simple Optimum-Time Firing Squad Synchronization Algorithm for Two-Dimensional Rectangle Arrays."

IWNC'09 — International Workshop on Natural Computing, Himeji, Japan, September 23—25, 2009, Proceedings in Information and Communications Technology, Vol. 2/3.
Ferdinand Peper, Hiroshi Umeo, Nobuyuki Matsui, Teijiro Isokawa (Eds.). doi: 10.1007/978-4-431-53868-4

Hiroshi Umeo, Jean-Baptiste Yunès, Naoki Kamikawa. "A Two-Dimensional Optimum-Time Firing Squad Synchronization Algorithm and Its Implementation." pp. 342—351. doi : 10.1007/978-4-431-53868-4_39

PPL — Parallel Processing Letters Vol. 19, Issue 2, June 2009.

Hiroshi Umeo, Naoki Kamikawa, Jean-Baptiste Yunès. "A family of smallest symmetrical four-states firing squad synchronization protocols for ring arrays." pp. 299—313. doi : 10.1142/S0129626409000237

JCA — Journal of Cellular Automata, Volume 4, N°2, 2009. Special Issue. Automata 2007. 13th International Workshop on Cellular Automata.
Henryk Fukś and Anna T. Lawniczak (Eds.)

Jean-Baptiste Yunès. "Known CA synchronizers made insensitive to the initial state of the initiator." pp. 147—158. doi : 10.1142/S0129626409000237

2008

ACRI 2008 — 8th International Conference on Cellular Automata for Reseach and Industry. Yokohama National University, Japan, September 23—26, 2008.

Hiroshi Umeo, Jean-Baptiste Yunès and Naoki Kamikawa. "About 4-states Solutions to the Firing Squad Synchronization Problem."

Cellular Automata, 8th International Conference on Cellular Automata for Research and Industry, ACRI 2008, Yokohama, Japan, September 23—26, 2008. Proceedings. Lecture Notes on Computer Science 5191.
Hiroshi Umeo, Shin Morishita, Katsuhiro Nishinari, Toshihiko Komatsuzaki, Stefania Bandini (Eds.).
Springer-Verlag Berlin Heidelberg, 2008. isbn-13 : 978-3-540-79991-7

Hiroshi Umeo, Jean-Baptiste Yunès and Naoki Kamikawa. "About 4-states Solutions to the Firing Squad Synchronization Problem." pp. 108—113. doi : 10.1007/978-3-540-79992-4_14

Couverture des comptes-rendus d'AUTOMATA 2008

Proceedings of AUTOMATA 2008. 14th International Workshop on Cellular Automata, Bristol, United Kingdom, September 2008. Theory and Applications of Cellular Automata.
Andrew Adamatsky, Ramon Alonso-Sanz, Anna Lawniczak, Genaro Juarez Martinez, Kenichi Morita, Thomas Worsch (Eds.)
Luniver Press, 2008. isbn-10: 1-905986-16-5 isbn-13: 978-1-905986-16-5

Hiroshi Umeo, Naoki Kamikawa, Jean-Baptiste Yunès "A family of smallest symmetrical four-state firing squad synchronization protocols for one-dimensional ring cellular automata." pp. 174—185.

AUTOMATA 2008. 14th International Workshop on Cellular Automata, Watershed Media Center, Bristol, United Kingdom, June 12—14, 2008. IFIP TC1 WG 1.5.

Hiroshi Umeo, Naoki Kamikawa, Jean-Baptiste Yunès "A family of smallest symmetrical four-state firing squad synchronization protocols for one-dimensional ring cellular automata."

Rencontre: programmation sur automates cellulaires. LIAFA, Paris, France. 6 Juin 2008.

Éric Thierry, Jean-Baptiste Yunès

IPL — Information Processing Letters, Vol. 107/2

Jean-Baptiste Yunès "A 4-states Algebraic Solution to Linear Cellular Automata Synchronization." pp. 71—75. 2008. doi: 10.1016/j.ipl.2008.01.009

BFCA'08 — Boolean Functions: Cryptography and Applications. May 19—21, 2008, Copenhagen, Denmark. Appel à participation/Call for paper.

Olga Masnyk-Hansen, Jean-Francis Michon, Pierre Valarcher, Jean-Baptiste Yunès

Proceedings of the first symposium on cellular automata, "Journées Automates Cellulaires", JAC 2008, Uzès, France, 2008. isbn : 978-5-94057-377-7

Jean-Baptiste Yunès. "Goto's Construction and Pascal's Triangle: New Insights into Cellular Automata Synchronization."

Journée en l'honneur de Serge Grigorieff, LIAFA, Paris, France. 15 Janvier 2008.
Patrick Cégielski, Christian Choffrut, Loïc Colson, Pierre Valarcher, Jean-Baptiste Yunès.

Short communication : Jean-Baptiste Yunès. "Signals in Cellular Automata and Parallel Computations."

RAIRO ITA/TIA — Theoretical Informatics and Applications, Vol. 42, N°1, (January-March 2008)
A nonstandard spirit among computer scientists: a tribute to Serge Grigorieff at the occasion of his 60th birthday.

Jean-Baptiste Yunès. "An Intrinsically non Minimal-time Minsky-like 6-States Solution to the Firing Squad Synchronization Problem." pp. 55—68. doi : 10.1051/ita:2007051

2007

Habilitation à diriger des recherches. December 12, 2007.
Jury : Emmanuel Chailloux (UPMC), Guy Cousineau (UPD), Patrick Greussay (P8), Serge Grigorieff (UPD), Jean Mairesse (CNRS-UPD), Jacques Mazoyer (IXXI), Jean-Francis Michon (Rouen), Jean-Marie Rifflet (UPD)

Jean-Baptiste Yunès. "Automates Cellulaires ; Fonctions Booléennes." Mémoire.

Machines, Computations and Universality, 2007. Université d'Orléans, September 10—13, 2007.

Jean-Baptiste Yunès. "Simple new algorithms which solve the FSSP."

MCU 2007, Machines — Computations — Universality, Proceedings LNCS 4664.
Springer-Verlag Berlin Heidelberg, 2007.
J. Durand-Lose and M. Margenstern (Eds.),

Jean-Baptiste Yunès. "Simple new algorithms which solve the Firing Squad synchronization problem: a 7-states 4n-steps solution." pp. 316—324, 2007. isbn : 978-3-540-74592-1

AUTOMATA 2007.
13th International Workshop on Cellular Automata, Fields Institute, Toronto, Canada, August 27—29, 2007. IFIP TC1 WG 1.5.

Jean-Baptiste Yunès. "New extensions to some Firing Squad synchronization solutions."

WSDC'07, Workshop on Symbolic Dynamic and Coding. Institut Gaspard Monge, Marne-la-Vallée, France, July 2—4, 2007.

Jean-Baptiste Yunès. "Revisiting existing solutions to the Firing Squad synchronization problem."

Couverture du Journal of
Integer Sequences

Journal of Integer Sequences. Vol. 10(3), 2007.

Jean-Francis Michon, Pierre Valarcher, Jean-Baptiste Yunès. "Mahler's expansion and boolean functions."

BFCA'07, Boolean Functions: Cryptography and Applications. LIAFA, Université Paris Diderot, Paris, France. May 2—3, 2007. Appel à participation/Call for paper.

Organisation : Jean-Francis Michon, Pierre Valarcher, Jean-Baptiste Yunès.

2006

Proceedings of Boolean Functions: Cryptography and Applications, BFCA'06. Université de Rouen, March 13—15, 2006.
Jean Francis Michon, Pierre Valarcher, Jean-Baptiste Yunès (Eds.)
Presses Universitaires de Rouen et du Havre, 2006. isbn 10 : 2-87775-422-7. isbn 13: 978-2-87775-422-4

Présentation au séminaire du LACL, décembre 2006.

Jean-Baptiste Yunès. "Une tentative de cryptanalyse par BDD."

JCA, Journal of Cellular Automata, Volume 1, n°3. 2006. Old City Publishing.

Jean-Baptiste Yunès. "Fault Tolerant Solutions to the Firing Squad Synchronization Problem in Linear Cellular Automata."

BFCA'06, Boolean Functions: Cryptography and Applications. March 13—15, 2006. Université de Rouen - Mont-Saint-Aignan, France.

Organisation : Magali Bardet, (Université de Rouen - Mont-Saint-Aignan), Jean Francis Michon (Université de Rouen - Mont-Saint-Aignan), Pierre Valarcher (Université de Créteil - Val-de-Marne) et Jean-Baptiste Yunès (Université Paris Diderot - Paris 7).

2005

Proceedings of BFCA'05, Boolean Functions: Cryptography and Applications. March 7—8, 2005. Université de Rouen — Mont-Saint-Aignan, France.
Jean Francis Michon, Pierre Valarcher, Jean-Baptiste Yunès (Eds). Presses Universitaires de Rouen et du Havre, 2005. isbn : 2-87775-403-0

BFCA'05, Boolean Functions: Cryptohgraphy and Applications. March 7—8, 2005. Université de Rouen — Mont-Saint-Aignan, France. Appel à participation/Call for papers..

Organisation : Jean Francis Michon, Pierre Valarcher, Jean-Baptiste Yunès.

RAIRO ITA/TIA. Vol. 39, n°4 (October-December 2005). ref ITA0442.

Jean Francis Michon, Jean-Baptiste Yunès, Pierre Valarcher. "On Maximal QROBDD's of Boolean Functions."

2004

Online Encyclopedia of Integer Sequences.

Jean Francis Michon, Pierre Valarcher, Jean-Baptiste Yunès. Sequence n°A100344. "Sequences of enumeration of QROBDD." Gives the i-th coefficient M(k,i) of the decomposition of the polynomials B(k,X^2) in the basis of all B(i,X), where B(i,X) is the i-th binomial polynomial: B(i,X) = X(X-1)...(X-i+1)/i! for any i > 0 and B(0,X) = 1 by definition.

Technical report, LIAFA 2004-009.

Jean Francis Michon, Pierre Valarcher, Jean-Baptiste Yunès. "On Maximal Boolean Complexity of Boolean Functions."

2003

Proceedings of CCC'03, Coding, Cryptography and Combinatorics
Progress in Computer Science and Applied Logic, Birkhäuser, 2004.
K.Q. Feng, H. Niederreiter and C.P. Xing, (eds).

Jean Francis Michon, Pierre Valarcher, Jean-Baptiste Yunès. "HFE and BDDs: A Practical Attempt at Cryptanalysis." isbn: 978-3-7643-2429-5

CCC'03, International Workshop
Cancelled due to avian flu pandemics.

Jean Francis Michon, Pierre Valarcher, Jean-Baptiste Yunès. "Analysis of HFE from a BDD point of view."

2002

Jean Francis Michon, Pierre Valarcher, Jean-Baptiste Yunès. "Attaque du système HFE par BDD."

Twentieth century...

Cryptanalysis. Unpublished.

Gilles Brochier, Chris Card, Jonathan Vaugh, Jean-Baptiste Yunès (aka The Brute Squad). Experiments on "Singh's Cipher Challenge Essays". Stages 1-9 cracked on time. Read the story.

Automata 1999, IFIP WG1.5 Meeting, École Normale Supérieure de Lyon, Lyon, France.

Jean-Baptiste Yunès. An implementation of a fault tolerant scheme of the FSSP.

Proceedings of MCU/UMC'95.

Maurice Margenstern, Jean-Baptiste Yunès.

Technical report, LITP 96/01

Jean-Baptiste Yunès. "Fault tolerant solutions to the firing squad synchronization problem."

ASMICS Workshop, Roanne, France.

Jean-Baptiste Yunès. "Solutions tolérantes aux pannes pour le problème de la synchronisation d'une ligne de fusiliers.". Compléments.

Automata 1995, Schloss Dagstuhl 9510, Dagstuhl, Germany.
Organizers: Jozef Gruska, Hiroshi Umeo, Roland Vollmar.

Jean-Baptiste Yunès. "Fault tolerant solutions to the firing squad synchronization problem". Compléments. Dagstuhl report.

Theoretical Computer Science, TCS 127/2.

Jean-Baptiste Yunès. "Seven states solutions to the firing squad synchronization problem".

Jean-Baptiste Yunès. "A propos du Firing Squad (et des machines avec très peu d'états)".

Thèse de doctorat, 17 Février 1993. LITP TH 93/01.

Jean-Baptiste Yunès. "Synchronisation et automates cellulaires: la ligne de fusiliers".

Journée Arithmétiques Faibles, JAF 6, Paris, France.

Jean-Baptiste Yunès. "Automates cellulaires et théorie des nombres".

Jury de thèse et habilitation

Rapporteur et Membre du jury d'habilitation à diriger des recherches de :

M. Christophe Prieur. La conjuration des égos. Réseaux, algorithmes, identités. LIAFA, Université Paris Diderot, 2012.

Membre du jury d'habilitation à diriger des recherches de :

Mme Véronique Terrier. Reconnaissance de langages par automates cellulaires. GREYC, Université de Caen, 2011.
Directeur : Pr. Étienne Granjean.

Membre du jury de Thèse défendue par :

M. Luidnel Maignan. Algorithmique distribuée pour la programmation des milieux de calcul. LRI, Université Paris 11, 2010.
Directeur : Dr Frédéric Gruau.

Membre du jury de Thèse défendue par :

M. Benoît Poulot-Cazajous. Méthodes et outils pour la production de systèmes d'exploitation : application à ChorusOS. LIAFA, Université Paris Diderot, 2005.
Directeur : Pr. Jean-Marie Rifflet.

Membre du jury de Thèse défendue par :

Mme Yaël Haddad. Propriétés structurelles de certaines fonctions Booléeennes. LIAFA, Université Paris Diderot, 2002.
Directeur : Pr. Christian Choffrut.

Direction de Thèse

Co-directeur de la thèse avec le Professeur Philippe Bertheau, IUH, Hôpital Saint-Louis, Université Paris Diderot :

M. David Ameisen. Intégration des lames virtuelles dans le dossier patient électronique. Thèse soutenue le 29 mars 2013

Projets

ANR - Agence Nationale de la Recherche. Programme blanc, 2012-2016

M. Jean-Baptiste Yunès (Task #2 - leader, LIAFA team - team leader).
"TARMAC : Theory of AlgoRithms: Machines, completeness, Axiomatization and physical Constraints"

ANR - Agence Nationale de la Recherche. Programme « contenus et interactions », 2012-2015

M. Jean-Baptiste Yunès (participant).
"ALGOPOL : Politique des algorithmes"

14ième appel à projet FUI (Fonds Unique Interministériel), 2012-2015
Labellisé par le pôle Medicen Logo du pôle Medicen

Labellisé par le pôle Systematic Logo du pôle Systematic

M. Jean-Baptiste Yunès (WP3, WP4). "FlexMIm : Plate-forme de partage et gestion d'images médicales de grandes dimensions permettant le télédiagnostic."

Appel à projets pédagogiques émergents du PRES Sorbonne Paris Cité, 2011

MM Yann Régis-Gianas, Jean-Baptiste Yunès (porteurs Université Paris Diderot).
"Robothétie"
Groupe Facebook, Google+

ACI 2002—2006

"ACI Cryptologie"

ACI 1994 — 2000 ???

"ACI ???"

Missions / Policies

Chargé de mission puis Délégué aux TICEs (ICT, Policy officer), 2008—2010, Université Paris Diderot.

Auteur : Jean-Baptiste Yunès