Pays
Curation
Hal
Racine
Curation
Checkpoint
Hal
Racine
Hal
Exploration
Accueil
Racine
Racine

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

Index « Pays » - entrée « Italie »
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.
Israël < Italie < Japon  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 116.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000153 (2010) Daniele Zucchelli [Italie] ; Enrica Nicolini [France]A Decidability Result for the Model Checking of Infinite-State Systems
000205 (2006) Luigi Liquori [France] ; Furio Honsell [Italie] ; Marina Lenisa [Italie]A Framework for Defining Logical Frameworks
000253 (2004) Yannick Chevalier [France] ; Luca Compagna [Italie] ; Jorge Cuellar [Allemagne] ; Paul Hankes Drielsma [Suisse] ; Jacopo Mantovani [Italie] ; Sebastian Moedersheim [Suisse] ; Laurent Vigneron [France]A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols
000283 (2008-01-10) Marco Gaboardi [Italie] ; Jean-Yves Marion [France] ; Simona Ronchi Della Rocca [Italie]A Logical Account of PSPACE
000368 (2008-09-25) David Bremner [Canada] ; Jonathan Lenchner [États-Unis] ; Giuseppe Liotta [Italie] ; Christophe Paul [France] ; Marc Pouget [France] ; Svetlana Stolpner [Canada] ; Stephen Wismath [États-Unis]A Note on α-Drawable k-Trees
000440 (2013-05) Bernardetta Addis [France] ; Giuliana Carello [Italie] ; Elena Tànfani [Italie]A Robust Optimization Approach for the Operating Room Planning Problem with Uncertain Surgery Duration
000502 (1999-12-01) Viviana Bono [Italie] ; Michele Bugliesi [Italie] ; Mariangiola Dezani-Ciancaglini [Italie] ; Luigi Liquori [France]A Subtyping for Extensible, Incomplete Objects
000561 (2004-04-05) Hervé Panetto [France] ; Giuseppe Berio [Italie] ; Khalid Benali [France] ; Nacer Boudjlida [France] ; Michaël Petit [Belgique]A Unified Enterprise Modelling Language for enhanced interoperability of Enterprise Models
000602 (2011-08-28) Damien Chablat [France] ; Erika Ottaviano [Italie] ; Guillaume Moroz [France]A comparative study of 4-cable planar manipulators based on cylindrical algebraic decomposition
000615 (2008) Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Daniele Zucchelli [Italie]A comprehensive combination framework
000930 (2007) Paolo Baldan [Italie] ; Clara Bertolissi [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France]A rewriting calculus for cyclic higher-order term graphs
000931 (2005) Paolo Baldan [Italie] ; Clara Bertolissi [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France]A rewriting calculus for cyclic higher-order term graphs
000932 (2004-10) Clara Bertolissi [France] ; Paolo Baldan [Italie] ; Horatiu Cirstea [France] ; Claude Kirchner [France]A rewriting calculus for cyclic higher-order term graphs
000936 (2014) Bernardetta Addis [France] ; Giuliana Carello [Italie] ; Elena Tànfani [Italie]A robust optimization approach for the Advanced Scheduling Problem with uncertain surgery duration in Operating Room Planning - an extended analysis
000941 (2014-02-26) Andrea Grosso [Italie] ; Bernardetta Addis [France] ; Giuliana Carello [Italie] ; Elena Tànfani [Italie]A rolling horizon framework for the OR planning under uncertain surgery duration: deterministic versus robust approach
000942 (2014) Bernardetta Addis [France] ; Giuliana Carello [Italie] ; Andrea Grosso [Italie] ; Elena Tànfani [Italie]A rolling horizon framework for the operating rooms planning under uncertain surgery duration
000954 (2008) Daniel De Carvalho [France] ; Michele Pagani [France] ; Lorenzo Tortora De Falco [Italie]A semantic measure of the execution time in Linear Logic
000A65 (2015-09-06) Andrea Bandini [Italie] ; Slim Ouni [France] ; Piero Cosi [Italie] ; Silvia Orlandi [Italie] ; Claudia Manfredi [Italie]Accuracy of a markerless acquisition technique for studying speech articulators. In Interspeech 2015
000B01 (2005-09-19) Mohamed Khalgui [France] ; Xavier Rebeuf [France] ; Francesco Zampognaro [Italie]Adaptable OPC-XML contracts taking into account network traffic
000B02 (2009) Lina Maria Rojas Barahona [France] ; Toni Giorgino [Italie]Adaptable dialogue architecture and runtime engine (AdaRTE): A framework for rapid prototyping of health dialog systems
000B73 (2014-07-04) Davide Rizzo [France] ; Jean-François Mari [France] ; Elisa Marraccini [Italie] ; El-Ghali Lazrak [France]Agricultural landscape segmentation: a stochastic method to map heterogeneous variables

Pour manipuler ce document sous Unix (Dilib)

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

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

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

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

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