Undecidability of future timeline-based planning over dense temporal domains
2020-01-01 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.
Inspecting Code Churns to Prioritize Test Cases
2020-01-01 Altiero, Francesco; Corazza, Anna; Di Martino, Sergio; Peron, Adriano; Starace, Luigi Libero Lucio
Asynchronous Extensions of HyperLTL
2021-01-01 Bozzelli, L.; Peron, A.; Sanchez, C.
Web application testing: Using tree kernels to detect near-duplicate states in automated model inference
2021-01-01 Corazza, Anna; Di Martino, Sergio; Peron, Adriano; Starace, Luigi Libero Lucio
On the Schedule for Morphological Development of Evolved Modular Soft Robots
2022-01-01 Nadizar, Giorgia; Medvet, Eric; Miras, Karine
Taming Strategy Logic: Non-Recurrent Fragments
2022-01-01 Benerecetti, M.; Mogavero, F.; Peron, A.
«L’innocente Astro a contemplar t’appresta»: sulla rappresentazione dei fenomeni celesti nella poesia del XVIII secolo
2021-01-01 Necchi, Rosa
New Scenarios for a Development between Infrastructures and Innovation
2020-01-01 Bisiani, Thomas; Savron, Matteo
Misure automatizzate delle caratteristiche geometriche di una fune di acciaio “in servizio” a complemento dell’esame magneto Induttivo MRT.
2022-01-01 Cernigoi, Andrea; Sosic, Boris
Generating Realistic Synthetic Relational Data through Graph Variational Autoencoders
2022-01-01 Mami, CIRO ANTONIO; Coser, Andrea; Medvet, Eric; Theodorus Petrus Boudewijn, Alexander; Volpe, Marco; Whitworth, Michael; Panfilo, Daniele; Saccani, Sebastiano
WebMonitor: Verification of Web User Interfaces
2022-01-01 Visconti, Ennio; Tsigkanos, Christos; Nenzi, Laura
The WBM Reconfiguration to Prevent the Instability on DC Shipboard Microgrids
2022-01-01 Tavagnutti, Andrea Alessia; Bosich, Daniele; Sulligoi, Giorgio
System Stability and Short Circuit Contribution as Discordant Targets in Cascade Connected DC Microgrids: a Design Procedure
2022-01-01 Vicenzutti, Andrea; Bosich, Daniele; Tavagnutti, Andrea Alessia; Sulligoi, Giorgio
Adding the relation meets to the temporal logic of prefixes and infixes makes It EXPSPACEL-complete
2021-01-01 Bozzelli, L.; Montanari, A.; Sala, P.; Peron, A.
Module Checking of Pushdown Multi-agent Systems
2020-01-01 Bozzelli, Laura; Murano, Aniello; Peron, Adriano
Pspace-completeness of the temporal logic of sub-intervals and suffixes
2021-01-01 Bozzelli, L.; Montanari, A.; Peron, A.; Sala, P.
Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems
2021-01-01 Benerecetti, M.; Mogavero, F.; Peron, A.; Starace, L. L. L.
On a temporal logic of prefixes and infixes
2020-01-01 Bozzelli, L.; Montanari, A.; Peron, A.; Sala, P.
Pest detection and classification to reduce pesticide use in fruit crops based on deep neural networks and image processing
2021-01-01 Suarez, A.; Molina, R. S.; Ramponi, G.; Petrino, R.; Bollati, L.; Sequeiros, D.
Wine cooperatives and quality clues: a choice experiment on European consumers
2022-01-01 Marangon, Francesco; Troiano, Stefania; Nassivera, Federico; Carzedda, Matteo
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 Convegno10272
Data di pubblicazione
- In corso di stampa13
- 2020 - 20261172
- 2010 - 20193441
- 2000 - 20093789
- 1990 - 19991434
- 1980 - 1989401
- 1970 - 197928
- 1965 - 19695
Editore
- IEEE750
- Institute of Electrical and Elect...249
- Springer210
- -199
- Springer Verlag146
- ACM115
- IFAC77
- IEEE Society67
- Elsevier56
- World Scientific52
Rivista
- GIORNALE ITALIANO DI PSICOPATOLOGIA72
- LECTURE NOTES IN COMPUTER SCIENCE57
- JOURNAL OF PHYSICS. CONFERENCE SE...41
- POS PROCEEDINGS OF SCIENCE29
- JOURNAL OF VISION27
- AIP CONFERENCE PROCEEDINGS24
- ELECTRONIC PROCEEDINGS IN THEORET...17
- PERCEPTION16
- AIP CONFERENCE PROCEEDINGS14
- CEUR WORKSHOP PROCEEDINGS14
Serie
- LECTURE NOTES IN ARTIFICIAL INTEL...67
- LECTURE NOTES IN COMPUTER SCIENCE62
- IFMBE PROCEEDINGS35
- CEUR WORKSHOP PROCEEDINGS24
- PROGRESS IN MARINE SCIENCE AND TE...20
- PROCEEDINGS OF SPIE, THE INTERNAT...15
- LEIBNIZ INTERNATIONAL PROCEEDINGS...13
- PROGRESS IN MARINE SCIENCE AND TE...13
- LECTURE NOTES IN COMPUTER SCIENCE12
- COMMUNICATIONS IN COMPUTER AND IN...8
Keyword
- -144
- Partial Discharges70
- Insulation Systems63
- Diagnostics58
- Image processing46
- Software46
- Computer Networks and Communications45
- CFD44
- Computer Science (all)44
- Electrical and Electronic Enginee...43
Lingua
- eng7333
- ita2236
- fre60
- spa45
- ger39
- slv37
- rus11
- dut9
- und7
- mul5
Accesso al fulltext
- no fulltext8032
- reserved1378
- open546
- partially open316