FC03.fr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « FC03.fr.i » - entrée « Automate »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Autocontrôle < Automate < Automate arbre  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 15.
Ident.Authors (with country if any)Title
000017 (2014) Hans Van Ditmarsch [France] ; Sujata Ghosh [Inde] ; Rineke Verbrugge [Pays-Bas] ; YANJING WANG [République populaire de Chine]Hidden protocols: Modifying our expectations in an evolving world
000464 (2005) Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Vitaly Shmatikov [États-Unis] ; Mathieu Turuani [France]Probabilistic polynomial-time semantics for a protocol security logic
000470 (2005) René Schott [France] ; Jean-Claude Spehner [France]On the minimal automaton of the shuffle of words and araucarias
000508 (2005) Mathieu Baudet [France] ; Véronique Cortier [France] ; Steve Kremer [France]Computationally sound implementations of equational theories against passive adversaries
000511 (2005) Yannick Chevalier [France] ; Michaël Rusinowitch [France]Combining intruder theories
000562 (2004) René Schott [France] ; Jean-Claude Spehner [France]Two optimal parallel algorithms on the commutation class of a word
000617 (2004) Martin Abadi [États-Unis] ; Veronique Cortier [France]Deciding knowledge in security protocols under equational theories
000630 (2004) Olivier Bournez [France] ; Emmanuel Hainry [France]An analog characterization of elementarily computable functions over the real numbers
000727 (2003) Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]ACID-unification is NEXPTIME-decidable
000A07 (2000) Eugene Asarin [France] ; Olivier Bournez [France] ; THAO DANG [France] ; Oded Maler [France] ; Amir Pnueli [Israël]Effective synthesis of switching controllers for linear systems
000A36 (1999) Dixièmes Rencontres Francophones du Parallélisme
000A48 (1999) O. Kone [France] ; R. Castanet [France]Méthodes formelles de test de conformité des protocoles
000B27 (1998) F. Bertault [France] ; G. Kucherov [France]Visualization of dynamic automata using Padnon
000D07 (1996) B. Heyd [France] ; P. Gregut [France]A modular coding of UNITY in COQ
000D10 (1996) D. Geniet [France] ; R. Schott [France] ; L. Thimonier [France]A Markovian concurrency measure

List of associated Author.i

Nombre de
documents		Descripteur
2Jean-Claude Spehner
2Olivier Bournez
2René Schott
1Amir Pnueli
1Ante Derek
1Anupam Datta
1B. Heyd
1D. Geniet
1Emmanuel Hainry
1Eugene Asarin
1F. Bertault
1G. Kucherov
1Hans Van Ditmarsch
1John C. Mitchell
1L. Thimonier
1Martin Abadi
1Mathieu Baudet
1Mathieu Turuani
1Michael Rusinowitch
1Michaël Rusinowitch
1O. Kone
1Oded Maler
1P. Gregut
1Paliath Narendran
1R. Castanet
1R. Schott
1Rineke Verbrugge
1Siva Anantharaman
1Steve Kremer
1Sujata Ghosh
1THAO DANG
1Veronique Cortier
1Vitaly Shmatikov
1Véronique Cortier
1YANJING WANG
1Yannick Chevalier

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i -k "Automate" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Automate" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    FC03.fr.i
   |clé=    Automate
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022