IRIS

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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 441 a 460 di 1.084
Titolo Data di pubblicazione Autore(i) File
Keeping intelligence under control 1-gen-2018 Mallozzi, Piergiuseppe; Pelliccione, Patrizio; Menghi, Claudio
Towards a Framework for Distributed and Collaborative Modeling 1-gen-2009 Cicchetti, Antonio; H, Muccini; Pelliccione, Patrizio; Pierantonio, Alfonso
EVOSS: A tool for managing the evolution of free and open source software systems 1-gen-2012 Di Ruscio, D; Pelliccione, P; Pierantonio, A
EAGLE: Engineering softwAre in the ubiquitous Globe by Leveraging uncErtainty 1-gen-2011 Marco, Autili; Vittorio, Cortellessa; Davide Di, Ruscio; Paola, Inverardi; Pelliccione, P; Massimo, Tivoli
Model-Checking plus Testing: from Software Architecture Analysis to Code Testing 1-gen-2004 Bucchiarone, A.; H, Muccini; Pelliccione, P.; Pierini, P.
Formal Analysis of Architectural Patterns 1-gen-2004 Caporuscio, M.; Inverardi, P.; Pelliccione, Patrizio
Guaranteeing Correct Evolution of Software Product Lines 1-gen-2012 H., ter Beek Maurice; Henry, Muccini; Pelliccione, P
Towards weaving software architecture models 1-gen-2006 Di Ruscio, D; Muccini, H; Pierantonio, A; Pelliccione, P
The need of complementing plan-driven requirements engineering with emerging communication: Experiences from Volvo Car Group 1-gen-2015 Eliasson, Ulf; Heldal, Rogardt; Knauss, Eric; Pelliccione, Patrizio
A Software Architecture for Reliable Collaborative Working Environments 1-gen-2007 HOA DUNG HA, Duong; Christian, Melchiorre; EIKE MICHAEL, Meyer; Ignacio, Nieto; Gerard, Paris; Pelliccione, Patrizio; AND FREDERIQUE TASTET, Cherel
Automatic Generation of detailed Flight Plans from High-level Mission Descriptions 1-gen-2016 DI RUSCIO, Davide; Malavolta, Ivano; Pelliccione, Patrizio; Tivoli, Massimo
Architecting Fault-tolerant Component-based Systems: from requirements to testing 1-gen-2006 Bucchiarone, A; Muccini, Henry; Pelliccione, Patrizio
Poster: Property specification patterns for robotic missions 1-gen-2018 Menghi, Claudio; Tsigkanos, Christos; Berger, Thorsten; Pelliccione, Patrizio; Ghezzi, Carlo
Enumeration of s-d Separators in DAGs with Application to Reliability Analysis in Temporal Graphs 1-gen-2020 Conte, Alessio; Crescenzi, Pierluigi; Marino, Andrea; Punzi, Giulia
Simple and Fast Distributed Computation of Betweenness Centrality 1-gen-2020 Crescenzi, Pierluigi; Fraigniaud, Pierre; Paz, Ami
Results on 82Se 2νββ with CUPID-0 Phase I 1-gen-2020 Pagnanini, L; Azzolini, O; Beeman, J W; Bellini, F; Beretta, M; Biassoni, M; Brofferio, C; Bucci, C; Capelli, S; Cardani, L; Carniti, P; Casali, N; Chiesa, D; Clemenza, M; Cremonesi, O; Cruciani, A; Dafinei, I; Domizio, S Di; Ferroni, F; Gironi, L; Giuliani, A; Gorla, P; Gotti, C; Keppel, G; Martinez, M; Nagorny, S; Nastasi, M; Nisi, S; Nones, C; Orlandi, D; Pallavicini, M; Pattavina, L; Pavan, M; Pessina, G; Pettinacci, V; Pirro, S; Pozzi, S; Previtali, E; Puiu, A; Rusconi, C; Schäffner, K; Tomei, C; Vignati, M; Zolotarova, A S
Edelta 2.0: Supporting Live Metamodel Evolutions 1-gen-2020 Bettini, Lorenzo; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso
Parameterized Complexity of Manipulating Sequential Allocation 1-gen-2020 Flammini, Michele; Gilbert, Hugo
Inequity Aversion Pricing in Multi-Unit Markets 1-gen-2020 Flammini, Michele; Mauro, Manuel; Tonelli, Matteo; Vinci, Cosimo
The Quality of Content Publishing in the Digital Era 1-gen-2020 Bilò, Vittorio; Flammini, Michele; Vinci, Cosimo
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 441 a 460 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