Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
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
REST in Pieces: RESTful Design Rule Violations in Student-Built Web Apps
2025-01-01 Di Meglio, Sergio; Pontillo, Valeria; Starace, Luigi Libero Lucio
Shaping IoT Systems Together: The User-System Mixed-Initiative Paradigm and Its Challenges
2023-01-01 Spalazzese, Romina; De Sanctis, Martina; Alkhabbas, Fahed; Davidsson, Paul
Sparsifying Congested Cliques and Core-Periphery Networks
2016-01-01 Balliu, Alkida; Fraigniaud, Pierre; Lotker, Zvi; Olivetti, Dennis
Stakeholder Inclusion and Value Diversity: An Evaluation Using an Access Control System
2023-01-01 Alidoosti, Razieh; De Sanctis, Martina; Iovino, Ludovico; Lago, Patricia; Razavian, Maryam
Systematic Recovery of MDE Technology Usage
2018-01-01 Di Rocco, Juri; Di Ruscio, Davide; Härtel, Johannes; Iovino, Ludovico; Lämmel, Ralf; Pierantonio, Alfonso
Testing Equivalence vs. Runtime Monitoring
2019-01-01 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
Trustworthy Global Computing
2014-01-01 Maffei, Matteo; Tuosto, Emilio
Weaving Open Services with Runtime Models for Continuous Smart Cities KPIs Assessment
2021-01-01 DE SANCTIS, Martina; Iovino, Ludovico; Rossi, MARIA TERESA; Wimmer, Manuel
Web Services and Formal Methods
2014-01-01 Tuosto, Emilio; Ouyang, Chun
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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 | |
| REST in Pieces: RESTful Design Rule Violations in Student-Built Web Apps | 1-gen-2025 | Di Meglio, Sergio; Pontillo, Valeria; Starace, Luigi Libero Lucio | |
| Shaping IoT Systems Together: The User-System Mixed-Initiative Paradigm and Its Challenges | 1-gen-2023 | Spalazzese, Romina; De Sanctis, Martina; Alkhabbas, Fahed; Davidsson, Paul | |
| Sparsifying Congested Cliques and Core-Periphery Networks | 1-gen-2016 | Balliu, Alkida; Fraigniaud, Pierre; Lotker, Zvi; Olivetti, Dennis | |
| Stakeholder Inclusion and Value Diversity: An Evaluation Using an Access Control System | 1-gen-2023 | Alidoosti, Razieh; De Sanctis, Martina; Iovino, Ludovico; Lago, Patricia; Razavian, Maryam | |
| Systematic Recovery of MDE Technology Usage | 1-gen-2018 | Di Rocco, Juri; Di Ruscio, Davide; Härtel, Johannes; Iovino, Ludovico; Lämmel, Ralf; Pierantonio, Alfonso | |
| Testing Equivalence vs. Runtime Monitoring | 1-gen-2019 | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina | |
| Trustworthy Global Computing | 1-gen-2014 | Maffei, Matteo; Tuosto, Emilio | |
| Weaving Open Services with Runtime Models for Continuous Smart Cities KPIs Assessment | 1-gen-2021 | DE SANCTIS, Martina; Iovino, Ludovico; Rossi, MARIA TERESA; Wimmer, Manuel | |
| Web Services and Formal Methods | 1-gen-2014 | Tuosto, Emilio; Ouyang, Chun |
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