Sonja Franke-Arnold

According to our database, Sonja Franke-Arnold authored at least 2 papers between 2013 and 2014.

Collaborative distances:

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

2014

Verification of Linear Optical Quantum Computing using Quantum Process Calculus.

Sonja Franke-Arnold, Simon J. Gay, Ittoop Vergheese Puthoor

Proceedings of the Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, 2014

2013

Quantum Process Calculus for Linear Optical Quantum Computing.

Sonja Franke-Arnold, Simon J. Gay, Ittoop Vergheese Puthoor

Proceedings of the Reversible Computation - 5th International Conference, 2013