| |
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction In Lecture Notes in Computer Science, Vol. 2297 (2002), pp. 89-150.
|
| |
Annals of Mathematics and Artificial Intelligence, Vol. 50, No. 1. (1 June 2007), pp. 79-109.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
In International Conference on Concurrency Theory, Vol. 1664 (August 1999), pp. 210-225.
|
| |
|
| |
|
| |
SIGPLAN Not., Vol. 40, No. 1. (January 2005), pp. 110-121.
|
| |
In Logic in Computer Science (1991), pp. 406-415.
|
| |
|
| |
SIAM Journal on Algebraic and Discrete Methods, Vol. 3, No. 3. (1982), pp. 351-358.
|
| |
In KDD '00: Proceedings of the sixth ACM SIGKDD international conference on Knowledge discovery and data mining (2000), pp. 161-168.
|
| |
In STOC '91: Proceedings of the twenty-third annual ACM symposium on Theory of computing (1991), pp. 175-181.
|
| |
Database and Expert Systems Applications (2004), pp. 151-160.
|
| |
Journal of Heuristics, Vol. 12, No. 4-5. (September 2006), pp. 241-262.
|
| |
Database Engineering and Applications Symposium, 2006. IDEAS '06. 10th International In Database Engineering and Applications Symposium, 2006. IDEAS '06. 10th International (2006), pp. 80-88.
|
| |
Science of Computer Programming, Vol. 34, No. 3. (1999), pp. 207-238.
|
| |
|
| |
No. 93-40. (March0, 1993)
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
In Proc. of CS\&P'00, Humboldt University (2000), pp. 189-202.
|
| |
In ICDCS '06: Proceedings of the 26th IEEE International Conference on Distributed Computing Systems (2006)
|
| |
Theoretical Computer Science, Vol. 175, No. 2. (1997), pp. 283-292.
|
| |
|
| |
Journal of Mathematical Chemistry, Vol. 18, No. 2. (1995), pp. 321-348.
|
| |
In KDD '06: Proceedings of the 12th ACM SIGKDD international conference on Knowledge discovery and data mining (2006), pp. 637-642.
|
| |
J. Chem. Inf. Model., Vol. 37, No. 4. (28 July 1997), pp. 656-671.
|
| |
: Partial Order in Environmental Sciences and Chemistry (2006), pp. 27-33.
|
| |
Bioinformatics, Vol. 20, No. 10. (10 July 2004), pp. 1546-1556.
|
| |
|
| |
In Bayesian Inference and Maximum Entropy Methods in Science and Engineering, Jackson Hole WY, USA
|
| |
DMATH: Discrete Mathematics, Vol. 136 (1994)
|
| |
|
| |
|
| |
: Partial Order in Environmental Sciences and Chemistry (2006), pp. 181-217.
|
| |
Theoretical Computer Science, Vol. 278, No. 1-2. (2002), pp. 141-158.
|
| |
In Computer Aided Verification (1998), pp. 293-304.
|
| |
Informatique Theorique et Applications, Vol. 33, No. 4/5. (1999), pp. 401-426.
|
| |
|
| |
Theor. Comput. Sci., Vol. 350, No. 2. (February 2006), pp. 292-324.
|
| |
|
Search
