Nicholas Peltier

Constraint-Based Methods

Alexander Leitsch, Ricardo Caferra, Nicholas Peltier, 2004 .

Automated Model Building

Alexander Leitsch, Ricardo Caferra, Nicholas Peltier, 2010 .

Resolution-Based Methods

Alexander Leitsch, Ricardo Caferra, Nicholas Peltier, 2004 .

Finite Model Building

Alexander Leitsch, Ricardo Caferra, Nicholas Peltier, 2004 .