(19 Oct 2001)
(7 Jun 2007)
(2003)
(2004)
(2003)
Artificial Intelligence and Law, Vol. 15, No. 1. (March 2007), pp. 1-17.
(1997), pp. 63-71.
(2005), pp. 133-140.
Artificial Intelligence: Methodology, Systems, and Applications: 9th International Conference, AIMSA 2000, Varna, Bulgaria, September 2000. Proceedings (2000), pp. 47-66.
Physical Review Letters, Vol. 59, No. 4. (27 July 1987), 381.
Physical Review Letters, Vol. 96, No. 10. (2006)
Nat Phys, Vol. 2, No. 1. (January 2006), pp. 48-54.
by J
Fuchs, P
Antici, E
D/'humieres, E
Lefebvre, M
Borghesi, E
Brambrink, CA
Cecchetti, M
Kaluza, V
Malka, M
Manclossi, S
Meyroneinc, P
Mora, J
Schreiber, T
Toncian, H
Pepin, P
Audebert
Lecture Notes in Computer Science : Refinement Techniques in Software Engineering (2006), pp. 18-63.
Commun. ACM, Vol. 30, No. 8. (August 1987), pp. 672-686.
Acta Informatica, Vol. 26, No. 4. (1 February 1989), pp. 287-308.
: Formal Methods for Open Object-Based Distributed Systems (2006), pp. 123-137.
Theoretical Computer Science, Vol. 60, No. 2. (September 1988), pp. 177-229.
Public Relations Review, Vol. 30, No. 3. (September 2004), pp. 255-268.
(24 August 2006)
Physics Education, Vol. 40, No. 1., 26.
Nature, Vol. 391, No. 6662. (01 January 1998), pp. 37-42.
(1985)
Vol. 7 (1998), pp. 203-285.
SIAM J. Numer. Anal., Vol. 31, No. 6. (1994), pp. 1577-1604.
(2002), pp. 5-12.