CABODI, Gianpiero

CABODI, Gianpiero  

Dipartimento di Automatica e Informatica  

001764  

Mostra records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.004 secondi).
Citazione Data di pubblicazione Autori File
Evaluation of optimal charging station location for electric vehicles: an Italian case-study / Fadda, Edoardo; Manerba, Daniele; Cabodi, Gianpiero; Camurati, Paolo Enrico; Tadei, Roberto - In: Recent Advances in Computational Optimization / Fidanova S.. - ELETTRONICO. - [s.l] : Springer, 2021. - ISBN 978-3-030-58883-0. - pp. 71-87 [10.1007/978-3-030-58884-7_4] 1-gen-2021 Edoardo FaddaDaniele ManerbaGianpiero CabodiPaolo CamuratiRoberto Tadei BiellaPart2.pdfEvaluation of Optimal Charging Station.pdf
BDD-Based Hardware Verification / Cabodi, Gianpiero; Murciano, Marco - In: Formal Methods for Hardware Verification / BERNARDO M.; CIMATTI A.. - BERLIN / HEIDELBERG : Springer, 2006. - ISBN 9783540343042. - pp. 78-107 1-gen-2006 CABODI, GianpieroMURCIANO, MARCO -
Advancements in Mixed BDD and SAT Techniques / Cabodi, Gianpiero; Quer, Stefano - In: Advanced Formal Verification / ROLF DRECHSLER. - BOSTON : Kluwer Academic Publishers, 2004. - ISBN 9781402077210. 1-gen-2004 CABODI, GianpieroQUER, Stefano -