Séminaire "Automates": période 00-01

• 22-12-2000
• Massimiliano Milani
• (LIAFA)
• Simulation of Unary Probabilistic Automata

• 15-12-2000
• Christophe Reutenauer
• (IRMA, CNRS)
• Hauteur d'étoile des séries rationnelles non commutatives

• 08-12-2000
• Jacques Sakarovitch
• (ENST, CNRS)
• Algèbre linéaire non commutative et réduction des Algèbre linéaire non commutative et réduction des représentations des séries reconnaissables

• 08-12-2000
• Massimo Santini
• (Université de Milan)
• On the Sequential and Circuit Complexity of the Random Generation Problem for Polynomially Ambiguous Context-free Langu

• 01-12-2000
• Benjamin Steinberg
• (University of Porto2)
• F-inverse monoids and a question of Henckell and Rhodes

• 00-12-2000
• Jean-Paul Allouche
• (LRI, Orsay)
• Automates et transcendances

• 00-12-2000
• Juhani Karhumäki
• (Université de Turku)
• Combinatorial and computational problems on finite sets of words

• 00-12-2000
• Mireille Régnier
• (INRIA)
• Comptage de mots et signification statistique

• 00-12-2000
• Marie-Pierre Béal
• (IGM , Université de Marne-la-Vallée)
• Codage pour les canaux de rotation

• 00-12-2000
• Robert Tijdeman
• (Université de Leyde )
• Generalisations of the Fine-Wilf theorem and their applications

• 00-12-2000
• Christian Choffrut
• (Université Paris 7, LIAFA)
• Problèmes de décision sur les matrices à entrées entières

• 00-12-2000
• Olivier Finkel
• (Équipe de logique mathématique, Université Paris 7)
• Sur la complexité topologique des omega langages algébriques

• 00-12-2000
• Madhavan Mukund
• (Chennai Mathematical Institute, india)
• Towards a characterisation of finite-state message-passing systems

• 00-12-2000
• Laurent Vuillon
• (Université Paris 7, LIAFA)
• Les mots équilibrés en informatique théorique

• 00-12-2000
• Tayssir Touili
• (Université Paris 7, LIAFA)
• Permutation Rewriting and Algorithmic Verification

• 00-12-2000
• Andrei V. Kelarev
• (University of Tasmania)
• Combinatorial Properties of Words for Languages and Syntactic Monoids

• 00-12-2000
• Ioannis Michos
• (Université Paris 7, LIAFA)
• Sur la hauteur moyenne de Cartier-Foata des traces

• 00-12-2000
• Clelia De Felice
• (Université de Salerne)
• Circular splicing and regularity

• 00-12-2000
• Denis Thérien
• (Université de McGill)
• Diamonds are forever: the variety DA

• 00-12-2000
• Alexis Bes
• (Université de Mons-Hainaut)
• Langages réguliers non-standards

• 00-12-2000
• Ines Klimann
• (Université Paris 7, LIAFA)
• Divers types de représentations pour les séries à coefficients dans des semi-anneaux idempotents

• 00-12-2000
• Helmut Seidl
• (Université de Trier)
• sans titre2

• 00-12-2000
• Bruno Gaujal
• (INRIA)
• Multimodularité et mots de Sturm

• 00-12-2000
• Anne Siegel
• (IML, Marseille)
• Propriétés géométriques des fractales de Rauzy et automates

• 00-12-2000
• John Rhodes
• (Université de Californie à Berkeley)
• sans titre

• 00-12-2000
• Carla Selmi
• (Université de Rouen)
• Maximalité et Complétude dans un sous-monoïde arbitraire du monoïde libre

• 00-12-2000
• Sylvain Lombardy
• (ENST Paris)
• Déterminisation d'automates unaires (max,+)

• 24-11-2000
• Thierry Bousch
• (Laboratoire de Topologie et Dynamique, Université de PARIS-SUD)
• Mesures invariantes minimisantes pour les systèmes à évènements discrets

• 17-11-2000
• Gérard Rauzy
• (IML, Marseille)
• Pavages

• 10-11-2000
• Maxime Crochemore
• (IGM , Université de Marne-la-Vallée)
• Indexation de textes

• 03-11-2000
• Christophe Prieur
• (LIAFA)
• Transducteurs de mots infinis : tant que ça fonctionne, on continue !

• 27-10-2000
• Philippe Schnoebelen
• (LSV, ENS Cachan)
• Model checking de CTL+ et autres logiques temporelles

• 20-10-2000
• Oscar H. Ibarra
• (University of California)
• Reachability and Safety in Infinite-State Systems

• 13-10-2000
• Francine Blanchet-Sadri
• (Université de Caroline du Nord)
• Combinatoire des mots partiels

• 06-10-2000
• Sylvain Lombardy
• (ENST Paris)
• Dérivation d'expressions avec multiplicité