ISSN
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

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 indexed by 0302-9743

Number of relevant bibliographic references: 1937.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
001448 (2013) Clark Barrett [États-Unis] ; Stéphane Demri [États-Unis, France] ; Morgan Deters [États-Unis]Witness Runs for Counter Machines
001449 (2013) Franz Baader [Allemagne] ; Benjamin Zarrie [Allemagne]Verification of Golog Programs over Description Logic Actions
001450 (2013) Clara Bertolissi [France, Italie] ; Silvio Ranise [Italie]Verification of Composed Array-Based Systems with Applications to Security-Aware Workflows
001451 (2013) Erhan Aptoula [Turquie] ; Jonathan Weber [France] ; Sébastien Lefèvre [France]Vectorial Quasi-flat Zones for Color Image Simplification
001453 (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
001454 (2013) Steve Kremer [France] ; Robert Künnemann [France] ; Graham Steel [France]Universally Composable Key-Management
001455 (2013) Arjen K. Lenstra [Suisse] ; Thorsten Kleinjung [Suisse] ; Emmanuel Thomé [France]Universal Security
001456 (2013) Patrick Koopmann [Royaume-Uni] ; Renate A. Schmidt [Royaume-Uni]Uniform Interpolation of $\mathcal{ALC}$ -Ontologies Using Fixpoints
001457 (2013) Stefan Hetzl [Autriche] ; Tomer Libal [France] ; Martin Riener [Autriche] ; Mikheil Rukhaia [France]Understanding Resolution Proofs through Herbrand’s Theorem
001458 (2013) Emmanuel Hainry [France] ; Jean-Yves Marion [France] ; Romain Péchoux [France]Type-Based Complexity Analysis for Fork Processes
001459 (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
001460 (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
001461 (2013) Firmino Silva [Portugal] ; Claudia-Melania Chituc [Portugal]Towards the Definition of a Framework Supporting High Level Reliability of Services
001462 (2013) Nanjangud C. Narendra [Inde] ; Lam-Son Lê [Australie] ; Aditya Ghose [Australie] ; Gandhi Sivakumar [Australie]Towards an Architectural Framework for Service-Oriented Enterprises
001463 (2013) Meherun Nesa Lucky [Italie] ; Christina Tziviskou [Italie] ; Flavio De Paoli [Italie]Towards RESTful Communications in Self-managing Pervasive Systems
001464 (2013) Etienne Mabille [France] ; Marc Boyer [France] ; Loïc Fejoz [France] ; Stephan Merz [France]Towards Certifying Network Calculus
001465 (2013) Daniel Stöhr [Allemagne] ; Sabine Glesner [Allemagne]Towards Automated and Correct Composition of Timed Services
001466 (2013) René Anxionnat [France] ; Marie-Odile Berger [France] ; Erwan Kerrien [France]Time to Go Augmented in Vascular Interventional Neuroradiology?
001468 (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)
001469 (2013) Yu Deng [États-Unis] ; Liangzhao Zeng [États-Unis]The 1st International Workshop on Analytics Services on the Cloud (ASC 2012)
001470 (2013) Takahito Aoto [Japon] ; Munehiro Iwami [Japon]Termination of Rule-Based Calculi for Uniform Semi-Unification

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/ISSN.i -k "0302-9743" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/ISSN.i  \
                -Sk "0302-9743" \
         | 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=    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