Mário Silva

Orcid: 0000-0002-9886-8400

Affiliations:

Université de Lorraine, CNRS, Inria, LORIA, Nancy, France

According to our database¹, Mário Silva authored at least 7 papers between 2023 and 2026.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2026

A Polytime Quantum Programming Language.

[BibT_eX]

[DOI]

Emmanuel Hainry

Romain Péchoux

Mário Silva

ACM Trans. Quantum Comput., March, 2026

2025

Programming languages characterizing quantum efficiency. (Langages de programmation caractérisant l'efficacité quantique).

[BibT_eX]

[DOI]

Mário Silva

PhD thesis, 2025

Quantum Programming in Polylogarithmic Time.

[BibT_eX]

[DOI]

Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science, 2025

Branch Sequentialization in Quantum Polytime.

[BibT_eX]

[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.

[BibT_eX]

[DOI]

Mário Silva

Ricardo Faleiro

Paulo Mateus

Emmanuel Zambrini Cruzeiro

Quantum, August, 2023

A feasible and unitary programming language with quantum control.

[BibT_eX]

[DOI]

CoRR, 2023

A Programming Language Characterizing Quantum Polynomial Time.

[BibT_eX]

[DOI]

Emmanuel Hainry

Romain Péchoux

Mário Silva

Proceedings of the Foundations of Software Science and Computation Structures, 2023

Mário Silva

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...