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 « formal »
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.
formability < formal < formaldehyde  Facettes :

List of bibliographic references indexed by formal

Number of relevant bibliographic references: 264.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000052 (2016-03-09) Yamine Ait Ameur [France] ; Dominique Méry [France]Making explicit domain knowledge in formal system development
000098 (2016) Atif Mashkoor [Autriche] ; Jean-Pierre Jacquot [France]Validation of Formal Specifications through Transformation and Animation
000182 (2015-12-17) Dominique Méry [France] ; Mike Poppleton [Royaume-Uni]Towards An Integrated Formal Method for Verification of Liveness Properties in Distributed Systems
000185 (2015-12-16) Amedeo Napoli [France]Exploratory Knowledge Discovery with Formal Concept Analysis
000290 (2015-10-06) Aleksey Buzmakov [France]Formal Concept Analysis and Pattern Structures for mining Structured Data
000307 (2015-09-28) Emmanuelle Gaillard [France] ; Jean Lieber [France] ; Emmanuel Nauer [France]Improving Ingredient Substitution using Formal Concept Analysis and Adaptation of Ingredient Quantities with Mixed Linear Optimization
000346 (2015-09-04) Victor Codocedo-Henriquez [France]Contributions to indexing and retrieval using Formal Concept Analysis
000392 (2015-08-20) Ahmed Bouchami [France] ; Olivier Perrin [France] ; Ehtesham Zahoor [France]Trust-Based Formal Delegation Framework for Enterprise Social Networks
000395 (2015-08-19) Mehwish Alam [France] ; Amedeo Napoli [France]Interactive Exploration over RDF Data using Formal Concept Analysis
000429 (2015-07-27) Mehwish Alam [France] ; Aleksey Buzmakov [Russie] ; Victor Codocedo [France] ; Amedeo Napoli [France]Mining Definitions from RDF Annotations Using Formal Concept Analysis
000437 (2015-07-25) Mehwish Alam [France] ; Aleksey Buzmakov [France] ; Victor Codocedo [France] ; Amedeo Napoli [France]Bridging DBpedia Categories and DL-Concept Definitions using Formal Concept Analysis
000446 (2015-07-13) Jasmin Christian Blanchette [France] ; Maximilian Haslbeck [Allemagne] ; Daniel Matichuk [France] ; Tobias Nipkow [Allemagne]Mining the Archive of Formal Proofs
000470 (2015-06-29) Marion Guthmuller [France]Dynamic formal verification of temporal properties on legacy distributed applications
000478 (2015-06-23) Victor Codocedo [France] ; Amedeo Napoli [France]Formal Concept Analysis and Information Retrieval – A Survey
000482 (2015-06-23) Luis Felipe Melo Mora [France] ; Yannick Toussaint [France]Automatic Validation of Terminology by Means of Formal Concept Analysis
000485 (2015-06-22) Catherine Dubois [France] ; Paolo Masci [Royaume-Uni] ; Dominique Méry [France]Second International Workshop on Formal Integrated Development Environment
000513 (2015-06-01) Amedeo Napoli [France]Exploring Complex and Large Data with Formal Concept Analysis
000615 (2015-03-04) Marion Guthmuller [France] ; Martin Quinson [France] ; Gabriel Corona [France]System-level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications
000658 (2015-01-08) Atif Mashkoor [Autriche] ; Jean-Pierre Jacquot [France]Observation-Level-Driven Formal Modeling
000669 (2015-01) Véronique Cortier [France]Formal verification of e-voting: solutions and challenges
000712 (2015) Nacer Boudjlida [France]Formal approaches for Complementary Competence Management and Discovery

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 "formal" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "formal" \
         | 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é=    formal
}}
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