ISSN
Analysis
Allemagne
Racine
Analysis
Allemagne
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Analysis (Allemagne)

Index « ISSN » - entrée « 1611-3349 »
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.
1573-8787 < 1611-3349 < 1619-1366  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 145.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000081 (2013) Franz Baader [Allemagne] ; Benjamin Zarrie [Allemagne]Verification of Golog Programs over Description Logic Actions
000082 (2013) Daniel Stöhr [Allemagne] ; Sabine Glesner [Allemagne]Towards Automated and Correct Composition of Timed Services
000083 (2013) Stefan Borgwardt [Allemagne] ; Marcel Lippmann [Allemagne] ; Veronika Thost [Allemagne]Temporal Query Answering in the Description Logic DL-Lite
000084 (2013) Jens Kolb [Allemagne] ; Manfred Reichert [Allemagne]Supporting Business and IT through Updatable Process Views: The proView Demonstrator
000085 (2013) Ulrich Furbach [Allemagne] ; Claudia Schon [Allemagne]Semantically Guided Evolution of $\mathcal{SHI}$ ABoxes
000086 (2013) Rafael Pe Aloza [Allemagne] ; Tingting Zou [République populaire de Chine]Roughening the $\mathcal{EL}$ Envelope
000087 (2013) Ralf Karrenberg [Allemagne] ; Marek Košta [Allemagne] ; Thomas Sturm [Allemagne]Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages
000088 (2013) Matthias Horbach [Allemagne] ; Viorica Sofronie-Stokkermans [Allemagne]Obtaining Finite Local Theory Axiomatizations via Saturation
000089 (2013) Nico Herzberg [Allemagne] ; Matthias Kunze [Allemagne] ; Mathias Weske [Allemagne]Monitoring Business Process Interaction
000090 (2013) Heiko Witteborg [Allemagne] ; Anis Charfi [Allemagne] ; Wei Wei [Allemagne] ; Ta D Holmes [Allemagne]Method and System for In-Place Modeling of Business Process Extensions as First-Class Entities
000091 (2013) Jasmin Christian Blanchette [Allemagne] ; Andrei Popescu [Allemagne]Mechanizing the Metatheory of Sledgehammer
000093 (2013) George Feuerlicht [République tchèque, Australie] ; Winfried Lamersdorf [Allemagne] ; Guadalupe Ortiz [Espagne] ; Christian Zirpins [Allemagne]Introduction to the 8th International Workshop on Engineering Service-Oriented Applications (WESOA’12)
000094 (2013) Franz Baader [Allemagne] ; Oliver Fernández Gil [Allemagne] ; Barbara Morawska [Allemagne]Hybrid Unification in the Description Logic $\mathcal{EL}$
000095 (2013) Hendrik Tews [Allemagne]Formalizing Cut Elimination of Coalgebraic Logics in Coq
000096 (2013) Hasan S. M. Al-Khaffaf [Allemagne, Malaisie] ; Abdullah Zawawi Talib [Malaisie] ; Mohd Azam Osman [Malaisie]Final Report of GREC’11 Arc Segmentation Contest: Performance Evaluation on Multi-resolution Scanned Documents
000097 (2013) Inaya Yahya [Tunisie] ; Sameh Hbaieb Turki [Tunisie, France] ; Anis Charfi [Allemagne] ; Slim Kallel [Tunisie] ; Rafik Bouaziz [Tunisie]An Aspect-Oriented Approach to Enforce Security Properties in Business Processes
000098 (2013) Christoph Wernhard [Allemagne]Abduction in Logic Programming as Second-Order Quantifier Elimination
000099 (2013) Claudia-Melania Chituc [Portugal] ; Petra Ristau [Allemagne]A Service-Oriented Approach to Assess the Value of Digital Preservation
000100 (2013) Tobias Nipkow [Allemagne] ; Maximilian Haslbeck [Allemagne]A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions
000120 (2012) Florent Jacquemard [France] ; Étienne Lozes [France, Allemagne] ; Ralf Treinen [France] ; Jules Villard [France, Royaume-Uni]Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus
000145 (2011) Tianxiang Lu [Allemagne, France] ; Stephan Merz [France] ; Christoph Weidenbach [Allemagne]Towards Verification of the Pastry Protocol Using TLA + 

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Allemagne/Analysis

HfdIndexSelect -h $EXPLOR_AREA/Data/Allemagne/Analysis/ISSN.i -k "1611-3349" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Allemagne/Analysis/ISSN.i  \
                -Sk "1611-3349" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Allemagne/Analysis/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Allemagne
   |étape=   Analysis
   |type=    indexItem
   |index=    ISSN.i
   |clé=    1611-3349
}}
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