Matthijs Melissen

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

On Defendability of Security Properties.

Wojciech Jamroga, Matthijs Melissen, Henning Schnoor

Proceedings of the Proceedings 2nd International Workshop on Strategic Reasoning, 2014

2013

Defendable Security in Interaction Protocols.

Wojciech Jamroga, Matthijs Melissen, Henning Schnoor

Proceedings of the PRIMA 2013: Principles and Practice of Multi-Agent Systems, 2013

2011

Fairness in Non-Repudiation Protocols.

Wojciech Jamroga, Sjouke Mauw, Matthijs Melissen

Proceedings of the Security and Trust Management - 7th International Workshop, 2011

Doubtful Deviations and Farsighted Play.

Wojciech Jamroga, Matthijs Melissen

Proceedings of the Progress in Artificial Intelligence, 2011

2010

Attack-Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent.

Barbara Kordy, Sjouke Mauw, Matthijs Melissen, Patrick Schweitzer

Proceedings of the Decision and Game Theory for Security, 2010

2009

The Generative Capacity of the Lambek-Grishin Calculus: A New Lower Bound.

Matthijs Melissen

Proceedings of the Formal Grammar - 14th International Conference, 2009