Matthijs Melissen

According to our database1, Matthijs Melissen authored at least 6 papers between 2009 and 2014.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
On Defendability of Security Properties.
Proceedings of the Proceedings 2nd International Workshop on Strategic Reasoning, 2014

2013
Defendable Security in Interaction Protocols.
Proceedings of the PRIMA 2013: Principles and Practice of Multi-Agent Systems, 2013

2011
Fairness in Non-Repudiation Protocols.
Proceedings of the Security and Trust Management - 7th International Workshop, 2011

Doubtful Deviations and Farsighted Play.
Proceedings of the Progress in Artificial Intelligence, 2011

2010
Attack-Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent.
Proceedings of the Decision and Game Theory for Security, 2010

2009
The Generative Capacity of the Lambek-Grishin Calculus: A New Lower Bound.
Proceedings of the Formal Grammar - 14th International Conference, 2009


  Loading...