QUER, Stefano

QUER, Stefano  

Dipartimento di Automatica e Informatica  

S. Quer  

002893  

Mostra records
Risultati 1 - 20 di 47 (tempo di esecuzione: 0.048 secondi).
Citazione Data di pubblicazione Autori File
A Framework for Economic and Environmental Benefit Through Renewable Energy Community / Orlando, Matteo; Bottaccioli, Lorenzo; Quer, Stefano; Poncino, Massimo; Vinco, Sara; Patti, Edoardo. - In: IEEE SYSTEMS JOURNAL. - ISSN 1932-8184. - 17:4(2023), pp. 5626-5635. [10.1109/JSYST.2023.3290941] 1-gen-2023 Orlando, MatteoBottaccioli, LorenzoQuer, StefanoPoncino, MassimoVinco, SaraPatti, Edoardo IEEE_SYSJ_PV_Energy_Community.pdfA_Framework_for_Economic_and_Environmental_Benefit_Through_Renewable_Energy_Community.pdf
A Toolchain to Quantify Burn-In Stress Effectiveness on large Automotive System-on-Chips / Angione, Francesco; Appello, Davide; Bernardi, Paolo; Calabrese, Andrea; Quer, Stefano; SONZA REORDA, Matteo; Tancorre, Vincenzo; Ugioli, Roberto. - In: IEEE ACCESS. - ISSN 2169-3536. - 11:(2023), pp. 105655-105676. [10.1109/ACCESS.2023.3316511] 1-gen-2023 Francesco AngionePaolo BernardiAndrea CalabreseStefano QuerMatteo Sonza Reorda + A_Toolchain_to_Quantify_Burn-In_Stress_Effectiveness_on_Large_Automotive_System-on-Chips.pdf
An Experimental Evaluation of Graph Coloring Heuristics on Multi- and Many-Core Architectures / Borione, Alessandro; Cardone, Lorenzo; Calabrese, Andrea; Quer, Stefano. - In: IEEE ACCESS. - ISSN 2169-3536. - ELETTRONICO. - 11:(2023), pp. 125226-125243. [10.1109/ACCESS.2023.3329082] 1-gen-2023 Cardone, LorenzoCalabrese, AndreaQuer, Stefano + 20231115paperFinal.pdf
Clustering appliance operation modes with unsupervised deep learning techniques / Castangia, Marco; Barletta, Nicola; Camarda, Christian; Quer, Stefano; Macii, Enrico; Patti, Edoardo. - In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. - ISSN 1941-0050. - 19:7(2023), pp. 8196-8204. [10.1109/TII.2022.3217495] 1-gen-2023 Marco CastangiaNicola BarlettaChristian CamardaStefano QuerEnrico MaciiEdoardo Patti CNN_for_appliances_anomalous_detection__REBUTTAL_1_.pdfClustering_Appliance_Operation_Modes_With_Unsupervised_Deep_Learning_Techniques.pdf
The Multi-Maximum and Quasi-Maximum Common Subgraph Problem / Cardone, Lorenzo; Quer, Stefano. - In: COMPUTATION. - ISSN 2079-3197. - ELETTRONICO. - 11:4(2023). [10.3390/computation11040069] 1-gen-2023 Lorenzo CardoneStefano Quer 20230401finalVersion.pdf
A Smart Meter Infrastructure for Smart Grid IoT Applications / Orlando, Matteo; Estebsari, Abouzar; Pons, Enrico; Pau, Marco; Quer, Stefano; Poncino, Massimo; Bottaccioli, Lorenzo; Patti, Edoardo. - In: IEEE INTERNET OF THINGS JOURNAL. - ISSN 2327-4662. - STAMPA. - 9:14(2022), pp. 12529-12541. [10.1109/JIOT.2021.3137596] 1-gen-2022 Orlando, MatteoEstebsari, AbouzarPons, EnricoQuer, StefanoPoncino, MassimoBottaccioli, LorenzoPatti, Edoardo + 3SMA.pdfA_Smart_Meter_Infrastructure_for_Smart_Grid_IoT_Applications.pdf
Parallel Multithread Analysis of Extremely Large Simulation Traces / Appello, D.; Bernardi, Paolo; Calabrese, Andrea; Pollaccia, G.; Quer, Stefano; Tancorre, V.; Ugioli, R.. - In: IEEE ACCESS. - ISSN 2169-3536. - ELETTRONICO. - 10:(2022), pp. 56440-56457. [10.1109/ACCESS.2022.3177613] 1-gen-2022 Paolo BernardiAndrea CalabreseStefano Quer + ieeeAccess.pdf
Modules and techniques for motion planning: An industrial perspective / Quer, S.; Garcia, L.. - In: SENSORS. - ISSN 1424-8220. - ELETTRONICO. - 21:2(2021), pp. 1-26. [10.3390/s21020420] 1-gen-2021 Quer S. + post.pdfrecord_compressed.pdf
A Densely-Deployed, High Sampling Rate, Open-Source Air Pollution Monitoring WSN / Montrucchio, Bartolomeo; Giusto, Edoardo; GHAZI VAKILI, Mohammad; Quer, Stefano; Ferrero, Renato; Fornaro, Claudio. - In: IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY. - ISSN 0018-9545. - ELETTRONICO. - 69:12(2020), pp. 15786-15799. [10.1109/TVT.2020.3035554] 1-gen-2020 Bartolomeo MontrucchioEdoardo GiustoMohammad Ghazi VakiliStefano QuerRenato Ferrero + 2020PM10WSN.pdf09247550.pdf
Cost-aware design and simulation of electrical energy systems / Chen, Y.; Vinco, S.; Baek, D.; Quer, S.; Macii, E.; Poncino, M.. - In: ENERGIES. - ISSN 1996-1073. - ELETTRONICO. - 13:11(2020). [10.3390/en13112949] 1-gen-2020 Chen Y.Vinco S.Quer S.Macii E.Poncino M. + energies-13-02949-v2.pdf
Graph Reachability on Parallel Many-Core Architectures / Quer, Stefano; Calabrese, Andrea. - In: COMPUTATION. - ISSN 2079-3197. - ELETTRONICO. - 8:4(2020). [10.3390/computation8040103] 1-gen-2020 Stefano QuerAndrea Calabrese computation-08-00103.pdf
The Maximum Common Subgraph Problem: A Parallel and Multi-Engine Approach / Quer, Stefano; Marcelli, Andrea; Squillero, Giovanni. - In: COMPUTATION. - ISSN 2079-3197. - STAMPA. - 8:2(2020), pp. 1-29. [10.3390/computation8020048] 1-gen-2020 Quer, StefanoSquillero, Giovanni + 2020 - COMPUTATIONS - The Maximum Common Subgraph Problem A Parallel... .pdf
A Smart Many-Core Implementation of a Motion Planning Framework along a Reference Path for Autonomous Cars / Cabodi, Gianpiero; Camurati, Paolo; Garbo, Alessandro; Giorelli, Michele; Quer, Stefano; Savarese, Francesco. - In: ELECTRONICS. - ISSN 2079-9292. - 8:2(2019), p. 177. [10.3390/electronics8020177] 1-gen-2019 Cabodi, GianpieroCamurati, PaoloGarbo, AlessandroQuer, StefanoSavarese, Francesco + savarese_paper.pdf
A Fast MPEG's CDVS Implementation for GPU Featured in Mobile Devices / Garbo, Alessandro; Quer, Stefano. - In: IEEE ACCESS. - ISSN 2169-3536. - ELETTRONICO. - 6:1(2018), pp. 52027-52046. [10.1109/ACCESS.2018.2870283] 1-gen-2018 Garbo, AlessandroQuer, Stefano authorVersion-ACCESS2870283.pdf08466564.pdf
To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking / Cabodi, Gianpiero; Camurati, Paolo Enrico; Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Patti, Denis; Quer, Stefano. - In: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER. - ISSN 1433-2779. - 20:(2018), pp. 313-325. [10.1007/s10009-017-0451-8] 1-gen-2018 CABODI, GianpieroCAMURATI, Paolo EnricoLOIACONO, CARMELOPALENA, MARCOPASINI, PAOLOPATTI, DENISQUER, Stefano Cabodi2018_Article_ToSplitOrToGroupFromDivide-and.pdf
Efficient Complex High-Precision Computations on GPUs without Precision Loss / Cabodi, Gianpiero; Garbo, Alessandro; Loiacono, Carmelo; Quer, Stefano; Francini, G.. - In: JOURNAL OF CIRCUITS, SYSTEMS, AND COMPUTERS. - ISSN 0218-1266. - ELETTRONICO. - 26:12(2017), pp. 1-38. [10.1142/S0218126617501870] 1-gen-2017 CABODI, GianpieroGARBO, ALESSANDROLOIACONO, CARMELOQUER, Stefano + -
Moving object detection in heterogeneous conditions in embedded systems / Garbo, Alessandro; Quer, Stefano. - In: SENSORS. - ISSN 1424-8220. - STAMPA. - 17:7(2017). [10.3390/s17071546] 1-gen-2017 GARBO, ALESSANDROQUER, Stefano 20170703ensors-17-01546-v2.pdf
A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - In: SOFTWARE-PRACTICE & EXPERIENCE. - ISSN 0038-0644. - ELETTRONICO. - 46:4(2016), pp. 493-511. [10.1002/spe.2321] 1-gen-2016 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano spe.2321.pdf
Back to Basics: Solving Games with SAT / Quer, Stefano. - In: ADVANCES IN ELECTRICAL AND COMPUTER ENGINEERING. - ISSN 1582-7445. - STAMPA. - 16:3(2016), pp. 91-98. [10.4316/AECE.2016.03013] 1-gen-2016 QUER, Stefano -
Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks / Cabodi, Gianpiero; Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Quer, Stefano; Patti, Denis; Vendraminetto, Danilo; Biere, A.; Helianko, K.. - In: JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION. - ISSN 1574-0617. - ELETTRONICO. - 9:(2016), pp. 135-172. 1-gen-2016 CABODI, GianpieroLOIACONO, CARMELOPALENA, MARCOPASINI, PAOLOQUER, StefanoPATTI, DENISVENDRAMINETTO, DANILO + -