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 « 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: 499.
[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
000424 (2015-08) Peter Baumgartner [Australie] ; Joshua Bax [Australie] ; Uwe Waldmann [Allemagne]Beagle – A Hierarchic Superposition Prover
000436 (2015-07-25) Martín Barrère [Royaume-Uni] ; Gustavo Betarte [Uruguay] ; Victor Codocedo [France] ; Marcelo Rodríguez [Uruguay] ; Hernán Astudillo [Chili] ; Marcelo Aliquintuy [Chili] ; Javier Baliosian [Uruguay] ; Rémi Badonnel [France] ; Olivier Festor [France] ; Carlos Raniery Paula Dos Santos [Brésil] ; Jéferson Campos Nobre [Brésil] ; Lisandro Zambenedetti Granville [Brésil] ; Amedeo Napoli [France]Machine-assisted Cyber Threat Analysis using Conceptual Knowledge Discovery
000590 (2015-04-11) Véronique Cortier [France] ; Fabienne Eigner [Allemagne] ; Steve Kremer [France] ; Matteo Maffei [Allemagne] ; Cyrille Wiedling [Belgique]Type-Based Verification of Electronic Voting Protocols
000597 (2015-04) Samuel Hornus [France] ; Sylvain Lefebvre [France] ; Jérémie Dumas [France] ; Frédéric Claux [France]Tight printable enclosures for additive manufacturing
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
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
000844 (2014-12-08) Hernán Vanzetto [France]Proof automation and type synthesis for set theory in the context of TLA+
000849 (2014-12-04) Samuel Marchal [Luxembourg (pays)] ; Jérôme François [France] ; Radu State [Luxembourg (pays)] ; Thomas Engel [Luxembourg (pays)]PhishStorm: Detecting Phishing with Streaming Analytics
000876 (2014-11-17) Samuel Marchal [France] ; Jérôme François [France] ; Radu State [Luxembourg (pays)] ; Thomas Engel [Luxembourg (pays)]PhishScore: Hacking Phishers' Minds
000910 (2014-10-08) Yamine Aït Ameur [France] ; J. Paul Gibson [France] ; Dominique Méry [France]On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems
000993 (2014-08-18) Guillaume Bosc [France] ; Mehdi Kaytoue [France] ; Chedy Raïssi [France] ; Jean-François Boulicaut [France] ; Philip Tan [États-Unis]Mining Balanced Sequential Patterns in RTS Games 1
000A11 (2014-08) Ye-Qiong Song [France]Scheduling in Networks
000A35 (2014-07-17) Michaël Rusinowitch [France]Automated Verification of Security Protocols and 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/AbsEn.i -k "automated" 

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