15 papers:
ECSA-2013-CherfiaB #adaptation #towards- Towards a Bigraph-Based Model for Context-Aware Adaptive Systems (TAC, FB), pp. 340–343.
- ECSA-2013-GassaraRJ #architecture #deployment #graph #modelling #multi #towards
- Towards a Multi-scale Modeling for Architectural Deployment Based on Bigraphs (AG, IBR, MJ), pp. 122–129.
GCM-J-2012-FaithfullPH #development #graph- Big Red: A Development Environment for Bigraphs (AJF, GP, TTH).
ICML-c3-2013-KalaitzisLLZ- The Bigraphical Lasso (AAK, JDL, NDL, SZ), pp. 1229–1237.
SAC-2012-PerroneDH #graph #model checking- A model checker for Bigraphs (GP, SD, TTH), pp. 1320–1325.
SEFM-2010-GoldsmithC #graph- Refinement-Friendly Bigraphs and Spygraphs (MG, SC), pp. 203–207.
GT-VMT-2010-GrohmannM #algebra #graph- Graph Algebras for Bigraphs (DG, MM).
WICSA-2008-ChangMQ #architecture #configuration management #formal method #graph #towards- Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs (ZC, XM, ZQ), pp. 331–334.
- GT-VMT-2008-GrohmannM #graph #resource management
- Controlling resource access in Directed Bigraphs (DG, MM).
ICGT-2008-Grohmann #encryption #graph #security- Security, Cryptography and Directed Bigraphs (DG), pp. 487–489.
FoSSaCS-2006-BirkedalDEHN #modelling- Bigraphical Models of Context-Aware Systems (LB, SD, EE, TTH, HN), pp. 187–201.
PPDP-2006-BundgaardS #graph #π-calculus- Typed polyadic π-calculus in bigraphs (MB, VS), pp. 1–12.
ICALP-2005-ConfortiMS #graph #logic- Spatial Logics for Bigraphs (GC, DM, VS), pp. 766–778.
POPL-2003-JensenM #graph- Bigraphs and transitions (OHJ, RM), pp. 38–49.
- ICGT-2002-Milner #graph #interactive #mobile
- Bigraphs as a Model for Mobile Interaction (RM), pp. 8–13.
