Linda Anticoli

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 5

Top Topics

Transition Probabilities

Monte Carlo Method

Computer Programs

Top Venues

InfQ@VALUETOOLS

WWW (Companion Volume)

Publications

Linda Anticoli, Leonardo Taglialegne
Quantum Markov Chain Semantics for Quip-E Programs. CoRR (2020)
Linda Anticoli, Marco Basaldella
Shut Up and Run: the Never-ending Quest for Social Fitness. WWW (Companion Volume) (2018)
Linda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani
\mathtt Entangλ Entang λ e: A Translation Framework from Quipper Programs to Quantum Markov Chains. InfQ@VALUETOOLS (2017)
Linda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani
Verifying Quantum Programs: From Quipper to QPMC. CoRR (2017)
Linda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani
Towards Quantum Programs Verification: From Quipper Circuits to QPMC. RC (2016)
Linda Anticoli, Elio Toppano
How Culture May Influence Ontology Co-Design: A Qualitative Study. Int. J. Inf. Technol. Web Eng. 6 (2) (2011)
Linda Anticoli, Elio Toppano
The role of culture in collaborative ontology design. ISWSA (2011)