Sfoglia per Titolo
Rule formats for distributivity
2012-01-01 Aceto, L; Cimini, M; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
Rule Formats for Nominal Process Calculi
2017-01-01 Aceto, L; Fábregas, I; García-Pérez, A; Ingólfsdóttir, A; Ortega-Mallén, Y
Rule Formats for Nominal Process Calculi
2019-01-01 Aceto, Luca; Fábregas, Ignacio; García-Pérez, Álvaro; Ingólfsdóttir, Anna; Ortega-Mallén, Yolanda
Rule-based modeling and static analysis of self-adaptive systems by graph transformation
2015-01-01 Bucchiarone, Antonio; Ehrig, Hartmut; Ermel, Claudia; Pelliccione, Patrizio; Runge, Olga
Rumor spreading in random evolving graphs
2016-01-01 Clementi, Andrea; Crescenzi, Pierluigi; Doerr, Carola; Fraigniaud, Pierre; Pasquale, Francesco; Silvestri, Riccardo
Run-time failure detection via non-intrusive event analysis in a large-scale cloud computing platform
2023-01-01 Cotroneo, Domenico; De Simone, Luigi; Liguori, Pietro; Natella, Roberto
Runtime Instrumentation for Reactive Components
2024-01-01 Aceto, Luca; Paul Attard, Duncan; Francalanza, Adrian; Ingólfsdóttir, Anna
Runtime Instrumentation for Reactive Components (Artifact)
2024-01-01 Aceto, Luca; Paul Attard, Duncan; Francalanza, Adrian; Ingólfsdóttir, Anna
A Runtime Monitoring Tool for Actor-Based Systems
2017-01-01 Attard, D P; Cassar, I; Francalanza, A; Aceto, L; Ingólfsdóttir, A
Runtime Verification and Field-Based Testing for ROS-Based Robotic Systems
2024-01-01 Diniz Caldas, Ricardo; García, Juan Antonio Piñera; Schiopu, Matei; Pelliccione, Patrizio; Rodrigues, Genaína; Berger, Thorsten
RuntimeSave: A Graph Database of Runtime Values
2025-01-01 Sulír, Matúš; Bertolino, Antonia; De Angelis, Guglielmo
Rural-Urban Partnerships for Economic Development: Rationale, Geographies and Functional Approaches
2014-01-01 Veneri, P
S.P.Q.R.: Space and Pride in Queer Rome. Critical reflection on the 2000 World Pride and its urban legacy
2019-07-16 LA ROCCA, Marco
Safety for mobile robotic system: A systematic mapping study from a software engineering perspective
2019-01-01 Bozhinoski, Darko; Di Ruscio, Davide; Malavolta, Ivano; Pelliccione, Patrizio; Crnkovic, Ivica
Sailing in the Ocean of Knowledge, 2008-2013
2013-01-01 Boschma, Ron; Feser, Edward; Henneberry, John; Iammarino, Simona; Lagendijk, Arnoud; Ma, Laurence; Massard, Nadine; Oinas, Paivi; Van Oort, Frank; Pijpers, Roos; Pike, Andy; Varga, Attila; Stefano, Usai
Salento Atmosphere and the Role of Movies
2015-01-01 Urso, G
SAPREMO: a simplified algorithm for predicting detections of electromagnetic transients in surveys
2019-01-01 Vinciguerra, S; Branchesi, M; Ciolfi, R; Mandel, I; Neijssel, Cj; Stratta, G
SAT-Based Synthesis of Spoofing Attacks in Cyber-Physical Control Systems
2018-01-01 Inverso, O; Bemporad, A; Tribastone, M
Saturation of the Filamentation Instability and Dispersion Measure of Fast Radio Bursts
2023-01-01 Sobacchi, Emanuele; Lyubarsky, Yuri; Beloborodov, Andrei M.; Sironi, Lorenzo; Iwamoto, Masanori
Saving and the long shadow of macroeconomic shocks
2015-01-01 Aizenman, J.; Noy, I.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Rule formats for distributivity | 1-gen-2012 | Aceto, L; Cimini, M; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A | |
| Rule Formats for Nominal Process Calculi | 1-gen-2017 | Aceto, L; Fábregas, I; García-Pérez, A; Ingólfsdóttir, A; Ortega-Mallén, Y | |
| Rule Formats for Nominal Process Calculi | 1-gen-2019 | Aceto, Luca; Fábregas, Ignacio; García-Pérez, Álvaro; Ingólfsdóttir, Anna; Ortega-Mallén, Yolanda | |
| Rule-based modeling and static analysis of self-adaptive systems by graph transformation | 1-gen-2015 | Bucchiarone, Antonio; Ehrig, Hartmut; Ermel, Claudia; Pelliccione, Patrizio; Runge, Olga | |
| Rumor spreading in random evolving graphs | 1-gen-2016 | Clementi, Andrea; Crescenzi, Pierluigi; Doerr, Carola; Fraigniaud, Pierre; Pasquale, Francesco; Silvestri, Riccardo | |
| Run-time failure detection via non-intrusive event analysis in a large-scale cloud computing platform | 1-gen-2023 | Cotroneo, Domenico; De Simone, Luigi; Liguori, Pietro; Natella, Roberto | |
| Runtime Instrumentation for Reactive Components | 1-gen-2024 | Aceto, Luca; Paul Attard, Duncan; Francalanza, Adrian; Ingólfsdóttir, Anna | |
| Runtime Instrumentation for Reactive Components (Artifact) | 1-gen-2024 | Aceto, Luca; Paul Attard, Duncan; Francalanza, Adrian; Ingólfsdóttir, Anna | |
| A Runtime Monitoring Tool for Actor-Based Systems | 1-gen-2017 | Attard, D P; Cassar, I; Francalanza, A; Aceto, L; Ingólfsdóttir, A | |
| Runtime Verification and Field-Based Testing for ROS-Based Robotic Systems | 1-gen-2024 | Diniz Caldas, Ricardo; García, Juan Antonio Piñera; Schiopu, Matei; Pelliccione, Patrizio; Rodrigues, Genaína; Berger, Thorsten | |
| RuntimeSave: A Graph Database of Runtime Values | 1-gen-2025 | Sulír, Matúš; Bertolino, Antonia; De Angelis, Guglielmo | |
| Rural-Urban Partnerships for Economic Development: Rationale, Geographies and Functional Approaches | 1-gen-2014 | Veneri, P | |
| S.P.Q.R.: Space and Pride in Queer Rome. Critical reflection on the 2000 World Pride and its urban legacy | 16-lug-2019 | LA ROCCA, Marco | |
| Safety for mobile robotic system: A systematic mapping study from a software engineering perspective | 1-gen-2019 | Bozhinoski, Darko; Di Ruscio, Davide; Malavolta, Ivano; Pelliccione, Patrizio; Crnkovic, Ivica | |
| Sailing in the Ocean of Knowledge, 2008-2013 | 1-gen-2013 | Boschma, Ron; Feser, Edward; Henneberry, John; Iammarino, Simona; Lagendijk, Arnoud; Ma, Laurence; Massard, Nadine; Oinas, Paivi; Van Oort, Frank; Pijpers, Roos; Pike, Andy; Varga, Attila; Stefano, Usai | |
| Salento Atmosphere and the Role of Movies | 1-gen-2015 | Urso, G | |
| SAPREMO: a simplified algorithm for predicting detections of electromagnetic transients in surveys | 1-gen-2019 | Vinciguerra, S; Branchesi, M; Ciolfi, R; Mandel, I; Neijssel, Cj; Stratta, G | |
| SAT-Based Synthesis of Spoofing Attacks in Cyber-Physical Control Systems | 1-gen-2018 | Inverso, O; Bemporad, A; Tribastone, M | |
| Saturation of the Filamentation Instability and Dispersion Measure of Fast Radio Bursts | 1-gen-2023 | Sobacchi, Emanuele; Lyubarsky, Yuri; Beloborodov, Andrei M.; Sironi, Lorenzo; Iwamoto, Masanori | |
| Saving and the long shadow of macroeconomic shocks | 1-gen-2015 | Aizenman, J.; Noy, I. |
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