Time Robustness for Point-Based Semantics of Metric Interval Temporal Logic
2026-01-01 Silvetti, Simone; Compagnucci, Ivan; Cairoli, Francesca; Trubiani, Catia; Nenzi, Laura
Behavioural Types for Local-First Software
2023-01-01 Kuhn, Roland; Melgratti, Hernán; Tuosto, Emilio
Automatic Code and Test Generation of Smart Contracts from Coordination Models
2026-01-01 Konjoh, E.; Murgia, M.; Ravara, A.; Tuosto, E.
Compositional Design, Implementation, and Verification of Swarms
2026-01-01 Furbach, Florian; Clorius, Lucas; Kuhn, Roland; Melgratti, Hernán; Scalas, Alceste; Tuosto, Emilio
Compositional Design, Implementation, and Verification of Swarms
2026-01-01 Furbach, F.; Clorius, L.; Kuhn, R.; Melgratti, H.; Scalas, A.; Tuosto, E.
A Process to Enforce Ethical Requirements of Autonomous Systems at Runtime
2026-01-01 De Sanctis, Martina; Filippone, Gianluca; Inverardi, Paola; Mirandola, Raffaela; Pettinari, Sara; Scandurra, Patrizia
Operationalising Normative Rules in Autonomous Robotic Systems Through Context-Oriented Programming
2026-01-01 Casadei, Roberto; De Sanctis, Martina; Filippone, Gianluca; Pettinari, Sara; Scoccia, Gian Luca; Troquard, Nicolas
WINK: Advancing X and Gamma Ray Detection Technology for Space Observations
2025-01-01 Tambone, Matteo; Aloisio, Roberto; Atalay, Uygar; Banerjee, Biswijt; Barbato, Felicia Carla Tiziana; Bissaldi, Elisabetta; Branchesi, Marica; Capitanio, Fiamma; Casilli, Elisabetta; Colalillo, Roberta; De Mitri, Ivan; De Santis, Alessio Ludovico; Di Giovanni, Adriano; Fontanella, Giulio; Gargano, Fabio; Garufi, Fabio; Guarino, Fausto; Kyratzis, Dimitrios; Lima, Herman; Longo, Francesco; Loparco, Francesco; Martinelli, Riccardo; Montaruli, Teresa; Oganesyan, Gor; Perfetto, Francesco; Rico, Javier; Santoliquido, Filippo; Sarkar, Ritabrata; Savina, Pierpaolo; Siddique, Iqra; Smirnov, Aleksei; Tarana, Antonella; Tykhonov, Andrii; Valore, Laura; Vigliano, Alessandro Armando; Vanzanella, Antonio; Anastasio, Antonio; Boiano, Alfonso
FloWare: An Approach for IoT Support and Application Development
2021-01-01 Corradini, Flavio; Fedeli, Arianna; Fornari, Fabrizio; Polini, Andrea; Re, Barbara
Towards a collaborative approach for Digital Twin simulation models comprehension
2024-01-01 Fedeli, Arianna; Azael Manrique Negrin, David
A Research Roadmap for Digital Twins of an Organization
2025-01-01 Fedeli, Arianna; Kassem, Ghina; Sherif, Khaled; Laurenzi, Emanuele; Polini, Andrea
On the Universality of Round Elimination Fixed Points
2026-01-01 Balliu, Alkida; Brandt, Sebastian; Gabsdil, Ole; Olivetti, Dennis; Suomela, Jukka
Towards Fully Automatic Distributed Lower Bounds
2025-01-01 Balliu, Alkida; Brandt, Sebastian; Kuhn, Fabian; Olivetti, Dennis; Saarhelo, Joonatan
Distributed Computation with Local Advice
2025-01-01 Balliu, Alkida; Brandt, Sebastian; Kuhn, Fabian; Nowicki, Krzysztof; Olivetti, Dennis; Rotenberg, Eva; Suomela, Jukka
On the h-Majority Dynamics with Many Opinions
2025-01-01 D'Amore, Francesco; D'Archivio, Niccolò; Giakkoupis, George; Natale, Emanuele
New Limits on Distributed Quantum Advantage: Dequantizing Linear Programs
2025-01-01 Balliu, Alkida; Coupette, Corinna; Cruciani, Antonio; D'Amore, Francesco; Equi, Massimo; Lievonen, Henrik; Modanese, Augusto; Olivetti, Dennis; Suomela, Jukka
Distributed Quantum Advantage in Locally Checkable Labeling Problems
2026-01-01 Balliu, Alkida; Casagrande, Filippo; D'Amore, Francesco; Equi, Massimo; Keller, Barbara; Lievonen, Henrik; Olivetti, Dennis; Schmid, Gustav; Suomela, Jukka
Fast Landmark Reconfiguration for Highway Cover Indexes
2026-01-01 Coudert, David; D'Ascenzo, Andrea; D'Emidio, Mattia; Italiano, Giuseppe F.
From PREVENTion to REACTion: Enhancing Failure Resolution in Naval Systems
2025-01-01 Rossi, Maria Teresa; Mariani, Leonardo; Riganelli, Oliviero
Students' Perception of ChatGPT in Software Engineering: Lessons Learned from Five Courses
2025-01-01 Baresi, Luciano; De Lucia, Andrea; Di Marco, Antinisca; Di Penta, Massimiliano; Di Ruscio, Davide; Mariani, Leonardo; Micucci, Daniela; Palomba, Fabio; Rossi, Maria Teresa; Zampetti, Fiorella
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Time Robustness for Point-Based Semantics of Metric Interval Temporal Logic | 1-gen-2026 | Silvetti, Simone; Compagnucci, Ivan; Cairoli, Francesca; Trubiani, Catia; Nenzi, Laura | |
| Behavioural Types for Local-First Software | 1-gen-2023 | Kuhn, Roland; Melgratti, Hernán; Tuosto, Emilio | |
| Automatic Code and Test Generation of Smart Contracts from Coordination Models | 1-gen-2026 | Konjoh, E.; Murgia, M.; Ravara, A.; Tuosto, E. | |
| Compositional Design, Implementation, and Verification of Swarms | 1-gen-2026 | Furbach, Florian; Clorius, Lucas; Kuhn, Roland; Melgratti, Hernán; Scalas, Alceste; Tuosto, Emilio | |
| Compositional Design, Implementation, and Verification of Swarms | 1-gen-2026 | Furbach, F.; Clorius, L.; Kuhn, R.; Melgratti, H.; Scalas, A.; Tuosto, E. | |
| A Process to Enforce Ethical Requirements of Autonomous Systems at Runtime | 1-gen-2026 | De Sanctis, Martina; Filippone, Gianluca; Inverardi, Paola; Mirandola, Raffaela; Pettinari, Sara; Scandurra, Patrizia | |
| Operationalising Normative Rules in Autonomous Robotic Systems Through Context-Oriented Programming | 1-gen-2026 | Casadei, Roberto; De Sanctis, Martina; Filippone, Gianluca; Pettinari, Sara; Scoccia, Gian Luca; Troquard, Nicolas | |
| WINK: Advancing X and Gamma Ray Detection Technology for Space Observations | 1-gen-2025 | Tambone, Matteo; Aloisio, Roberto; Atalay, Uygar; Banerjee, Biswijt; Barbato, Felicia Carla Tiziana; Bissaldi, Elisabetta; Branchesi, Marica; Capitanio, Fiamma; Casilli, Elisabetta; Colalillo, Roberta; De Mitri, Ivan; De Santis, Alessio Ludovico; Di Giovanni, Adriano; Fontanella, Giulio; Gargano, Fabio; Garufi, Fabio; Guarino, Fausto; Kyratzis, Dimitrios; Lima, Herman; Longo, Francesco; Loparco, Francesco; Martinelli, Riccardo; Montaruli, Teresa; Oganesyan, Gor; Perfetto, Francesco; Rico, Javier; Santoliquido, Filippo; Sarkar, Ritabrata; Savina, Pierpaolo; Siddique, Iqra; Smirnov, Aleksei; Tarana, Antonella; Tykhonov, Andrii; Valore, Laura; Vigliano, Alessandro Armando; Vanzanella, Antonio; Anastasio, Antonio; Boiano, Alfonso | |
| FloWare: An Approach for IoT Support and Application Development | 1-gen-2021 | Corradini, Flavio; Fedeli, Arianna; Fornari, Fabrizio; Polini, Andrea; Re, Barbara | |
| Towards a collaborative approach for Digital Twin simulation models comprehension | 1-gen-2024 | Fedeli, Arianna; Azael Manrique Negrin, David | |
| A Research Roadmap for Digital Twins of an Organization | 1-gen-2025 | Fedeli, Arianna; Kassem, Ghina; Sherif, Khaled; Laurenzi, Emanuele; Polini, Andrea | |
| On the Universality of Round Elimination Fixed Points | 1-gen-2026 | Balliu, Alkida; Brandt, Sebastian; Gabsdil, Ole; Olivetti, Dennis; Suomela, Jukka | |
| Towards Fully Automatic Distributed Lower Bounds | 1-gen-2025 | Balliu, Alkida; Brandt, Sebastian; Kuhn, Fabian; Olivetti, Dennis; Saarhelo, Joonatan | |
| Distributed Computation with Local Advice | 1-gen-2025 | Balliu, Alkida; Brandt, Sebastian; Kuhn, Fabian; Nowicki, Krzysztof; Olivetti, Dennis; Rotenberg, Eva; Suomela, Jukka | |
| On the h-Majority Dynamics with Many Opinions | 1-gen-2025 | D'Amore, Francesco; D'Archivio, Niccolò; Giakkoupis, George; Natale, Emanuele | |
| New Limits on Distributed Quantum Advantage: Dequantizing Linear Programs | 1-gen-2025 | Balliu, Alkida; Coupette, Corinna; Cruciani, Antonio; D'Amore, Francesco; Equi, Massimo; Lievonen, Henrik; Modanese, Augusto; Olivetti, Dennis; Suomela, Jukka | |
| Distributed Quantum Advantage in Locally Checkable Labeling Problems | 1-gen-2026 | Balliu, Alkida; Casagrande, Filippo; D'Amore, Francesco; Equi, Massimo; Keller, Barbara; Lievonen, Henrik; Olivetti, Dennis; Schmid, Gustav; Suomela, Jukka | |
| Fast Landmark Reconfiguration for Highway Cover Indexes | 1-gen-2026 | Coudert, David; D'Ascenzo, Andrea; D'Emidio, Mattia; Italiano, Giuseppe F. | |
| From PREVENTion to REACTion: Enhancing Failure Resolution in Naval Systems | 1-gen-2025 | Rossi, Maria Teresa; Mariani, Leonardo; Riganelli, Oliviero | |
| Students' Perception of ChatGPT in Software Engineering: Lessons Learned from Five Courses | 1-gen-2025 | Baresi, Luciano; De Lucia, Andrea; Di Marco, Antinisca; Di Penta, Massimiliano; Di Ruscio, Davide; Mariani, Leonardo; Micucci, Daniela; Palomba, Fabio; Rossi, Maria Teresa; Zampetti, Fiorella |
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 ...1386
Data di pubblicazione
- 2020 - 2026489
- 2010 - 2019632
- 2000 - 2009219
- 1990 - 199941
- 1982 - 19895
Editore
- Springer87
- IEEE Computer Society42
- IEEE37
- Institute of Electrical and Elect...28
- Springer Verlag20
- ACM18
- Association for Computing Machine...16
- Springer-Verlag15
- CEUR-WS12
- AAAI Press11
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE39
- JOURNAL OF PHYSICS. CONFERENCE SE...32
- JOURNAL OF LOW TEMPERATURE PHYSICS16
- POS PROCEEDINGS OF SCIENCE14
- ELECTRONIC PROCEEDINGS IN THEORET...13
- 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 COMPUTER SCIENCE42
- LECTURE NOTES IN ARTIFICIAL INTEL...37
- LEIBNIZ INTERNATIONAL PROCEEDINGS...21
- AIP CONFERENCE PROCEEDINGS9
- LECTURE NOTES IN BUSINESS INFORMA...8
- ADVANCES IN NEURAL INFORMATION PR...6
- CEUR WORKSHOP PROCEEDINGS5
- FRONTIERS IN ARTIFICIAL INTELLIGE...4
- LECTURE NOTES IN COMPUTER SCIENCE4
- PROCEEDINGS OF THE ... AAAI CONFE...4
Keyword
- Software27
- Computer Science (all)26
- Theoretical Computer Science18
- Algorithmic Game Theory7
- Modeling and Simulation6
- Reliability and Quality6
- Risk6
- Safety6
- Computer Networks and Communications5
- Model Driven Engineering5
Lingua
- eng791
- ita12
- und7
- slv1
Accesso al fulltext
- no fulltext1179
- open101
- reserved96
- partially open10