Algérie < Allemagne < Arabie saoudite

Facettes : Author.f AffOrg.f AffPays.f AffRegion.f AffVille.f Teeft.f

List of bibliographic references

Number of relevant bibliographic references: 335.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000015 (2015)	Anthéa Mayzaud [France] ; Anuj Sehgal [Allemagne] ; Rémi Badonnel [France] ; Isabelle Chrisment [France] ; Jürgen Schönw Lder [Allemagne]	Mitigation of topological inconsistency attacks in RPL‐based low‐power lossy networks
000038 (2013)	Nancy J. Aburto [Suisse] ; Anna Ziolkovska [Suisse] ; Lee Hooper [Royaume-Uni] ; Paul Elliott [Royaume-Uni] ; Francesco P. Cappuccio [Royaume-Uni] ; Joerg J. Meerpohl [Allemagne]	Effect of lower sodium intake on health: systematic review and meta-analyses
000075 (2013)	Franz Baader [Allemagne] ; Benjamin Zarrie [Allemagne]	Verification of Golog Programs over Description Logic Actions
000091 (2013)	Daniel Stöhr [Allemagne] ; Sabine Glesner [Allemagne]	Towards Automated and Correct Composition of Timed Services
000098 (2013)	Stefan Borgwardt [Allemagne] ; Marcel Lippmann [Allemagne] ; Veronika Thost [Allemagne]	Temporal Query Answering in the Description Logic DL-Lite
000105 (2013)	Jens Kolb [Allemagne] ; Manfred Reichert [Allemagne]	Supporting Business and IT through Updatable Process Views: The proView Demonstrator
000119 (2013)	Ulrich Furbach [Allemagne] ; Claudia Schon [Allemagne]	Semantically Guided Evolution of $\mathcal{SHI}$ ABoxes
000123 (2013)	Rafael Pe Aloza [Allemagne] ; Tingting Zou [République populaire de Chine]	Roughening the $\mathcal{EL}$ Envelope
000138 (2013)	Ralf Karrenberg [Allemagne] ; Marek Košta [Allemagne] ; Thomas Sturm [Allemagne]	Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages
000153 (2013)	Matthias Horbach [Allemagne] ; Viorica Sofronie-Stokkermans [Allemagne]	Obtaining Finite Local Theory Axiomatizations via Saturation
000160 (2013)	Nico Herzberg [Allemagne] ; Matthias Kunze [Allemagne] ; Mathias Weske [Allemagne]	Monitoring Business Process Interaction
000165 (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
000166 (2013)	Jasmin Christian Blanchette [Allemagne] ; Andrei Popescu [Allemagne]	Mechanizing the Metatheory of Sledgehammer
000171 (2013)	Riccardo Haupt [Italie] ; Milen Minkov [Autriche] ; Itziar Astigarraga [Espagne] ; Eva Sch Fer [France] ; Vasanta Nanduri [Royaume-Uni] ; Rima Jubran [États-Unis] ; R. Maarten Egeler [Canada] ; Gritta Janka [Allemagne] ; Dragan Micic [Serbie] ; Carlos Rodriguez-Galindo [États-Unis] ; Stefaan Van Gool [Belgique] ; Johannes Visser [Royaume-Uni] ; Sheila Weitzman [Canada] ; Jean Donadieu [France]	Langerhans cell histiocytosis (LCH): Guidelines for diagnosis, clinical work‐up, and treatment for patients till the age of 18 years
000191 (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)
000201 (2013)	Franz Baader [Allemagne] ; Oliver Fernández Gil [Allemagne] ; Barbara Morawska [Allemagne]	Hybrid Unification in the Description Logic $\mathcal{EL}$
000207 (2013)	Hendrik Tews [Allemagne]	Formalizing Cut Elimination of Coalgebraic Logics in Coq
000211 (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
000271 (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
000276 (2013)	Christoph Wernhard [Allemagne]	Abduction in Logic Programming as Second-Order Quantifier Elimination
000283 (2013)	Claudia-Melania Chituc [Portugal] ; Petra Ristau [Allemagne]	A Service-Oriented Approach to Assess the Value of Digital Preservation

---

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/AffPays.i -k "Allemagne" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/AffPays.i  \
                -Sk "Allemagne" \
         | 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=    AffPays.i
   |clé=    Allemagne
}}

---

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