Steven Gay
Steven Gay
Google France
Dirección de correo verificada de google.com
TítuloCitado porAño
OscaR: Scala in OR, 2012
OR Team
102
A graphical method for reducing and relating models in systems biology
S Gay, S Soliman, F Fages
Bioinformatics 26 (18), i575-i581, 2010
612010
Conflict ordering search for scheduling problems
S Gay, R Hartert, C Lecoutre, P Schaus
International conference on principles and practice of constraint …, 2015
372015
Inferring reaction systems from ordinary differential equations
F Fages, S Gay, S Soliman
Theoretical Computer Science 599, 64-78, 2015
292015
On the subgraph epimorphism problem
S Gay, F Fages, T Martinez, S Soliman, C Solnon
Discrete Applied Mathematics 162, 214-228, 2014
222014
Expect the unexpected: Sub-second optimization for segment routing
S Gay, R Hartert, S Vissicchio
IEEE INFOCOM 2017-IEEE Conference on Computer Communications, 1-9, 2017
152017
Simple and scalable time-table filtering for the cumulative constraint
S Gay, R Hartert, P Schaus
International conference on principles and practice of constraint …, 2015
152015
Time-table disjunctive reasoning for the cumulative constraint
S Gay, R Hartert, P Schaus
International Conference on AI and OR Techniques in Constriant Programming …, 2015
122015
Repetita: Repeatable experiments for performance evaluation of traffic-engineering algorithms
S Gay, P Schaus, S Vissicchio
arXiv preprint arXiv:1710.08665, 2017
72017
Continuous casting scheduling with constraint programming
S Gay, P Schaus, V De Smedt
International conference on principles and practice of constraint …, 2014
72014
BioCham 3.2 reference manual
F Fages, D Jovanovska, A Rizk, S Soliman, EPI Contraintes
Available on http://contraintes. inria. fr/BIOCHAM/DOC/manual. html 6, 2010
72010
Automatic curation of SBML models based on their ODE semantics
F Fages, S Gay, S Soliman
INRIA, 2012
52012
Inferring reaction models from ODEs
F Fages, S Gay, S Soliman
International Conference on Computational Methods in Systems Biology, 370-373, 2012
42012
Solving subgraph epimorphism problems using CLP and SAT
S Gay, F Fages, F Santini, S Soliman
32013
A constraint program for subgraph epimorphisms with application to identifying model reductions in systems biology
S Gay, T Martinez, S Soliman, F Fages
Proceedings of the seventh Workshop on Constraint Based Methods for …, 2011
32011
Parallelization of constraint programming using embarrassingly parallel search
G Derval, P Schaus, Y DEVILLE, S GAY, S MOUTHUY
Master’s thesis, EPL/INGI, Université Catholique de Louvain, 2016
12016
Subgraph Epimorphisms: Theory and Application to Model Reductions in Systems Biology
S Gay
12015
Expect the Unexpected: Sub-Second Optimization for Segment Routing
R Hartert, S Vissicchio, S Gay
2017
JFPC 2016
M Ghallab, B Rottembourg, J Thapper, F Koriche, S Lagrue, E Piette, ...
Journées Francophones de Programmation par Contraintes, 2016
2016
BIOCHAM 3.7. 3 Reference Manual
F Fages, FM Floch, S Gay, D Jovanovska, A Rizk, S Soliman, P Traynard, ...
2015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20