Author of the publication

Quantum interference of photons in simple networks.

, , , , and . Quantum Information Processing, 12 (5): 1915-1945 (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Resolution-based methods for linear temporal reasoning.. Saarland University, (2015)The Challenges of Evaluating a New Feature in Vampire., , and . Vampire Workshop, volume 38 of EPiC Series in Computing, page 70-74. EasyChair, (2014)Conjugate Variables as a Resource in Signal and Image Processing, and . CoRR, (2011)Property Directed Reachability for Automated Planning.. J. Artif. Intell. Res., (2014)A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance., and . IJCAR, volume 7364 of Lecture Notes in Computer Science, page 537-543. Springer, (2012)Splitting Proofs for Interpolation., , and . CADE, volume 10395 of Lecture Notes in Computer Science, page 291-309. Springer, (2017)On the Saturation of YAGO., , and . IJCAR, volume 6173 of Lecture Notes in Computer Science, page 441-456. Springer, (2010)Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements., and . CoRR, (2019)Quantum information algorithms - new solutions for known problems., , and . Elektrotechnik und Informationstechnik, 124 (5): 154-157 (2007)Blocked Clauses in First-Order Logic., , , , and . LPAR, volume 46 of EPiC Series in Computing, page 31-48. EasyChair, (2017)