Towards model checking security of real time Java software
2018-01-01 Spalazzi, Luca; Spegni, Francesco; Liva, Giovanni; Pinzger, Martin
Modeling Time in Java Programs for Automatic Error Detection
2018-01-01 Liva, Giovanni; Khan, Muhammad Taimoor; Spalazzi, Luca; Spegni, Francesco; Bollin, Andreas; Pinzger, Martin
Scenario Modelling of Climate Change's Impact on Salinization of Coastal Water Resources in Reclaimed Lands
2016-01-01 Colombani, Nicolò; Mastrocicco, Micòl
Lithological Influence and Human Impact on the Hydrochemistry of an Apennine Watershed (Southern Italy)
2016-01-01 Colombani, Nicolò; Cuoco, Emilio; Busico, Gianluigi; Darrah, Thomas; Mastrocicco, Micòl; Tedesco, Dario
A smart home services demonstration: Monitoring, control and security services offered to the user
2018-01-01 Botticelli, Martina; Ciabattoni, Lucio; Ferracuti, Francesco; Monteriu, Andrea; Pizzuti, Stefano; Romano, Sabrina
Hear to see-See to hear: A smart home system user interface for visually or hearing-impaired people
2018-01-01 Ciabattoni, L.; Ferracuti, F.; Foresi, G.; Monteriu, A.
Design and Implementation of a Real-Time Upper Limbs Dyskinesia Detection System
2019-01-01 Belgiovine, G.; Capecci, M.; Ciabattoni, L.; Fiorentino, M. C.; Foresi, G.; Monteriù, A.; Pepa, L.
Upper and Lower Limbs Dyskinesia Detection for Patients with Parkinson's Disease
2018-01-01 Belgiovine, G.; Capecci, M.; Ciabattoni, L.; Fiorentino, MARIA CHIARA; Foresi, G.; Monteriu, A.; Pepa, L.
A pattern-based reformulation for the one-dimensional bin packing with variabile pattern processing time
2018-01-01 Pizzuti, Andrea; Wei, W.; Marinelli, Fabrizio; Yagiura, M.; Hu, Y.
Thermophysical properties measurements and numerical simulation of the yearly yield of a parabolic trough solar collector using nanofluids
2015-01-01 Coccia, Gianluca; Colla, Laura; Fedele, Laura; Di Nicola, Giovanni; Bobbo, Sergio
Vapor-liquid equilibrium of binary systems containing low GWP refrigerants with cubic equations of state
2018-01-01 Nicola, Giovanni Di; Coccia, Gianluca; Pierantozzi, Mariano; Tomassetti, Sebastiano
Low Order Grey-box Models for Short-term Thermal Behavior Prediction in Buildings
2017-01-01 Fonti, Alessandro; Comodi, Gabriele; Pizzuti, Stefano; Arteconi, Alessia; Helsen, Lieve
Riflessioni su ripristino/rifacimento di elementi architettonici nel restauro, ReUSO, Messina 11-13 Ottobre 2018
2018-01-01 Munafo', Placido; Alderucci, Tiziana
Modelling the salinization of a coastal lagoon-aquifer system
2017-01-01 Colombani, N.; Mastrocicco, M.
Multi-Dimensional Contexts for Querying IoT Networks
2019-01-01 Diamantini, C.; Antonino, Nocera; Potena, D.; Storti, E.; Ursino, D.
Investigating the scope of a thing in a multiple Internet of Things scenario
2019-01-01 Cauteruccio, F.; Cinelli, L.; Terracina, G.; Ursino, D.; Virgili, L.
Multi-Physical Signature Analysis of Induction Machines under Unbalanced Supply Voltage
2018-01-01 Mollet, Y.; Pergolesi, Matteo; Sarrazin, M.; Janssens, K.; Van Der Auweraer, H.; Chiariotti, P.; Castellini, P.; Gyselinck, J.
Video-monitoring to sand bar analysis in a middle Adriatic beach
2018-01-01 Perugini, Eleonora; Soldini, Luciano; Lorenzoni, Carlo; Palmsten, Margaret L.
A star-based reformulation for the maximum quasi-clique problem
2019-01-01 Marinelli, Fabrizio; Pizzuti, Andrea; Rossi, Fabrizio
Dynamic identification and collapse assessment of Rubbianello Bridge
2019-01-01 Ragni, L.; Scozzese, F.; Gara, F.; Tubaldi, E.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Towards model checking security of real time Java software | 1-gen-2018 | Spalazzi, Luca; Spegni, Francesco; Liva, Giovanni; Pinzger, Martin | |
| Modeling Time in Java Programs for Automatic Error Detection | 1-gen-2018 | Liva, Giovanni; Khan, Muhammad Taimoor; Spalazzi, Luca; Spegni, Francesco; Bollin, Andreas; Pinzger, Martin | |
| Scenario Modelling of Climate Change's Impact on Salinization of Coastal Water Resources in Reclaimed Lands | 1-gen-2016 | Colombani, Nicolò; Mastrocicco, Micòl | |
| Lithological Influence and Human Impact on the Hydrochemistry of an Apennine Watershed (Southern Italy) | 1-gen-2016 | Colombani, Nicolò; Cuoco, Emilio; Busico, Gianluigi; Darrah, Thomas; Mastrocicco, Micòl; Tedesco, Dario | |
| A smart home services demonstration: Monitoring, control and security services offered to the user | 1-gen-2018 | Botticelli, Martina; Ciabattoni, Lucio; Ferracuti, Francesco; Monteriu, Andrea; Pizzuti, Stefano; Romano, Sabrina | |
| Hear to see-See to hear: A smart home system user interface for visually or hearing-impaired people | 1-gen-2018 | Ciabattoni, L.; Ferracuti, F.; Foresi, G.; Monteriu, A. | |
| Design and Implementation of a Real-Time Upper Limbs Dyskinesia Detection System | 1-gen-2019 | Belgiovine, G.; Capecci, M.; Ciabattoni, L.; Fiorentino, M. C.; Foresi, G.; Monteriù, A.; Pepa, L. | |
| Upper and Lower Limbs Dyskinesia Detection for Patients with Parkinson's Disease | 1-gen-2018 | Belgiovine, G.; Capecci, M.; Ciabattoni, L.; Fiorentino, MARIA CHIARA; Foresi, G.; Monteriu, A.; Pepa, L. | |
| A pattern-based reformulation for the one-dimensional bin packing with variabile pattern processing time | 1-gen-2018 | Pizzuti, Andrea; Wei, W.; Marinelli, Fabrizio; Yagiura, M.; Hu, Y. | |
| Thermophysical properties measurements and numerical simulation of the yearly yield of a parabolic trough solar collector using nanofluids | 1-gen-2015 | Coccia, Gianluca; Colla, Laura; Fedele, Laura; Di Nicola, Giovanni; Bobbo, Sergio | |
| Vapor-liquid equilibrium of binary systems containing low GWP refrigerants with cubic equations of state | 1-gen-2018 | Nicola, Giovanni Di; Coccia, Gianluca; Pierantozzi, Mariano; Tomassetti, Sebastiano | |
| Low Order Grey-box Models for Short-term Thermal Behavior Prediction in Buildings | 1-gen-2017 | Fonti, Alessandro; Comodi, Gabriele; Pizzuti, Stefano; Arteconi, Alessia; Helsen, Lieve | |
| Riflessioni su ripristino/rifacimento di elementi architettonici nel restauro, ReUSO, Messina 11-13 Ottobre 2018 | 1-gen-2018 | Munafo', Placido; Alderucci, Tiziana | |
| Modelling the salinization of a coastal lagoon-aquifer system | 1-gen-2017 | Colombani, N.; Mastrocicco, M. | |
| Multi-Dimensional Contexts for Querying IoT Networks | 1-gen-2019 | Diamantini, C.; Antonino, Nocera; Potena, D.; Storti, E.; Ursino, D. | |
| Investigating the scope of a thing in a multiple Internet of Things scenario | 1-gen-2019 | Cauteruccio, F.; Cinelli, L.; Terracina, G.; Ursino, D.; Virgili, L. | |
| Multi-Physical Signature Analysis of Induction Machines under Unbalanced Supply Voltage | 1-gen-2018 | Mollet, Y.; Pergolesi, Matteo; Sarrazin, M.; Janssens, K.; Van Der Auweraer, H.; Chiariotti, P.; Castellini, P.; Gyselinck, J. | |
| Video-monitoring to sand bar analysis in a middle Adriatic beach | 1-gen-2018 | Perugini, Eleonora; Soldini, Luciano; Lorenzoni, Carlo; Palmsten, Margaret L. | |
| A star-based reformulation for the maximum quasi-clique problem | 1-gen-2019 | Marinelli, Fabrizio; Pizzuti, Andrea; Rossi, Fabrizio | |
| Dynamic identification and collapse assessment of Rubbianello Bridge | 1-gen-2019 | Ragni, L.; Scozzese, F.; Gara, F.; Tubaldi, E. |
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 ...12064
Data di pubblicazione
- In corso di stampa8
- 2020 - 20261874
- 2010 - 20193881
- 2000 - 20094052
- 1990 - 19991827
- 1980 - 1989387
- 1972 - 197935
Editore
- Institute of Electrical and Elect...654
- IEEE444
- Springer129
- Springer Science and Business Med...121
- Elsevier B.V.111
- IEEE Computer Society81
- American Society of Mechanical En...57
- Springer Verlag57
- Elsevier51
- CEUR-WS33
Rivista
- ACTA HORTICULTURAE45
- COMPUTING IN CARDIOLOGY37
- JOURNAL OF PHYSICS. CONFERENCE SE...33
- PROCEDIA COMPUTER SCIENCE27
- IEEE ENGINEERING IN MEDICINE AND ...22
- PROCEDIA CIRP22
- PROCEDIA STRUCTURAL INTEGRITY22
- INTERNATIONAL ARCHIVES OF THE PHO...21
- AIP CONFERENCE PROCEEDINGS20
- CONFERENCE PROCEEDINGS OF THE SOC...19
Serie
- LECTURE NOTES IN CIVIL ENGINEERING82
- LECTURE NOTES IN MECHANICAL ENGIN...38
- PROCEDIA CIRP35
- CEUR WORKSHOP PROCEEDINGS33
- LECTURE NOTES IN COMPUTER SCIENCE31
- IFAC-PAPERSONLINE30
- IEEE ENGINEERING IN MEDICINE AND ...24
- SMART INNOVATION, SYSTEMS AND TEC...23
- PROCEEDINGS OF SPIE, THE INTERNAT...21
- LECTURE NOTES IN ARTIFICIAL INTEL...19
Keyword
- Mechanical Engineering90
- Electrical and Electronic Enginee...86
- Computer Science Applications1707...69
- Industrial and Manufacturing Engi...69
- Artificial Intelligence68
- Control and Systems Engineering68
- Computer Networks and Communications60
- Biomedical Engineering59
- Modeling and Simulation58
- Deep Learning44
Lingua
- eng7240
- ita1591
- und19
- fre18
- spa14
- ger8
- jpn3
- enm2
- por2
- rus2
Accesso al fulltext
- no fulltext11133
- reserved436
- open337
- partially open123
- embargoed18
- mixed17