propagation < properties < propertiesof

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

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000155 (2013)	Ji Liu ; Yu Feng ; Zhi-Xiong Liu ; Zhi-Chao Yan [République populaire de Chine] ; Yan-Mei He ; Chen-Yang Liu [République populaire de Chine] ; Qing-Hua Fan [République populaire de Chine]	N‐Boc‐Protected 1,2‐Diphenylethylenediamine‐Based Dendritic Organogels with Multiple‐Stimulus‐Responsive Properties
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
000292 (2013)	J. R. Courtault [France] ; D. Galmiche [France]	A Modal BI Logic for Dynamic Resource Properties
000413 (2012)	Thawatchai Tungkavet [Thaïlande] ; Nispa Seetapan [Thaïlande] ; Datchanee Pattavarakorn [Thaïlande] ; Anuvat Sirivat [Thaïlande]	Improvements of electromechanical properties of gelatin hydrogels by blending with nanowire polypyrrole: effects of electric field and temperature
000516 (2011)	Isao Yamaguchi [Japon] ; Tomonori Asano [Japon]	Uncatalyzed synthesis of polypyrrole with viologen side groups and its chemical properties
000548 (2011)	Imants Svalbe [Australie] ; Nicolas Normand [Australie, France]	Properties of Minimal Ghosts
000549 (2011)	Aurélie Richard [France] ; Gaëlle Largeteau-Skapin [France] ; Marc Rodríguez [France] ; Eric Andres [France] ; Laurent Fuchs [France] ; Jean-Serge Dimitri Ouattara [France]	Properties and Applications of the Simplified Generalized Perpendicular Bisector
000618 (2011)	Tristan Roussillon [France] ; Jacques-Olivier Lachaud [France]	Delaunay Properties of Digital Straight Segments
000691 (2011)	Sabina Akhtar [France] ; Stephan Merz [France] ; Martin Quinson [France]	A High-Level Language for Modeling Algorithms and Their Properties
000836 (2010)	Marco Gaboardi [Italie] ; Romain Péchoux [France]	Global and Local Space Properties of Stream Programs
000994 (2009)	Jakob Grue Simonsen [Danemark]	The $\Pi^0_2$-Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity)
000A03 (2009)	Xavier Goaoc [France]	Some Discrete Properties of the Space of Line Transversals to Disjoint Balls
000A17 (2009)	Joris Rehm [France]	Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method
000D19 (2008)	Nawal Guermouche [France] ; Claude Godart [France]	Timed Properties-Aware Asynchronous Web Service Composition
000F71 (2007)	Robert C. Levy [États-Unis] ; Lorraine A. Remer [États-Unis] ; Shana Mattoo [États-Unis] ; Eric F. Vermote [États-Unis] ; Yoram J. Kaufman [États-Unis]	Second‐generation operational algorithm: Retrieval of aerosol properties over land from inversion of Moderate Resolution Imaging Spectroradiometer spectral reflectance
001005 (2007)	Isabelle Gnaedig ; Hélène Kirchner	Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations
001200 (2006)	Mohsen Rouached [France] ; Walid Gaaloul [France] ; Wil M. P. Van Der Aalst [Pays-Bas] ; Sami Bhiri [France] ; Claude Godart [France]	Web Service Mining and Verification of Properties: An Approach Based on Event Calculus
001305 (2006)	Nicolas Fournier [France] ; Philippe Laurençot [France]	Local properties of self-similar solutions to Smoluchowski’s coagulation equation with sum kernels
001334 (2006)	Bernard Girau [France]	FPNA: Concepts and Properties
001336 (2006)	Didier Galmiche [France] ; Dominique Larchey-Wendling [France]	Expressivity Properties of Boolean BI Through Relational Models
001342 (2006)	Mohsen Rouached [France] ; Walid Gaaloul [France] ; Wil M. P. Van Der Aalst [Pays-Bas] ; Sami Bhiri [France] ; Claude Godart [France]	Erratum: Web Service Mining and Verification of Properties: An Approach Based on Event Calculus

---

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/Title.i -k "properties" 

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

---

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