
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):105114, 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 informationhiding.
The Journal of Applied NonClassical Logics, 19(4):489516,
2009.
[ bib 
http ]

[3]

Simon Kramer.
Cryptographic protocol logic: Satisfaction for (timed) dolevyao
cryptography.
Journal of Logic and Algebraic Programming, 77(12):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 multiagent systems.
In Proceedings of the LiCSaffiliated 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
