Beta binders for biological interactions C Priami, P Quaglia International Conference on Computational Methods in Systems Biology, 20-33, 2004 | 293 | 2004 |

Beta-binders for biological quantitative experiments P Degano, D Prandi, C Priami, P Quaglia Electronic Notes in Theoretical Computer Science 164 (3), 101-117, 2006 | 79 | 2006 |

Modelling the dynamics of biosystems C Priami, P Quaglia Briefings in Bioinformatics 5 (3), 259-269, 2004 | 67 | 2004 |

Formal analysis of BPMN via a translation into COWS D Prandi, P Quaglia, N Zannone International Conference on Coordination Languages and Models, 249-263, 2008 | 65 | 2008 |

Stochastic cows D Prandi, P Quaglia International Conference on Service-Oriented Computing, 245-256, 2007 | 51 | 2007 |

A π-calculus with explicit substitutions GL Ferrari, U Montanari, P Quaglia Theoretical Computer Science 168 (1), 53-103, 1996 | 43 | 1996 |

Operational patterns in Beta-binders C Priami, P Quaglia Transactions on Computational Systems Biology I, 50-65, 2005 | 41 | 2005 |

A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment P Lecca, C Priami, P Quaglia, B Rossi, C Laudanna, G Constantin Simulation 80 (6), 273-288, 2004 | 41 | 2004 |

Model checking biological systems described using ambient calculus R Mardare, C Priami, P Quaglia, O Vagin International Conference on Computational Methods in Systems Biology, 85-103, 2004 | 29 | 2004 |

Process calculi abstractions for biology ML Guerriero, D Prandi, C Priami, P Quaglia Algorithmic Bioprocesses, 463-486, 2009 | 27 | 2009 |

The weak late π-calculus semantics as observation equivalence GL Ferrari, U Montanari, P Quaglia International Conference on Concurrency Theory, 57-71, 1995 | 26 | 1995 |

A formal language for computational systems biology DD Errampalli, C Priami, P Quaglia Omics: a journal of integrative biology 8 (4), 370-380, 2004 | 24 | 2004 |

A π-calculus with explicit substitutions: the late semantics GL Ferrari, U Montanari, P Quaglia International Symposium on Mathematical Foundations of Computer Science, 342-351, 1994 | 21 | 1994 |

On synchronous and asynchronous mobile processes P Quaglia, D Walker International Conference on Foundations of Software Science and Computation …, 2000 | 20 | 2000 |

On encoding *pπ* in *mπ*P Quaglia, D Walker International Conference on Foundations of Software Technology and …, 1998 | 19 | 1998 |

Process calculi in a biological context. D Prandi, C Priami, P Quaglia Bulletin of the EATCS 85, 53-69, 2005 | 18 | 2005 |

Modeling kohn interaction maps with beta-binders: An example F Ciocchetta, C Priami, P Quaglia Transactions on Computational Systems Biology III, 33-48, 2005 | 18 | 2005 |

The [pi]-calculus with Explicit Substitutions P Quaglia BULLETIN-EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE 59, 434-435, 1996 | 18 | 1996 |

The Pi-Calculus: Notes on Labelled Semantic P Quaglia, BLS LS Bulletin of the EATCS 68, 104-114, 1999 | 17 | 1999 |

*BlenX4Bio* – *BlenX* for BiologistsC Priami, P Ballarini, P Quaglia International Conference on Computational Methods in Systems Biology, 26-51, 2009 | 16 | 2009 |