- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c6 |      | Cyrille Jégourel, Axel Legay, Sean Sedwards: Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking. CAV 2012: 327-342 |
| c5 | | Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards: Runtime Verification of Biological Systems. ISoLA (1) 2012: 388-404 |
| c4 | | Cyrille Jégourel, Axel Legay, Sean Sedwards: A Platform for High Performance Statistical Model Checking - PLASMA. TACAS 2012: 498-503 |
| c3 | | Alexandre David, Dehui Du, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards: Statistical Model Checking for Stochastic Hybrid Systems. HSB 2012: 122-136 |
| i1 | | Cyrille Jégourel, Axel Legay, Sean Sedwards: Cross-entropy optimisation of importance sampling parameters for statistical model checking. CoRR abs/1201.5229 (2012) |
| 2008 | ||
| j5 | | 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) |
| j4 | | Matteo Cavaliere, Radu Mardare, Sean Sedwards: A multiset-based model of synchronizing agents: Computability and robustness. Theor. Comput. Sci. 391(3): 216-238 (2008) |
| j3 | | 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 | ||
| j2 | | Sean Sedwards, Tommaso Mazza: Cyto-Sim: a formal language model and stochastic simulator of membrane-enclosed biochemical processes. Bioinformatics 23(20): 2800-2802 (2007) |
| j1 | | Matteo Cavaliere, Sean Sedwards: Membrane Systems with Peripheral Proteins: Transport and Evolution. Electr. Notes Theor. Comput. Sci. 171(2): 37-53 (2007) |
| 2006 | ||
| c2 | | Matteo Cavaliere, Sean Sedwards: Modelling Cellular Processes Using Membrane Systems with Peripheral and Integral Proteins. CMSB 2006: 108-126 |
| c1 | | Matteo Cavaliere, Sean Sedwards: Modeling and Simulating Biological Processes with Stochastic Multiset Rewriting. Simulation and Verification of Dynamic Systems 2006 |
| 1 | Matteo Cavaliere | |
| 2 | Alexandre David | |
| 3 | Dehui Du | |
| 4 | Cyrille Jégourel | |
| 5 | Kim Guldstrand Larsen (Kim G. Larsen) | |
| 6 | Axel Legay | |
| 7 | Radu Mardare | |
| 8 | Tommaso Mazza | |
| 9 | Marius Mikucionis | |
| 10 | Danny Bøgsted Poulsen |
Data released under the ODC-BY 1.0 license — See also our legal information page