QUER, Stefano

QUER, Stefano  

Dipartimento di Automatica e Informatica  

S. Quer  

002893  

Mostra records
Risultati 1 - 20 di 61 (tempo di esecuzione: 0.029 secondi).
Citazione Data di pubblicazione Autori File
A Web Scraping Algorithm to Improve the Computation of the Maximum Common Subgraph / Calabrese, Andrea; Cardone, Lorenzo; Licata, Salvatore; Porro, Marco; Quer, Stefano. - ELETTRONICO. - (2023), pp. 197-206. (Intervento presentato al convegno 18th International Conference on Software Technologies tenutosi a Rome, Italy nel July 10-12 2023) [10.5220/0000168200003538]. 1-gen-2023 Andrea, CalabreseLorenzo, CardoneSalvatore, LicataStefano Quer + main.pdf
An innovative Strategy to Quickly Grade Functional Test Programs / Angione, Francesco; Bernardi, Paolo; Calabrese, Andrea; Cardone, Lorenzo; Niccoletti, Alessandro; Piumatti, Davide; Quer, Stefano; Appello, Davide; Tancorre, Vincenzo; Ugioli, Roberto. - (2022), pp. 355-364. (Intervento presentato al convegno International Test Conference tenutosi a Anaheim, CA (USA) nel 23-30 September 2022) [10.1109/ITC50671.2022.00044]. 1-gen-2022 Francesco AngionePaolo BernardiAndrea CalabreseLorenzo CardoneDavide PiumattiStefano Quer + An_innovative_Strategy_to_Quickly_Grade_Functional_Test_Programs.pdf
Social Influence Analysis (SIA) in Online Social Networks / Leszkiewicz, Agata; Bucur, Doina; Grimme, Christian; Michalski, Radoslaw; Clever, Lena; Pohl, Janina; Rook, Jeroen; Bossek, Jakob; Preuss, Mike; Squillero, Giovanni; Quer, Stefano; Calabrese, Andrea; Iacca, Giovanni; Kizgin, Hatice; Trautmann, Heike. - ELETTRONICO. - (2022), pp. 1-2. (Intervento presentato al convegno MISDOOM 2022 tenutosi a Boise, Idaho (USA) nel 11-12 October 2022). 1-gen-2022 Giovanni SquilleroStefano QuerAndrea Calabrese + Extended_Abstract_Social_Influence_Analysis.pdf
Accelerated Analysis of Simulation Dumps through Parallelization on Multicore Architectures / Appello, D.; Bernardi, P.; Calabrese, A.; Littardi, S.; Pollaccia, G.; Quer, S.; Tancorre, V.; Ugioli, R.. - (2021), pp. 69-74. (Intervento presentato al convegno 24th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2021 tenutosi a aut nel 2021) [10.1109/DDECS52668.2021.9417048]. 1-gen-2021 Bernardi P.Calabrese A.Littardi S.Quer S. + 09417048.pdf
Smart techniques for flying-probe testing / Calabrese, A.; Quer, S.; Squillero, G.. - ELETTRONICO. - (2021), pp. 285-293. (Intervento presentato al convegno 16th International Conference on Software Technologies, ICSOFT 2021 nel 2021) [10.5220/0010582302850293]. 1-gen-2021 Calabrese A.Quer S.Squillero G. icsoft2021.pdf
A Parallel Many-core CUDA-based Graph Labeling Computation / Quer, S.. - STAMPA. - (2020), pp. 597-605. (Intervento presentato al convegno ICSOFT 2020 Proceedings of the 15th International Conference on Software Technologies tenutosi a On-line nel July). 1-gen-2020 S. Quer 20200502cameraReady.pdf
Accelerated Analysis of Simulation Dumps through Parallelization on Multicore Architectures / Calabrese, A.; Bernardi, P.; Littardi, S.; Quer, S.. - ELETTRONICO. - (2020), pp. 1-1. (Intervento presentato al convegno International Test Conference 2020 (ITC2020) nel 3-5 November 2020). 1-gen-2020 A. CalabreseP. BernardiS. LittardiS. Quer poster.pdf
Service Robots: A Unified Framework for Detecting, Opening and Navigating Through Doors / Harada, Tatsuya; Tejero-de-Pablos, Antonio; Quer, Stefano; Savarese, Francesco. - STAMPA. - 1250:(2020), pp. 179-204. (Intervento presentato al convegno 14th International Conference on Software Technologies (ICSOFT 2019) tenutosi a Prague, Czech Republic nel July 26–28, 2019) [10.1007/978-3-030-52991-8_9]. 1-gen-2020 Stefano QuerFrancesco Savarese + main.pdfHarada2020_Chapter_ServiceRobotsAUnifiedFramework.pdf
Detecting, Opening and Navigating through Doors: A Unified Framework for Human Service Robots / Savarese, Francesco; Tejero-de-pablos, Antonio; Quer, Stefano; Harada, Tatsuya. - STAMPA. - (2019), pp. 416-427. (Intervento presentato al convegno ICSOFT 2019: 14th International Conference on Software Technologies tenutosi a Prague, Czech Republic nel 26-28 July, 2019). 1-gen-2019 Francesco SavareseStefano Quer + -
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem / Boria, Nicolas; Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo; Quer, Stefano. - ELETTRONICO. - (2016). (Intervento presentato al convegno 27th Annual Symposium on Combinatorial Pattern Matching tenutosi a Tel Aviv, Israel nel June 27 - 29, 2016). 1-gen-2016 BORIA, NICOLASCABODI, GianpieroCAMURATI, Paolo EnricoPALENA, MARCOPASINI, PAOLOQUER, Stefano -
Accurate and Efficient Visual Search on Embedded Systems / Massimo, Balestri; Cabodi, Gianpiero; Gianluca, Francini; Garbo, Alessandro; Loiacono, Carmelo; Patti, Denis; Quer, Stefano. - ELETTRONICO. - (2015). (Intervento presentato al convegno International conference on advanced in computing, communication and information technology tenutosi a Birmingham nel 26-27 Maggio 2015). 1-gen-2015 CABODI, GianpieroGARBO, ALESSANDROLOIACONO, CARMELOPATTI, DENISQUER, Stefano + -
CDVS feature selection on embedded systems / Garbo, Alessandro; Loiacono, Carmelo; Quer, Stefano; Balestri, Massimo; Francini, Gianluca. - ELETTRONICO. - (2015), pp. 1-6. (Intervento presentato al convegno IEEE International Conference on Multimedia and Expo tenutosi a Turin nel 29th June - 3th July 2015) [10.1109/ICMEW.2015.7169789]. 1-gen-2015 GARBO, ALESSANDROLOIACONO, CARMELOQUER, Stefano + -
Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization / Cabodi, Gianpiero; Pasini, Paolo; Quer, Stefano; Vendraminetto, Danilo. - STAMPA. - (2014), pp. 1-6. (Intervento presentato al convegno Design Automation and Test in Europe (DATE) tenutosi a Dresden, Germany nel March 2014) [10.7873/DATE.2014.129]. 1-gen-2014 CABODI, GianpieroPASINI, PAOLOQUER, StefanoVENDRAMINETTO, DANILO -
To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties / Camurati, Paolo Enrico; Loiacono, Carmelo; Pasini, Paolo; Patti, Denis; Quer, Stefano. - ELETTRONICO. - (2014). (Intervento presentato al convegno International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS 2014) tenutosi a Lausanne, Switzerland nel October 20, 2014). 1-gen-2014 CAMURATI, Paolo EnricoLOIACONO, CARMELOPASINI, PAOLOPATTI, DENISQUER, Stefano -
Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties / Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Patti, Denis; Quer, Stefano; Vendraminetto, Danilo; Baumgartner, J.. - STAMPA. - (2013), pp. 803-806. (Intervento presentato al convegno Published in: Design, Automation & Test in Europe Conference & Exhibition (DATE) tenutosi a Grenoble, France nel March 2013) [10.7873/DATE.2013.170]. 1-gen-2013 LOIACONO, CARMELOPALENA, MARCOPASINI, PAOLOPATTI, DENISQUER, StefanoVENDRAMINETTO, DANILO + -
Interpolation Sequences Revisited / Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano. - STAMPA. - (2011), pp. 316-322. (Intervento presentato al convegno DATE'11: ACM/IEEE Design Automation and Test in Europe tenutosi a Grenoble, France nel March 14-18, 2011). 1-gen-2011 CABODI, GianpieroNOCCO, SERGIOQUER, Stefano con11-01.pdf
Benchmarking a Model Checker for Algorithmic Improvements and Tuning for Performance / Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano. - (2010). (Intervento presentato al convegno HWVW'10: First International Workshop in Hardware Verification tenutosi a Edinburgh, United Kingdom nel 15 July 2010). 1-gen-2010 CABODI, GianpieroNOCCO, SERGIOQUER, Stefano -
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints / Cabodi, Gianpiero; Camurati, Paolo Enrico; L., Garcia; Murciano, Marco; Nocco, Sergio; Quer, Stefano. - STAMPA. - (2009), pp. 1686-1691. (Intervento presentato al convegno DATE'09: ACM/IEEE Design Automation and Test in Europe tenutosi a Nice, France nel April 20,24). 1-gen-2009 CABODI, GianpieroCAMURATI, Paolo EnricoMURCIANO, MARCONOCCO, SERGIOQUER, Stefano + -
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking / Cabodi, Gianpiero; Camurati, Paolo Enrico; Murciano, Marco; GARCIA GALEANO, LUZ AMANDA; Nocco, Sergio; Quer, Stefano. - STAMPA. - (2008), pp. 205-212. (Intervento presentato al convegno FMCAD 2008: Formal Methods in Computer Aided Design tenutosi a Portland, OR, USA nel 17-20 novembre 2008). 1-gen-2008 CABODI, GianpieroCAMURATI, Paolo EnricoMURCIANO, MARCOGARCIA GALEANO, LUZ AMANDANOCCO, SERGIOQUER, Stefano -
Boosting the role of inductive invariants in model checking / Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano. - (2007), pp. 1319-1324. (Intervento presentato al convegno DATE'07: IEEE Design Automation and Test in Europe tenutosi a Nice nel April 16-20, 2007). 1-gen-2007 CABODI, GianpieroNOCCO, SERGIOQUER, Stefano -