Carla Piazza
Identifiers
- name variant Carla Piazza 0.60 · backfill
Papers (4)
- AlphaCNOT: Learning CNOT Minimization with Model-Based Planning cs.AI · 2026 · author #5
- Verifying Quantum Programs: From Quipper to QPMC cs.LO · 2017 · author #2
- Proceedings Second International Workshop on Hybrid Systems and Biology cs.CE · 2013 · author #2
- A uniform approach to constraint-solving for lists, multisets, compact lists, and sets cs.PL · 2003 · author #2
Mentions
Frequent Coauthors
- Agostino Dovier 1 shared papers
- Daniele Lizzio Bosco 1 shared papers
- Gianfranco Rossi 1 shared papers
- Giuseppe Serra 1 shared papers
- Jacopo Cossio 1 shared papers
- Leonardo Taglialegne 1 shared papers
- Linda Anticoli 1 shared papers
- Paolo Zuliani 1 shared papers
- Riccardo Romanello 1 shared papers
- Thao Dang 1 shared papers