| 2009 | ||
|---|---|---|
| 2 | Mieszko Lis, Maxim N. Artyomov, Srinivas Devadas, Arup K. Chakraborty: Efficient stochastic simulation of reaction-diffusion processes via direct compilation. Bioinformatics 25(17): 2289-2291 (2009) | |
| 2005 | ||
| 1 | Michael Pellauer, Mieszko Lis, Don Baltus, Rishiyur S. Nikhil: Synthesis of synchronous assertions with guarded atomic actions. MEMOCODE 2005: 15-24 | |
| 1 | Maxim N. Artyomov | [2] |
| 2 | Don Baltus | [1] |
| 3 | Arup K. Chakraborty | [2] |
| 4 | Srinivas Devadas | [2] |
| 5 | Rishiyur S. Nikhil | [1] |
| 6 | Michael Pellauer | [1] |