Ciriani Valentina

PROFESSORE ASSOCIATO
SSD
INF/01 - INFORMATICA
Settore concorsuale
01/B1 - INFORMATICA

Contatti

Sede di lavoro

Via Celoria, 18

Numero di telefono dell'ufficio
02503 16257
Altri numeri di telefono
0373 898 083
E-mail di ateneo
Sito web
Su appuntamento via e-mail
Luogo di ricevimento
Dipartimento di Informatica - sede di Crema o sede di via Celoria 18

Didattica

Ricerca

Pubblicazioni
  • Fault Mitigation of Switching Lattices under the Stuck-At-Fault Model / L. Anghel, A. Bernasconi, V. Ciriani, L. Frontini, G. Trucco, I. Vatajelu - In: 2019 IEEE Latin American Test Symposium (LATS)[s.l] : IEEE, 2019. - ISBN 9781728117560. - pp. 1-6 (( convegno Latin American Test Symposium tenutosi a Santiago nel 2019.
  • Testability of Switching Lattices in the Stuck at Fault Model / A. Bernasconi, V. Ciriani, L. Frontini - In: 2018 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)[s.l] : IEEE, 2019. - ISBN 9781538647561. - pp. 213-218 (( Intervento presentato al 26. convegno IFIP/IEEE International Conference on Very Large Scale Integration, VLSI-SoC tenutosi a Verona nel 2018.
  • Approximate Logic Synthesis by Symmetrization / A. Bernasconi, V. Ciriani, T. Villa (PROCEEDINGS DESIGN, AUTOMATION, AND TEST IN EUROPE CONFERENCE AND EXHIBITION). - In: 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)[s.l] : IEEE, 2019. - ISBN 9783981926323. - pp. 1655-1660 (( convegno Design, Automation & Test in Europe (DATE) tenutosi a Firenze nel 2019.
  • Boolean Minimization of Projected Sums of Products via Boolean Relations / A. Bernasconi, V. Ciriani, G. Trucco, T. Villa. - In: IEEE TRANSACTIONS ON COMPUTERS. - ISSN 0018-9340. - (2019). [Epub ahead of print]
  • Composition of switching lattices for regular and for decomposed functions / A. Bernasconi, V. Ciriani, L. Frontini, G. Trucco. - In: MICROPROCESSORS AND MICROSYSTEMS. - ISSN 0141-9331. - 60(2018 Jul), pp. 207-218.