Archivio Istituzionale della RicercaCABODI, Gianpiero
CABODI, Gianpiero
Dipartimento di Automatica e Informatica
001764
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.008 secondi).
Evaluation of optimal charging station location for electric vehicles: an Italian case-study
2021 Fadda, Edoardo; Manerba, Daniele; Cabodi, Gianpiero; Camurati, Paolo Enrico; Tadei, Roberto
BDD-Based Hardware Verification
2006 Cabodi, Gianpiero; Murciano, Marco
Advancements in Mixed BDD and SAT Techniques
2004 Cabodi, Gianpiero; Quer, Stefano
| 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.pdf; Evaluation 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 | - |