|
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
|