Chris Lewington

According to our database, Chris Lewington authored at least 3 papers between 1990 and 2004.

Collaborative distances:

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

2004

IntAct: an open source molecular interaction database.

Henning Hermjakob, Luisa Montecchi-Palazzi, Chris Lewington, Sugath Mudali, Samuel Kerrien, Sandra E. Orchard, Martin Vingron, Bernd Roechert, Peter Roepstorff, Alfonso Valencia, Hanah Margalit, John Armstrong, Amos Bairoch, Gianni Cesareni, David James Sherman, Rolf Apweiler

Nucleic Acids Res., 2004

1991

Towards constructive specification transformation.

Christopher P. Lewington

PhD thesis, 1991

1990

Towards Constructive Program Derivation in VDM.

Christopher P. Lewington

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1990