IRIS

4.1 Contributo in Atti di convegno: [1084] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 721 a 740 di 1.084
Titolo Data di pubblicazione Autore(i) File
Reusing model transformations through typing requirements models 1-gen-2017 De Lara, Juan; Di Rocco, Juri; Di Ruscio, Davide; Guerra, Esther; Iovino, Ludovico; Pierantonio, Alfonso; Cuadrado Jesús, Sánchez
A tool for automatically selecting optimal model transformation chains 1-gen-2018 Basciani, Francesco; Di Ruscio, Davide; D'Emidio, Mattia; Frigioni, Daniele; Pierantonio, Alfonso; Iovino, Ludovico
Edelta: An Approach for Defining and Applying Reusable Metamodel Refactorings 1-gen-2017 Bettini, Lorenzo; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso
Verifying properties of systems relying on attribute-based communication 1-gen-2017 De Nicola, R; Duong, T; Inverso, O; Mazzanti, F
A Combined Interpretation of CR Nuclei and Antiproton High Energy Measurements 1-gen-2010 Evoli, C; Gaggero, D; Grasso, D; Maccione, L
Supporting users to manage breaking and unresolvable changes in coupled evolution 1-gen-2015 Di Rocco, Juri; Di Ruscio, Davide; Pierantonio, Alfonso; Iovino, Ludovico
MU-CSeq 0.4: Individual memory location unwindings 1-gen-2016 Tomasco, E; Nguyen, Tl; Inverso, O; Fischer, B; La Torre, S; Parlato, G
Automatic transformation co-evolution using traceability models and graph transformation 1-gen-2018 Rutle, Adrian; Iovino, Ludovico; König, Harald; Diskin, Zinovy
MDEForge: An extensible Web-based modeling platform 1-gen-2014 Basciani, Francesco; Di Rocco, Juri; Di Ruscio, Davide; Di Salle, Amleto; Iovino, Ludovico; Pierantonio, Alfonso
CRPropa 3.0 - a Public Framework for Propagating UHE Cosmic Rays through Galactic and Extragalactic Space 1-gen-2013 Alves Batista, R; Erdmann, M; Evoli, C; Kampert, K H; Kuempel, D; Müller, G; Schiffer, P; Sigl, G; van Vliet, A; Walz, D; Winchen, T
Model repositories: Will they become reality? A position statement 1-gen-2015 Basciani, Francesco; Di Rocco, Juri; Di Ruscio, Davide; Pierantonio, Alfonso; Iovino, Ludovico
Managing the Coupled Evolution of Metamodels and Textual Concrete Syntax Specifications 1-gen-2013 Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso
Verifying Concurrent Programs by Memory Unwinding 1-gen-2015 Tomasco, E; Inverso, O; Fischer, B; La Torre, S; Parlato, G
AErlang at Work 1-gen-2017 De Nicola, R; Duong, T; Inverso, O; Trubiani, C
Mining metrics for understanding metamodel characteristics 1-gen-2014 Di Rocco, Juri; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso
CUPID-0: A cryogenic calorimeter with particle identification for double beta decay search 1-gen-2018 Cardani, L; Artusa, Dr; Azzolini, O; Barrera, Mt; Beeman, Jw; Bellini, F; Beretta, M; Biassoni, M; Brofferio, C; Bucci, C; Camacho, A; Canonica, L; Capelli, S; Carniti, P; Casali, N; Cassina, L; Clemenza, M; Cremonesi, O; Cruciani, A; D’Addabbo, A; Dafinei, I; Di Domizio, S; di Vacri, Ml; Ferroni, F; Gironi, L; Giuliani, A; Gorla, P; Gotti, C; Keppel, G; Maino, M; Martinez, M; Morganti, S; Nagorny, S; Nastasi, M; Nisi, S; Nones, C; Orio, F; Orlandi, D; Pagnanini, L; Pallavicini, M; Palmieri, V; Pattavina, L; Pavan, M; Pessina, G; Pettinacci, V; Pirro, S; Pozzi, S; Previtali, E; Puiu, A; Reindl, F; Rusconi, C; Schaeffner, K; Sinkunaite, L; Tomei, C; Vignati, M; Zolotarova, A
0νββ decay: The CUPID-0 experiment 1-gen-2018 Azzolini, O.; Barrera, M. T.; Beeman, J. W.; Bellini, F.; Beretta, M.; Biassoni, M.; Brofferio, C.; Bucci, C.; Canonica, L.; Capelli, S.; Cardani, L.; Carniti, P.; Casali, N.; Cassina, L.; Clemenza, M.; Cremonesi, O.; Cruciani, A.; D'Addabbo, A.; Dafinei, I.; Di Domizio, S.; Di Vacri, M. L.; Ferroni, F.; Gironi, L.; Giuliani, A.; Gorla, P.; Gotti, C.; Keppel, G.; Maino, M.; Martinez, M.; Morganti, S.; Nagorny, S.; Nastasi, M.; Nisi, S.; Nones, C.; Olivieri, E.; Orlandi, D.; Pagnanini, L.; Pallavicini, M.; Palmieri, V.; Pattavina, L.; Pavan, M.; Pessina, G.; Pettinacci, V.; Pirro, S.; Pozzi, S.; Previtali, E.; Puiu, A.; Reindl, F.; Rusconi, C.; Schäffner, K.; Tomei, C.; Vignati, M.; Zolotarova, A.
A NaI-based cryogenic scintillating calorimeter: Status and results of the COSINUS project 1-gen-2018 Di Marco, N; Angloher, G; Carniti, P; Cassina, L; Gironi, L; Gotti, C; Mancuso, M; Pagnanini, L; Pessina, G; Petricca, F; Pirro, S; Pröbst, F; Puig, R; Reindl, F; Schäffner, K; Schieck, J; Stahlberg, M
Majorana Neutrinos 1-gen-2006 Ferroni, F.
Minimizing the number of ADMs with and without Traffic Grooming: Complexity and Approximability 1-gen-2006 Flammini, Michele
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 721 a 740 di 1.084
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
  • 4 Contributo in Atti di Convegno ...1084
