Author of the publication

Greening R. Thomas' Framework with Environment Variables: A Divide and Conquer Approach.

, , and . CMSB, volume 12881 of Lecture Notes in Computer Science, page 36-56. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Detecting Toxicity Pathways with a Formal Framework Based on Equilibrium Changes., , , and . CMSB, volume 10545 of Lecture Notes in Computer Science, page 196-213. Springer, (2017)Property Preservation along Embedding of Biological Regulatory Networks., , , and . AB, volume 5147 of Lecture Notes in Computer Science, page 125-138. Springer, (2008)Modelling genetic regulatory networks from specified behaviours., , , and . BMC Syst. Biol., 1 (S-1): S4 (2007)Evolutionary Continuous Optimization of Hybrid Gene Regulatory Networks., , and . EA, volume 14091 of Lecture Notes in Computer Science, page 159-172. Springer, (2022)Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets., , and . ICATPN, volume 3536 of Lecture Notes in Computer Science, page 208-227. Springer, (2005)Condition for Sustained Oscillations in Repressilator Based on a Hybrid Modeling of Gene Regulatory Networks., , , and . BIOINFORMATICS, page 29-40. SCITEPRESS, (2023)Improving Continuous Monte Carlo Tree Search for Identifying Parameters in Hybrid Gene Regulatory Networks., , , and . PPSN (4), volume 15151 of Lecture Notes in Computer Science, page 319-334. Springer, (2024)What is a Cell Cycle Checkpoint? The TotemBioNet Answer., , , and . CMSB, volume 12314 of Lecture Notes in Computer Science, page 362-372. Springer, (2020)Topology-based Geometric Modelling for Biological Cellular Processes., , , , and . LATA, Report 35/07, page 497-508. Research Group on Mathematical Linguistics, Universitat Rovira i Virgili, Tarragona, (2007)On the Use of Temporal Formal Logic to Model Gene Regulatory Networks., and . CIBB, volume 6160 of Lecture Notes in Computer Science, page 112-138. Springer, (2009)