Sfoglia per Serie
Data-Driven Understanding of Design Decisions in Pattern-Based Microservices Architecture
2025-01-01 Diaz-Pace, J. Andres; Trubiani, Catia; Garlan, David
Election Control Through Social Influence with Unknown Preferences
2020-01-01 Aboueimehrizi, M.; Corò, Federico.; Cruciani, E.; D'Angelo, Gianlorenzo
Engineering Early Warning Systems: an Industrial Experience
2025-01-01 Burastero, Alessandro; Cappelluti, Giuseppina; De Sanctis, Martina; Di Salle, Amleto; Iovino, Ludovico; Pompilio, Claudio; Versace, Cosimo; Ferraris, Luca
Engineering Ethical-Aware Collective Adaptive Systems
2024-01-01 De Sanctis, Martina; Inverardi, Paola
Ethics-Based Requirements for Engineering Cyber-Physical Systems: A Literature Study
2025-01-01 Kurkchi, Yelyzaveta; Trubiani, Catia
A Formal Verification Tool for UML Behavioral Diagrams
2014-01-01 Dos Santos, Luciana Brasil Rebelo; Eras, Eduardo Rohde; De Santiago Júnior, Valdivino Alexandre; Vijaykumar, Nandamudi Lankalapalli
Generalized Distance Polymatrix Games
2024-01-01 Aloisio, Alessandro; Flammini, Michele; Vinci, Cosimo
How have Ethics been Addressed in the Software Development Lifecycle? A Systematic Mapping Study
2025-01-01 Gomes, Otávio Santos; Silva, Gláucia Braga E; Souza, Érica Ferreira De; Rebelo, Luciana; Vijaykumar, Nandamudi L.; Fernandes, Gabriel Zoéga
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space
2012-01-01 Autili, Marco; Cortellessa, Vittorio; DI RUSCIO, Davide; Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo
Intuitionistic Sequent-Style Calculus with Explicit Structural Rules
2009-01-01 Lescanne, Pierre; Ghilezan, Silvia; Ivetic, Jelena; Zunic, Dragisa
Journal first: A Systematic Literature Review on Prioritizing Software Test Cases Using Markov Chains
2023-01-01 Barbosa, G.; Souza, É.; Rebelo, L.; Silva, M.; Balera, J.; Vijaykumar, N.
Locality of Not-so-Weak Coloring
2019-01-01 Balliu, Alkida; Hirvonen, Juho; Lenzen, Christoph; Olivetti, Dennis; Suomela, Jukka
Modelling and Mining Knowledge About Computational Complexity
2025-01-01 Gnatenko, Anton; Kutz, Oliver; Troquard, Nicolas
A Monitoring Tool for Linear-Time $$\mu $$HML
2022-01-01 Aceto, Luca; Achilleos, Antonis; Paul Attard, Duncan; Exibard, Léo; Francalanza, Adrian; Ingólfsdóttir, Anna
Multi-winner election control via social influence
2020-01-01 Aboueimehrizi, M.; D’Angelo, Gianlorenzo
On Mining Dynamic Graphs for k Shortest Paths
2025-01-01 D'Ascenzo, Andrea; D'Emidio, Mattia
An Operational Guide to Monitorability
2019-01-01 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
Phase Transition of a Non-linear Opinion Dynamics with Noisy Interactions
2020-01-01 D'Amore, Francesco; Clementi, Andrea; Natale, Emanuele
Phase Transition of the 3-Majority Dynamics with Uniform Communication Noise
2022-01-01 D'Amore, Francesco; Ziccardi, Isabella
Realizing Ethical-Aware Business Processes
2025-01-01 Pettinari, Sara; De Sanctis, Martina; Inverardi, Paola
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Data-Driven Understanding of Design Decisions in Pattern-Based Microservices Architecture | 1-gen-2025 | Diaz-Pace, J. Andres; Trubiani, Catia; Garlan, David | |
| Election Control Through Social Influence with Unknown Preferences | 1-gen-2020 | Aboueimehrizi, M.; Corò, Federico.; Cruciani, E.; D'Angelo, Gianlorenzo | |
| Engineering Early Warning Systems: an Industrial Experience | 1-gen-2025 | Burastero, Alessandro; Cappelluti, Giuseppina; De Sanctis, Martina; Di Salle, Amleto; Iovino, Ludovico; Pompilio, Claudio; Versace, Cosimo; Ferraris, Luca | |
| Engineering Ethical-Aware Collective Adaptive Systems | 1-gen-2024 | De Sanctis, Martina; Inverardi, Paola | |
| Ethics-Based Requirements for Engineering Cyber-Physical Systems: A Literature Study | 1-gen-2025 | Kurkchi, Yelyzaveta; Trubiani, Catia | |
| A Formal Verification Tool for UML Behavioral Diagrams | 1-gen-2014 | Dos Santos, Luciana Brasil Rebelo; Eras, Eduardo Rohde; De Santiago Júnior, Valdivino Alexandre; Vijaykumar, Nandamudi Lankalapalli | |
| Generalized Distance Polymatrix Games | 1-gen-2024 | Aloisio, Alessandro; Flammini, Michele; Vinci, Cosimo | |
| How have Ethics been Addressed in the Software Development Lifecycle? A Systematic Mapping Study | 1-gen-2025 | Gomes, Otávio Santos; Silva, Gláucia Braga E; Souza, Érica Ferreira De; Rebelo, Luciana; Vijaykumar, Nandamudi L.; Fernandes, Gabriel Zoéga | |
| Integration Architecture Synthesis for Taming Uncertainty in the Digital Space | 1-gen-2012 | Autili, Marco; Cortellessa, Vittorio; DI RUSCIO, Davide; Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo | |
| Intuitionistic Sequent-Style Calculus with Explicit Structural Rules | 1-gen-2009 | Lescanne, Pierre; Ghilezan, Silvia; Ivetic, Jelena; Zunic, Dragisa | |
| Journal first: A Systematic Literature Review on Prioritizing Software Test Cases Using Markov Chains | 1-gen-2023 | Barbosa, G.; Souza, É.; Rebelo, L.; Silva, M.; Balera, J.; Vijaykumar, N. | |
| Locality of Not-so-Weak Coloring | 1-gen-2019 | Balliu, Alkida; Hirvonen, Juho; Lenzen, Christoph; Olivetti, Dennis; Suomela, Jukka | |
| Modelling and Mining Knowledge About Computational Complexity | 1-gen-2025 | Gnatenko, Anton; Kutz, Oliver; Troquard, Nicolas | |
| A Monitoring Tool for Linear-Time $$\mu $$HML | 1-gen-2022 | Aceto, Luca; Achilleos, Antonis; Paul Attard, Duncan; Exibard, Léo; Francalanza, Adrian; Ingólfsdóttir, Anna | |
| Multi-winner election control via social influence | 1-gen-2020 | Aboueimehrizi, M.; D’Angelo, Gianlorenzo | |
| On Mining Dynamic Graphs for k Shortest Paths | 1-gen-2025 | D'Ascenzo, Andrea; D'Emidio, Mattia | |
| An Operational Guide to Monitorability | 1-gen-2019 | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina | |
| Phase Transition of a Non-linear Opinion Dynamics with Noisy Interactions | 1-gen-2020 | D'Amore, Francesco; Clementi, Andrea; Natale, Emanuele | |
| Phase Transition of the 3-Majority Dynamics with Uniform Communication Noise | 1-gen-2022 | D'Amore, Francesco; Ziccardi, Isabella | |
| Realizing Ethical-Aware Business Processes | 1-gen-2025 | Pettinari, Sara; De Sanctis, Martina; Inverardi, Paola |
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