Michela Milano

Michele Lombardi, Michela Milano, Luca Benini: Robust Scheduling of Task Graphs under Execution Time Uncertainty. IEEE Trans. Computers 62(1): 98-111 (2013)

Michela Milano: Sustainable energy policies: research challenges and opportunities. DATE 2013: 1143-1148

Michele Lombardi, Michela Milano: A min-flow algorithm for Minimal Critical Set detection in Resource Constrained Project Scheduling. Artif. Intell. 182-183: 58-67 (2012)

Michele Lombardi, Michela Milano: Optimal methods for resource allocation and scheduling: a cross-disciplinary survey. Constraints 17(1): 51-85 (2012)

Fabio Parisini, Michela Milano: Sliced Neighborhood Search. Expert Syst. Appl. 39(5): 5739-5747 (2012)

Zeynep Kiziltan, Andrea Lodi, Michela Milano, Fabio Parisini: Bounding, filtering and diversification in CP-based local branching. J. Heuristics 18(3): 353-374 (2012)

Andrea Bartolini, Michele Lombardi, Michela Milano, Luca Benini: Optimization and Controlled Systems: A Case Study on Thermal Aware Workload Dispatching. AAAI 2012

Alessio Bonfietti, Michele Lombardi, Luca Benini, Michela Milano: Global Cyclic Cumulative Constraint. CPAIOR 2012: 81-96

Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli: Constraint and Optimization techniques for supporting Policy Making. ISAIM 2012

Michela Milano (Ed.): Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings. Lecture Notes in Computer Science 7514, Springer 2012, isbn 978-3-642-33557-0

Luca Benini, Michele Lombardi, Michela Milano, Martino Ruggiero: Optimal resource allocation and scheduling for the CELL BE platform. Annals OR 184(1): 51-77 (2011)

Michele Lombardi, Michela Milano, Andrea Roli, Alessandro Zanarini: Deriving Information from Sampling and Diving. Fundam. Inform. 107(2-3): 267-287 (2011)

Massimiliano Cattafi, Marco Gavanelli, Michela Milano, Paolo Cagnoli: Sustainable biomass power plant location in the Italian Emilia-Romagna region. ACM TIST 2(4): 33 (2011)

Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Davide Sottara, Alessandro Cangini, Paolo Cagnoli: An Application of Fuzzy Logic to Strategic Environmental Assessment. AI*IA 2011: 324-335

Alessio Franceschelli, Paolo Burgio, Giuseppe Tagliavini, Andrea Marongiu, Martino Ruggiero, Michele Lombardi, Alessio Bonfietti, Michela Milano, Luca Benini: MPOpt-Cell: a high-performance data-flow programming environment for the CELL BE processor. Conf. Computing Frontiers 2011: 11

Andrea Bartolini, Michele Lombardi, Michela Milano, Luca Benini: Neuron Constraints to Model Complex Real-World Problems. CP 2011: 115-129

Alessio Bonfietti, Michele Lombardi, Luca Benini, Michela Milano: A Constraint Based Approach to Cyclic RCPSP. CP 2011: 130-144

Michele Lombardi, Alessio Bonfietti, Michela Milano, Luca Benini: Precedence Constraint Posting for Cyclic Scheduling Problems. CPAIOR 2011: 137-153

Fabio Parisini, Michela Milano: Improving CP-based local branching via sliced neighborhood search. SAC 2011: 887-892

Andrea Roli, Michela Milano: Solving the Satisfiability Problem Through Boolean Networks. CoRR abs/1101.6009 (2011)

Michele Lombardi, Michela Milano: Allocation and scheduling of Conditional Task Graphs. Artif. Intell. 174(7-8): 500-529 (2010)

Michela Milano, Mark Wallace: Integrating Operations Research in Constraint Programming. Annals OR 175(1): 37-76 (2010)

