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 « symbolic »
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.
symboles < symbolic < symbolico  Facettes :

List of bibliographic references indexed by symbolic

Number of relevant bibliographic references: 119.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000009 (2016-06-14) Olivier Devillers [France] ; Menelaos Karavelas [Grèce] ; Monique Teillaud [France]Qualitative Symbolic Perturbation
000596 (2015-04) Vincent Cheval [France] ; Véronique Cortier [France]Timing attacks in security protocols: symbolic framework and proof techniques
000792 (2015) Olivier Devillers [France] ; Menelaos Karavelas [Grèce] ; Monique Teillaud [France]Qualitative Symbolic Perturbation: a new geometry-based perturbation framework
000885 (2014-11-03) Walid Belkhir [France] ; Alain Giorgetti [France] ; Michel Lenczner [France]A Symbolic Transformation Language and its Application to a Multiscale Method
000A69 (2014-07) Hubert Comon-Lundh [France] ; Véronique Cortier [France] ; Guillaume Scerri [France]A tool for automating the computationally complete symbolic attacker (Extended Abstract)
000D69 (2014) Peter Beim Graben [Allemagne] ; Axel Hutt [France]Detecting event-related recurrences by symbolic analysis: Applications to human language processing
001247 (2013-04-15) Stanislaw Raczynski [France] ; Emmanuel Vincent [France] ; Shigeki Sagayama [Japon]Dynamic Bayesian networks for symbolic polyphonic pitch modeling
001374 (2013) Peter Beim Graben [Allemagne] ; Axel Hutt [France]Detecting metastable states of dynamical systems by recurrence-based symbolic dynamics
001799 (2012-12-15) Hatem Ghabri ; Ghazi Maatoug [France] ; Michael Rusinowitch [France]Compiling symbolic attacks to protocol implementation tests
001973 (2012-09) Werner Damm [Allemagne] ; Henning Dierks [Allemagne] ; Stefan Disch [Allemagne] ; Willem Hagemann [Allemagne] ; Florian Pigorsch [Allemagne] ; Christoph Scholl [Allemagne] ; Uwe Waldmann [Allemagne] ; Boris Wirtz [Allemagne]Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
001C20 (2012-03) Frédéric Dadeau [France] ; Kalou Cabrera Castillos [France] ; Régis Tissot [France]Scenario-Based Testing using Symbolic Animation of B Models
001F95 (2011-11-21) Yannick Toussaint [France]Text Mining: Symbolic methods to build ontologies and to semantically annotate texts
002021 (2011-11-03) Mathieu Morey [France]Symbolic supertagging and syntax-semantics interface of polarized lexicalized grammatical formalisms
002087 (2011-09-28) Mehdi Kaytoue [France] ; Sergei O. Kuznetsov [Russie] ; Amedeo Napoli [France] ; Géraldine Polaillon [France]Symbolic Data Analysis and Formal Concept Analysis
002157 (2011-09) Frédéric Dadeau [France] ; Fabien Peureux [France] ; Bruno Legeard [France] ; Régis Tissot [France] ; Jacques Julliand [France] ; Pierre-Alain Masson [France] ; Fabrice Bouquet [France]Test Generation using Symbolic Animation of Models
002255 (2011-07) Tony Bourdier [France] ; Horatiu Cirstea [France]Symbolic analysis of network security policies using rewrite systems
002477 (2011-01-17) Walid Belkhir [France] ; Alain Giorgetti [France] ; Michel Lenczner [France]Rewriting and Symbolic Transformations for Multiscale Methods
002627 (2011) P. Agarwal [France] ; M. Kaytoue [France] ; S. O. Kuznetsov [Russie] ; A. Napoli [France] ; G. Polaillon [France]Symbolic Galois Lattices with Pattern Structures
002A25 (2010-10-11) Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] ; Manal Najem [Canada]Symbolic Model-Checking of Optimistic Replication Algorithms
002D69 (2010-04) Pierre-Christophe Bué [France] ; Frédéric Dadeau [France] ; Pierre-Cyrille Héam [France]Model-Based Testing using Symbolic Animation and Machine Learning
002E97 (2010) Stefano Galatolo [Italie] ; Mathieu Hoyrup [France] ; Cristobal Rojas [Canada]Effective symbolic dynamics, random points, statistical behavior, complexity and entropy

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

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