workplan < works < workshop

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

List of bibliographic references

Number of relevant bibliographic references: 111.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000000 (2009)	Hamza Drid [France] ; Samer Lahoud [France] ; Bernard Cousin [France] ; Mikl S Molnár [France]	Survivability in multi-domain optical networks using p-cycles
000016 (2004)	Frédéric Blanqui [France]	A Type-Based Termination Criterion for Dependently-Typed Higher-Order Rewrite Systems
000100 (1998)	Carlos Castro [France]	COLETTE, prototyping CSP solvers using a rule-based language
000120 (2007)	Jean-Yves Marion [France]	Predicative Analysis of Feasibility and Diagonalization
000221 (2003)	Maria Bonnafous-Boucher ; Stéphanie Chatelain-Ponroy ; Yves Evrard ; Frédéric Mazallon	Quel avenir pour les théâtres lyriques?
000230 (1997)	Christopher Lynch [États-Unis]	Goal-Directed Completion using SOUR Graphs
000301 (2008)	Jacques M. Bahi [France] ; Sylvain Contassot-Vivier [France] ; Marc Sauget [France] ; Aurélien Vasseur [France]	A Parallel Incremental Learning Algorithm for Neural Networks with Fault Tolerance
000323 (2009)	Georges Quénot [France] ; Tien Ping Tan [France] ; Viet Bac Le [France] ; Stéphane Ayache [France] ; Laurent Besacier [France] ; Philippe Mulhem [France]	Content-based search in multilingual audiovisual documents using the International Phonetic Alphabet
000380 (2001)	J.-A. Fleurisson [France]	Structures géologiques et stabilité des pentes dans les massifs rocheux : description, analyse et modélisation
000385 (2008)	Hind Fadil [France] ; Jean-Luc Koning [France]	Vers une approche formelle pour la validation des protocoles d’interaction en systèmes multi-agents
000398 (1998)	M. R. K. Krishna Rao [Inde] ; Deepak Kapur [Inde] ; R. K. Shyamasundar [Inde]	Transformational methodology for proving termination of logic programs
000419 (1999)	Stéphane Gobron [Japon] ; Norishige Chiba	3D surface cellular automata and their applications
000421 (1990)	Jesper Lützen [Danemark]	Old Age (1862–1882)
000483 (1993)	Régis Curien [France]	Second order E-matching as a tool for automated theorem proving
000503 (2004)	Dominique Martinez [France] ; Etienne Hugues [France]	A Spiking Neural Network Model of the Locust Antennal Lobe
000561 (1995)	Masahito Kurihara [Japon] ; Hisashi Kondo [Japon] ; Azuma Ohuchi [Japon]	Completion for multiple reduction orderings
000594 (1996)	Edmond Boyer [France]	Reconstruction et régularisation de surfaces d'objets courbes
000613 (2013)	Richard Giot [France] ; Albert Giraud [France] ; Christophe Auvray [France]	Assessing the Permeability in Anisotropic and Weakly Permeable Porous Rocks Using Radial Pulse Tests
000741 (2007)	Vincent Thomas [France] ; Christine Bourjot [France] ; Vincent Chevrier [France]	Construction de systèmes multi-agents par apprentissage collectif à base d’interactions
000808 (2011)	Yannick Chevalier [France] ; Mohamed Anis Mekki [France] ; Michaël Rusinowitch [France]	Orchestration under Security Constraints
000818 (2013)	Houari Mahfoud [France] ; Abdessamad Imine [France]	On Securely Manipulating XML Data

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i -k "works" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i  \
                -Sk "works" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Curation
   |type=    indexItem
   |index=    AbsEn.i
   |clé=    works
}}

---

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