@article{CTT100750397, author = {Tony Ribeiro and Sophie Tourret and Maxime Folschette and Morgan Magnin and Domenico Borzacchiello and Francisco Chinesta and Olivier Roux and Katsumi Inoue}, title = {Learning Programs with Continuous Domains from State Transitions}, journal = {In: Proceedings of the 27th International Conference on Inductive Logic Programming (ILP 2017; Orléans, France, September 4-6, 2017)}, year = 2017, } @article{CTT100750067, author = {Emna Ben Abdallah and Tony Ribeiro and Morgan Magnin and Olivier Roux and Katsumi Inoue}, title = {Modeling Delayed Dynamics in Biological Regulatory Networks from Time Series Data}, journal = {Algorithms}, year = 2017, } @article{CTT100750065, author = {Alexander Andreychenko and Morgan Magnin and Katsumi Inoue}, title = {Analyzing Resilience Properties in Oscillatory Biological Systems Using Parametric Model Checking}, journal = {BioSystems}, year = 2016, } @article{CTT100750057, author = {Emna Ben Abdallah and Tony Ribeiro and Morgan Magnin and Olivier Roux and Katsumi Inoue}, title = {Inference of Delayed Biological Regulatory Networks from Time Series Data}, journal = {In: Ezio Bartocci, Pietro Liò, Nicola Paoletti (eds.), Computational Methods in Systems Biology: Proceedings of the 14th International Conference (CMSB 2016; Cambridge, UK), Lecture Notes in Bioinformatics}, year = 2016, } @article{CTT100723853, author = {Nicolas Schwind and Morgan Magnin and Katsumi Inoue and Tenda Okimoto and Taisuke Sato and Kazuhiro Minami and Hiroshi Maruyama}, title = {Formalization of Resilience for Constraint-Based Dynamic Systems}, journal = {Journal of Reliable Intelligent Environments}, year = 2016, } @article{CTT100723857, author = {Tony Ribeiro and Morgan Magnin and Katsumi Inoue and Chiaki Sakama}, title = {Learning Multi-Valued Biological Models with Delayed Influence from Time-Series Observations}, journal = {In: Proceedings of the 14th International Conference on Machine Learning and Applications (IEEE ICMLA 2015; Miami, Florida, USA, December 9-11, 2015)}, year = 2015, } @article{CTT100723859, author = {Alexander Andreychenko and Morgan Magnin and Katsumi Inoue}, title = {Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri Nets}, journal = {In: Olivier F. Roux, Jérémie Bourdon (eds.), Computational Methods in Systems Biology: Proceedings of the 13th International Conference (CMSB 2015; Nantes, France, September 18, 2015), Lecture Notes in Bioinformatics}, year = 2015, } @article{CTT100723876, author = {Maxime Folschette and Loïc Paulevé and Katsumi Inoue and Morgan Magnin and Olivier Roux}, title = {Identification of Biological Regulatory Networks from Process Hitting Models}, journal = {Theoretical Computer Science}, year = 2015, } @article{CTT100723871, author = {Tony Ribeiro and Morgan Magnin and Katsumi Inoue and Chiaki Sakama}, title = {Learning Delayed Influences of Biological Systems}, journal = {Frontiers in Bioengineering and Biotechnology}, year = 2015, }