Skip to main content


Export 11 results:
Sort by: [ Author  (Asc)] 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]
Fisher, M., C. Dixon, and M. Peim, "Clausal Remporal Resolution", ACM Transactions on Computational Logic, vol. 2, no. 1, pp. 12-56, 2001.
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.
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.
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.
Fridsma, D. B., "Special Issue on Workflow Management and Clinical Guidelines", Journal of the American Medical Informatics Association, vol. 22, no. 1, 2001.
Frühwirth, T., "Theory and Practice of Constraint Handling Rules", Logic Programming, vol. 37, no. 1-3, pp. 95-138, 1998.