Simon Kramer

Publication Activity (10 Years)

Years Active: 2000-2017
Publications (10 Years): 1

Top Topics

Pulmonary Nodules

Classical Logic

Top Venues

ACM Trans. Comput. Log.

J. Log. Comput.

Electron. Notes Theor. Comput. Sci.

Publications

Simon Kramer
A Modularity Bug in Java 8. CoRR (2017)
Simon Kramer
Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer). ACM Trans. Comput. Log. 16 (4) (2015)
Simon Kramer
A Galois-Connection between Myers-Briggs' Type Indicators and Szondi's Personality Profiles. CoRR (2014)
Simon Kramer
A Galois-Connection between Cattell's and Szondi's Personality Profiles. CoRR (2014)
Simon Kramer, Rajeev Goré, Eiji Okamoto
Computer-aided decision-making with trust relations and trust domains (cryptographic applications). J. Log. Comput. 24 (1) (2014)
Simon Kramer
Computer-Aided Discovery and Categorisation of Personality Axioms. CoRR (2014)
Simon Kramer
Computer-Aided Discovery and Categorisation of Personality Axioms. FLAP 1 (2) (2014)
Simon Kramer
Quantum Logic as Classical Logic. CoRR (2014)
Simon Kramer
Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders). Electron. Notes Theor. Comput. Sci. 300 (2014)
Simon Kramer
Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer). CoRR (2013)
Simon Kramer
Logic of Non-monotonic Interactive Proofs. ICLA (2013)
Simon Kramer
Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders) CoRR (2012)
Simon Kramer
Logic of Non-Monotonic Interactive Proofs (Formal Theory of Temporary Knowledge Transfer) CoRR (2012)
Simon Kramer, Joshua Sack
Parametric Constructive Kripke-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief) CoRR (2012)
Simon Kramer
A Logic of Interactive Proofs CoRR (2012)
Simon Kramer, Peter Y. A. Ryan
A modular multi-modal specification of real-timed, end-to-end voter-verifiable voting systems. REVOTE (2011)
Simon Kramer, Rajeev Goré, Eiji Okamoto
Computer-Aided Decision-Making for Formal Relations and Domains of Trust, Distrust, and Mistrust with Cryptographic Applications. IACR Cryptol. ePrint Arch. 2011 (2011)
Simon Kramer, Julian C. Bradfield
A general definition of malware. J. Comput. Virol. 6 (2) (2010)
Simon Kramer, Rajeev Goré, Eiji Okamoto
Formal definitions and complexity results for trust relations and trust domains fit for TTPs, the web of trust, PKIs, and ID-based cryptography. SIGACT News 41 (1) (2010)
Simon Kramer, Catuscia Palamidessi, Roberto Segala, Andrea Turrini, Christelle Braun
A quantitative doxastic logic for probabilistic processes and applications to information-hiding. J. Appl. Non Class. Logics 19 (4) (2009)
Simon Kramer
Cryptographic protocol logic: Satisfaction for (timed) Dolev-Yao cryptography. J. Log. Algebraic Methods Program. 77 (1-2) (2008)
Simon Kramer
Logical concepts in cryptography. SIGACT News 38 (4) (2007)
Johannes Borgström, Olga Grinchtein, Simon Kramer
Timed Calculus of Cryptographic Communication. Formal Aspects in Security and Trust (2006)
Simon Kramer
Logical Concepts in Cryptography. IACR Cryptol. ePrint Arch. 2006 (2006)
Heiko Ludwig, Luke O'Connor, Simon Kramer
MIERA: Method for Inter-Enterprise Role-Based Authorization. EC-Web (2000)