| |
INFORMATION AND COMPUTATION, Vol. {203}, No. {1}. (NOV {2005})
|
| |
INFORMATION AND COMPUTATION, Vol. {203}, No. {1}. (NOV {2005})
|
| |
Physical Review E (Statistical, Nonlinear, and Soft Matter Physics), Vol. 71, No. 4. (2005)
|
| |
|
| |
: Automata, Languages and Programming (1990), pp. 167-180.
|
| |
Science, Vol. 295, No. 5560. (1 March 2002), pp. 1662-1664.
|
| |
In WSC '00: Proceedings of the 32nd conference on Winter simulation (2000), pp. 293-302.
|
| |
Oper. Res., Vol. 41, No. 3. (1993), pp. 435-449.
|
| |
|
| |
|
| |
In WSC '98: Proceedings of the 30th conference on Winter simulation (1998), pp. 1599-1606.
|
| |
|
| |
In PADS '94: Proceedings of the eighth workshop on Parallel and distributed simulation (1994), pp. 88-93.
|
| |
Computational Biology and Chemistry, Vol. 33, No. 3. (2 June 2009), pp. 205-215.
|
| |
Computer Simulation Studies in Condensed-Matter Physics XVIII (2006), pp. 131-136.
|
| |
Physical Review B, Vol. 71, No. 12. (Mar 2005), 125432.
|
| |
In In Proc. SCS European Simulation Multiconference (1994), pp. 141-145.
|
| |
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on In Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, Vol. 17, No. 12. (1998), pp. 1217-1229.
|
| |
Current Opinion in Biotechnology, Vol. 17, No. 5. (October 2006), pp. 493-498.
|
| |
In WSC '79: Proceedings of the 11th conference on Winter simulation (1979), pp. 391-397.
|
| |
In WSC '06: Proceedings of the 38th conference on Winter simulation (2006), pp. 1946-1953.
|
| |
In SPAA '89: Proceedings of the first annual ACM symposium on Parallel algorithms and architectures (1989), pp. 199-208.
|
| |
Mol Biol Evol, Vol. 23, No. 2. (1 February 2006), pp. 254-267.
|
| |
Theor. Comput. Sci., Vol. 403, No. 2-3. (2008), pp. 202-220.
|
| |
|
| |
: 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.
|
| |
|
| |
Parallel and Distributed Processing Symposium, 2007. IPDPS 2007. IEEE International (11 June 2007), pp. 1-6.
|
| |
IEEE Trans. Comput., Vol. 41, No. 1. (1992), pp. 68-82.
|
| |
No. UCB/EECS-2007-68. (May 2007)
|
| |
Formal Modeling and Analysis of Timed Systems (2006), pp. 18-31.
|
| |
Inf. Fusion, Vol. 9, No. 3. (2008), pp. 370-388.
|
| |
Data Knowl. Eng., Vol. 59, No. 1. (2006), pp. 139-165.
|
| |
Journal of the American Chemical Society, Vol. 0, No. 0. (0000)
|
| |
Computer, Vol. 39, No. 5. (2006), pp. 33-42.
|
| |
Bioinformatics, Vol. 21, No. 12. (15 June 2005), pp. 2923-2924.
|
| |
|
| |
|
| |
In IUI '07: Proceedings of the 12th international conference on Intelligent user interfaces (2007), pp. 52-61.
|
| |
|
| |
ACM Trans. Model. Comput. Simul., Vol. 9, No. 3. (1999), pp. 254-281.
|
| |
In IPDPS '03: Proceedings of the 17th International Symposium on Parallel and Distributed Processing (2003)
|
| |
Integrated Formal Methods (2009), pp. 20-38.
|
| |
Theor. Comput. Sci. In Process Algebra, Vol. 335, No. 2-3. (23 May 2005), pp. 131-146.
|
| |
CONCUR '90 Theories of Concurrency: Unification and Extension (1990), pp. 278-297.
|
| |
In Proceedings of the SpringSim '07, DEVS Integrative M&S Symposium (2007), pp. 249-256.
|
| |
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.
|
CiteULike
fierykylin's CiteULike
Search
