| |
|
| |
|
| |
No. UCB/EECS-2007-68. (May 2007)
|
| |
|
| |
|
| |
ACM Trans. Model. Comput. Simul., Vol. 9, No. 3. (1999), pp. 254-281.
|
| |
Theor. Comput. Sci. In Process Algebra, Vol. 335, No. 2-3. (23 May 2005), pp. 131-146.
|
| |
In POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1990), pp. 81-94.
|
| |
Formal Approaches to Agent-Based Systems (2001), pp. 123-132.
|
| |
In Proc. FASE’02, Springer LNCS 2306
|
| |
In WSC '08: Proceedings of the 40th Conference on Winter Simulation (2008), pp. 113-121.
|
| |
L'enseignement mathématique, Vol. 16 (1970), pp. 123-152.
|
| |
In WSC '00: Proceedings of the 32nd conference on Winter simulation (2000), pp. 381-385.
|
| |
In WSC '08: Proceedings of the 40th Conference on Winter Simulation (2008), pp. 703-711.
|
| |
ACM Trans. Comput. Logic, Vol. 10, No. 3. (2009), pp. 1-19.
|
| |
|
| |
In PADS '94: Proceedings of the eighth workshop on Parallel and distributed simulation (1994), pp. 88-93.
|
| |
|
| |
In in Proceedings of the 1994 Winter Simulation Conference (1994), pp. 566-573.
|
| |
Computational Biology and Chemistry, Vol. 33, No. 3. (2 June 2009), pp. 205-215.
|
| |
Brief Bioinform (16 January 2009), bbn050.
|
| |
Bioinformatics, Vol. 20, No. 4. (1 March 2004), pp. 538-546.
|
| |
In WSC '96: Proceedings of the 28th conference on Winter simulation (1996), pp. 136-143.
|
| |
Science, Vol. 298, No. 5594. (25 October 2002), pp. 824-827.
|
| |
Nat Rev Mol Cell Biol, Vol. 7, No. 3. (15 March 2006), pp. 165-176.
|
| |
|
| |
Bioinformatics, Vol. 20 (2004), pp. 538-546.
|
| |
Statistics and Computing, Vol. 10 (2000), pp. 197-208.
|
| |
Annual review of physical chemistry, Vol. 58, No. 1. (2007), pp. 35-55.
|
| |
Hybrid Systems: Computation and Control (2000), pp. 451-464.
|
| |
In Simutools '09: Proceedings of the 2nd International Conference on Simulation Tools and Techniques (2009), pp. 1-2.
|
| |
In HSCC '00: Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control (2000), pp. 451-464.
|
| |
In {ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS}, Vol. {5140} ({2008})
|
| |
In {FORMAL METHODS AND STOCHASTIC MODELS FOR PERFORMANCE EVALUATION}, Vol. {4054} ({2006})
|
| |
In {2008 8TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS} ({2008})
|
| |
In {Seventh International Conference on Application of Concurrency to System Design, Proceedings} ({2007})
|
| |
In {FORMAL METHODS AND STOCHASTIC MODELS FOR PERFORMANCE EVALUATION}, Vol. {4748} ({2007})
|
| |
INFORMATION AND COMPUTATION, Vol. {203}, No. {1}. (NOV {2005})
|
| |
INFORMATION AND COMPUTATION, Vol. {203}, No. {1}. (NOV {2005})
|
| |
Journal of Computer-Aided Materials Design, Vol. 14, No. 2. (1 July 2007), pp. 253-308.
|
| |
Physics Reports, Vol. 424, No. 4-5. (February 2006), pp. 175-308.
|
| |
Journal of Computational Physics, Vol. 75, No. 1. (March 1988), pp. 103-122.
|
| |
Physical Review B, Vol. 71, No. 12. (Mar 2005), 125432.
|
| |
J. Comput. Phys., Vol. 212, No. 1. (2006), pp. 305-317.
|
| |
Computer Methods in Applied Mechanics and Engineering, Vol. 197, No. 41-42. (01 July 2008), pp. 3386-3398.
|
| |
Physical Review E (Statistical, Nonlinear, and Soft Matter Physics), Vol. 71, No. 4. (2005)
|
| |
Evolutionary Theory, Vol. 1 (1973), pp. 1-30.
|
| |
In GECCO '07: Proceedings of the 9th annual conference on Genetic and evolutionary computation (2007), pp. 490-491.
|
| |
The Annals of Applied Probability, Vol. 7, No. 1. (1997), pp. 1-9.
|
| |
In PADS '93: Proceedings of the seventh workshop on Parallel and distributed simulation (1993), pp. 109-118.
|
CiteULike
fierykylin's CiteULike
Search
Export
