] Filters: First Letter Of Last Name is M [Clear All Filters]
"Run-Time Monitoring of Requirements for Systems Composed of Web-Services: Initial Implementation and Evaluation Experience",
{Proeedings of the 3rd IEEE International Conference on Web Services (ICWS 2005)}: IEEE Computer Society, pp. 257-265, 2005.
"Monitoring WS-Agreements: An Event Calculus-Based Approach",
Test and Analysis of Web Services: Springer, pp. 265-306, 2007.
"Model Checking with Boolean Satisfiability",
{Algorithms}, vol. 63, no. 1-3, pp. 3-16, 2008.
"Consistency between Executable and Abstract Processes",
Proceedings of International IEEE Conference on e-Technology, e-Commerce, and e-Services (EEE'05): IEEE Computer Society, pp. 60-67, 2005.
"Analyzing Web Service Based Business Processes",
Proceedings of the 8th International Conference on Fundamental Approaches to Software Engineering (FASE 2005), vol. 3442: Springer, pp. 19–33, 2005.
"Bringing Semantics to Web Services with OWL-S",
Proceedings of the 16th International World Wide Web Conference (WWW2007), pp. 243-277, 2007.
"Bringing Semantics to Web Services: the OWL-S Approach}",
First International Workshop on Semantic Web Services and Web Process Composition, 2004.
"An Operating Guideline Approach to the SOA",
Proceedings of the 2nd South-East European Workshop on Formal Methods 2005 (SEEFM05), 2005.
"Some Philosophical Problems From the StandPoint of Artificial Intelligence",
Machine Intelligence, vol. 4, pp. 463–502, 1969.
"Modeling E-service Orchestration through Petri Nets",
Proceedings of the Third International Workshop on Technologies for E-Services, vol. 2644: Springer, pp. 38-47, 2002.
"Linguistic Rules",
Proceedings of the Aristotelian Society, New Series, vol. 59: Blackwell Publishing, pp. 271-290, 1959.
"Asbru: a Task-Specific, Intention-Based, and Time-Oriented Language for Representing Skeletal Plans",
Proceedings of the 7th Workshop on Knowledge Engeneering Methods and Languages, pp. 9-20, 1997.
"Integrating Operations Research in Constraint Programming",
Annals OR, vol. 175, no. 1, pp. 37-76, 2010.
"Bid evaluation in combinatorial auctions: optimization and learning",
Softw., Pract. Exper., vol. 39, no. 13, pp. 1127-1155, 2009.
"Integrating operations research in constraint programming",
4OR, vol. 4, no. 3, pp. 175-219, 2006.
"Constraint Programming",
Intelligenza Artificiale, vol. 3, no. 1-2, pp. 28-34, 2006.
"MAGMA: a multiagent architecture for metaheuristics",
IEEE Transactions on Systems, Man, and Cybernetics, Part B, vol. 34, no. 2, pp. 925-941, 2004.
"Constriant Programming Links with Math Programming",
Wiley Encyclopedia of Operations Research and Management Science, vol. 2, pp. 951--965, 2011.
"Improving CP-based Local Branching via Sliced Neighborhood Search",
Symposium On Applied Computing - ACM SAC, Taiwan, 2011.
"Hybrid Optimization - The Ten Years of CPAIOR",
Springer Optimization and its Applications, vol. 45: Springer, pp. 558, 2011.
"Sliced Neighborhood Search",
Expert Systems with Applications, vol. 39, issue 5, pp. 5739-5747 , 2012.
"Sustainable Energy Policies: Challenges and Opportunities",
Design and Automation Europe - DATE 2013, Grenoble, KP Publications, 03/2013.
Abstract
"A Calculus of Mobile Processes",
Information and Computation, vol. 100, no. 1: Academic Press, Inc., pp. 1-40, 1992.
"Verification from Declarative Specifications Using Logic Programming",
24th International Conference on Logic Programming (ICLP), no. 5366: Springer, pp. 440-454, 2008.
Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach,
: University of Bologna, pp. 335, 2009.