| |
|
| |
|
| |
Journal of Simulation, Vol. 1, No. 2. (2007), pp. 81-96.
|
| |
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.
|
| |
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.
|
| |
Phys Biol, Vol. 1, No. 3-4. (December 2004), pp. 137-151.
|
| |
|
| |
|
| |
In CAV '91: Proceedings of the 3rd International Workshop on Computer Aided Verification (1992), pp. 376-398.
|
| |
Inf. Process. Lett., Vol. 80, No. 1. (October 2001), pp. 25-31.
|
| |
In Proceedings of PAPM '96 (1996)
|
| |
|
| |
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.
|
| |
Trends Cell Biol, Vol. 13, No. 11. (November 2003), pp. 570-576.
|
| |
Trends Biotechnol, Vol. 19, No. 10. (October 2001), pp. 401-406.
|
| |
J Biotechnol, Vol. 113, No. 1-3. (30 September 2004), pp. 281-294.
|
| |
|
| |
Comp. Sys. Biology, Vol. 3737 (2005), pp. 145-168.
|
| |
Genome Inform, Vol. 15, No. 1. (2004), pp. 138-148.
|
| |
Annu Rev Cell Dev Biol, Vol. 14 (1998), pp. 59-88.
|
| |
PLoS Biol, Vol. 1, No. 1. (13 October 2003), e10.
|
| |
: Computational Methods in Systems Biology (2005), pp. 20-33.
|
| |
: Foundations of Software Science and Computational Structures: 6th International Conference, FOSSACS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings (2003), pp. 282-298.
|
| |
|
| |
Computational Biology and Chemistry, Vol. 28, No. 3. (July 2004), pp. 165-178.
|
| |
In Logic and Algebra of Specification (1993), pp. 203-246.
|
| |
: Fundamental Approaches to Software Engineering : 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings (2002), 174.
|
| |
Trends Biotechnol, Vol. 21, No. 6. (June 2003), pp. 255-262.
|
| |
Science, Vol. 297, No. 5584. (16 August 2002), pp. 1183-1186.
|
| |
Cellular Automata: 5th International Conference on Cellular Automata for Research and Industry, ACRI 2002, Geneva, Switzerland, October 9-11, 2002. Proceedings (2002), pp. 294-303.
|
| |
|
| |
|
| |
In Proc. of the 2006 {W}inter {S}imulation {C}onference (2006)
|
| |
Computer magazine (February 2006)
|
| |
In Proc. of the {W}inter {S}imulation {C}onference (2005)
|
| |
|
| |
SIGMETRICS Performance Evaluation Review, Vol. 25, No. 4. (1998), pp. 12-21.
|
| |
|
| |
Bioinformatics, Vol. 17, No. 6. (Jun 2001), pp. 575-576.
|
| |
In C{MSB}, Vol. 3082 (2004), pp. 34-42.
|
| |
Computer magazine, Vol. 39, No. 2. (February 2006)
|
