Skip to main content


Export 11 results:
Sort by: [ Author  (Desc)] Title Type Year
Filters: First Letter Of Last Name is F  [Clear All Filters]
A B C D E [F] G H I J K L M N O P Q R S T U V W X Y Z   [Show ALL]
Frühwirth, T., "Theory and Practice of Constraint Handling Rules", Logic Programming, vol. 37, no. 1-3, pp. 95-138, 1998.
Fridsma, D. B., "Special Issue on Workflow Management and Clinical Guidelines", Journal of the American Medical Informatics Association, vol. 22, no. 1, 2001.
Foster, H., S. Uchitel, J. Magee, and J. Kramer, "Model-based Verification of Web Service Composition", Proceedings of 18th IEEE International Conference on Automated Software Engineering (ASE), pp. 152-161, 2003.
Förster, A., G. Engels, T. Schattkowsky, and R. van der Straeten, "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.
Fornara, N., and M. Colombetti, "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.
Fisher, M., C. Dixon, and M. Peim, "Clausal Remporal Resolution", ACM Transactions on Computational Logic, vol. 2, no. 1, pp. 12-56, 2001.