Simon Kramer
From MaRDI portal
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
