Skip to main content


Export 403 results:
Sort by: Author [ Title  (Asc)] 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 
Benini, L., D. Bertozzi, A. Guerri, and M. Milano, "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.
Benini, L., D. Bertozzi, A. Guerri, and M. Milano, "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.
Lombardi, M., and M. Milano, "Allocation and scheduling of Conditional Task Graphs", Artificial Intelligence, vol. 174, no. 7-8, pp. 500-529, 2010.
Benini, L., D. Bertozzi, A. Guerri, and M. Milano, "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.
Gavanelli, M., F. Riguzzi, M. Milano, D. Sottara, A. Cangini, and P. Cagnoli, "An Application of Fuzzy Logic to Strategic Environmental Assessment", XII-th Conference of the Italian Association for Artificial Intelligence, Palermo, Springer Verlag, 2011.
Torroni, P., F. Chesani, and M. Gavanelli, "Argumentation in the Semantic Web", Intelligent Systems, IEEE, vol. 22, no. 6, pp. 66 -74, nov.-dec., 2007.
Sahai, A., V. Machiraju, M. Sayal, L. J. Jin, and F. Casati, "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.
Milano, M., and A. Guerri, "Bid evaluation in combinatorial auctions: optimization and learning", Softw., Pract. Exper., vol. 39, no. 13, pp. 1127-1155, 2009.
Kiziltan, Z., A. Lodi, M. Milano, and F. Parisini, "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)
Ruggiero, M., M. Lombardi, M. Milano, and L. Benini, "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.
Guerri, A., M. Lombardi, and M. Milano, "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)
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.
Christensen, S., and N. D. Hansen, "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.
Bonner, A. J., and M. Kifer, "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.
Bottrighi, A., F. Chesani, P. Mello, M. Montali, S. Montani, and P. Terenziani, "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.
Bonfietti, A., M. Lombardi, M. Milano, and L. Benini, "A constraint based approach to cyclic RCPSP", Principles and Practice of Constraint Programming, Perugia, Spinger, 2011.