Autore
  • PELLICCIONE, PATRIZIO115
  • FLAMMINI, MICHELE110
  • TUOSTO, EMILIO77
  • D'ANGELO, GIANLORENZO72
  • TRUBIANI, CATIA71
  • INVERARDI, PAOLA59
  • IOVINO, LUDOVICO52
  • DE MITRI, IVAN49
  • TROQUARD, NICOLAS41
  • FERRONI, Fernando34
Data di pubblicazione
  • 2020 - 2024235
  • 2010 - 2019590
  • 2000 - 2009213
  • 1990 - 199941
  • 1982 - 19895
Editore
  • Springer82
  • IEEE Computer Society38
  • IEEE31
  • Institute of Electrical and Elect...22
  • Springer Verlag20
  • ACM17
  • Association for Computing Machine...16
  • Springer-Verlag14
  • CEUR-WS12
  • Springer International Publishing11
Rivista
  • LECTURE NOTES IN COMPUTER SCIENCE39
  • JOURNAL OF PHYSICS. CONFERENCE SE...31
  • JOURNAL OF LOW TEMPERATURE PHYSICS13
  • POS PROCEEDINGS OF SCIENCE13
  • ELECTRONIC PROCEEDINGS IN THEORET...7
  • IL NUOVO CIMENTO C5
  • JOURNAL OF PHYSICS. CONFERENCE SE...5
  • LEIBNIZ INTERNATIONAL PROCEEDINGS...5
  • ELECTRONIC NOTES IN THEORETICAL C...4
  • IJCAI4
Serie
  • LECTURE NOTES IN ARTIFICIAL INTEL...26
  • LECTURE NOTES IN COMPUTER SCIENCE17
  • LEIBNIZ INTERNATIONAL PROCEEDINGS...14
  • AIP CONFERENCE PROCEEDINGS7
  • ADVANCES IN NEURAL INFORMATION PR...3
  • PROCEEDINGS OF SPIE, THE INTERNAT...3
  • FRONTIERS IN ARTIFICIAL INTELLIGE...2
  • LECTURE NOTES IN COMPUTER SCIENCE2
  • NUCLEAR PHYSICS B - PROCEEDINGS S...2
  • PROCEEDINGS / AAAI- ... NATIONAL ...2
Keyword
  • Software27
  • Computer Science (all)26
  • Theoretical Computer Science18
  • Algorithmic Game Theory6
  • Modeling and Simulation6
  • Reliability and Quality6
  • Risk6
  • Safety6
  • Computer Networks and Communications5
  • Model Driven Engineering5
Lingua
  • eng650
  • ita11
  • und7
  • slv1
Accesso al fulltext
  • no fulltext922
  • reserved96
  • open63
  • partially open3