Symbolic Model-checking for Resource-Bounded ATL
2015 N., Alechina; B., Logan; H. N., Nguyen; F., Raimondi; Mostarda, Leonardo
A Comparison of HEED Based Clustering Algorithms - Introducing ER-HEED
2016 ZAIB ULLAH, ZAIB ULLAH; Mostarda, Leonardo; Roberto, Gagliardi; Diletta Romana, Cacciagrano; Flavio, Corradini
Towards a Uniform Ontology-Driven Approach for Modeling, Checking and Executing WSANs
2016 Vannucchi, Claudia; Cacciagrano, Diletta Romana; Culmone, Rosario; Mostarda, Leonardo
A Formal Model for Event-Condition-Action Rules in Intelligent Environments
2016 Vannucchi, Claudia; Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Mostarda, Leonardo; Raimondi, Franco; Tesei, Luca
vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments
2017 Vannucchi, Claudia; Diamanti, Michelangelo; Mazzante, Gianmarco; Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Gorogiannis, Nikos; Mostarda, Leonardo; Raimondi, Franco
PICO-MP: De-centralised Macro-Programming for Wireless Sensor and Actuator Networks
2018 Dulay, Naranker; Micheletti, Matteo; Mostarda, Leonardo; Piermarteri, Andrea
Multi-path Routing for Mission Critical Applications in Software-Defined Networks
2019 Carreras Ramirez, Ramon; Vien, Quoc-Tuan; Trestian, Ramona; Mostarda, Leonardo; Shah, Purav
Effetto di elementi micro-leganti sulla resistenza meccanica e sulla microstruttura della zona termicamente alterata in acciai alto resistenziali
2023 Stornelli, G.; Mortello, M.; Schmidt, R.; Tselikova, A.; Di Schino, A.
Effetto del calore fornito sulla qualità di un giunto saldato in acciaio inossidabile duplex 2205 mediante processo di saldatura GMAW robotizzato
2023 Rodriguez Vargas, B. R.; Stornelli, G.; Pèrez, A. F. M.; Di Schino, A.; Calliari, I.; Pigato, M.
Vanadium micro-alloying effect on fatigue resistance on high strength steels welded joints
2023 Di Schino, A.; Schmidt, R.; Stornelli, G.; Tselikova, A.; Zucca, G.
Connection between AI and product design - Potentials and critical issues in the text-to-image software-assisted design experience
2024 Terenzi, Benedetta; Menchetelli, Valeria; Pagnotta, Giacomo; Avallone, Ludovica
Smart housing and mobility for the third age Progetto S.I.A.M.A.D.A
2020 Losco, Giuseppe; Bradini, Luca; Lupacchini, Andrea; Carfagna, Giuseppe; Iommi, Matteo; De Angelis, Francesco; Merelli, Emanuela; Mostarda, Leonardo; Re, Barbara; Barbera, Eduardo; Antonini, Pierluigi; Giovannella, Carlo
Share: A Design Pattern for Dynamic Composition of IoT Services
2021 Culmone, R.; Cacciagrano, D.; Al-Turjman, F.; Mostarda, L.
A system to improve the physical ergonomics in Human-Robot Collaboration
2022 Ciccarelli, M.; Papetti, A.; Scoccia, C.; Menchi, G.; Mostarda, L.; Palmieri, G.; Germani, M.
Reasoning About Inter-procedural Security Requirements in IoT Applications
2022 Paccamiccio, M.; Mostarda, L.
ZeroMT: Multi-transfer Protocol for Enabling Privacy in Off-Chain Payments
2022 Corradini, F.; Mostarda, L.; Scala, E.
GaPT: Gaussian Process Toolkit for Online Regression with Application to Learning Quadrotor Dynamics
2023 Crocetti, F.; Mao, J.; Saviolo, A.; Costante, G.; Loianno, G.
Rotating Energy Efficient Clustering for Heterogeneous Devices (REECHD)
2018 Micheletti, Matteo; Mostarda, Leonardo; Piermarteri, Andrea
Giorgio Vasari e l’architettura a scala urbana
2024 Funis, F.
Min-k-planar Drawings of Graphs
2023 Binucci, C.; Bungener, A.; Di Battista, G.; Didimo, W.; Dujmovic, V.; Hong, S. -H.; Kaufmann, M.; Liotta, G.; Morin, P.; Tappini, A.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Symbolic Model-checking for Resource-Bounded ATL | 2015 | N., Alechina; B., Logan; H. N., Nguyen; F., Raimondi; Mostarda, Leonardo | |
| A Comparison of HEED Based Clustering Algorithms - Introducing ER-HEED | 2016 | ZAIB ULLAH, ZAIB ULLAH; Mostarda, Leonardo; Roberto, Gagliardi; Diletta Romana, Cacciagrano; Flavio, Corradini | |
| Towards a Uniform Ontology-Driven Approach for Modeling, Checking and Executing WSANs | 2016 | Vannucchi, Claudia; Cacciagrano, Diletta Romana; Culmone, Rosario; Mostarda, Leonardo | |
| A Formal Model for Event-Condition-Action Rules in Intelligent Environments | 2016 | Vannucchi, Claudia; Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Mostarda, Leonardo; Raimondi, Franco; Tesei, Luca | |
| vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments | 2017 | Vannucchi, Claudia; Diamanti, Michelangelo; Mazzante, Gianmarco; Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Gorogiannis, Nikos; Mostarda, Leonardo; Raimondi, Franco | |
| PICO-MP: De-centralised Macro-Programming for Wireless Sensor and Actuator Networks | 2018 | Dulay, Naranker; Micheletti, Matteo; Mostarda, Leonardo; Piermarteri, Andrea | |
| Multi-path Routing for Mission Critical Applications in Software-Defined Networks | 2019 | Carreras Ramirez, Ramon; Vien, Quoc-Tuan; Trestian, Ramona; Mostarda, Leonardo; Shah, Purav | |
| Effetto di elementi micro-leganti sulla resistenza meccanica e sulla microstruttura della zona termicamente alterata in acciai alto resistenziali | 2023 | Stornelli, G.; Mortello, M.; Schmidt, R.; Tselikova, A.; Di Schino, A. | |
| Effetto del calore fornito sulla qualità di un giunto saldato in acciaio inossidabile duplex 2205 mediante processo di saldatura GMAW robotizzato | 2023 | Rodriguez Vargas, B. R.; Stornelli, G.; Pèrez, A. F. M.; Di Schino, A.; Calliari, I.; Pigato, M. | |
| Vanadium micro-alloying effect on fatigue resistance on high strength steels welded joints | 2023 | Di Schino, A.; Schmidt, R.; Stornelli, G.; Tselikova, A.; Zucca, G. | |
| Connection between AI and product design - Potentials and critical issues in the text-to-image software-assisted design experience | 2024 | Terenzi, Benedetta; Menchetelli, Valeria; Pagnotta, Giacomo; Avallone, Ludovica | |
| Smart housing and mobility for the third age Progetto S.I.A.M.A.D.A | 2020 | Losco, Giuseppe; Bradini, Luca; Lupacchini, Andrea; Carfagna, Giuseppe; Iommi, Matteo; De Angelis, Francesco; Merelli, Emanuela; Mostarda, Leonardo; Re, Barbara; Barbera, Eduardo; Antonini, Pierluigi; Giovannella, Carlo | |
| Share: A Design Pattern for Dynamic Composition of IoT Services | 2021 | Culmone, R.; Cacciagrano, D.; Al-Turjman, F.; Mostarda, L. | |
| A system to improve the physical ergonomics in Human-Robot Collaboration | 2022 | Ciccarelli, M.; Papetti, A.; Scoccia, C.; Menchi, G.; Mostarda, L.; Palmieri, G.; Germani, M. | |
| Reasoning About Inter-procedural Security Requirements in IoT Applications | 2022 | Paccamiccio, M.; Mostarda, L. | |
| ZeroMT: Multi-transfer Protocol for Enabling Privacy in Off-Chain Payments | 2022 | Corradini, F.; Mostarda, L.; Scala, E. | |
| GaPT: Gaussian Process Toolkit for Online Regression with Application to Learning Quadrotor Dynamics | 2023 | Crocetti, F.; Mao, J.; Saviolo, A.; Costante, G.; Loianno, G. | |
| Rotating Energy Efficient Clustering for Heterogeneous Devices (REECHD) | 2018 | Micheletti, Matteo; Mostarda, Leonardo; Piermarteri, Andrea | |
| Giorgio Vasari e l’architettura a scala urbana | 2024 | Funis, F. | |
| Min-k-planar Drawings of Graphs | 2023 | Binucci, C.; Bungener, A.; Di Battista, G.; Didimo, W.; Dujmovic, V.; Hong, S. -H.; Kaufmann, M.; Liotta, G.; Morin, P.; Tappini, A. |
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 ...18042
Data di pubblicazione
- In corso di stampa48
- 2020 - 20261786
- 2010 - 20195657
- 2000 - 20097133
- 1990 - 19992617
- 1980 - 1989716
- 1970 - 197984
- 1968 - 19691
Editore
- IEEE645
- Institute of Electrical and Elect...378
- Springer288
- Springer Verlag124
- Springer Science and Business Med...120
- Morlacchi Editore99
- Elsevier90
- SAE International82
- Sissa Medialab Srl60
- Institute of Physics Publishing58
Rivista
- JOURNAL OF PHYSICS. CONFERENCE SE...115
- POS PROCEEDINGS OF SCIENCE100
- SAE TECHNICAL PAPER75
- ATTI DELLA SOCIETÀ ITALIANA DELLE...70
- LECTURE NOTES IN COMPUTER SCIENCE55
- ENERGY PROCEDIA44
- PROCEEDINGS OF SPIE, THE INTERNAT...44
- UROGYNAECOLOGIA INTERNATIONAL JOU...41
- ITALIAN JOURNAL OF ANATOMY AND EM...38
- URODINAMICA37
Serie
- LECTURE NOTES IN COMPUTER SCIENCE218
- LECTURE NOTES IN ARTIFICIAL INTEL...102
- CEUR WORKSHOP PROCEEDINGS64
- LECTURE NOTES IN CIVIL ENGINEERING34
- AIP CONFERENCE PROCEEDINGS26
- LEIBNIZ INTERNATIONAL PROCEEDINGS...26
- PROCEEDINGS OF SPIE, THE INTERNAT...23
- LECTURE NOTES IN COMPUTER SCIENCE21
- ACM INTERNATIONAL CONFERENCE PROC...16
- IEEE MTT-S INTERNATIONAL MICROWAV...16
Keyword
- Electrical and Electronic Enginee...100
- Umbria88
- Computer Science (all)81
- Computer Networks and Communications72
- Theoretical Computer Science72
- Physics and Astronomy (all)66
- reazioni avverse a farmaci57
- geomorfologia56
- diagnosi54
- cavallo53
Lingua
- eng9377
- ita6872
- fre86
- spa55
- ger19
- und14
- lat9
- rus9
- enm8
- por7
Accesso al fulltext
- no fulltext18031
- open11