Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Titre (en) » - entrée « group »
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.
groundwater < group < groupe  Facettes :

List of bibliographic references indexed by group

Number of relevant bibliographic references: 73.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000071 (2016-02-01) David W. Ritchie [France] ; Sergei Grudinin [France]Spherical polar Fourier assembly of protein complexes with arbitrary point group symmetry
000336 (2015-09-07) Anne Bonneau [France] ; Martine Cadot [France]German non-native realizations of French voiced fricatives in final position of a group of words
000713 (2015) Fabien Lauer [France] ; Henrik Ohlsson [États-Unis]Finding sparse solutions of systems of polynomial equations via group-sparsity optimization
000944 (2014-09-14) Claudia-Lavinia Ignat [France] ; Gérald Oster [France] ; Meagan Newman [Canada] ; Valerie Shalin [France] ; François Charoy [France]Studying the Effect of Delay on Group Performance in Collaborative Editing
000C36 (2014-03-30) Juan Pablo Timpanaro [France] ; Isabelle Chrisment [France] ; Olivier Festor [France]Group-Based Characterisation for the I2P Anonymous File-Sharing Environment
000C71 (2014-02-24) Fabien Lauer [France] ; Henrik Ohlsson [États-Unis]Sparse phase retrieval via group-sparse optimization
000E55 (2014) Thomas Gotnes [France] ; Hans Van Ditmarsch [France] ; Tim French [Australie]The undecidability of group announcements
001A52 (2012-06-26) Stéphanie Delaune [France] ; Steve Kremer [France] ; Daniel Pasaila [Canada]Security protocols, constraint systems, and group theories
002232 (2011-07-12) Jean-Charles Quinton [France]An excitation/inhibition based computational model of coordinated group behaviors
002376 (2011-05-06) Liana Razmerita [Danemark] ; Armelle Brun [France]Collaborative Learning in Heterogeneous Classes: Towards a Group Formation Methodology
002C30 (2010-06-20) Christophe Senot [France] ; Kostadinov Dimitre [France] ; Makram Bouzid [France] ; Jérome Picault [France] ; Armen Aghasaryan [France] ; Cédric Bernier [France]Analysis of strategies for building group profiles
002C90 (2010-05-25) Dominique Larchey-Wendling [France]An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics
003078 (2010) P. De Saqui-Sannes [France] ; T. Villemur [France] ; B. Fontan [France] ; S. Mota [Mexique] ; M. S. Bouassida [France] ; N. Chridi [France] ; I. Chrisment [France] ; L. Vigneron [France]Formal verification of secure group communication protocols modelled in UML
003404 (2009-09-11) Najah Chridi [France]Contributions to the automatic verification of group protocols.
003487 (2009-07-08) Najah Chridi [France] ; Mathieu Turuani [France] ; Michael Rusinowitch [France]Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists
003A04 (2009) Georg Fuchsbauer [France] ; David Pointcheval [France]Anonymous Consecutive Delegation of Signing Rights: Unifying Group and Proxy Signatures
003C22 (2009) Pierre De Saqui-Sannes [France] ; Thierry Villemur [France] ; Benjamin Fontan [France] ; Sara Del Socorro Mota Gonzalez [France] ; Mohamed Salah Bouassida [France] ; Najah Chridi [France] ; Isabelle Chrisment [France] ; Laurent Vigneron [France]UML Modeling and Formal Verification of Secure Group Communication Protocols
003D61 (2008-11-13) Sawsan Alshattnawi [France]Concurrence and group awareness in collaborative editing systems over Peer-to-Peer networks
004877 (2007-06-12) Mohamed Salah Bouassida [France] ; Mohamed Bouali [France]On the performance of group key management protocols in MANETs
004C05 (2007) Martha J. Lentz [États-Unis] ; Nancy Woods [États-Unis] ; Margaret Heitkemper [États-Unis] ; Ellen Mitchell [États-Unis] ; Richard Henker [États-Unis] ; Joan Shaver [États-Unis]Ovarian steroids and premenstrual symptoms: A comparison of group differences and intra‐individual patterns
004D02 (2007) Mohamed Salah Bouassida [France] ; Najah Chridi [France] ; Isabelle Chrisment [France] ; Olivier Festor [France] ; Laurent Vigneron [France]Automated verification of a key management architecture for hierarchical group protocols

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i -k "group" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "group" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Title.i
   |clé=    group
}}
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