Pin, Jean-Éric.
Pin, J.E
Jean-Éric Pin
Pin, J.E. (Jean-Éric)
VIAF ID: 27076137 ( Personal )
Permalink: http://viaf.org/viaf/27076137
Preferred Forms
- 100 0 _ ‡a Jean-Éric Pin
- 200 _ | ‡a Pin ‡b Jean-Éric
-
- 100 1 _ ‡a Pin, J. E.
-
-
-
- 100 1 _ ‡a Pin, Jean Eric
-
-
- 100 1 _ ‡a Pin, Jean Eric
-
-
- 100 1 _ ‡a Pin, Jean Éric
-
- 100 1 _ ‡a Pin, Jean-Éric
-
-
-
4xx's: Alternate Name Forms (8)
5xx's: Related Names (11)
- 500 1 _ ‡a Berstel, Jean ‡d 1941-....)
- 500 1 _ ‡a Gomes, Gracinda M. S.
- 500 1 _ ‡a Howie, A.
- 500 1 _ ‡a Lothaire, M.
- 500 1 _ ‡a Lothaire, M. ‡4 pseu ‡4 https://d-nb.info/standards/elementset/gnd#pseudonym ‡e Pseudonym
- 551 _ _ ‡a Paris ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
- 500 1 _ ‡a Perrin, Dominique
- 500 1 _ ‡a Pocchiola, Michel
- 500 1 _ ‡a Schützenberger, Marcel P.
- 500 1 _ ‡a Silva, Pedro V.
- 500 1 _ ‡a Zeitoun, Marc
Works
Title | Sources |
---|---|
Algebraic Informatics : 8th International Conference, CAI 2019, Niš, Serbia, June 30-July 4, 2019, Proceedings | |
ALGEBRAIC STUDU OF TEMPORALLOGIC. | |
AN APPROACH TO THE VERIFICATION OF CONCURRENT SYSTEMS : AN APPLICATION TO SECURITY PROTOCOLS. | |
Une approche combinatoire du problème de séparation pour les langages réguliers | |
UNE APPROCHE POUR LA VERIFICATION DES SYSTEMES PARALLELES : APPLICATION AU DOMAINE DE LA SECURITE | |
Automata in mathematics and selected applications | |
Automates finis et applications : majeure d'informatique | |
Automates synchronisant et théorie du codage. | |
Average case analysis of finite automata and regular language. | |
Caractérisation décidables de logiques sur les arbres. | |
Circuits booléens, prédicats modulaires et langages réguliers | |
CLASSES OF BOOLEAN CIRCUITS AND VARIETIES OF FINITE MONOIDS. | |
Combinatorics on words, 1983 (xx-ref.) | |
Comportements asymptotiques des automates Max-plus et Min-plus | |
Computer Science - Theory and Applications : 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings | |
THE CONCATENATION PRODUCT AND ITS VARIANTS. | |
La contrepartie algébrique de la hiérarchie de Wagner par le biais de la théorie des jeux. | |
Decidable characterizations for tree logics | |
ETUDE ALGEBRIQUE DE LA LOGIQUE TEMPORELLE | |
Etude d'extensions des langages déterministes | |
Etude du comportement en moyenne des automates finis et des langages rationnels | |
Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings | |
A game theoretical approach to the algebraic counterpart of the Wagner hierarchy | |
Handbook of automata theory. | |
Infinite words : automata, semigroups, logic and games | |
Języki slów proskończonych i problem ograniczoności | |
Langages, séries et contrôle de trajectoires | |
Langages ε-sûrs et caractérisations des langages d'ordres supérieurs | |
Languages of profinite words and the limitedness problem | |
Majorants minimaux dans l'ordre de löwner et application au calcul d'invariants de systèmes commutés | |
Mathématiques et informatique problèmes résolus | |
Le meilleur ordre : idéaux et espaces. | |
Méthodes algébriques pour les langages formels : applications à la logique et à la dynamique symbolique | |
Minimal upper bounds in the löwner order and application to invariant computation for switched systems. | |
Opérations implicites et variétés de semi-groupes finis | |
Polynomial operations on rational languages, syntactic characterizations and decidability results. | |
Le problème de la synchronisation : contribution a l'étude de la conjecture de Cerny | |
Programmation et algorithmique : promotion 2002, année 2, enseignement diversifié 1, INF421 | |
RANGS DES RELATIONS BINAIRES ET SEMIGROUPES DE RELATIONS NON AMBIGUS | |
Semi-groupes ordonnés et opérations sur les langages rationnels | |
Semigroups, algorithms, automata and languages Coimbra, Portugal, May-July 2001 | |
Simplifying transducers using sequentiality | |
SYMBOLIC PARTIAL EVALUATION: A SEMANTICAL ANALYSIS OF C PROGRAMS SO AS TO VERIFY THEM. | |
Theoretical foundations | |
Théorie des représentations combinatoire de tours de monoïdes : Application à la catégorification et aux fonctions de parking | |
Variétés de langages formels |