Nadish de Silva

Publication Activity (10 Years)

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

Top Topics

Limited Resources

Datalog Programs

Relational Structures

Top Venues

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Nadish de Silva, Wilfred Salmon, Ming Yin
Fast algorithms for classical specifications of stabiliser states and Clifford gates. CoRR (2023)
Nadish de Silva
Logical paradoxes in quantum computation. LICS (2018)
Samson Abramsky, Rui Soares Barbosa, Nadish de Silva, Octavio Zapata
The Quantum Monad on Relational Structures. MFCS (2017)
Samson Abramsky, Rui Soares Barbosa, Nadish de Silva, Octavio Zapata
The Quantum Monad on Relational Structures. CoRR (2017)
Nadish de Silva
Logical paradoxes in quantum computation. CoRR (2017)
Samson Abramsky, Rui Soares Barbosa, Giovanni Carù, Nadish de Silva, Kohei Kishida, Shane Mansfield
Minimum Quantum Resources for Strong Non-Locality. TQC (2017)
Nadish de Silva
A Concise, Elementary Proof of Arzelà's Bounded Convergence Theorem. Am. Math. Mon. 117 (10) (2010)