AbsEn.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « AbsEn.i » - 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.
formai < formal < formaldehyde  Facettes :

List of bibliographic references indexed by formal

Number of relevant bibliographic references: 1103.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000020 (2016-05-23) Véronique Cortier [France] ; David Galindo [Royaume-Uni] ; Mueller Johannes [Allemagne] ; Ralf Kuesters [Allemagne] ; Truderung Tomasz [Allemagne]SoK: Verifiability Notions for E-Voting Protocols
000052 (2016-03-09) Yamine Ait Ameur [France] ; Dominique Méry [France]Making explicit domain knowledge in formal system development
000061 (2016-02-26) Mathieu Turuani [France] ; Thomas Voegtlin [France] ; Michael Rusinowitch [France]Automated Verification of Electrum Wallet
000097 (2016) Amaury L'Huillier [France] ; Sylvain Castagnos [France] ; Anne Boyer [France]Modéliser la diversité au cours du temps pour détecter le contexte dans un service de musique en ligne
000098 (2016) Atif Mashkoor [Autriche] ; Jean-Pierre Jacquot [France]Validation of Formal Specifications through Transformation and Animation
000107 (2016) Yongxin Liao [France] ; Mario Lezoche [France] ; Hervé Panetto [France] ; Nacer Boudjlida [France]Semantic annotations for semantic interoperability in a product lifecycle management context
000109 (2016) Atif Mashkoor [Autriche] ; Faqing Yang [France] ; Jean-Pierre Jacquot [France]Refinement-based Validation of Event-B Specifications
000126 (2016) Rohit Chadha [États-Unis] ; Vincent Cheval [France] ; Tefan Ciobâc [Roumanie, France] ; Steve Kremer [France]Automated verification of equivalence properties of cryptographic protocols
000129 (2016) Nazim Fatès [France]Aesthetics and randomness in cellular automata
000171 (2016) Nacer Boudjlida [France] ; Badrina Gasmi Boumezoued [Algérie]Conceptual Graphs for Fomally Managing and Discovering Complementary Competences
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
000195 (2015-12-13) Rosario Giustolisi [Suède] ; Vincenzo Iovino [Luxembourg (pays)] ; Peter R Nne [France]On the Possibility of Non-Interactive E-Voting in the Public-key Setting
000209 (2015-12-01) Mehwish Alam [France]Interactive Knowledge Discovery over Web of Data.
000247 (2015-11-04) Amedeo Napoli [France]Concept Lattices for Knowledge Discovery and Knowledge Engineering
000271 (2015-10-20) Manamiary Bruno Andriamiarina [France]Developing correct-by-construction distributed algorithms
000283 (2015-10-13) Mehwish Alam [France] ; Amedeo Napoli [France] ; Matthieu Osmuk [France]RV-Xplorer: A Way to Navigate Lattice-Based Views over RDF Graphs
000290 (2015-10-06) Aleksey Buzmakov [France]Formal Concept Analysis and Pattern Structures for mining Structured Data
000296 (2015-10) David Déharbe [Brésil] ; Stephan Merz [France]Software Component Design with the B Method — A Formalization in Isabelle/HOL
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
000309 (2015-09-28) Valmi Dufour-Lussier [Canada] ; Jean Lieber [France]Evaluating a textual adaptation system

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AbsEn.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=    AbsEn.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