Michele Lombardi, Michela Milano, Martino Ruggiero, Luca Benini: Stochastic allocation and scheduling for conditional task graphs in multi-processor systems-on-chip. J. Scheduling 13(4): 315-345 (2010)

Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli: Logic-based decision support for strategic environmental assessment. TPLP 10(4-6): 643-658 (2010)

Fabio Parisini, Michele Lombardi, Michela Milano: Discrepancy-Based Sliced Neighborhood Search. AIMSA 2010: 91-100

Michele Lombardi, Michela Milano: Constraint Based Scheduling to Deal with Uncertain Durations and Self-Timed Execution. CP 2010: 383-397

Alessio Bonfietti, Luca Benini, Michele Lombardi, Michela Milano: An efficient and complete approach for throughput-maximal SDF allocation and scheduling on multi-core platforms. DATE 2010: 897-902

Andrea Lodi, Michela Milano, Paolo Toth (Eds.): Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings. Lecture Notes in Computer Science 6140, Springer 2010

Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli: Logic-Based Decision Support for Strategic Environmental Assessment. CoRR abs/1007.3159 (2010)

Michela Milano, Alessio Guerri: Bid evaluation in combinatorial auctions: optimization and learning. Softw., Pract. Exper. 39(13): 1127-1155 (2009)

Martino Ruggiero, Davide Bertozzi, Luca Benini, Michela Milano, A. Andrei: Reducing the Abstraction and Optimality Gaps in the Allocation and Scheduling for Variable Voltage/Frequency MPSoC Platforms. IEEE Trans. on CAD of Integrated Circuits and Systems 28(3): 378-391 (2009)

Michele Lombardi, Michela Milano, Andrea Roli, Alessandro Zanarini: Deriving Information from Sampling and Diving. AI*IA 2009: 82-91

Michele Lombardi, Michela Milano: A Precedence Constraint Posting Approach for the RCPSP with Time Lags and Variable Durations. CP 2009: 569-583

Alessio Bonfietti, Michele Lombardi, Michela Milano, Luca Benini: Throughput Constraint for Synchronous Data Flow Graphs. CPAIOR 2009: 26-40

Michele Lombardi, Michela Milano, Luca Benini: Robust non-preemptive hard real-time scheduling for clustered multicore platforms. DATE 2009: 803-808

Andrea Roli, Michela Milano: An Overview of AI Research in Italy. Artificial Intelligence: An International Perspective 2009: 174-192

Martino Ruggiero, Alessio Guerri, Davide Bertozzi, Michela Milano, Luca Benini: A Fast and Accurate Technique for Mapping Parallel Applications on Stream-Oriented MPSoC Platforms with Communication Awareness. International Journal of Parallel Programming 36(1): 3-36 (2008)

Luca Benini, Michele Lombardi, Michela Milano, Martino Ruggiero: A Constraint Programming Approach for Allocation and Scheduling on the CELL Broadband Engine. CP 2008: 21-35

Luca Benini, Michele Lombardi, Marco Mantovani, Michela Milano, Martino Ruggiero: Multi-stage Benders Decomposition for Optimizing Multicore Architectures. CPAIOR 2008: 36-50

Martino Ruggiero, Michele Lombardi, Michela Milano, Luca Benini: Cellflow: A Parallel Application Development Environment with Run-Time Support for the Cell BE Processor. DSD 2008: 645-650

Luca Benini, Davide Bertozzi, Michela Milano: Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming. ICLP 2008: 470-484

Marco Gavanelli, Michela Milano, Sergio Storari, Luca Tagliavini, Paola Baldazzi, Marilena Manfredi, Gianfranco Valastro: Greedy and Exact Algorithms for Invitation Planning in Cancer Screening. New Challenges in Applied Intelligence Technologies 2008: 255-264

Michele Lombardi, Michela Milano: Scheduling Conditional Task Graphs. CP 2007: 468-482

Zeynep Kiziltan, Andrea Lodi, Michela Milano, Fabio Parisini: CP-Based Local Branching. CP 2007: 847-855

