| |
|
| |
: 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.
|
| |
In SPAA '89: Proceedings of the first annual ACM symposium on Parallel algorithms and architectures (1989), pp. 199-208.
|
| |
In WSC '98: Proceedings of the 30th conference on Winter simulation (1998), pp. 1599-1606.
|
| |
|
| |
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.
|
| |
In WSC '05: Proceedings of the 37th conference on Winter simulation (2005), pp. 992-1000.
|
| |
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.
|
| |
Physica D: Nonlinear Phenomena, Vol. 132, No. 1-2. (15 July 1999), pp. 133-149.
|
| |
|
| |
In PADS '94: Proceedings of the eighth workshop on Parallel and distributed simulation (1994), pp. 88-93.
|
| |
|
| |
In WSC '96: Proceedings of the 28th conference on Winter simulation (1996), pp. 629-636.
|
| |
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.
|
| |
Parallel Problem Solving from Nature — PPSN IV (1996), pp. 218-226.
|
| |
In WSC '96: Proceedings of the 28th conference on Winter simulation (1996), pp. 136-143.
|
| |
|
| |
|
| |
In SPAA '08: Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures (2008), pp. 91-97.
|
CiteULike
fierykylin's CiteULike
Search
