Israël < Italie < Japon

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

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000026 (2006)	Silvana Castano [Italie] ; Alfio Ferrara [Italie] ; Stefano Montanelli [Italie]	Ontology-based Interoperability Services for Semantic Collaboration in Open Networked Systems
000029 (2012)	Leonardo Vanneschi [Italie, Portugal] ; Giancarlo Mauri [Italie]	A study on learning robustness using asynchronous 1D cellular automata rules
000057 (2001)	Alessandro Armando [Italie] ; Alessandro Coglio [États-Unis] ; Fausto Giunchiglia [Italie] ; Silvio Ranise [Italie]	The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics
000093 (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
000127 (2000)	Alessandro Armando [Italie] ; Silvio Ranise [Italie]	Termination of Constraint Contextual Rewriting
000162 (1993)	Daniel Barlet [France] ; Alessandro Silva [Italie]	Convexité holomorphe intermediaire
000177 (2005)	P. Labéguerie [France] ; F. Pascale [France] ; M. Mérawa [France] ; C. Zicovich-Wilson [Mexique] ; N. Makhouki [France] ; R. Dovesi [Italie]	Phonon vibrational frequencies and elastic propertiesof solid SrFCl. An ab initio study
000180 (2007)	Jens Gustedt [France] ; Stéphane Vialle [France] ; Amelia De Vivo [Italie]	The parXXL Environment: Scalable Fine Grained Development for Large Coarse Grained Platforms
000406 (2006)	David Déharbe [Brésil] ; Pascal Fontaine [France] ; Silvio Ranise [France, Italie] ; Christophe Ringeissen [France]	Decision Procedures for the Formal Analysis of Software
000481 (2009)	Giacomo Ghini [Italie] ; Luisa Lascialfari [Italie] ; Claudia Vinattieri [Italie] ; Stefano Cicchi [Italie] ; Alberto Brandi [Italie] ; Debora Berti [Italie] ; Francesca Betti [Italie] ; Piero Baglioni [Italie] ; Matteo Mannini [Italie]	Towards a general organogelator: combining a versatile scaffold and an efficient linking process
000500 (2004)	Agostino Dovier [Italie] ; Carla Piazza [Italie] ; Enrico Pontelli [États-Unis]	Disunification in ACI 1 Theories
000517 (1999)	C. Demartini [Italie] ; R. Iosif [Italie] ; C. Raibulet [Italie] ; J. P. Thomesse [France]	A DBR-Based Approach for System Management
000552 (2005)	Shigemasa Takai [Japon] ; Toshimitsu Ushio [Japon] ; Eric Fabre [France] ; Albert Benveniste [France] ; Stefan Haar [France] ; Claude Jard [France] ; Alessandro Giua [Italie] ; Daniele Corona [Italie] ; Carla Seatzu [Italie]	Contributing Authors
000632 (1996)	Norbert Schappacher [France] ; Erhard Scholz [Allemagne] ; Atdo Scimone [Italie] ; Manfred Schroeder [Allemagne] ; Heinz Götze [Allemagne]	Letters to the editor
000636 (1993)	Paola Inverardi [Italie] ; Monica Nesi [Royaume-Uni]	A strategy to deal with divergent rewrite systems
000777 (2013)	Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew M. Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]	Hierarchical Combination
000806 (1993)	Antonio Di Leva [Italie] ; Piercarlo Giolito [Italie] ; François Vernadat [France]	M*-OBJET : méthodologie d’intervention pour l’analyse et la conception des systèmes d’information de productique
000870 (2002)	Jasjit S. Suri [États-Unis] ; David Chopp [États-Unis] ; Alessandro Sarti [Italie] ; Swamy Laxminarayan [États-Unis]	The Future of PDEs and Level Sets
000876 (2010)	Francisco J. Pino [Colombie, Espagne] ; Maria Teresa Baldassarre [Italie] ; Mario Piattini [Espagne] ; Giuseppe Visaggio [Italie]	Harmonizing maturity levels from CMMI‐DEV and ISO/IEC 15504
000884 (2005)	Domenico Cantone [Italie] ; Calogero G. Zarba [France] ; Rosa Ruggeri Cannata [Belgique]	A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership
000938 (2003)	Alberto Ciaffaglione [Italie] ; Luigi Liquori [France] ; Marino Miculan [Italie]	Imperative Object-Based Calculi in Co-inductive Type Theories

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AffPays.i -k "Italie" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AffPays.i  \
                -Sk "Italie" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Curation
   |type=    indexItem
   |index=    AffPays.i
   |clé=    Italie
}}

---

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