Emiliano Dolif, Michele Lombardi, Martino Ruggiero, Michela Milano, Luca Benini: Communication-aware stochastic allocation and scheduling framework for conditional task graphs in multi-processor systems-on-chip. EMSOFT 2007: 47-56

Michela Milano, Mark Wallace: Integrating operations research in constraint programming. 4OR 4(3): 175-219 (2006)

Roman Barták, Michela Milano: Introduction to the Special Issue on the Integration of AI and OR Techniques in CP for Combinatorial Optimization (CPAIOR 2005). Constraints 11(4): 269-270 (2006)

Michela Milano, Francesca Rossi: Constraint Programming. Intelligenza Artificiale 3(1-2): 28-34 (2006)

Andrea Lodi, Michela Milano, Louis-Martin Rousseau: Discrepancy-Based Additive Bounding Procedures. INFORMS Journal on Computing 18(4): 480-493 (2006)

Michele Lombardi, Michela Milano: Stochastic Allocation and Scheduling for Conditional Task Graphs in MPSoCs. CP 2006: 299-313

Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano: Allocation, Scheduling and Voltage Scaling on Energy Aware MPSoCs. CPAIOR 2006: 44-58

Alessandro Zanarini, Michela Milano, Gilles Pesant: Improved Algorithm for the Soft Global Cardinality Constraint. CPAIOR 2006: 288-299

Martino Ruggiero, Alessio Guerri, Davide Bertozzi, Francesco Poletti, Michela Milano: Communication-aware allocation and scheduling framework for stream-oriented multi-processor systems-on-chip. DATE 2006: 3-8

Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano, Francesco Poletti: Measuring Efficiency and Executability of Allocation and Scheduling in Multi-Processor Systems-on-Chip. Intelligenza Artificiale 2(3): 13-20 (2005)

Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano: Dealing with incomplete knowledge on CLP(FD) variable domains. ACM Trans. Program. Lang. Syst. 27(2): 236-263 (2005)

Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano: A CHR-based implementation of known arc-consistency. TPLP 5(4-5): 419-440 (2005)

Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano: Allocation and Scheduling for MPSoCs via Decomposition and No-Good Generation. CP 2005: 107-121

Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano: Allocation and Scheduling for MPSoCs via decomposition and no-good generation. IJCAI 2005: 1517-1518

Marco Alberti, Federico Chesani, Alessio Guerri, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni: Expressing Interaction in Combinatorial Auction through Social Integrity Constraints. W(C)LP 2005: 53-64

Roman Barták, Michela Milano (Eds.): Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 30 - June 1, 2005, Proceedings. Lecture Notes in Computer Science 3524, Springer 2005, isbn 3-540-26152-4

Alessio Guerri, Michela Milano: Instance Structure-based Portfolio Selection. Intelligenza Artificiale 1(2): 37-45 (2004)

Michela Milano, Andrea Roli: MAGMA: a multiagent architecture for metaheuristics. IEEE Transactions on Systems, Man, and Cybernetics, Part B 34(2): 925-941 (2004)

Cormac Gebruers, Alessio Guerri, Brahim Hnich, Michela Milano: Making Choices Using Structure at the Instance Level within a Case Based Reasoning Framework. CPAIOR 2004: 380-386

Alessio Guerri, Michela Milano: Learning Techniques for Automatic Algorithm Portfolio Selection. ECAI 2004: 475-479

Willem Jan van Hoeve, Michela Milano: Postponing Branching Decisions. ECAI 2004: 1105-1106

Willem Jan van Hoeve, Michela Milano: Decomposition Based Search - A theoretical and experimental evaluation. CoRR cs.AI/0407040 (2004)

Willem Jan van Hoeve, Michela Milano: Postponing Branching Decisions. CoRR cs.AI/0407042 (2004)

