Timothy A. S. Davidson

According to our database, Timothy A. S. Davidson authored at least 4 papers between 2011 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2012

Formal verification techniques using quantum process calculus.

Timothy A. S. Davidson

PhD thesis, 2012

Model Checking for Communicating Quantum Processes.

Timothy A. S. Davidson, Simon J. Gay, Hynek Mlnarik, Rajagopal Nagarajan, Nick Papanikolaou

Int. J. Unconv. Comput., 2012

2011

Analysis of a Quantum Error Correcting Code using Quantum Process Calculus

Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan, Ittoop Vergheese Puthoor

Proceedings of the Proceedings 8th International Workshop on Quantum Physics and Logic, 2011

Formal Analysis of Quantum Systems using Process Calculus

Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan

Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011