| |
In VLHCC '05: Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05) (2005), pp. 125-133.
|
| |
|
| |
In IJCAI (2001), pp. 67-73.
|
| |
In Computer Aided Verification (1998), pp. 293-304.
|
| |
|
| |
|
| |
|
| |
: Recent Trends in Algebraic Development Techniques (2005), pp. 126-143.
|
| |
: Algebra and Coalgebra in Computer Science (2005), pp. 313-330.
|
| |
In Category Theory and Computer Science (1995), pp. 3-23.
|
| |
|
| |
|
| |
|
| |
In Formal Modeling in Electronic Commerce (2003)
|
| |
In APL '98: Proceedings of the APL98 conference on Array processing language (1998), pp. 215-221.
|
| |
|
| |
In WSC '00: Proceedings of the 32nd conference on Winter simulation (2000), pp. 2010-2014.
|
| |
|
| |
In ICES (2000), pp. 80-89.
|
| |
|
| |
|
| |
Comput Methods Programs Biomed, Vol. 55, No. 2. (February 1998), pp. 127-155.
|
| |
In AAAI/{IAAI} (1998), pp. 240-247.
|
| |
Artificial Intelligence, 1986. Reprinted in Qualitative Reasoning about Physical Systems, ed. Daniel Weld and J. De Kleer, Morgan Kaufmann, 1990, p.236-260, Vol. 26 (1986), pp. 289-338.
|
| |
|
| |
Lecture Notes in Computer Science : Artificial Intelligence and Simulation (2005), pp. 14-23.
|
| |
In WWW '02: Proceedings of the 11th international conference on World Wide Web (2002), pp. 77-88.
|
| |
Math. Comput. Simul., Vol. 36, No. 2. (June 1994), pp. 91-101.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Sociological Forum, Vol. 12, No. 1. (1997), pp. 103-115.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|