We stand with Ukraine  

Leonardo Taglialegne

According to our database1, Leonardo Taglialegne authored at least 4 papers between 2016 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2016
2017
2018
2019
2020
0
1
2
3
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Quantum Markov Chain Semantics for Quip-E Programs.
[BibTeX]
[DOI]
Linda Anticoli
,
Leonardo Taglialegne
CoRR, 2020

2017
Verifying Quantum Programs: From Quipper to QPMC.
[BibTeX]
[DOI]
Linda Anticoli
,
Carla Piazza
,
Leonardo Taglialegne
,
Paolo Zuliani
CoRR, 2017

\mathtt Entangλ Entang λ e: A Translation Framework from Quipper Programs to Quantum Markov Chains.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Linda Anticoli
,
Carla Piazza
,
Leonardo Taglialegne
,
Paolo Zuliani
Proceedings of the Reversible Computation - 8th International Conference, 2016


  Loading...