www.aquidisplay.com <   < § Hong‐Kong University

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

List of bibliographic references

Number of relevant bibliographic references: 35.
[0-20] [0 - 20][0 - 35][20-34][20-40]

Ident.	Authors (with country if any)	Title
000096 (2010)	Jean-Charles Lamirel [France] ; Zied Boulila ; Maha Ghribi ; Pascal Cuxac	A New Incremental Growing Neural Gas Algorithm Based on Clusters Labeling Maximization: Application to Clustering of Heterogeneous Textual Data
000426 (2009)	Stéphane Le Roux	Acyclic Preferences and Existence of Sequential Nash Equilibria: A Formal and Constructive Equivalence
000514 (2010)	Frédéric Tantini ; Alain Terlutte [France] ; Fabien Torre [France]	Sequences Classification by Least General Generalisations
000592 (2007)	Mohamed Hacene Rouane [Canada] ; Marianne Huchard ; Amedeo Napoli ; Petko Valtchev [Canada]	A Proposal for Combining Formal Concept Analysis and Description Logics for Mining Relational Data
000B51 (2007)	Paul Brauner ; Clément Houtmann ; Claude Kirchner	Superdeduction at Work
000B66 (2005)	Yuxin Deng ; Catuscia Palamidessi	Axiomatizations for Probabilistic Finite-State Behaviors
001025 (2008)	Donald Sannella [Royaume-Uni] ; Andrzej Tarlecki	Observability Concepts in Abstract Data Type Specification, 30 Years Later
001344 (2006)	Hélène Kirchner ; Silvio Ranise ; Christophe Ringeissen ; Duc-Khanh Tran	Automatic Combinability of Rewriting-Based Satisfiability Procedures
001954 (2008)	Tim Sheard ; Nathan Linger	Programming in Ω mega
001B36 (2007)	Silvio Ranise ; Christophe Ringeissen ; Duc-Khanh Tran	Combining Proof-Producing Decision Procedures
001B90 (2010)	Steve Schneider ; Helen Treharne ; Heike Wehrheim	A CSP Approach to Control in Event-B
001C04 (2005)	Hélène Kirchner ; Silvio Ranise ; Christophe Ringeissen ; Duc Khanh Tran	On Superposition-Based Satisfiability Procedures and Their Combination
001C24 (2005)	Mohit Bhargava ; Catuscia Palamidessi	Probabilistic Anonymity
001D09 (2008)	Christian Urban [Allemagne] ; Bozhi Zhu	Revisiting Cut-Elimination: One Difficult Proof Is Really a Proof
001F49 (2010)	K. C. Santosh ; Laurent Wendling [France] ; Bart Lamiroy [France]	Unified Pairwise Spatial Relations: An Application to Graphical Symbol Retrieval
001F86 (2007)	Odile Piton ; Klara Lagji ; Remzi Përnaska	Electronic Dictionaries and Transducers for Automatic Processing of the Albanian Language
002023 (2009)	José Meseguer	Order-Sorted Parameterization and Induction
002159 (2009)	Guillaume Burel	Automating Theories in Intuitionistic Logic
002575 (2007)	Judson Santiago ; Laurent Vigneron [France]	Optimistic Non-repudiation Protocol Analysis
002761 (2009)	Yannick Fouquet ; Nicolas Vuillerme ; Jacques Demongeot [France]	Pervasive Informatics and Persistent Actimetric Information in Health Smart Homes
002843 (2005)	Mohamed Salah Bouassida ; Isabelle Chrisment ; Olivier Festor [France]	Efficient Clustering for Multicast Key Distribution in MANETs

---

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/AffPaysInc.i -k " " 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AffPaysInc.i  \
                -Sk " " \
         | 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=    AffPaysInc.i
   |clé=     
}}

---

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