05.11 Software: [1422] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 661 a 680 di 1.422
Titolo Data di pubblicazione Autore(i) File
gCube resource manager 1-gen-2015 Simi, M; Cirillo, R
DLPPROTEIN 1-gen-2002 Stefano Cozzini Simone Melchionna
dnet-basic-aggregator: release 1.0 1-gen-2015 Artini, M; Atzori, C; Bardi, A; Castelli, D; Dell'Amico, A; La Bruzzo, S; Manghi, P; Mannocci, Andrea
3D Heritage online presenter 1-gen-2015 Callieri M.; Potenziani M.; Dellepiane M.; Corsini M.; Ponchio F.; Scopigno R.
gCube registry publisher 1-gen-2014 Cirillo R.; Lelii L.
Distributed user interfaces framework: multi-device and multi-user environments with dynamically migrating engines 1-gen-2014 Frosini, L
Prototipo schedurer ATS 1-gen-2014 Spagnolo, Go; Ferrari, A; Mazzanti, F
Magician 1.0 1-gen-2020 F. M. Lauria
MzS Tools - QGIS Plugin for italian Seismic Microzonation (version 1.9.4) 1-gen-2024 Pennica, Francesco; Cosentino, Giuseppe; Tarquini, Emanuele
Hebbian Learning GitHub repository 1-gen-2021 Lagani, G
Procedura Web per la generazione automatica dei bandi di concorso per Assegno di Ricerca 1-gen-2010 Marzi, Claudia; Marchi, Simone
Matlab library to offset tassellated surfaces 1-gen-2009 Malosio, M; Pedrocchi, Nicola; N,
S4A Application for Adroid Devices 1-gen-2014 Frigerio L.; Kliment T.; Bordogna G.; Sterlacchini S.; Crema A.; Stroppiana D.
Publicity chair tools 1-gen-2021 Basile, D
The Uppaal SMC models developed for the ASTRail project and experiments, published at Isola2018 and FMICS2019 1-gen-2019 Basile D.
Stratego formal models and experiments for the paper published at FORTE2020 1-gen-2020 Basile D.
Models and experiments logs for the article published at "Formal Aspects of Computing 2021" 1-gen-2021 Basile, D
Uppaal models and experiments for the paper: "Formal Analysis of the UNISIG Safety Application Intermediate Sublayer." (FMICS2021) 1-gen-2021 Basile, D; Rosadi, I
AMPL model for Weak Agreement in contract automata, implementation of weak liability checking, published at FORTE2016 1-gen-2016 Basile D.
The Uppaal SMC model and experiments published at RSSRail 2019 1-gen-2019 Basile D.
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 661 a 680 di 1.422
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile

Scopri
Tipologia
  • 05 Altro1422
Autore
  • MANGIACRAPA, FRANCESCO38
  • FROSINI, LUCA32
  • CIGNONI, PAOLO29
  • MARIOLI, VALENTINA28
  • MOTTURA, STEFANO28
  • ASSANTE, MASSIMILIANO26
  • VOLPINI, FEDERICO26
  • ARRIGO, MARCO25
  • ROZZI, CARLO ANDREA22
  • LELII, LUCIO21
Data di pubblicazione
  • 2020 - 2026311
  • 2010 - 2019759
  • 2000 - 2009310
  • 1990 - 199938
  • 1988 - 19894
Keyword
  • gCube System49
  • Virtual Research Environments43
  • gCube40
  • Virtual Organisations38
  • R24
  • D4Science-II project23
  • Virtual Research Environment23
  • Python19
  • Biodiversity18
  • Collaborative Environment18
Lingua
  • eng980
  • ita461
  • fre20
  • spa13
  • ger9
  • gre6
  • enm4
  • grc3
  • ara2
  • cpe2
Accesso al fulltext
  • no fulltext1211
  • open112
  • restricted62
  • reserved35
  • mixed1
  • partially open1