| 2008 |
|---|
| 7 | EE | Radu Mardare,
Matteo Cavaliere,
Sean Sedwards:
A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents.
Int. J. Found. Comput. Sci. 19(5): 1199-1221 (2008) |
| 6 | EE | Matteo Cavaliere,
Radu Mardare,
Sean Sedwards:
A multiset-based model of synchronizing agents: Computability and robustness.
Theor. Comput. Sci. 391(3): 216-238 (2008) |
| 5 | EE | Matteo Cavaliere,
Sean Sedwards:
Decision problems in membrane systems with peripheral proteins, transport and evolution.
Theor. Comput. Sci. 404(1-2): 40-51 (2008) |
| 2007 |
|---|
| 4 | EE | Sean Sedwards,
Tommaso Mazza:
Cyto-Sim: a formal language model and stochastic simulator of membrane-enclosed biochemical processes.
Bioinformatics 23(20): 2800-2802 (2007) |
| 3 | EE | Matteo Cavaliere,
Sean Sedwards:
Membrane Systems with Peripheral Proteins: Transport and Evolution.
Electr. Notes Theor. Comput. Sci. 171(2): 37-53 (2007) |
| 2006 |
|---|
| 2 | EE | Matteo Cavaliere,
Sean Sedwards:
Modelling Cellular Processes Using Membrane Systems with Peripheral and Integral Proteins.
CMSB 2006: 108-126 |
| 1 | EE | Matteo Cavaliere,
Sean Sedwards:
Modeling and Simulating Biological Processes with Stochastic Multiset Rewriting.
Simulation and Verification of Dynamic Systems 2006 |
