Alan Martin

According to our database, Alan Martin authored at least 3 papers between 2001 and 2019.

Collaborative distances:

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

2019

TIM: A Tool for Gaining Insights into Psychotherapy.

Ronan Cummins, Michael P. Ewbank, Alan Martin, Valentin Tablan, Ana Catarino, Andrew D. Blackwell

Proceedings of the World Wide Web Conference, 2019

2005

E-TDD - Embedded Test Driven Development a Tool for Hardware-Software Co-design Projects.

Michael R. Smith, Andrew K. C. Kwan, Alan Martin, James Miller

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005

2001

Adequate Sets of Temporal Connectives in CTL.

Alan Martin

Proceedings of the 8th International Workshop on Expressiveness in Concurrency, 2001