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 « automated »
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.
automate < automated < automates  Facettes :

List of bibliographic references indexed by automated

Number of relevant bibliographic references: 157.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000006 (2016-07-13) Dietmar Jannach [Allemagne] ; Iman Kamehkhosh [Allemagne] ; Geoffray Bonnin [France]Biases in Automated Music Playlist Generation: A Comparison of Next-Track Recommending Techniques
000061 (2016-02-26) Mathieu Turuani [France] ; Thomas Voegtlin [France] ; Michael Rusinowitch [France]Automated Verification of Electrum Wallet
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
000355 (2015-09) Christoph Weidenbach [France]Automated Reasoning Building Blocks
000634 (2015-02-11) Frédéric Sur [France] ; Michel Grediac [France]Automated removal of quasiperiodic noise using frequency domain statistics
000672 (2015-01) Frédéric Sur [France] ; Michel Grediac [France]An automated approach to quasi-periodic noise removal in natural images
000753 (2015) François Séverac [France] ; Erik A. Sauleau [France] ; Nicolas Meyer [France] ; Hassina Lefèvre [France] ; Gabriel Nisand [France] ; Nicolas Jay [France]Non-redundant association rules between diseases and medications: an automated method for knowledge base construction
000829 (2014-12-15) Gerald Lüttgen [Allemagne] ; Stephan Merz [France]Editorial: Special Issue of Automated Verification of Critical Systems
000831 (2014-12-15) Gerald Lüttgen [Allemagne] ; Stephan Merz [France]Science of Computer Programming Special Issue: Automated Verification of Critical Systems
000A35 (2014-07-17) Michaël Rusinowitch [France]Automated Verification of Security Protocols and Services
000A38 (2014-07-16) Ivan Enderlin [France]Automated Unit Test Generation with Praspel, a Specification Language for PHP
000A62 (2014-07) Jérémie Dumas [France] ; Jean Hergel [France] ; Sylvain Lefebvre [France]Bridging the Gap: Automated Steady Scaffoldings for 3D Printing
000B11 (2014-06-10) Jano Yazbeck [France]Secure and precise immaterial hanging for automated vehicles
000B57 (2014-05-18) Steve Kremer [France] ; Robert Künnemann [France]Automated Analysis of Security Protocols with Global State
000C53 (2014-03-05) Steve Kremer [France] ; Robert Künnemann [Allemagne]Automated analysis of security protocols with global state
000D80 (2014) Stéphane Demri [France] ; Deepak Kapur [États-Unis] ; Christoph Weidenbach [France]Automated Reasoning – Seventh International Joint Conference (IJCAR 2014)
000F24 (2013-11-28) Kalou Cabrera Castillos [France]Automated test scenario generation from termporal properties and behavioural models
000F28 (2013-11-21) Michael Rusinowitch [France]Automated verification of security protocols and application to services
000F85 (2013-10-15) Rodosek Gabi Dreo ; Anthéa Mayzaud [France] ; Abdelkader Lahmadi [France] ; Rémi Badonnel [France] ; Hurel Gaetan [France]First Year Report on Automated Configuration and Repair (Deliverable D6.1, Flamingo NoE)
000F99 (2013-10-06) M. Said Seddiki [France] ; Bilel Nefzi [France] ; Ye-Qiong Song [France] ; Mounir Frikha [Tunisie]Automated Controllers for Bandwidth Allocation in Network Virtualization
001465 (2013) Daniel Stöhr [Allemagne] ; Sabine Glesner [Allemagne]Towards Automated and Correct Composition of Timed Services

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

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