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

Facettes : Author.f AffPays.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
003058 (2010)	K. C. Santosh ; Laurent Wendling [France] ; Bart Lamiroy [France]	Unified Pairwise Spatial Relations: An Application to Graphical Symbol Retrieval
003075 (2010)	Kevin Lano ; Shekoufeh Kolahdouz-Rahimi	Specification and Verification of Model Transformations Using UML-RSDS
003081 (2010)	Frédéric Tantini ; Alain Terlutte [France] ; Fabien Torre [France]	Sequences Classification by Least General Generalisations
003193 (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
003203 (2010)	Steve Schneider ; Helen Treharne ; Heike Wehrheim	A CSP Approach to Control in Event-B
003962 (2009)	Delia Kesner ; Fabien Renaud	The Prismoid of Resources
003982 (2009)	Marie-Odile Berger [France] ; Jonathan Ponroy ; Brigitte Wrobel-Dautcourt [France]	Realistic Face Animation for Audiovisual Speech Applications: A Densification Approach Driven by Sparse Stereo Meshes
003989 (2009)	Yannick Fouquet ; Nicolas Vuillerme ; Jacques Demongeot [France]	Pervasive Informatics and Persistent Actimetric Information in Health Smart Homes
003990 (2009)	José Meseguer	Order-Sorted Parameterization and Induction
003A45 (2009)	Dominique Cansell [France] ; Dominique Méry [France]	Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development
003A73 (2009)	Guillaume Burel	Automating Theories in Intuitionistic Logic
003A90 (2009)	Stéphane Le Roux	Acyclic Preferences and Existence of Sequential Nash Equilibria: A Formal and Constructive Equivalence
004391 (2008)	Andreas Abel	Weak βη -Normalization and Normalization by Evaluation for System F
004431 (2008)	Christian Urban [Allemagne] ; Bozhi Zhu	Revisiting Cut-Elimination: One Difficult Proof Is Really a Proof
004439 (2008)	Tim Sheard ; Nathan Linger	Programming in Ω mega
004444 (2008)	Delia Kesner	Perpetuality for Full and Safe Composition (in a Constructive Setting)
004457 (2008)	Donald Sannella [Royaume-Uni] ; Andrzej Tarlecki	Observability Concepts in Abstract Data Type Specification, 30 Years Later
004532 (2008)	Claude Kirchner ; Radu Kopetz ; Pierre-Etienne Moreau	Anti-pattern Matching Modulo
004D11 (2007)	Paul Brauner ; Clément Houtmann ; Claude Kirchner	Superdeduction at Work
004D40 (2007)	Judson Santiago ; Laurent Vigneron [France]	Optimistic Non-repudiation Protocol Analysis
004D54 (2007)	Isabelle Gnaedig ; Hélène Kirchner	Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/AffPaysInc.i -k " " 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/AffPaysInc.i  \
                -Sk " " \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Merge/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Merge
   |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