| |
|
| |
|
| |
|
| |
|
| |
In Proceedings of the ACM SIGPLAN RULE'02 (2002), pp. 43-52.
|
| |
|
| |
ArXiv Condensed Matter e-prints (December 2005)
|
| |
In ICCV '98: Proceedings of the Sixth International Conference on Computer Vision (1998)
|
| |
ArXiv Condensed Matter e-prints (March 2004)
|
| |
In CHI '94: Conference companion on Human factors in computing systems (1994), pp. 183-184.
|
| |
Phys. Rev. E, Vol. 68, No. 5. (November 2003), 056110.
|
| |
|
| |
In Modelling Autonomous Agents in a Multi-Agent World (1992), pp. 55-68.
|
| |
|
| |
|
| |
In DAC '90: Proceedings of the 27th ACM/IEEE conference on Design automation (1990), pp. 150-155.
|
| |
|
| |
|
| |
|
| |
|
| |
In Logics in Artificial Intelligence (1994), pp. 279-299.
|
| |
In Proceedings of 16th Automated Software Engineering Conference (November 2001), pp. 157-165.
|
| |
|
| |
IEEE Transactions on Knowledge and Data Engineering, Vol. 13, No. 3. (May 2001), pp. 462-496.
|
| |
In Algebraic Logic and Universal Algebra in Computer Science, Vol. 425 (1990)
|
| |
|
| |
|
| |
|
| |
In International Conference on Software Engineering (1997), pp. 360-370.
|
| |
|
| |
|
| |
In WODA '05: Proceedings of the third international workshop on Dynamic analysis (2005), pp. 1-6.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|