ANTICOLI, Linda
ANTICOLI, Linda
Università degli Studi di UDINE
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.01 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
2012-01-01 Anticoli, Linda; Toppano, Elio
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-2012 | Anticoli, Linda; Toppano, Elio | |
| 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 |