ANTICOLI, Linda
ANTICOLI, Linda
Università degli Studi di UDINE
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.011 secondi).
Entangλe: a Framework from Quantum Programming to Quantum Model Checking
2018-09-28 Anticoli, Linda
Entangλe: A Translation Framework from Quipper Programs to Quantum Markov Chains
2018-01-01 Anticoli, Linda; Piazza, Carla; Taglialegne, Leonardo; Zuliani, Paolo
How Culture may influence Ontology Co-design: a qualitative study
2011-01-01 Anticoli, Linda; Toppano, Elio
Shut Up and Run: The Never-ending Quest for Social Fitness
2018-01-01 Anticoli, L.; Basaldella, M.
Towards quantum programs verification: from quipper circuits to QPMC
2016-01-01 Anticoli, Linda; Piazza, Carla; Taglialegne, Leonardo; Zuliani, Paolo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Entangλe: a Framework from Quantum Programming to Quantum Model Checking | 28-set-2018 | Anticoli, Linda | |
Entangλe: A Translation Framework from Quipper Programs to Quantum Markov Chains | 1-gen-2018 | Anticoli, Linda; Piazza, Carla; Taglialegne, Leonardo; Zuliani, Paolo | |
How Culture may influence Ontology Co-design: a qualitative study | 1-gen-2011 | Anticoli, Linda; Toppano, Elio | |
Shut Up and Run: The Never-ending Quest for Social Fitness | 1-gen-2018 | Anticoli, L.; Basaldella, M. | |
Towards quantum programs verification: from quipper circuits to QPMC | 1-gen-2016 | Anticoli, Linda; Piazza, Carla; Taglialegne, Leonardo; Zuliani, Paolo |