Timothy A. S. Davidson

Publication Activity (10 Years)

Years Active: 2011-2012
Publications (10 Years): 0

Top Topics

Deterministic Finite Automaton

Automated Verification

Transition Systems

Top Venues

Int. J. Unconv. Comput.

University of Warwick, Coventry, UK (PHD)

Education History

University of Warwick, Coventry, UK

PHD

Publications

Timothy A. S. Davidson, Simon J. Gay, Hynek Mlnarik, Rajagopal Nagarajan, Nick Papanikolaou
Model Checking for Communicating Quantum Processes. Int. J. Unconv. Comput. 8 (1) (2012)
Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan, Ittoop Vergheese Puthoor
Analysis of a Quantum Error Correcting Code using Quantum Process Calculus QPL (2011)
Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan
Formal Analysis of Quantum Systems using Process Calculus ICE (2011)