We stand with Ukraine  

Mário Silva

Orcid: 0000-0002-9886-8400

Affiliations:
  • Université de Lorraine, CNRS, Inria, LORIA, Nancy, France


According to our database1, Mário Silva authored at least 5 papers between 2023 and 2025.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Quantum Programming in Polylogarithmic Time.
[BibTeX]
[DOI]
Florent Ferrari
,
Emmanuel Hainry
,
Romain Péchoux
,
Mário Silva
Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science, 2025

Branch Sequentialization in Quantum Polytime.
[BibTeX]
[DOI]
Emmanuel Hainry
,
Romain Péchoux
,
Mário Silva
Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction, 2025

2023
A coherence-witnessing game and applications to semi-device-independent quantum key distribution.
[BibTeX]
[DOI]
Mário Silva
,
Ricardo Faleiro
,
Paulo Mateus
,
Emmanuel Zambrini Cruzeiro
Quantum, August, 2023

A feasible and unitary programming language with quantum control.
[BibTeX]
[DOI]
Alejandro Díaz-Caro
,
Emmanuel Hainry
,
Romain Péchoux
,
Mário Silva
CoRR, 2023

A Programming Language Characterizing Quantum Polynomial Time.
[BibTeX]
[DOI]
Emmanuel Hainry
,
Romain Péchoux
,
Mário Silva
Proceedings of the Foundations of Software Science and Computation Structures, 2023


  Loading...