Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Graph Algebras for Bigraphs | 4 | 0.41 | 2010 |
| A Logic For Choreographies | 2 | 0.36 | 2010 |
| Bigraphical Models For Protein And Membrane Interactions | 6 | 0.58 | 2009 |
| DBtk: a toolkit for directed bigraphs | 9 | 0.69 | 2009 |
| A Framework For Protein And Membrane Interactions | 3 | 0.42 | 2009 |
| Deriving Barbed Bisimulations for Bigraphical Reactive Systems | 2 | 0.37 | 2008 |
| An Algebra for Directed Bigraphs | 6 | 0.64 | 2008 |
| Controlling resource access in Directed Bigraphs | 1 | 0.37 | 2008 |
| Directed Bigraphs | 10 | 0.92 | 2007 |
| Reactive systems over directed bigraphs | 16 | 0.95 | 2007 |