LPC Speech analysis using the L1 norm. - Richard J. Mammone; Kent Wang; Steven Gay (ICASSP, 1985)

A graphical method for reducing and relating models in systems biology. - Steven Gay; Sylvain Soliman; François Fages (Bioinform., 2010)

Inferring Reaction Models from ODEs. - François Fages; Steven Gay; Sylvain Soliman (CMSB, 2012)

Continuous Casting Scheduling with Constraint Programming. - Steven Gay; Pierre Schaus; Vivian De Smedt (CP, 2014)

On the subgraph epimorphism problem. - Steven Gay; François Fages; Thierry Martinez; Sylvain Soliman; Christine Solnon (Discret. Appl. Math., 2014)

Conflict Ordering Search for Scheduling Problems. - Steven Gay; Renaud Hartert; Christophe Lecoutre; Pierre Schaus (CP, 2015)

Simple and Scalable Time-Table Filtering for the Cumulative Constraint. - Steven Gay; Renaud Hartert; Pierre Schaus (CP, 2015)

Time-Table Disjunctive Reasoning for the Cumulative Constraint. - Steven Gay; Renaud Hartert; Pierre Schaus (CPAIOR, 2015)

Inferring reaction systems from ordinary differential equations. - François Fages; Steven Gay; Sylvain Soliman (Theor. Comput. Sci., 2015)

Subgraph Epimorphisms: Theory and Application to Model Reductions in Systems Biology. - Steven Gay (2015)

Expect the unexpected: Sub-second optimization for segment routing. - Steven Gay; Renaud Hartert; Stefano Vissicchio (INFOCOM, 2017)

REPETITA: Repeatable Experiments for Performance Evaluation of Traffic-Engineering Algorithms. - Steven Gay; Pierre Schaus; Stefano Vissicchio (CoRR, 2017)

The CP-SAT-LP Solver (Invited Talk). - Laurent Perron; Frédéric Didier; Steven Gay (CP, 2023)