]
"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.
"Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part I",
KES-AMSTA (1), vol. 6070: Springer, 2010.
"Allocation and Scheduling for MPSoCs via Decomposition and No-Good Generation",
Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, pp. 107-121, 2005.
"Allocation and Scheduling for MPSoCs via decomposition and no-good generation",
IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, pp. 1517-1518, 2005.
"Allocation and scheduling of Conditional Task Graphs",
Artificial Intelligence, vol. 174, no. 7-8, pp. 500-529, 2010.
"Allocation, Scheduling and Voltage Scaling on Energy Aware MPSoCs",
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Third International Conference, CPAIOR 2006, pp. 44-58, 2006.
"An Application of Fuzzy Logic to Strategic Environmental Assessment",
XII-th Conference of the Italian Association for Artificial Intelligence, Palermo, Springer Verlag, 2011.
"Argumentation in the Semantic Web",
Intelligent Systems, IEEE, vol. 22, no. 6, pp. 66 -74, nov.-dec., 2007.
"Automated SLA Monitoring for Web Services",
Proceedings of the 13th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM 2002), vol. 2506: Springer, pp. 28-41, 2002.
"Bid evaluation in combinatorial auctions: optimization and learning",
Softw., Pract. Exper., vol. 39, no. 13, pp. 1127-1155, 2009.
"Bounding, Filtering and Diversification in CP-based Local Branching",
Journal of Heuristics, vol. 18, issue 3, pp. 353-374, 2012.
Download: JoHLocalBranching.pdf (695.29 KB)
"Cellflow: A Parallel Application Development Environment with Run-Time Support for the Cell BE Processor",
11th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, DSD 2008, Parma, Italy, pp. 645-650, 2008.
"Challenging Scheduling Problem in the field of System Design",
presented at the ICAPS07 workshop: Scheduling a Scheduling Competition, 2007.
Download: WS.pdf (208.34 KB)
"A CHR-based implementation of known arc-consistency",
Theory and Practice of Logic Programming, vol. 5, no. 4-5, pp. 419-440, 2005.
"Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs",
Proceedings of the 14th International Conference on Application and Theory of Petri Nets, vol. 691: Springer, pp. 186-205, 1993.
"Communication-aware allocation and scheduling framework for stream-oriented multi-processor systems-on-chip",
Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, pp. 3-8, 2006.
"Communication-aware stochastic allocation and scheduling framework for conditional task graphs in multi-processor systems-on-chip",
Proceedings of the 7th ACM {&} IEEE International conference on Embedded software, EMSOFT 2007, pp. 47-56, 2007.
"A Computational Logic Application Framework for Service Discovery and Contracting",
International Journal Web Service Research, vol. 8, no. 3: IGI Global, pp. 1-25, 2011.
"Concurrency and Communication in Transaction Logic",
Proceedings of the Joint International Conference and Symposium on Logic Programming (JICSLP '96): MIT Press, pp. 142-156, 1996.
"A Configurable Rete-OO Engine for Reasoning with Different Types of Imperfect Information",
IEEE Transactions on Knowledge and Data Engineering, vol. 22, Los Alamitos, CA, USA, IEEE Computer Society, pp. 1535-1548, 2010.
Download: Sottara, Mello, Proctor - A configurable Rete-OO engine for Reasoning with Different Types of Imperfect Information - 2010.pdf (1.78 MB)
"Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge",
Business Process Management Workshops, vol. 100, Clermont-Ferrand, France, Springer Berlin Heidelberg, pp. 200-211, 01/2012.
"Constraint and Optimization techniques for supporting Policy Making",
International Symposium on Artificial Intelligence and Mathematics, ISAIM, 2012, 01/2012.
"A constraint based approach to cyclic RCPSP",
Principles and Practice of Constraint Programming, Perugia, Spinger, 2011.
"Constraint based scheduling to deal with uncertain durations and self timed execution",
Principles and Practice of Constraint Programming 16th International Conference, CP 2010, St. Andrews, Scotland, pp. 383-397, 2010.
"Constraint Programming",
Intelligenza Artificiale, vol. 3, no. 1-2, pp. 28-34, 2006.