Concepedia

Author

S Moody

Imperial College London

Also Known As

S Moody, S. Moody, Simon J. Moody

4

Publications

46

Citations

2

H-Index

10

Concepts

All Affiliations

Imperial College London
SM

About

S Moody is an author at Imperial College London specializing in formal verification, program analysis, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

44

2

Computer Science

1

1

44

3

Integer Programming

1

1

44

4

Software Analysis

1

1

44

5

Automated Reasoning

1

1

44

S Moody

×

1

Publications

44

Citations

1

H-Index

YearCitations

Tools for reformulating logical forms into zero-one mixed integer programs

Gautam Mitra, C. Lucas, S Moody,

European Journal of Operational Research

1994

44

Page 1