| Publication | Date of Publication | Type |
|---|
| Non-Kochen-Specker Contextuality | 2023-07-30 | Paper |
| Kochen-Specker Contextuality | 2023-05-14 | Paper |
| Automated Generation of Arbitrarily Many Kochen-Specker and Other Contextual Sets in Odd Dimensional Hilbert Spaces | 2022-02-16 | Paper |
| Quantum Contextuality | 2021-08-02 | Paper |
| Hypergraph Contextuality | 2019-11-14 | Paper |
| Deterministic mediated superdense coding with linear optics | 2017-06-14 | Paper |
| Classical logic and quantum logic with multiple and common lattice models | 2017-01-17 | Paper |
| New class of 4-dim Kochen-Specker sets | 2015-06-22 | Paper |
| Graph approach to quantum systems | 2015-06-05 | Paper |
| Is quantum logic a logic? | 2013-10-04 | Paper |
| Companion to quantum computation and communication | 2013-04-29 | Paper |
| ENTANGLEMENT AND SUPERDENSE CODING WITH LINEAR OPTICS | 2013-02-11 | Paper |
| Probabilistic generation of quantum contextual sets | 2012-12-04 | Paper |
| New Kochen-Specker sets in four dimensions | 2012-05-11 | Paper |
| Kochen-Specker sets and generalized orthoarguesian equations | 2011-11-04 | Paper |
| Parity proofs of the Bell-Kochen-Specker theorem based on the 600-cell | 2011-05-23 | Paper |
| Hilbert lattice equations | 2011-02-14 | Paper |
| Exhaustive generation of orthomodular lattices with exactly one nonquantum state | 2010-04-07 | Paper |
| Standard Logics Are Valuation-Nonmonotonic | 2008-12-22 | Paper |
| Quantum logic and quantum computation | 2007-11-27 | Paper |
| Quantum Computation and Quantum Communication | 2006-03-22 | Paper |
| Kochen Specker vectors | 2005-06-09 | Paper |
| Kochen–Specker vectors | 2005-04-18 | Paper |
| Quantum implication algebras | 2004-02-03 | Paper |
| Equivalencies, identities, symmetric differences, and congruences in orthomodular lattices | 2004-02-03 | Paper |
| Orthomodular lattices and a quantum algebra. | 2003-12-08 | Paper |
| Algorithms for Greechie diagrams | 2001-03-29 | Paper |
| Equations, states, and lattices of infinite-dimensional Hilbert spaces | 2001-03-29 | Paper |
| Quantum simulators and quantum repeaters. | 2001-03-25 | Paper |
| Quantum logic for quantum computers | 2000-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934931 | 2000-04-03 | Paper |
| Closure of the enhancement and detection loopholes in the Bell theorem by the fourth order interference with photons of different colours | 2000-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4240157 | 1999-10-11 | Paper |
| Identity rule for classical and quantum theories | 1999-09-16 | Paper |
| Quantum and classical implication algebras with primitive implications | 1998-01-01 | Paper |
| Resonance interaction-free measurement | 1997-04-24 | Paper |
| Probabilistic forcing in quantum logics | 1994-09-20 | Paper |
| Nonordered quantum logic and its YES-NO representation | 1994-08-21 | Paper |
| A new axiomatization of unified quantum logic | 1993-09-30 | Paper |
| Bibliography on quantum logics and related structures | 1992-06-28 | Paper |
| Minimal quantum logic with merged implications | 1987-01-01 | Paper |
| Deduction, Ordering, and Operations in Quantum Logic | N/A | Paper |