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 « Simultanéité informatique »
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.
Simultanéité < Simultanéité informatique < Singularité  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 13.
Ident.Authors (with country if any)Title
000073 (2013) Véronique Cortier [France] ; Ben Smyth [France]Attacking and fixing Helios: An analysis of ballot secrecy
000150 (2010) MOHAMED AMINE CHAABANE [Tunisie, France] ; Eric Andonoff [France] ; Rafik Bouaziz [Tunisie] ; Lotfi Bouzguenda [Tunisie]Modélisation multidimensionnelle des versions de processus
000385 (2006) Pascal Fontaine [France] ; Jean-Yves Marion [France] ; Stephan Merz [France] ; Leonor Prensa Nieto [France] ; Alwen Tiu [France]Expressiveness + automation + soundness : Towards combining SMT solvers and interactive proof assistants
000446 (2005) Walid Gaaloul [France] ; Kalim Baïna [Maroc] ; Claude Godart [France]Towards mining structural workflow patterns
000455 (2005) Tomasz Truderung [France, Pologne]Selecting theories and recursive protocols
000500 (2005) Marco Bozzano [Italie] ; Roberto Bruttomesso [Italie] ; Alessandro Cimatti [Italie] ; Tommi Junttila [Finlande] ; Silvio Ranise [France] ; Peter Van Rossum [Pays-Bas] ; Roberto Sebastiani [Italie]Efficient satisfiability modulo theories via delayed theory combination
000634 (2004) Carlos Castro [Chili] ; Eric Monfroy [France] ; Christophe Ringeissen [France]A rule language for interaction
000677 (2003) Olivier Bournez [France] ; Mathieu Hoyrup [France]Rewriting Logic and probabilities
000746 (2002) Alexander Bockmayr [France] ; Arnaud Courtois [France]Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides
000762 (2002) Abdessamad Imine [Tunisie] ; Yahya Slimani [Tunisie] ; Sorin Stratulat [France]Using automated induction-based theorem provers for reasoning about concurrent systems
000C75 (1996) I. Alouini [France] ; C. Kirchner [France]Toward the concurrent implementation of computational systems
000C92 (1996) C. Kirchner [France] ; C. Lynch [France] ; C. Scharff [France]Fine-grained concurrent completion
000D10 (1996) D. Geniet [France] ; R. Schott [France] ; L. Thimonier [France]A Markovian concurrency measure

List of associated Author.i

Nombre de
documents		Descripteur
2C. Kirchner
1Abdessamad Imine
1Alessandro Cimatti
1Alexander Bockmayr
1Alwen Tiu
1Arnaud Courtois
1Ben Smyth
1C. Lynch
1C. Scharff
1Carlos Castro
1Christophe Ringeissen
1Claude Godart
1D. Geniet
1Eric Andonoff
1Eric Monfroy
1I. Alouini
1Jean-Yves Marion
1Kalim Baïna
1L. Thimonier
1Leonor Prensa Nieto
1Lotfi Bouzguenda
1MOHAMED AMINE CHAABANE
1Marco Bozzano
1Mathieu Hoyrup
1Olivier Bournez
1Pascal Fontaine
1Peter Van Rossum
1R. Schott
1Rafik Bouaziz
1Roberto Bruttomesso
1Roberto Sebastiani
1Silvio Ranise
1Sorin Stratulat
1Stephan Merz
1Tomasz Truderung
1Tommi Junttila
1Véronique Cortier
1Walid Gaaloul
1Yahya Slimani

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 "Simultanéité informatique" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Simultanéité informatique" \
         | 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é=    Simultanéité informatique
}}
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