ISSN
Checkpoint
Istex
Racine
Checkpoint
Istex
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Istex)

Index « ISSN » - entrée « 0302-9743 »
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.
0302-8933 < 0302-9743 < 0303-1268  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 1899.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000073 (2013) Clark Barrett [États-Unis] ; Stéphane Demri [États-Unis, France] ; Morgan Deters [États-Unis]Witness Runs for Counter Machines
000074 (2013) Clark Barrett [États-Unis] ; Stéphane Demri [États-Unis, France] ; Morgan Deters [États-Unis]Witness Runs for Counter Machines
000075 (2013) Franz Baader [Allemagne] ; Benjamin Zarrie [Allemagne]Verification of Golog Programs over Description Logic Actions
000076 (2013) Clara Bertolissi [France, Italie] ; Silvio Ranise [Italie]Verification of Composed Array-Based Systems with Applications to Security-Aware Workflows
000077 (2013) Erhan Aptoula [Turquie] ; Jonathan Weber [France] ; Sébastien Lefèvre [France]Vectorial Quasi-flat Zones for Color Image Simplification
000079 (2013) Adrien Coulet [France] ; Florent Domenach [Chypre (pays)] ; Mehdi Kaytoue [France] ; Amedeo Napoli [France]Using Pattern Structures for Analyzing Ontology-Based Annotations of Biomedical Data
000080 (2013) Steve Kremer [France] ; Robert Künnemann [France] ; Graham Steel [France]Universally Composable Key-Management
000081 (2013) Arjen K. Lenstra [Suisse] ; Thorsten Kleinjung [Suisse] ; Emmanuel Thomé [France]Universal Security
000082 (2013) Patrick Koopmann [Royaume-Uni] ; Renate A. Schmidt [Royaume-Uni]Uniform Interpolation of $\mathcal{ALC}$ -Ontologies Using Fixpoints
000083 (2013) Stefan Hetzl [Autriche] ; Tomer Libal [France] ; Martin Riener [Autriche] ; Mikheil Rukhaia [France]Understanding Resolution Proofs through Herbrand’s Theorem
000084 (2013) Emmanuel Hainry [France] ; Jean-Yves Marion [France] ; Romain Péchoux [France]Type-Based Complexity Analysis for Fork Processes
000085 (2013) Sanat Kumar Bista [Australie] ; Payam Aghaei Pour [Australie] ; Nathalie Colineau [Australie] ; Surya Nepal [Australie] ; Cecile Paris [Australie]TrustVis: A Trust Visualisation Service for Online Communities
000086 (2013) Mario Cortes-Cornax [France] ; Ioana Ciuciu [France] ; Sophie Dupuy-Chessa [France] ; Dominique Rieu [France] ; Agnès Front [France]Towards the Integration of Ontologies with Service Choreographies
000087 (2013) Firmino Silva [Portugal] ; Claudia-Melania Chituc [Portugal]Towards the Definition of a Framework Supporting High Level Reliability of Services
000088 (2013) Nanjangud C. Narendra [Inde] ; Lam-Son Lê [Australie] ; Aditya Ghose [Australie] ; Gandhi Sivakumar [Australie]Towards an Architectural Framework for Service-Oriented Enterprises
000089 (2013) Meherun Nesa Lucky [Italie] ; Christina Tziviskou [Italie] ; Flavio De Paoli [Italie]Towards RESTful Communications in Self-managing Pervasive Systems
000090 (2013) Etienne Mabille [France] ; Marc Boyer [France] ; Loïc Fejoz [France] ; Stephan Merz [France]Towards Certifying Network Calculus
000091 (2013) Daniel Stöhr [Allemagne] ; Sabine Glesner [Allemagne]Towards Automated and Correct Composition of Timed Services
000092 (2013) René Anxionnat [France] ; Marie-Odile Berger [France] ; Erwan Kerrien [France]Time to Go Augmented in Vascular Interventional Neuroradiology?
000094 (2013) Weishan Zhang [République populaire de Chine] ; Klaus Marius Hansen [Danemark] ; Paolo Bellavista [Italie]The 1st International Workshop on Self-Managing Pervasive Service Systems (SeMaPS 2012)
000095 (2013) Yu Deng [États-Unis] ; Liangzhao Zeng [États-Unis]The 1st International Workshop on Analytics Services on the Cloud (ASC 2012)

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/ISSN.i -k "0302-9743" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/ISSN.i  \
                -Sk "0302-9743" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    ISSN.i
   |clé=    0302-9743
}}
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