EN FR
EN FR
LIFEWARE - 2016
LIFEWARE - 2016
Project-Team Lifeware
Members
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Partnerships and Cooperations
Dissemination
Bibliography
Project-Team Lifeware
Members
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Partnerships and Cooperations
Dissemination
Bibliography


previous Previous | up Home


Bibliography

Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 5O. Béthoux, A. Llamosi, S. Toussaint.

    Reinvestigation of <i>Protelytron permianum</i> (Insecta; Early Permian; USA) as an example for applying reflectance transformation imaging to insect imprint fossils, in: Fossil Record, 2016, vol. 20, no 1, pp. 1 - 7. [ DOI : 10.5194/fr-20-1-2016 ]

    https://hal.inria.fr/hal-01406082
  • 6A. Llamosi, A. Gonzalez, C. Versari, E. Cinquemani, G. Ferrari-Trecate, P. Hersen, G. Batt.

    What population reveals about individual cell identity: Single-cell parameter estimation of models of gene expression in yeast, in: PLoS Computational Biology, February 2016, vol. 12, no 2, e1004706. [ DOI : 10.1371/journal.pcbi.1004706 ]

    https://hal.inria.fr/hal-01248298
  • 7F. Nabli, T. Martinez, F. Fages, S. Soliman.

    On Enumerating Minimal Siphons in Petri nets using CLP and SAT solvers: Theoretical and Practical Complexity, in: Constraints, April 2016, vol. 21, no 2, pp. 251–276. [ DOI : 10.1007/s10601-015-9190-1 ]

    https://hal.archives-ouvertes.fr/hal-01170962
  • 8P. Traynard, A. Fauré, F. Fages, D. Thieffry.

    Logical model specification aided by model- checking techniques: application to the mammalian cell cycle regulation, in: Bioinformatics, 2016, vol. 32, no 17, pp. i772-i780. [ DOI : 10.1093/bioinformatics/btw457 ]

    https://hal.archives-ouvertes.fr/hal-01378465
  • 9P. Traynard, C. Feillet, S. Soliman, F. Delaunay, F. Fages.

    Model-based investigation of the circadian clock and cell cycle coupling in mouse embryonic fibroblasts: Prediction of RevErb-α up-regulation during mitosis, in: BioSystems, November 2016, vol. 149, pp. 59–69. [ DOI : 10.1016/j.biosystems.2016.07.003 ]

    https://hal.archives-ouvertes.fr/hal-01378466

International Conferences with Proceedings

  • 10A. Aggoun, A. Rhiat, F. Fages.

    Panorama of real-life applications in logistics embedding bin packing optimization algorithms, robotics and cloud computing technologies, in: GOL'16 - 3rd IEEE International Conference on Logistics Operations Management, Morocco, Morocco, May 2016. [ DOI : 10.1109/GOL.2016.7731693 ]

    https://hal.archives-ouvertes.fr/hal-01378469
  • 11F. Fages, T. Martinez, D. Rosenblueth, S. Soliman.

    Influence Systems vs Reaction Systems, in: CMSB'16: Proceedings of the fourteenth international conference on Computational Methods in Systems Biology, Cambridge, UK, United Kingdom, E. Bartocci, P. Lio, N. Paoletti (editors), Lecture Notes in Computer Science, Springer-Verlag, September 2016, vol. 9859, pp. 98-115. [ DOI : 10.1007/978-3-319-45177-0_7 ]

    https://hal.archives-ouvertes.fr/hal-01378470
  • 12T. Martinez, F. Fages, A. Aggoun.

    A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems, in: Proceedings of the 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, CPAIOR'16, Banff, Canada, C.-G. Quimper (editor), Springer, May 2016, vol. 9676, pp. 262-278. [ DOI : 10.1007/978-3-319-33954-2_19 ]

    https://hal.archives-ouvertes.fr/hal-01378468
  • 13T. Martinez, F. Fages, A. Aggoun.

    Un solveur d'optmization stochastique pour MiniZinc avec des applications à des problèmes de placements géométriques, in: Douzièmes Journées Francophones de Programmation par Contraintes JFPC'16, 2016.

    https://hal.archives-ouvertes.fr/hal-01378467
  • 14S. K. Palaniappan, M. Pichené, G. Batt, E. Fabre, B. Genest.

    A Look-Ahead Simulation Algorithm for DBN Models of Biochemical Pathways, in: Hybrid Systems Biology, 5th International Workshop, HSB 2016, Grenoble, France, E. Cinquemani, A. Donzé (editors), Lecture Notes in Computer Science, October 2016, vol. 9957, pp. 3-15. [ DOI : 10.1007/978-3-319-47151-8_1 ]

    https://hal.inria.fr/hal-01406115

Internal Reports

  • 15D. Fournier, T. Martinez, F. Fages, D. Mulard.

    Metro Energy Optimization through Rescheduling: Mathematical Models and Heuristic Algorithm Compared to MILP and CMA-ES , Inria Saclay Ile de France, December 2016.

    https://hal.inria.fr/hal-01420311

Scientific Popularization

Other Publications



previous Previous | up Home