Joana Martinho

According to our database, Joana Martinho authored at least 2 papers between 2008 and 2011.

Collaborative distances:

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

2011

Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation.

Joana Martinho, António Ravara

J. Autom. Reason., 2011

2008

Encoding cryptographic primitives in a calculus with polyadic synchronization.

Joana Martinho, António Ravara

Proceedings of the International Conference on Theoretical and Mathematical Foundations of Computer Science, 2008