] Filters: First Letter Of Last Name is M [Clear All Filters]
"A Pattern-based Analysis of Clinical Computer-Interpretable Guideline Modelling Languages",
Journal of the American Medical Informatics Association, vol. 14, pp. 781-787, 2007.
Distributed Event-Based Systems,
: Springer, 2006.
"Inductive Logic Programming",
New Generation Computing, vol. 8, no. 4, pp. 295-318, 1991.
"Inductive Logic Programming: Theory and Methods",
Logic Programming, vol. 19/20, pp. 629-679, 1994.
"Non-intrusive monitoring and service adaptation for WS-BPEL",
Proceedings of the 17th International Conference on World Wide Web (WWW 2008): ACM, pp. 815-824, 2008.
"A Set-Theoretic Framework for Component Composition",
Fundamenta Informaticae, vol. 59, no. 4, pp. 373-396, 2004.
"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.
"Declarative Specification and Verification of Service Choreographies",
ACM Transactions on the Web, vol. 4, no. 1, 2010.
"Compliance Checking of Execution Traces to Business Rules: an Approach Based on Logic Programming",
23-esimo Convegno Italiano di Logica Computazionale (CILC 2008), 2008.
"Verification from Declarative Specifications Using Logic Programming",
15th RCRA workshop: Experimental evaluation of algorithms for solving problems with combinatorial explosion, 2008.
"Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes",
Fundamenta Informaticae, vol. 102, issue 3-4: IOS Press, pp. 325-361, 11/2010.
"Engineering and Verifying Agent-Oriented Requirements Augmented by Business Constraints with B-Tropos",
Autonomous Agents and Multi-Agent Systems: Springer, pp. 1-31, 2010.
"Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach",
Lecture Notes in Business Information Processing, vol. 56: Springer, pp. 411, 2010.
"A Calculus of Mobile Processes",
Information and Computation, vol. 100, no. 1: Academic Press, Inc., pp. 1-40, 1992.
"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
