Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Search Results

Filter
  • 1-10 of  38 results for ""Chiarugi, Davide""
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Verification of Spatial and Temporal Modalities in Biochemical Systems

  • Source: In 5th International Workshop on Static Analysis and Systems Biology (SASB 2014), Electronic Notes in Theoretical Computer Science 16 September 2015 316:29-44

Record details

×
Academic Journal

Control Flow Analysis of Generalised Boolean Networks

  • Source: In Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology (SASB 2011), Electronic Notes in Theoretical Computer Science 20 June 2012 284:3-22

Record details

×
Academic Journal

AS021 - Phospholipid metabolism rewiring in liver regeneration and hepatocellular carcinoma

  • Source: In EASL: The Digital International Liver Congress, Journal of Hepatology August 2020 73 Supplement 1:S15-S16

Record details

×
Academic Journal

Control Flow Analysis for Brane Calculi

  • Source: In Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2008), Electronic Notes in Theoretical Computer Science 4

Record details

×
Book

A Declarative View of Signaling Pathways.

  • Source: Programming Languages with Applications to Biology & Security; 2015, p183-201, 19p

Record details

×
  • 1-10 of  38 results for ""Chiarugi, Davide""