The following pages link to Roberto Barbuti (Q264545):
Displaying 23 items.
- (Q3601853) (← links)
- Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates (Q3646252) (← links)
- (Q3727360) (← links)
- (Q3773305) (← links)
- Modelling Prolog Control (Q4286208) (← links)
- (Q4461952) (← links)
- (Q4493883) (← links)
- Specialized Predictor for Reaction Systems with Context Properties (Q4589193) (← links)
- A transformational approach to negation in logic programming (Q4713088) (← links)
- (Q4818730) (← links)
- Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation (Q4828445) (← links)
- Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates (Q4988646) (← links)
- Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks (Q5164854) (← links)
- Timed P Automata (Q5179423) (← links)
- Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways (Q5190983) (← links)
- (Q5192921) (← links)
- Modelling Biochemical Pathways with the Calculus of Looping Sequences (Q5262542) (← links)
- A Compositional Semantics of Reaction Systems with Restriction (Q5326381) (← links)
- Spatial Calculus of Looping Sequences (Q5404072) (← links)
- The Calculus of Looping Sequences for Modeling Biological Membranes (Q5452048) (← links)
- (Q5472931) (← links)
- (Q5472932) (← links)
- (Q5486047) (← links)
