| |
| 2008 | ||
|---|---|---|
| 5 | 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) |
| 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 |
| 1 | Matteo Cavaliere | [1] [2] [3] [5] |
| 2 | Radu Mardare | [5] |
| 3 | Tommaso Mazza | [4] |