Structure document < Structure donnée < Structure donnée arborescente

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f

List of bibliographic references

Number of relevant bibliographic references: 25.
[0-20] [0 - 20][0 - 25][20-24][20-40]

Ident.	Authors (with country if any)	Title
000037 (2013)	Edouard Klein [France] ; Bilal Piot [France] ; Matthieu Geist [France] ; Olivier Pietquin [France]	Classification structurée pour l'apprentissage par renforcement inverse
000130 (2011)	Nicolas Passat [France] ; Benoît Naegel [France] ; François Rousseau [France] ; Mériam Koob [France] ; Jean-Louis Dietemann [France]	Interactive segmentation based on component-trees
000138 (2011)	Christopher Lynch [États-Unis] ; Silvio Ranise [Italie] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [Namibie]	Automatic decidability and combinability
000330 (2006)	Rahee Ghurbhurn [France] ; Philippe Beaune [France] ; Hugues Solignac [France]	Accès à des sources de données hétérogènes par des processus métiers intégrés
000340 (2006)	Otfried Cheong [Corée du Sud] ; Hazel Everett [France] ; Hyo-Sil Kim [Corée du Sud] ; Sylvain Lazard [France] ; René Schott [France]	Throwing stones inside simple polygons
000384 (2006)	Didier Galmiche [France] ; Dominique Larchey-Wendling [France]	Expressivity properties of boolean BI through relational models
000395 (2006)	TING ZHANG [États-Unis] ; Henny B. Sipma [États-Unis] ; Zohar Manna [États-Unis]	Decision procedures for term algebras with integer constraints
000445 (2005)	Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France]	Towards synchronizing linear collaborative objects with operational transformation
000493 (2005)	M. Van Den Brand [Pays-Bas] ; P.-E. Moreau [France] ; J. Vinju [Pays-Bas]	Generator of efficient strongly typed abstract syntax trees in Java
000513 (2005)	Silvio Ranise [États-Unis] ; Christophe Ringeissen [États-Unis] ; Calogero G. Zarba [États-Unis]	Combining data structures with nonstably infinite theories using many-sorted logic
000516 (2005)	Didier Galmiche [France] ; Daniel Mery [France]	Characterizing provability in BI's pointer logic through resource graphs
000600 (2004)	P. E. Moreau [France] ; O. Zendra	GC2: A generational conservative garbage collector for the ATerm library
000669 (2003)	Olivier Devillers [France] ; Vida Dujmovic [Canada] ; Hazel Everett [France] ; Xavier Goaoc [France] ; Sylvain Lazard [France] ; Hyeon-Suk Na [Corée du Sud] ; Sylvain Petitjean [France]	The expected number of 3D visibility events is linear
000775 (2002)	Didier Galmiche [France] ; Daniel Mery [France] ; David Pym [Royaume-Uni]	Resource tableaux
000818 (2002)	Didier Galmiche [France] ; Daniel Mery [France]	Connection-based proof search in propositional BI logic
000881 (2001)	Horatiu Cirstea [France]	Specifying authentication protocols using rewriting and strategies
000980 (2000)	G. Kucherov [France] ; M. Rusinowitch [France]	Patterns in words versus patterns in trees : A brief survey and new results
000A57 (1999)	J.-F. Collard [France]	Analyse des définitions visibles : état de l'art et applications en parallélisation automatique
000A60 (1999)	L. Bougrain [France] ; F. Alexandre	Unsupervised connectionist algorithms for clustering an environmental data set: a comparison
000B27 (1998)	F. Bertault [France] ; G. Kucherov [France]	Visualization of dynamic automata using Padnon
000B37 (1998)	E. A. Cichon [France] ; E. T. Bittar [France]	Ordinal recursive bounds for Higman's theorem

---

List of associated Author.i

Nombre de documents	Descripteur
4	Didier Galmiche
3	Daniel Mery
2	Christophe Ringeissen
2	G. Kucherov
2	Hazel Everett
2	Silvio Ranise
2	Sylvain Lazard
1	Abdessamad Imine
1	Benoît Naegel
1	Bilal Piot
1	C. Hintermeier
1	C. Kenyon
1	C. Lynch
1	Calogero G. Zarba
1	Christopher Lynch
1	David Pym
1	Dominique Larchey-Wendling
1	Duc-Khanh Tran
1	E. A. Cichon
1	E. T. Bittar
1	Edouard Klein
1	F. Alexandre
1	F. Bertault
1	François Rousseau
1	G. Louchard
1	Gérald Oster
1	H. Kirchner
1	Henny B. Sipma
1	Horatiu Cirstea
1	Hugues Solignac
1	Hyeon-Suk Na
1	Hyo-Sil Kim
1	J. Vinju
1	J.-F. Collard
1	J.-L. Remy
1	Jean-Louis Dietemann
1	L. Bougrain
1	M. Rusinowitch
1	M. Van Den Brand
1	Matthieu Geist
1	Michaël Rusinowitch
1	Mériam Koob
1	Nicolas Passat
1	O. Zendra
1	Olivier Devillers
1	Olivier Pietquin
1	Otfried Cheong
1	P. D. Mosses
1	P. E. Moreau
1	P. Strogova
1	P.-E. Moreau
1	Pascal Molli
1	Philippe Beaune
1	R. Schott
1	Rahee Ghurbhurn
1	René Schott
1	Sylvain Petitjean
1	TING ZHANG
1	Vida Dujmovic
1	Xavier Goaoc
1	Zohar Manna

---

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 "Structure donnée" 

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

---

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