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 « implemented »
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.
implementator < implemented < implementedcan  Facettes :

List of bibliographic references indexed by implemented

Number of relevant bibliographic references: 818.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000047 (2016-04-03) Benjamin Camus [France] ; Virginie Galtier [France] ; Mathieu Caujolle [France] ; Vincent Chevrier [France] ; Julien Vaubourg [France] ; Laurent Ciarletta [France] ; Christine Bourjot [France]Hybrid Co-simulation of FMUs using DEV&DESS in MECSYCO
000085 (2016-01-15) Benjamin Camus [France] ; Virginie Galtier [France] ; Mathieu Caujolle [France] ; Vincent Chevrier [France] ; Julien Vaubourg [France] ; Laurent Ciarletta [France] ; Christine Bourjot [France]Hybrid Co-simulation of FMUs using DEV&DESS in MECSYCO
000092 (2016-01-06) Tomasz Buchert [France]Managing large-scale, distributed systems research experiments with control-flows
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
000184 (2015-12-16) Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Eric Le Morvan [France]Secure refinements of communication channels
000202 (2015-12-08) Kevin Dalleau [France] ; Ndeye Coumba Ndiaye [France] ; Adrien Coulet [France]Suggesting valid pharmacogenes by mining linked data
000267 (2015-10-21) Elio Goettelmann [France]Risk-aware Business Process Modelling and Trusted Deployment in the Cloud
000282 (2015-10-13) Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Eric Le Morvan [France]Secure refinements of communication channels
000319 (2015-09-21) Walid Belkhir [France] ; Nicolas Ratier [France] ; Duy Duc Nguyen [France] ; Bin Yang [France] ; Michel Lenczner [France] ; Frédéric Zamkotsian [France] ; Horatiu Cirstea [France]Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array
000414 (2015-08-03) Andrew Reynolds [Suisse] ; Jasmin Christian Blanchette [France]A Decision Procedure for (Co)datatypes in SMT Solvers
000421 (2015-08-01) Ying Xiao [France] ; Catherine Mignolet [France] ; Marc Benoît [France] ; Jean-François Mari [France] Characterizing historical (1992–2010) transitions between grassland and cropland in mainland France through mining land-cover survey data
000423 (2015-08) Paolo Ballarini [Italie] ; Benoît Barbot [France] ; Marie Duflot [France] ; Serge Haddad [France] ; Nihal Pekergin [France]HASL: A new approach for performance evaluation and model checking from concepts to experimentation
000441 (2015-07-18) Andrew Reynolds [Suisse] ; Jasmin Christian Blanchette [France] ; Cesare Tinelli [France, États-Unis]Model Finding for Recursive Functions in SMT
000465 (2015-06-30) Benjamin Camus [France] ; Christine Bourjot [France] ; Vincent Chevrier [France]Considering a Multi-Level Model as a Society of Interacting Models: Application to a Collective Motion Example
000483 (2015-06-23) Nefzi Bilel [France] ; Schott René [France] ; Ye-Qiong Song [France] ; G. Stacey Staples [États-Unis] ; Evangelia Tsiontsiou [France]An Operator Calculus Approach for Multi-constrained Routing in Wireless Sensor Networks
000490 (2015-06-22) Laurence Danlos [France] ; Aleksandre Maskharashvili [France] ; Sylvain Pogodalla [France]Grammaires phrastiques et discursives fondées sur les TAG : une approche de D-STAG avec les ACG
000542 (2015-05-11) Wazen M. Shbair [France] ; Thibault Cholez [France] ; Antoine Goichot [France] ; Isabelle Chrisment [France]Efficiently Bypassing SNI-based HTTPS Filtering
000548 (2015-05-11) Emmanuel Didiot [France] ; Fabien Lauer [France]Efficient Optimization of Multi-class Support Vector Machines with MSVMpack
000586 (2015-04-13) Elian Aubry [France] ; Thomas Silverston [France] ; Isabelle Chrisment [France]SRSC: SDN-based Routing Scheme for CCN
000598 (2015-04) Rémi Imbach [France] ; Guillaume Moroz [France] ; Marc Pouget [France]Numeric certified algorithm for the topology of resultant and discriminant curves
000618 (2015-03-03) Julien Vaubourg [France] ; Vincent Chevrier [France] ; Laurent Ciarletta [France]Co-Simulation of IP Network Models in the Smart Grids Context, using a DEVS-based Platform

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

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