Joana Martinho
According to our database1,
Joana Martinho
authored at least 2 papers
between 2008 and 2011.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2011
J. Autom. Reason., 2011
2008
Encoding cryptographic primitives in a calculus with polyadic synchronization.
Proceedings of the International Conference on Theoretical and Mathematical Foundations of Computer Science, 2008