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-50] [0 - 20][0 - 50][50-70]
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
001471 (2013) Cynthia Kop [Autriche] ; Naoki Nishida [Japon]Term Rewriting with Logical Constraints
001472 (2013) Stefan Borgwardt [Allemagne] ; Marcel Lippmann [Allemagne] ; Veronika Thost [Allemagne]Temporal Query Answering in the Description Logic DL-Lite
001474 (2013) Andreas Bauer [Australie] ; Peter Baumgartner [Australie] ; Martin Diller [Australie] ; Michael Norrish [Australie]Tableaux for Verification of Data-Centric Processes
001475 (2013) Carlos Areces [Argentine] ; Raul Fervari [Argentine] ; Guillaume Hoffmann [Argentine]Tableaux for Relation-Changing Modal Logics
001477 (2013) Amélie David [France]TATL: Implementation of ATL Tableau-Based Decision Procedure
001478 (2013) Christoph Röthlisberger [Suisse]TAFA – A Tool for Admissibility in Finite Algebras
001479 (2013) Jens Kolb [Allemagne] ; Manfred Reichert [Allemagne]Supporting Business and IT through Updatable Process Views: The proView Demonstrator
001480 (2013) Philippe Balbiani [France] ; Hans Van Ditmarsch [France, Inde] ; Andrey Kudinov [Russie]Subset Space Logic with Arbitrary Announcements
001482 (2013) Joël Ouaknine [Royaume-Uni]Specification and Verification of Linear Dynamical Systems: Advances and Challenges
001483 (2013) Christian Inzinger [Autriche] ; Benjamin Satzger [Autriche] ; Waldemar Hummer [Autriche] ; Schahram Dustdar [Autriche]Specification and Deployment of Distributed Monitoring and Adaptation Infrastructures
001484 (2013) K. C. Santosh [France] ; Bart Lamiroy [France] ; Laurent Wendling [France]Spatio-structural Symbol Description with Statistical Feature Add-On
001485 (2013) Mohamed Rouane-Hacene [Canada] ; Marianne Huchard [France] ; Amedeo Napoli [France] ; Petko Valtchev [Canada]Soundness and Completeness of Relational Concept Analysis
001486 (2013) Verdi March [Singapour] ; Yan Gu [Singapour] ; Bu Sung Lee [Singapour]Sonata: A Workflow Model for Interactive Mobile Cloud Applications
001488 (2013) Mathieu Nayrolles [France, Canada] ; Francis Palma [Canada] ; Naouel Moha [Canada] ; Yann-Gaël Guéhéneuc [Canada]Soda : A Tool Support for the Detection of SOA Antipatterns
001490 (2013) Muneera Bano Sahibzada [Australie] ; Didar Zowghi [Australie]Service Oriented Requirements Engineering: Practitioner’s Perspective
001493 (2013) Ulrich Furbach [Allemagne] ; Claudia Schon [Allemagne]Semantically Guided Evolution of $\mathcal{SHI}$ ABoxes
001494 (2013) Yongxin Liao [France] ; Mario Lezoche [France] ; Eduardo Loures [Brésil] ; Hervé Panetto [France] ; Nacer Boudjlida [France]Semantic Enrichment of Models to Assist Knowledge Management in a PLM Environment
001495 (2013) Nicolas Peltier [France]Schemata of Formulæ in the Theory of Arrays
001497 (2013) Rafael Pe Aloza [Allemagne] ; Tingting Zou [République populaire de Chine]Roughening the $\mathcal{EL}$ Envelope
001499 (2013) Florent Jacquemard [France] ; Michael Rusinowitch [France]Rewrite Closure and CF Hedge Automata
001501 (2013) Jacky Estublier [France] ; German Vega [France] ; Elmehdi Damou [France]Resource Management for Pervasive Systems
001502 (2013) Tri Astoto Kurniawan [Australie] ; Aditya K. Ghose [Australie] ; Lam-Son Lê [Australie]Resolving Violations in Inter-process Relationships in Business Process Ecosystems
001503 (2013) Feng-Lin Li [Italie, République populaire de Chine]Requirements-Driven Software Service Evolution
001504 (2013) Ernest Valveny [Espagne] ; Mathieu Delalandre [France] ; Romain Raveaux [France] ; Bart Lamiroy [France]Report on the Symbol Recognition and Spotting Contest
001506 (2013) Stefan Schulte [Autriche] ; Philipp Hoenisch [Autriche] ; Srikumar Venugopal [Australie] ; Schahram Dustdar [Autriche]Realizing Elastic Processes with ViePEP
001507 (2013) Didier Fass [France]Putting in Perspective Human-Machine System Theory and Modeling: From Theoretical Biology to Artifacts Integrative Design and Organization
001508 (2013) Stéphane Graham-Lengrand [France]Psyche : A Proof-Search Engine Based on Sequent Calculus with an LCF-Style Architecture
001510 (2013) Tien-Dung Cao [Viêt Nam] ; Kevin Chiew [Viêt Nam]Protecting Software as a Service in the Clouds by Validation
001511 (2013) Guoping Zhang [République populaire de Chine] ; Jing Liu [République populaire de Chine] ; Jianbo Liu [République populaire de Chine]Protecting Sensitive Attributes in Attribute Based Access Control
001512 (2013) Ralf Karrenberg [Allemagne] ; Marek Košta [Allemagne] ; Thomas Sturm [Allemagne]Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages

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