] Filters: First Letter Of Last Name is F [Clear All Filters]
"The Iff Proof Procedure for Abductive Logic Programming",
Logic Programming, vol. 33, no. 2, pp. 151-165, 1997.
"Theory and Practice of Constraint Handling Rules",
Logic Programming, vol. 37, no. 1-3, pp. 95-138, 1998.
"Special Issue on Workflow Management and Clinical Guidelines",
Journal of the American Medical Informatics Association, vol. 22, no. 1, 2001.
Model Driven Architecture: Applying MDA to Enterprise Computing,
: John Wiley & Sons, 2003.
"MPOpt-Cell: a high-performance data-flow programming environment for the CELL BE processor",
Conf. Computing Frontiers, pp. 11, 2011.
"Model-based Verification of Web Service Composition",
Proceedings of 18th IEEE International Conference on Automated Software Engineering (ASE), pp. 152-161, 2003.
"Verification of Business Process Quality Constraints Based on Visual Process Patterns",
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007): IEEE Computer Society, pp. 197-208, 2007.
"Operational Specification of a Commitment-Based Agent Communication Language",
Proceedings of the First International Joint Conference on Autonomous Agents {&} Multiagent Systems (AAMAS 2002): ACM Press, pp. 535-542, 2002.
"Clausal Remporal Resolution",
ACM Transactions on Computational Logic, vol. 2, no. 1, pp. 12-56, 2001.
Clinical Practice Guidelines. Directions for a New Program,
: National Academy Press, 1990.
"An Integrated Life Cycle for Workflow Management Based on Learning and Planning",
{Cooperative Information Systems}, vol. 15, no. 4, pp. 485-505, 2006.