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 « programs »
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.
programp < programs < programss  Facettes :

List of bibliographic references indexed by programs

Number of relevant bibliographic references: 629.
[20-40] [0 - 20][0 - 50][40-60]
Ident.Authors (with country if any)Title
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
000C73 (2014-02-20) Emeric Gioan [France] ; Serge Burckel [Réunion] ; Emmanuel Thomé [France]Computation with No Memory, and Rearrangeable Multicast Networks
000D04 (2014-01-09) Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]Proving the Fidelity of Simulations of Event-B Models
000D15 (2014-01) Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [France]Revisiting Snapshot Algorithms by Refinement-based Techniques (Extended Version)
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
001040 (2013-09) Pascal Fontaine [France] ; Christophe Ringeissen [France] ; Renate Schmidt [Royaume-Uni]Frontiers of Combining Systems
001043 (2013-08-29) Emmanuel Hainry [France] ; Romain Péchoux [France]Types for controlling heap and stack in Java
001103 (2013-07-13) Dominique Méry [France] ; Monahan Rosemary [Irlande (pays)]Transforming EVENT B Models into Verified C# Implementations
001128 (2013-07-01) Daniel Leivant [États-Unis] ; Jean-Yves Marion [France]Evolving graph-structures and their implicit computational complexity
001135 (2013-07) Robert Davis [Canada] ; Luca Santinelli [France] ; Sebastian Altmeyer ; Claire Maiza [France] ; Liliana Cucu-Grosjean [France]Analysis of Probabilistic Cache Related Pre-emption Delays
001155 (2013-06-19) Franck Wartel [France] ; Leonidas Kosmidis [Espagne] ; Benoit Triquet [France] ; Eduardo Quinones [Espagne] ; Jaume Abella [Espagne] ; Adriana Geanina Gogonel [France] ; Andreea Baldovin [Italie] ; Enrico Mezzetti [Italie] ; Liliana Cucu-Grosjean [France] ; Tullio Vardanega [Italie] ; Francisco J. Cazorla [Espagne]Measurement-Based Probabilistic Timing Analysis: Lessons from an Integrated-Modular Avionics Case Study
001157 (2013-06-17) Mohammed Tounsi [France] ; Mohammed Mosbah [France] ; Dominique Méry [France]From Event-B Specifications to Programs for Distributed Algorithms
001331 (2013-01-11) Emmanuel Hainry [France] ; Romain Péchoux [France]Type-based heap and stack space analysis in Java
001437 (2013) Laurent Bonnemains [France] ; Francois Marcon [France] ; Marc Braun [France]Faisabilité de l’évaluation d’une observation médicale par combinaison de multiples critères : méthode NICTALOP
001449 (2013) Franz Baader [Allemagne] ; Benjamin Zarrie [Allemagne]Verification of Golog Programs over Description Logic Actions
001458 (2013) Emmanuel Hainry [France] ; Jean-Yves Marion [France] ; Romain Péchoux [France]Type-Based Complexity Analysis for Fork Processes
001465 (2013) Daniel Stöhr [Allemagne] ; Sabine Glesner [Allemagne]Towards Automated and Correct Composition of Timed Services
001482 (2013) Joël Ouaknine [Royaume-Uni]Specification and Verification of Linear Dynamical Systems: Advances and Challenges
001586 (2013) Daniel Leivant [États-Unis] ; Jean-Yves Marion [France]Evolving Graph-Structures and Their Implicit Computational Complexity

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

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