People

Papers & Software

Seminar

Stages



INRIA

LIX

CNRS
Papers

Papers (co-)authored by Simon Kramer

[1] Simon Kramer and Julian C. Bradfield. A general definition of malware. Journal in Computer Virology, 6(2):105-114, 2010.
[ bib | http ]
[2] Simon Kramer, Catuscia Palamidessi, Roberto Segala, Andrea Turrini, and Christelle Braun. A quantitative doxastic logic for probabilistic processes and applications to information-hiding. The Journal of Applied Non-Classical Logics, 19(4):489-516, 2009.
[ bib | http ]
[3] Simon Kramer. Cryptographic protocol logic: Satisfaction for (timed) dolev-yao cryptography. Journal of Logic and Algebraic Programming, 77(1-2):60 - 91, 2008.
[ bib | http ]
[4] Simon Kramer and Julian C. Bradfield. A general definition of malware. In Proceedings of the Workshop on the Theory of Computer Viruses, 2008. Extended version submitted to the Journal of Computer Virology.
[ bib | www: ]
[5] Simon Kramer. Reducing provability to knowledge in multi-agent systems. In Proceedings of the LiCS-affiliated Intuitionistic Modal Logics and Applications Workshop, Electronic Notes in Theoretical Computer Science. Elsevier B.V., 2008. To appear. Extended version submitted to Information and Computation.
[ bib ]
[6] Jeff Magee and Jeff Kramer. Concurrency: State Models and Java Programs. Wiley, 1999.
[ bib ]

This file has been generated by bibtex2html 1.74


Back


Page maintainer: Catuscia Palamidessi