L. Bortolussi

Latest

• Hybrid approximation of stochastic process algebras for systems biology
• Hybrid semantics for stochastic pi-calculus
• Modeling Biological Systems in Stochastic Concurrent Constraint Programming
• The importance of being (a little bit) discrete
• Scoring predictive models using a reduced representation of proteins: model and energy definition
• Stochastic concurrent constraint programming and differential equations
• BuST: Bundled Suffix Trees
• Agent-Based Protein Folding Simulation