Michela Milano, Willem Jan van Hoeve: Reduced cost-based ranking for generating promising subproblems. CoRR cs.AI/0407044 (2004)

Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano: A CHR-based Implementation of Known Arc-Consistency. CoRR cs.LO/0408056 (2004)

Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni: Interpreting Abduction in CLP. APPIA-GULP-PRODE 2003: 25-35

Andrea Lodi, Michela Milano, Louis-Martin Rousseau: Discrepancy-Based Additive Bounding for the AllDifferent Constraint. CP 2003: 510-524

Alessio Guerri, Michela Milano: CP-IP Techniques for the Bid Evaluation in Combinatorial Auctions. CP 2003: 863-867

Filippo Focacci, Andrea Lodi, Michela Milano: Embedding Relaxations in Global Constraints for Solving TSP and TSPTW. Ann. Math. Artif. Intell. 34(4): 291-311 (2002)

Filippo Focacci, Andrea Lodi, Michela Milano: Optimization-Oriented Global Constraints. Constraints 7(3-4): 351-365 (2002)

Filippo Focacci, Andrea Lodi, Michela Milano: Mathematical Programming Techniques in Constraint Programming: A Short Overview. J. Heuristics 8(1): 7-17 (2002)

Michela Milano, Greger Ottosson, Philippe Refalo, Erlendur S. Thorsteinsson: The Role of Integer Programming Techniques in Constraint Programming's Global Constraints. INFORMS Journal on Computing 14(4): 387-402 (2002)

Filippo Focacci, Andrea Lodi, Michela Milano: A Hybrid Exact Algorithm for the TSPTW. INFORMS Journal on Computing 14(4): 403-417 (2002)

Michela Milano, Willem Jan van Hoeve: Reduced Cost-Based Ranking for Generating Promising Subproblems. CP 2002: 1-16

Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano: Exploiting Constraints for Domain Managing in CLP(FD). FroCoS 2002: 177-191

Rosy Barruffi, Michela Milano, Rebecca Montanari: Planning for Security Management. IEEE Intelligent Systems 16(1): 74-80 (2001)

Paola Mello, Michela Milano, Marco Gavanelli, Evelina Lamma, Massimo Piccardi, Rita Cucchiara: From Eager to Lazy Constrained Data Acquisition: A General Framework. New Generation Comput. 19(4): 339-368 (2001)

F. Bosi, Michela Milano: Enhancing CLP branch and bound techniques for scheduling problems. Softw., Pract. Exper. 31(1): 17-42 (2001)

Rosy Barruffi, Michela Milano: Planning and Execution in Dynamic Environments. AI*IA 2001: 382-387

Filippo Focacci, Michela Milano: Global Cut Framework for Removing Symmetries. CP 2001: 77-92

Filippo Focacci, Andrea Lodi, Michela Milano: Cutting Planes in Constraint Programming: A Hybrid Approach. CP 2000: 187-201

Rosy Barruffi, Michela Milano, Paolo Torroni: Planning while Executing: A Constraint-Based Approach. ISMIS 2000: 228-236

Filippo Focacci, Andrea Lodi, Michela Milano, Daniele Vigo: Solving TSP through the Integration of OR and CP Techniques. Electronic Notes in Discrete Mathematics 1: 13-25 (1999)

Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi: Integrating Induction and Abduction in Logic Programming. Inf. Sci. 116(1): 25-54 (1999)

Evelina Lamma, Michela Milano, Paola Mello: Reasoning on Constraints in CLP(FD). J. Log. Program. 38(1): 93-110 (1999)

Marco Gavanelli, Michela Milano: On the Need for a Different Backtracking Rule when Dealing with Late Evaluation. Electr. Notes Theor. Comput. Sci. 30(2): 145-156 (1999)

Marco Gavanelli, Evelina Lamma, Michela Milano, Paola Mello: Domains as First Class Objects in CLP(FD). APPIA-GULP-PRODE 1999: 411-424

