Sean Sedwards

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Matteo Cavaliere [1] [2] [3] [5] [6] [7]
2Radu Mardare [6] [7]
3Tommaso Mazza [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)