Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Flow Logic for Process Calculi | 4 | 0.43 | 2012 |
| Static Analysis of IMC. | 1 | 0.63 | 2012 |
| Roadmap Document on Stochastic Analysis | 0 | 0.34 | 2012 |
| From explicit to symbolic types for communication protocols in CCS | 1 | 0.35 | 2011 |
| Relational Analysis of Correlation | 9 | 0.54 | 2008 |
| Pathway analysis for BioAmbients | 16 | 0.66 | 2008 |
| Active Evaluation Contexts for Reaction Semantics | 1 | 0.35 | 2007 |
| What is a free name in a process algebra? | 1 | 0.37 | 2007 |
| Relational analysis for delivery of services | 4 | 0.48 | 2007 |
| Context Dependent Analysis of BioAmbients | 9 | 0.50 | 2006 |
| Static Analysis of a Model of the LDL Degradation Pathway | 12 | 0.62 | 2006 |
| Spatial Analysis of BioAmbients | 21 | 0.90 | 2004 |
| The Succinct Solver Suite | 19 | 1.20 | 2004 |
| An approach to analyzing availability properties of security protocols | 2 | 0.39 | 2003 |