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 « program »
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.
prograding < program < programation  Facettes :

List of bibliographic references indexed by program

Number of relevant bibliographic references: 602.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000049 (2016-04) Andrés Aristizábal [Colombie] ; Dariusz Biernacki [Pologne] ; Sergueï Lenglet [France] ; Piotr Polesiuk [Pologne]Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation
000071 (2016-02-01) David W. Ritchie [France] ; Sergei Grudinin [France]Spherical polar Fourier assembly of protein complexes with arbitrary point group symmetry
000191 (2015-12-14) Lei Mo [France] ; Pengcheng You [République populaire de Chine] ; Xianghui Cao [République populaire de Chine] ; Ye-Qiong Song [France] ; Jiming Chen [République populaire de Chine]Decentralized Multi-Charger Coordination for Wireless Rechargeable Sensor Networks
000485 (2015-06-22) Catherine Dubois [France] ; Paolo Masci [Royaume-Uni] ; Dominique Méry [France]Second International Workshop on Formal Integrated Development Environment
000546 (2015-05-11) Ta Thanh Dinh [France]Malicious Codes Detection in Distributed Environment
000609 (2015-03-19) Jiri Marsik [France] ; Maxime Amblard [France]Pragmatic Side Effects
000614 (2015-03-09) Emilie Balland [France] ; Horatiu Cirstea [France] ; Pierre-Etienne Moreau [France]Bringing Strategic Rewriting into the Mainstream
000616 (2015-03-04) Mathieu Hoyrup [France] ; Cristobal Rojas [Chili]On the information carried by programs about the objects they compute
000654 (2015-01-12) Nacer Boudjlida [France] ; Sahbi Sidhom [France] ; Malek Ghenima [Tunisie]Information Systems and Economic Intelligence (SIIE'2015)
000777 (2015) Laëtitia Albertini [France] ; Camille Herbourg [France] ; Sandrine Bresciani [France] ; Philip Böhme [France]Diabète en prison : mise en place d’un programme d’ETP
000864 (2014-12) Jingshu Chen [France] ; Marie Duflot [France] ; Stephan Merz [France]Analyzing Conflict Freedom For Multi-threaded Programs With Time Annotations
000A20 (2014-07-24) Guillaume Petiot [France] ; Nikolai Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France]How Test Generation Helps Software Specification and Deductive Verification in Frama-C
000A25 (2014-07-22) Neeraj Kumar Singh [Canada] ; Dominique Méry [France]Event B (english version)
000B16 (2014-06-07) Stephane Demri [France] ; Didier Galmiche [France] ; Dominique Larchey-Wendling [France] ; Daniel Mery [France]Separation Logic with One Quantified Variable
000C10 (2014-04-11) Jean-Yves Marion [France] ; Romain Péchoux [France]Complexity Information Flow in a Multi-threaded Imperative Language
000C11 (2014-04-11) Romain Péchoux [France] ; Thanh Dinh Ta [France]A Categorical Treatment of Malicious Behavioral Obfuscation
000C14 (2014-04-06) Catherine Dubois [France] ; Dimitra Giannakopoulou [États-Unis] ; Dominique Méry [France]Proceedings 1st Workshop on Formal Integrated Development Environment
000C73 (2014-02-20) Emeric Gioan [France] ; Serge Burckel [Réunion] ; Emmanuel Thomé [France]Computation with No Memory, and Rearrangeable Multicast Networks
000D14 (2014-01) Petr Popov [France] ; David Ritchie [France] ; Sergei Grudinin [France]DockTrina: Docking triangular protein trimers
000E57 (2014) Dominique Méry [France] ; Bernhard Sch Tz [Allemagne] ; Alan Wassyng [Canada]The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062)
000F97 (2013-10-09) Nelly Agrinier [France] ; Christelle Altieri ; François Alla [France] ; Nicolas Jay [France] ; Daniela Dobre ; Nathalie Thilly [France] ; Faiez Zannad [France]Effectiveness of a multidimensional home nurse led heart failure disease management program-A French nationwide time-series comparison

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

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