Alexandre Rocca
Personal homepage

Research engineer in Verimag Laboratory and TIMC-IMAG Laboratory Supervisor: Thao Dang. Co-Supervisors: Eric Fanchon.

Contents

Contact & info

Research Topics

Domain: Applied Mathematics for Biology
Keywords: Reachability Analysis, Mathematical Modelisation, Hybrid Systems, Boolean Networks, Answer Set Programming.

Publications

Journal papers and Book chapters

[September 2014] ASP for Construction and Validation of Regulatory Biological Networks. (temporary pdf)
Alexandre Rocca, Nicolas Mobilia, Eric Fancon, Tony Ribeiro, Laurent Trilling, Katsumi Inoue.
in Logical Modelling of Biological Systems chapter 5, Wiley-ISTE 2014, ISBN: 978-1-84821-680-8.

International Conference and Workshop Papers (with peer review)

[July 2014] Exploiting the Eigenstructure of Linear Systems to speed up Reachability Computations. (pdf)
Alexandre Rocca, Eric Fanchon, Thao Dang.
Third International Workshop on Hybrid Systems Biology(HSB 2014), Vienna, Austria.
[September 2013] Inference and Learning of Boolean Networks Using Answer Set Programming. (pdf)
Alexandre Rocca, Tony Ribeiro, Katsumi Inoue.
First International Workshop on Learning and Nonmonotonic Reasoning (LNMR 2013), Corunna, Spain.

Talks and Summer Schools

Talks

[May 2014] Exploiting the Eigenstructure of Linear Systems to speed up Reachability Computations.
Alexandre Rocca, Eric Fanchon, Thao Dang.
BCM seminar (Computational Biology and Modelisation), Grenoble, France.
[September 2013] Inference and Learning of Boolean Networks Using Answer Set Programming.
Alexandre Rocca, Tony Ribeiro, Katsumi Inoue.
Learning and Nonmonotonic Reasoning (LNMR 2013), Corunna, Spain, in association with LPNMR 2013.
[May 2013] CTL and ASP for Model-Checking of Biological Bolean Networks.
Alexandre Rocca, Morgan Magnin, Katsumi Inoue.
Kick-off meeting of NII Collaborative Research Project on Advanced Reasoning for Analyzing Molecular Networks, Yamanashi, Japan.
[April 2013] CTL and ASP for Model-Checking of Biological Bolean Networks.
Alexandre Rocca, Morgan Magnin, Katsumi Inoue.
KUBIC Meeting 2013, Kyoto, Japan.
[March 2013] ASP for Embedded Systems through Model-Checking.
Alexandre Rocca.
2nd CSPSAT2 Meeting 2013, Karatsu, Japan.

Summer School

[May 2014] Ecole de Printemps de Société de Francophone de Biologie Théorique
Le Vivant Critique et Chaotique
SFBT2014, St Flour, France.