| |
Probability in the Engineering and Informational Sciences, Vol. 5, No. 04. (1991), pp. 477-498.
|
| |
|
| |
Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions on In Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions on, Vol. 38, No. 1. (2008), pp. 207-217.
|
| |
Decision and Control, 2004. CDC. 43rd IEEE Conference on In Decision and Control, 2004. CDC. 43rd IEEE Conference on, Vol. 5 (2004), pp. 5248-5253 Vol.5.
|
| |
IEEE Transactions on Knowledge and Data Engineering In IEEE Transactions on Knowledge and Data Engineering, Vol. 16, No. 9. (September 2004), pp. 1128-1142.
|
| |
|
| |
|
| |
|
| |
Journal of Visual Languages & Computing, Vol. 19, No. 2. (April 2008), pp. 153-181.
|
| |
Bioinformatics (25 September 2008), btn483.
|
| |
Transactions on Computational Systems Biology VII (2006), pp. 56-72.
|
| |
Journal of Discrete Algorithms, Vol. 6, No. 2. (June 2008), pp. 165-177.
|
| |
|
| |
Business Process Management In Proceedings of the 4th Int'l Conference on Business Process Management ({BPM} 2006) (2006), pp. 129-144.
|
| |
|
| |
Business Process Management In Proceedings of the 3rd Int'l Conference on Business Process Management ({BPM} 2005) (2005), pp. 220-235.
|
| |
Web Services and Formal Methods (2008), pp. 77-91.
|
| |
Information Systems, Vol. In Press, Corrected Proof
|
| |
Advanced Information Systems Engineering In Proceedings of the 20th Int'l Conference on Advanced Information Systems Engineering ({CAiSE} 2008) (2008), pp. 16-31.
|
| |
|
| |
Computational Intelligence (May 2004), pp. 137-157.
|
| |
Comput. Commun., Vol. 11, No. 4. (August 1988), pp. 215-220.
|
| |
|
| |
Proceedings of the IEEE In Proceedings of the IEEE, Vol. 77, No. 4. (1989), pp. 541-580.
|
| |
IEEE Trans. on Knowl. and Data Eng., Vol. 16, No. 11. (November 2004), pp. 1339-1356.
|
| |
Bulletin of the European Association for Theoretical Computer Science, Vol. 52 (1994), pp. 245-262.
|
| |
Biochem Soc Trans, Vol. 31, No. Pt 6. (December 2003), pp. 1513-1515.
|
| |
Bioinformatics, Vol. 24, No. 2. (15 January 2008), pp. 209-217.
|
| |
In EDOC '06: Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06) (2006), pp. 441-444.
|
| |
In ICWS '04: Proceedings of the IEEE International Conference on Web Services (ICWS'04) (2004)
|
| |
Computer Security Foundations Workshop III, 1990. Proceedings In Computer Security Foundations Workshop III, 1990. Proceedings (1990), pp. 51-61.
|
| |
International Journal of Production Research, Vol. 44, No. 10. (2006), pp. 1987-2030.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 29, No. 1. (January 2004), pp. 25-36.
|
| |
In Proceedings of Colloquium on Trees in Algebra and Programming (1990), pp. 147-161.
|
| |
Logic in Computer Science, 1988. LICS '88., Proceedings of the Third Annual Symposium on In Logic in Computer Science, 1988. LICS '88., Proceedings of the Third Annual Symposium on (1988), pp. 155-164.
|
| |
In Colloquium on Trees in Algebra and Programming (1994), pp. 115-129.
|
| |
In International Conference on Concurrency Theory (1995), pp. 145-159.
|
| |
|
| |
|
| |
|
| |
The Journal of Circuits, Systems and Computers, Vol. 8, No. 1. (1998), pp. 21-66.
|
| |
Automatic Control, IEEE Transactions on, Vol. 51, No. 2. (2006), pp. 376-381.
|
| |
Automatic Control, IEEE Transactions on, Vol. 51, No. 2. (2006), pp. 325-330.
|
| |
Systems, Man and Cybernetics, Part A, IEEE Transactions on, Vol. 36, No. 2. (2006), pp. 327-337.
|
| |
Systems, Man and Cybernetics, Part B, IEEE Transactions on, Vol. 35, No. 6. (2005), pp. 1193-1202.
|
| |
Lecture Notes in Computer Science, Vol. 3536 (January 2005), pp. 148-167.
|
| |
The International Journal of Advanced Manufacturing Technology, Vol. 25, No. 7 - 8. (April 2005), pp. 735-742.
|
| |
Mathematics and Computers in Simulation, Vol. 61, No. 1. (01 November 2002), pp. 53-59.
|
| |
|
| |
|
Search
