Skip to main content

Biblio

Export 385 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., 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., 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., 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., "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., 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, and E. Lamma, "Runtime Addition of Integrity Constraints in Abductive Logic Programs", Proceedings of the 26th International Conference on Logic Programming (ICLP 2010), 2010.
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., 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.
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, 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.