Michela Milano, Andrea Roli: Solving the Satisfiability Problem through Boolean Networks. AI*IA 1999: 72-83

Filippo Focacci, Andrea Lodi, Michela Milano: Cost-Based Domain Filtering. CP 1999: 189-203

Rosy Barruffi, Evelina Lamma, Paola Mello, Michela Milano: Least Commitment on Variable Binding in Presence of Incomplete Knowledge. ECP 1999: 159-171

Michela Milano, Andrea Omicini, Fabrizio Riguzzi: Adopting an Object-Oriented Data Model in Inductive Logic Programming. FLAIRS Conference 1999: 273-279

Rita Cucchiara, Evelina Lamma, Paola Mello, Michela Milano, Massimo Piccardi: 3D Object Recognition by VC-Graphs and Interactive Constraint Satisfaction. ICIAP 1999: 508-513

Filippo Focacci, Michela Milano, Andrea Lodi: Soving TSP with Time Windows with Constraints. ICLP 1999: 515-529

Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano: Domains as First Class Objects in CLP(FD). ICLP 1999: 608

Evelina Lamma, Paola Mello, Michela Milano, Rita Cucchiara, Marco Gavanelli, Massimo Piccardi: Constraint Propagation and Value Acquisition: Why we should do it Interactively. IJCAI 1999: 468-477

Evelina Lamma, Michela Milano, Paola Mello: Extending Constraint Logic Programming for Temporal Reasoning. Ann. Math. Artif. Intell. 22(1-2): 139-158 (1998)

Alberto Caprara, Filippo Focacci, Evelina Lamma, Paola Mello, Michela Milano, Paolo Toth, Daniele Vigo: Integrating Constraint Logic Programming and Operations Research Techniques for the Crew Rostering Problem. Softw., Pract. Exper. 28(1): 49-76 (1998)

Evelina Lamma, Michela Milano, Rita Cucchiara, Paola Mello, Massimo Piccardi: Interactive Constraint Satisfaction and its Application to Visual Object Recognition. APPIA-GULP-PRODE 1998: 57-70

Rosy Barruffi, Michela Milano: Interactive Constraint Satisfaction techniques for Information Gathering in Planning. ECAI 1998: 514-515

Evelina Lamma, Paola Mello, Michela Milano: A distributed constraint-based scheduler. AI in Engineering 11(2): 91-105 (1997)

Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi: An Algorithm for Learning Abductive Rules. APPIA-GULP-PRODE 1997: 295-306

Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi: Introducing Abduction into (Extensional) Inductive Logic Programming Systems. AI*IA 1997: 183-194

Evelina Lamma, Michela Milano, Paola Mello: Reasoning on Constraints in Constraint Logic Programming. ICLP 1997: 413

Rita Cucchiara, Evelina Lamma, Paola Mello, Michela Milano: An Interactive Constraint-Based System for Selective Attention in Visual Search. ISMIS 1997: 431-440

Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi: A System for Abductive Learning of Logic Programs. LPKR 1997: 102-122

Evelina Lamma, Paola Mello, Michela Milano: Enhancing Constraint Logic Programming through Meta Programming. APPIA-GULP-PRODE 1996: 523-534

Evelina Lamma, Paola Mello, Michela Milano: A Meta Constraint Logic Programming Architecture (Extended Abstract). CP 1996: 549-550

Evelina Lamma, Michela Milano, Paola Mello: Combining Solvers in a Meta Constraint Logic Programming Architecture. FroCoS 1996: 267-283

Vittorio Brusoni, Luca Console, Evelina Lamma, Paola Mello, Michela Milano, Paolo Terenziani: Resource-Based vs. Task-Based Approaches for Scheduling Problems. ISMIS 1996: 325-334

Evelina Lamma, Paola Mello, Michela Milano: Temporal Reasoning in a Meta Constraint Logic Programming Architecture. TIME 1996: 128-135