Mário Silva

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 6

Top Topics

Key Distribution

Computer Programs

Programming Language

Top Venues

Publications

Mário Silva, Ricardo Faleiro, Paulo Mateus, Emmanuel Zambrini Cruzeiro
A coherence-witnessing game and applications to semi-device-independent quantum key distribution. Quantum 7 (2023)
Alejandro Díaz-Caro, Emmanuel Hainry, Romain Péchoux, Mário Silva
A feasible and unitary programming language with quantum control. CoRR (2023)
Emmanuel Hainry, Romain Péchoux, Mário Silva
A Programming Language Characterizing Quantum Polynomial Time. FoSSaCS (2023)
Emmanuel Hainry, Romain Péchoux, Mário Silva
A programming language characterizing quantum polynomial time. CoRR (2022)
Francisco Machado, Teresa Vieira, Mário Silva, Hugo Machado
Preferences of Student In-Game Elements for Implementation in Gamified Learning: A Survey Report. ArtsIT (2022)
Taimur Gibran Rabuske, Mário Silva, Diogo Brito, João Silva, Hanna Iva Busse, Ana V. Silva, Sofia Abrunhosa, Pedro Ribeiro, Susana Cardoso
A Biomedical Imaging System Based on an Integrated Array of Magnetoresistive Sensors. NEWCAS (2021)
André Coelho, Hugo Ribeiro, Mário Silva, Rui José
A system for coarse-grained location-based synchronisation CoRR (2010)