Linda Anticoli

According to our database, Linda Anticoli authored at least 7 papers between 2011 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Quantum Markov Chain Semantics for Quip-E Programs.

Linda Anticoli, Leonardo Taglialegne

CoRR, 2020

2018

Shut Up and Run: the Never-ending Quest for Social Fitness.

Linda Anticoli, Marco Basaldella

Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

2017

Verifying Quantum Programs: From Quipper to QPMC.

Linda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani

CoRR, 2017

\mathtt Entangλ Entang λ e: A Translation Framework from Quipper Programs to Quantum Markov Chains.

Linda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani

Proceedings of the New Frontiers in Quantitative Methods in Informatics, 2017

2016

Towards Quantum Programs Verification: From Quipper Circuits to QPMC.

Linda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani

Proceedings of the Reversible Computation - 8th International Conference, 2016

2011

How Culture May Influence Ontology Co-Design: A Qualitative Study.

Linda Anticoli, Elio Toppano

Int. J. Inf. Technol. Web Eng., 2011

The role of culture in collaborative ontology design.

Linda Anticoli, Elio Toppano

Proceedings of the 2nd International Conference on Intelligent Semantic Web-Services and Applications, 2011