The following pages link to Roberto Barbuti (Q264545):
Displaying 50 items.
- Investigating dynamic causalities in reaction systems (Q264548) (← links)
- Mathematical modeling of drug resistance due to KRAS mutation in colorectal cancer (Q304779) (← links)
- Compositional semantics and behavioural equivalences for reaction systems with restriction (Q403001) (← links)
- Foundational aspects of multiscale modeling of biological systems with process algebras (Q418838) (← links)
- Spatial P systems (Q537815) (← links)
- Spatial calculus of looping sequences (Q652132) (← links)
- Probabilistic model checking of biological systems with uncertain kinetic rates (Q764350) (← links)
- Reduced models for efficient CCS verification (Q816205) (← links)
- Minimal probabilistic P systems for modelling ecological systems (Q896706) (← links)
- Compositional semantics and behavioral equivalences for P systems (Q924685) (← links)
- Bisimulations in calculi modelling membranes (Q939161) (← links)
- Compositional semantics of spiking neural P systems (Q987958) (← links)
- Giorgio Levi in Pisa (Q1035693) (← links)
- (Q1101248) (redirect page) (← links)
- Negation as failure. Completeness of the query evaluation process for Horn clause programs with recursive definitions (Q1101250) (← links)
- A bottom-up polymorphic type inference in logic programming (Q1208426) (← links)
- Abstract interpretation of trace semantics for concurrent calculi (Q1606931) (← links)
- Predictors for flat membrane systems (Q1643137) (← links)
- Tumour suppression by immune system through stochastic oscillations (Q1720078) (← links)
- Generalized contexts for reaction systems: definition and study of dynamic causalities (Q1745347) (← links)
- Multiset patterns and their application to dynamic causalities in membrane systems (Q1749155) (← links)
- Towards a logical semantics for pure Prolog (Q1818324) (← links)
- Abstract interpretation of operational semantics for secure information flow. (Q1853040) (← links)
- Timed automata with urgent transitions (Q1889766) (← links)
- Algebraic computational models of OR-parallel execution of Prolog (Q1920217) (← links)
- Selective mu-calculus and formula-based equivalence of transition systems (Q1970206) (← links)
- A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models (Q1982975) (← links)
- Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation (Q2044945) (← links)
- Characterization and computation of ancestors in reaction systems (Q2157013) (← links)
- An intermediate language for the stochastic simulation of biological systems (Q2271445) (← links)
- Simulation of spatial P system models (Q2440829) (← links)
- Oracle semantics for Prolog (Q2508326) (← links)
- (Q2775857) (← links)
- An Intermediate Language for the Simulation of Biological Systems (Q2870295) (← links)
- Systolic Automata and P Systems (Q2944875) (← links)
- Applications of P Systems in Population Biology and Ecology: The Cases of MPP and APP Systems (Q2975901) (← links)
- A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday (Q3000272) (← links)
- Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach (Q3003506) (← links)
- (Q3005245) (← links)
- A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security (Q3008102) (← links)
- Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings (Q3067488) (← links)
- AN OVERVIEW ON OPERATIONAL SEMANTICS IN MEMBRANE COMPUTING (Q3076604) (← links)
- (Q3117552) (← links)
- (Q3146271) (← links)
- A METHODOLOGY FOR THE STOCHASTIC MODELING AND SIMULATION OF SYMPATRIC SPECIATION BY SEXUAL SELECTION (Q3186134) (← links)
- (Q3201746) (← links)
- RECOGNIZING NON-FLOUNDERING LOGIC PROGRAMS AND GOALS (Q3348389) (← links)
- Timed P Automata (Q3397154) (← links)
- Simulation of Kohn’s Molecular Interaction Maps through Translation into Stochastic CLS+ (Q3402275) (← links)
- Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation (Q4828445) (← links)
