Skip to main content

Biblio

Export 386 results:
Sort by: [ Author  (Asc)] Title Type Year
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 
A
Aalst, W., M. Dumas, C. Ouyang, A. Rozinat, and E. Verbeek, "Conformance Checking of Service Behavior", {ACM Transactions on Internet Technologies}, vol. 8, no. 3, 2008.
Aalst, W., H. T. de Beer, and B. F. van Dongen, "Process Mining and Verification of Properties: An Approach based on Temporal Logic", {Proceedings of the OTM 2005 Confederated International Conferences CoopIS, DOA, and ODBASE}, vol. 3760: Springer, pp. 130-147, 2005.
Aalst, W., T. Weijters, and L. Maruster, "Workflow Mining: Discovering Process Models from Event Logs", IEEE Transactions on Knowledge and Data Engineering, vol. 16, no. 9, pp. 1128-1142, 2004.
Aalst, W., B. F., C. W., R. S., A. K. Alves de Medeiros, A. Rozinat, V., M., H. M. W., and A. J. M. M. Weijters, "ProM 4.0: Comprehensive Support for Real Process Analysis", {Proceedings of the 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2007)}, vol. 4546: Springer, pp. 484–494, 2007.
Aalst, W., M. Dumas, and A. H. M. ter Hofstede, "Web Service Composition Languages: Old Wine in New Bottles?", Proceeding of the 29th EUROMICRO Conference: New Waves in System Architecture: IEEE Computer Society, pp. 298–305, 2003.
Aalst, W., "Verification of Workflow Nets", Proceedings of the 18th International Conference on Application and Theory of Petri Nets 1997, vol. 1248: Springer, pp. 407-426, 1997.
Aalst, W., A. H. M. ter Hofstede, B. Kiepuszewski, and A. Barros, "Workflow Patterns", Distributed and Parallel Databases, vol. 14, no. 1, pp. 5-51, 2003.
Aalst, W., and M. Pesic, "DecSerFlow: Towards a Truly Declarative Service Flow Language", Proceedings of the 3rd Workshop on Web Services and Formal Methods (WS-FM2006), vol. 4184: Springer, pp. 1-23, 2006.
Aalst, W., and S. Jablonski, "Dealing with Workflow Change: Identification of Issues and Solutions", Computer Systems, Science, and Engineering, vol. 15, no. 5, pp. 267-276, 2000.
Aalst, W., M. Dumas, A. H. M. ter Hofstede, N. Russell, H. M. W. Verbeek, and P. Wohed, "Life After BPEL?", Proceedings of the 2nd International Workshop on Web Services and Formal Methods ({WS}-{FM} 2005), vol. 3670: Springer, pp. 35–50, 2005.
Agrawal, R., D. Gunopulos, and F. Leymann, "Mining Process Models from Workflow Logs", {6th International Conference on Extending Database Technology (EDBT1998)}, vol. 1377: Springer, pp. 469-483, 1998.
Alberti, M., M. Gavanelli, E. Lamma, P. Mello, G. Sartor, and P. Torroni, "Mapping Deontic Operators to Abductive Expectations", Computational and Mathematical Organization Theory, vol. 12, no. 2-3: Springer, pp. 205-225, 2006.
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, and P. Torroni, "Policy-Based Reasoning for Smart Web Service Interaction", Proceedings of the 3rd Workshop on Semantic Web Applications and Perspectives (SWAP'06), vol. 201, 2006.
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, and P. Torroni, "A Rule-Based Approach for Reasoning about Collaboration between Smart Web-Services", Proceedings of the First International Conference on Web Reasoning and Rule Systems (RR'07), vol. 4524: Springer Verlag, pp. 279-288, 2007.
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, S. Storari, and P. Torroni, "A Computational Logic-Based Approach to Verification of IT Systems", Proceedings of the 14th Annual Workshop of HP Software University Association (HP-SUA 2007): HP Software University Association, 2007.
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and M. Montali, "An Abductive Framework for A-Priori Verification of Web Services", Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming: ACM Press, pp. 39-50, 2006.
Alberti, M., F. Chesani, E. Lamma, M. Gavanelli, P. Mello, M. Montali, and P. Torroni, "Policy-Based Reasoning for Smart Web Service Interaction", Proceedings of the First International Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services, vol. 196, pp. 87-102, 2006.
Alberti, M., M. Gavanelli, E. Lamma, P. Mello, and M. Milano, "A CHR-based implementation of known arc-consistency", Theory and Practice of Logic Programming, vol. 5, no. 4-5, pp. 419-440, 2005.