Simon Kramer
From MaRDI portal
Person:276033
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Logic of intuitionistic interactive proofs (formal theory of perfect knowledge transfer) ACM Transactions on Computational Logic | 2017-07-12 | Paper |
| Logic of negation-complete interactive proofs (formal theory of epistemic deciders) (available as arXiv preprint) | 2016-04-26 | Paper |
| Logic of non-monotonic interactive proofs Logic and Its Applications | 2015-01-06 | Paper |
| Quantum Logic as Classical Logic | 2014-06-13 | Paper |
| Computer-aided decision-making with trust relations and trust domains (cryptographic applications) Journal Of Logic And Computation | 2014-04-01 | Paper |
| A Logic of Interactive Proofs (Formal Theory of Knowledge Transfer) | 2012-01-17 | Paper |
| A quantitative doxastic logic for probabilistic processes and applications to information-hiding Journal of Applied Non-Classical Logics | 2010-03-10 | Paper |
| Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography The Journal of Logic and Algebraic Programming | 2008-11-06 | Paper |
Research outcomes over time
This page was built for person: Simon Kramer
