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.
[20-40] [0 - 20][0 - 50][40-60]
Ident.Authors (with country if any)Title
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

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