HalTutelle.i
Corpus
Hal
Racine
Corpus
Checkpoint
Hal
Racine
Hal
Exploration
Accueil
Racine
Racine

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

Index « HalTutelle.i » - entrée « Universita degli studi di Genova »
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.
Universita Roma Tre < Universita degli studi di Genova < Universitat Autònoma de Barcelona [Barcelona]  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 12.
Ident.Authors (with country if any)Title
000253 (2004) Yannick Chevalier ; Luca Compagna ; Jorge Cuellar ; Paul Hankes Drielsma ; Jacopo Mantovani ; Sebastian Moedersheim ; Laurent VigneronA High Level Protocol Specification Language for Industrial Security-Sensitive Protocols
000440 (2013-05) Bernardetta Addis ; Giuliana Carello ; Elena TànfaniA Robust Optimization Approach for the Operating Room Planning Problem with Uncertain Surgery Duration
000936 (2014) Bernardetta Addis ; Giuliana Carello ; Elena TànfaniA 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 ; Bernardetta Addis ; Giuliana Carello ; Elena TànfaniA rolling horizon framework for the OR planning under uncertain surgery duration: deterministic versus robust approach
000942 (2014) Bernardetta Addis ; Giuliana Carello ; Andrea Grosso ; Elena TànfaniA rolling horizon framework for the operating rooms planning under uncertain surgery duration
002733 (2015) Bernardetta Addis ; Giuliana Carello ; Andrea Grosso ; Lanzarone Ettore ; Sara Mattia ; Elena TànfaniHandling Uncertainty in Health Care Management using the Cardinality-Constrained Approach: Advantages and Remarks
002A54 (2001) Alessandro Armando ; Michaël Rusinowitch ; Sorin StratulatIncorporating Decision Procedures in Implicit Induction
002A55 (2001-02) Alessandro Armando ; Michaël Rusinowitch ; Sorin StratulatIncorporating Decision Procedures in Implicit Induction
003585 (2009) Alessandro Armando ; Maria Paola Bonacina ; Silvio Ranise ; Stephan SchulzNew results on rewrite-based satisfiability procedures
003934 (2015) Bernardetta Addis ; Giuliana Carello ; Andrea Grosso ; Elena TànfaniOperating room scheduling and rescheduling: a rolling horizon approach
004793 (2012-05-13) David Bommes ; Lévy Bruno ; Nico Pietroni ; Enrico Puppo ; Claudio Silva ; Marco Tarini ; Denis ZorinState of the Art in Quad Meshing
004A91 (2005-07) Alessandro Armando ; David Basin ; Yohan Boichut ; Yannick Chevalier ; Luca Compagna ; Jorge Cuellar ; Paul Hankes Drielsma ; Pierre-Cyrille Héam ; Olga Kouchnarenko ; Jacopo Mantovani ; Sebastian Mödersheim ; David Von Oheimb ; Michaël Rusinowitch ; Judson Santos Santiago ; Luca Vigano ; Mathieu Turuani ; Laurent VigneronThe AVISPA Tool for the automated validation of internet security protocols and applications

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalTutelle.i -k "Universita degli studi di Genova " 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalTutelle.i  \
                -Sk "Universita degli studi di Genova " \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    HalTutelle.i
   |clé=    Universita degli studi di Genova 
}}
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