Lee Momtahan

According to our database, Lee Momtahan authored at least 6 papers between 2002 and 2007.

Collaborative distances:

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

2007

Small model theorems for data independent systems in Alloy.

Lee Momtahan

PhD thesis, 2007

Switched Lightpaths for e-Health Applications: Issues and Challenges.

Lee Momtahan, Sharon Lloyd, Andrew Simpson

Proceedings of the 20th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2007), 2007

2006

Switched Lightpaths for e-Health Applications: a Feasibility Study.

Lee Momtahan, Andrew Simpson

Proceedings of the 19th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2006), 2006

2005

A Taxonomy of Web Services Using CSP.

Lee Momtahan, Andrew P. Martin, A. W. Roscoe

Proceedings of the International Workshop on Web Languages and Formal Methods, 2005

2004

Towards a Small Model Theorem for Data Independent Systems in Alloy.

Lee Momtahan

Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004

2002

e-Science Experiences: Software Engineering Practice and the EU DataGrid.

Lee Momtahan, Andrew P. Martin

Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002