Sfoglia
Automated clustering of metamodel repositories
2016-01-01 Basciani, Francesco; Di Rocco, Juri; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso
On the high-energy cosmic neutrinos seen by IceCube
2016-01-01 Pagliaroli, G.; Palladino, A.; Villante, F. L.; Vissani, F.
Education, Social Capital and Cultural Goods
2013-01-01 Castagna, Alina; Crociata, Alessandro; Furia, Donatella; Mattoscio, Nicola
Dealing with the coupled evolution of metamodels and model-to-text transformations
2014-01-01 Di Rocco, Juri; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso
Improved method for the detection of low-energy astrophysical neutrinos bursts
2018-01-01 Pagliaroli, G; Casentini, C; Vigorito, C; Fafone, V
Pattern formation for a family of models with local/nonlocal interactions
2018-01-01 Daneri, S; Runa, E
Combined search of MeV and gravitational waves from astrophysical impulsive sources
2019-01-01 Pagliaroli, G; Halim, O; Casentini, C; Vigorito, C; Fafone, V
What is needed for managing co-evolution in MDE?
2011-01-01 Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso
NEW DEVELOPMENT MODEL FOR THE HOUSING FUTURE
2014-01-01 Forlani Maria, Cristina; Mastrolonardo, Luciana; Crociata, A.
A proactive approach for runtime self-adaptation based on queueing network fluid analysis
2015-01-01 Incerto, E; Tribastone, M; Trubiani, C
Similar Patterns of Cultural and Creative Industries. A Preliminary Analysis Based on Self-Organized-Map to the Italian Case
2018-01-01 Furia, D; Crociata, A; Compagnucci, F; Carlei, V
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs
2015-01-01 Inverso, O; Nguyen, Tl; Fischer, B; La Torre, S; Parlato, G
Model-Driven Application Refactoring to Minimize Deployment Costs in Preemptible Cloud Resources
2016-01-01 Dubois, Dj; Trubiani, C; Casale, G
Towards recovering the software architecture of microservice-based systems
2017-01-01 Granchelli, Giona; Cardarelli, Mario; DI FRANCESCO, Paolo; Malavolta, Ivano; Iovino, Ludovico; Di Salle, Amleto
"Electromagnetic follow-up of gravitational wave transient signal candidates"
2012-01-01 Branchesi, Marica; on behalf of LIGO Scientific, Collaboration; the Virgo, Collaboration
A unified solution to the anisotropy and gradient problems
2013-01-01 Gaggero, D; Evoli, C; Grasso, D; Maccione, L
Performance antipattern detection through fUML model library
2015-01-01 Arcelli, D; Berardinelli, L; Trubiani, C
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization
2014-01-01 Inverso, O; Tomasco, E; Fischer, B; La Torre, S; Parlato, G
Towards a library of composable models to estimate the performance of security solutions
2008-01-01 Cortellessa, V; Trubiani, C
An alternative solution to the gamma-ray Gradient problem
2011-01-01 Gaggero, D; Evoli, C; Grasso, D; Maccione, L
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Automated clustering of metamodel repositories | 1-gen-2016 | Basciani, Francesco; Di Rocco, Juri; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso | |
| On the high-energy cosmic neutrinos seen by IceCube | 1-gen-2016 | Pagliaroli, G.; Palladino, A.; Villante, F. L.; Vissani, F. | |
| Education, Social Capital and Cultural Goods | 1-gen-2013 | Castagna, Alina; Crociata, Alessandro; Furia, Donatella; Mattoscio, Nicola | |
| Dealing with the coupled evolution of metamodels and model-to-text transformations | 1-gen-2014 | Di Rocco, Juri; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso | |
| Improved method for the detection of low-energy astrophysical neutrinos bursts | 1-gen-2018 | Pagliaroli, G; Casentini, C; Vigorito, C; Fafone, V | |
| Pattern formation for a family of models with local/nonlocal interactions | 1-gen-2018 | Daneri, S; Runa, E | |
| Combined search of MeV and gravitational waves from astrophysical impulsive sources | 1-gen-2019 | Pagliaroli, G; Halim, O; Casentini, C; Vigorito, C; Fafone, V | |
| What is needed for managing co-evolution in MDE? | 1-gen-2011 | Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso | |
| NEW DEVELOPMENT MODEL FOR THE HOUSING FUTURE | 1-gen-2014 | Forlani Maria, Cristina; Mastrolonardo, Luciana; Crociata, A. | |
| A proactive approach for runtime self-adaptation based on queueing network fluid analysis | 1-gen-2015 | Incerto, E; Tribastone, M; Trubiani, C | |
| Similar Patterns of Cultural and Creative Industries. A Preliminary Analysis Based on Self-Organized-Map to the Italian Case | 1-gen-2018 | Furia, D; Crociata, A; Compagnucci, F; Carlei, V | |
| Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs | 1-gen-2015 | Inverso, O; Nguyen, Tl; Fischer, B; La Torre, S; Parlato, G | |
| Model-Driven Application Refactoring to Minimize Deployment Costs in Preemptible Cloud Resources | 1-gen-2016 | Dubois, Dj; Trubiani, C; Casale, G | |
| Towards recovering the software architecture of microservice-based systems | 1-gen-2017 | Granchelli, Giona; Cardarelli, Mario; DI FRANCESCO, Paolo; Malavolta, Ivano; Iovino, Ludovico; Di Salle, Amleto | |
| "Electromagnetic follow-up of gravitational wave transient signal candidates" | 1-gen-2012 | Branchesi, Marica; on behalf of LIGO Scientific, Collaboration; the Virgo, Collaboration | |
| A unified solution to the anisotropy and gradient problems | 1-gen-2013 | Gaggero, D; Evoli, C; Grasso, D; Maccione, L | |
| Performance antipattern detection through fUML model library | 1-gen-2015 | Arcelli, D; Berardinelli, L; Trubiani, C | |
| Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization | 1-gen-2014 | Inverso, O; Tomasco, E; Fischer, B; La Torre, S; Parlato, G | |
| Towards a library of composable models to estimate the performance of security solutions | 1-gen-2008 | Cortellessa, V; Trubiani, C | |
| An alternative solution to the gamma-ray Gradient problem | 1-gen-2011 | Gaggero, D; Evoli, C; Grasso, D; Maccione, L |
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
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