AffRegInc.i
Curation
Accueil
Racine
Curation
Exploration
Accueil
Racine
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Curation (Accueil)

Index « AffRegInc.i » - entrée « Milano »
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.
Microsoft Research, Silicon Valley < Milano < Milton Keynes  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 9.
Ident.Authors (with country if any)Title
001630 (2013) Nick Bezhanishvili [Pays-Bas] ; Silvio Ghilardi [Italie]Bounded Proofs and Step Frames
001653 (2013) Mauro Ferrari [Italie] ; Camillo Fiorentini [Italie] ; Guido Fiorino [Italie]A Terminating Evaluation-Driven Variant of G3i
002744 (2011) Sara Brunetti [Italie] ; Paolo Dulio [Italie] ; Carla Peri [Italie]Characterization of { − 1,0, + 1} Valued Functions in Discrete Tomography under Sets of Four Directions
003142 (2010) Daniele Zucchelli [Italie] ; Enrica Nicolini [France]A Decidability Result for the Model Checking of Infinite-State Systems
005418 (2006) Silvana Castano [Italie] ; Alfio Ferrara [Italie] ; Stefano Montanelli [Italie]Ontology-based Interoperability Services for Semantic Collaboration in Open Networked Systems
005502 (2006) Sergio Terzi [Italie] ; Jacopo Cassina [Italie] ; Hervé Panetto [France]Development of a Metamodel to Foster Interoperability along the Product Lifecycle Traceability
00D175 (1993) Sergio Bandinelli [Italie] ; Luciano Baresi [Italie] ; Alfonso Fuggetta [Italie] ; Luigi Lavazza [Italie]Requirements and early experiences in the implementation of the SPADE repository using object-oriented technology
00D195 (1993) S. Chevret [France] ; M. Hemmer [Luxembourg (pays)] ; J. Carlet [France] ; M. Langer [Italie]Incidence and risk factors of pneumonia acquired in intensive care units
00D625 (1992) Reidar Conradi [Norvège] ; Christer Fernström [France] ; Alfonso Fuggetta [Italie] ; Robert Snowdon [Royaume-Uni]Towards a reference framework for process concepts

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Curation/AffRegInc.i -k "Milano" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Curation/AffRegInc.i  \
                -Sk "Milano" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Curation/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Curation
   |type=    indexItem
   |index=    AffRegInc.i
   |clé=    Milano
}}
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