| |
|
| |
Lecture Notes In Computer Science:Transactions on Computational Systems Biology VII, Vol. 4230 (2006), pp. 163-184.
|
| |
In DS-RT '05: Proceedings of the Ninth IEEE International Symposium on Distributed Simulation and Real-Time Applications (2005), pp. 249-256.
|
| |
In WSC '00: Proceedings of the 32nd conference on Winter simulation (2000), pp. 1577-1584.
|
| |
|
| |
Bioinformatics, Vol. 20, No. 4. (1 March 2004), pp. 538-546.
|
| |
|
| |
Journal of Simulation, Vol. 1, No. 2. (2007), pp. 81-96.
|
| |
Biosystems, Vol. 80, No. 3. (June 2005), pp. 283-302.
|
| |
|
| |
|
| |
In PADS '07: Proceedings of the 21st International Workshop on Principles of Advanced and Distributed Simulation (2007), pp. 105-112.
|
| |
|
| |
Reliability Engineering & System Safety, Vol. 75, No. 3. (March 2002), pp. 333-357.
|
| |
Future Generation Computer Systems, Vol. 17, No. 2. (October 2000), pp. 107-118.
|
| |
Computational Methods in Systems Biology (2006), pp. 63-77.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005), Vol. 150, No. 1. (9 March 2006), pp. 31-49.
|
| |
Simulation Modelling Practice and Theory, Vol. 15, No. 1. (January 2007), pp. 1-20.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL 2006), Quantitative Aspects of Programming Languages 2006, Vol. 164, No. 3. (26 October 2006), pp. 101-117.
|
| |
Cellular Signalling, Vol. In Press, Corrected Proof
|
| |
|
| |
Journal of Defense Modeling and Simulation, Vol. 3, No. 4. (October 2006), pp. 239-267.
|
| |
PLoS Computational Biology, Vol. 3, No. 5. (1 May 2007), e92.
|
| |
In WSC '06: Proceedings of the 38th conference on Winter simulation (2006), pp. 1646-1655.
|
| |
Phys Biol, Vol. 1, No. 3-4. (December 2004), pp. 137-151.
|
| |
|
| |
In International Conference on Concurrency Theory (1995), pp. 145-159.
|
| |
The Computer Journal, Vol. 38, No. 7. (1 July 1995), pp. 578-589.
|
| |
In WSC '05: Proceedings of the 37th conference on Winter simulation (2005), pp. 317-326.
|
| |
Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on In Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on (2005), pp. 239-248.
|
| |
Systems Biology, IEE Proceedings, Vol. 1, No. 1. (2004), pp. 129-138.
|
| |
|
| |
|
| |
Hybrid Systems: Computation and Control, Vol. 2034 (2001), pp. 19-32.
|
| |
FEBS letters, Vol. 579, No. 8. (21 March 2005), pp. 1783-1788.
|
| |
BMC Bioinformatics, Vol. 3 (1 November 2002)
|
| |
In CAV '91: Proceedings of the 3rd International Workshop on Computer Aided Verification (1992), pp. 376-398.
|
| |
BMC systems biology, Vol. 1 (2007)
|
| |
J Cell Biol, Vol. 161, No. 3. (12 May 2003), pp. 471-476.
|
| |
Inf. Process. Lett., Vol. 80, No. 1. (October 2001), pp. 25-31.
|
| |
In Proceedings of PAPM '96 (1996)
|
| |
|
| |
In WSC '00: Proceedings of the 32nd conference on Winter simulation (2000), pp. 293-302.
|
| |
Biochem J, Vol. 368, No. Pt 2. (1 December 2002), pp. 433-446.
|
| |
Bioinformatics, Vol. 17, No. 6. (1 June 2001), pp. 575-576.
|
| |
Simulation Symposium, 2007. ANSS '07. 40th Annual (2007), pp. 293-300.
|
| |
|
| |
Future Generation Computer Systems, Vol. 18, No. 6. (May 2002), pp. 829-839.
|
| |
In WSC '00: Proceedings of the 32nd conference on Winter simulation (2000), pp. 1888-1894.
|
| |
PLoS Biol, Vol. 1, No. 1. (October 2003)
|
