Michela Milano

According to our database1, Michela Milano authored at least 162 papers between 1996 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2020
Improving Deep Learning Models via Constraint-Based Domain Knowledge: a Brief Survey.
CoRR, 2020

An Analysis of Regularized Approaches for Constrained Machine Learning.
CoRR, 2020

Injective Domain Knowledge in Neural Networks for Transprecision Computing.
CoRR, 2020

The Blind Men and the Elephant: Integrated Offline/Online Optimization Under Uncertainty.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Injecting domain knowledge in neural networks: a controlled experiment on a constrained problem.
Proceedings of the First International Workshop on New Foundations for Human-Centered AI (NeHuAI) co-located with 24th European Conference on Artificial Intelligence (ECAI 2020), 2020

Hybrid Offline/Online Optimization Under Uncertainty.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Teaching the old dog new tricks: supervised learning with constraints.
Proceedings of the First International Workshop on New Foundations for Human-Centered AI (NeHuAI) co-located with 24th European Conference on Artificial Intelligence (ECAI 2020), 2020

Combining learning and optimization for transprecision computing.
Proceedings of the 17th ACM International Conference on Computing Frontiers, 2020

2019
Pricing schemes for energy-efficient HPC systems: Design and exploration.
Int. J. High Perform. Comput. Appl., 2019

A semisupervised autoencoder-based approach for anomaly detection in high performance computing systems.
Eng. Appl. Artif. Intell., 2019

A Sampling-Free Anticipatory Algorithm for the Kidney Exchange Problem.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

Logic-Based Benders Decomposition for Super Solutions: An Application to the Kidney Exchange Problem.
Proceedings of the Principles and Practice of Constraint Programming, 2019

How to Tame Your Anticipatory Algorithm.
Proceedings of the Discussion and Doctoral Consortium papers of AI*IA 2019, 2019

Frequency Assignment in High Performance Computing Systems.
Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019

Anomaly Detection Using Autoencoders in High Performance Computing Systems.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Scheduling-based power capping in high performance computing systems.
Sustain. Comput. Informatics Syst., 2018

The Need of Multidisciplinary Approaches and Engineering Tools for the Development and Implementation of the Smart City Paradigm.
Proc. IEEE, 2018

Twenty Years of Constraint Programming (CP) Research.
Constraints An Int. J., 2018

Methods for off-line/on-line optimization under uncertainty.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Boosting Combinatorial Problem Modeling with Machine Learning.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

From Offline to Online Kidney Exchange Optimization.
Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

Model Agnostic Solution of CSPs via Deep Learning: A Preliminary Study.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2018

Off-Line and On-Line Optimization Under Uncertainty: A Case Study on Energy Management.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2018

2017
Report from the Editor in Chief, year 2015.
Constraints An Int. J., 2017

Solving Mathematical Puzzles: A Challenging Competition for AI.
AI Mag., 2017

Empirical decision model learning.
Artif. Intell., 2017

Towards a Novel HMI Paradigm Based on Mixed EEG and Indoor Localization Platforms.
Proceedings of the New Generation of CAS, 2017

Driving Behaviour Clustering For Realistic Traffic Micro-Simulators.
Proceedings of the European Conference on Modelling and Simulation, 2017

Robust Optimization for Virtual Power Plants.
Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

2016
A Constraint Programming Scheduler for Heterogeneous High-Performance Computing Machines.
IEEE Trans. Parallel Distributed Syst., 2016

Predictive Modeling for Job Power Consumption in HPC Systems.
Proceedings of the High Performance Computing - 31st International Conference, 2016

DARDIS: Distributed And Randomized DIspatching and Scheduling.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Non-linear Optimization of Business Models in the Electricity Market.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

The Multirate Resource Constraint.
Proceedings of the Principles and Practice of Constraint Programming, 2016

Solving Mathematical Puzzles: a Deep Reasoning Challenge (Position Paper).
Proceedings of the AI*IA Workshop on Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents 2016 co-located with 15th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2016), 2016

2015
Embedding Decision Trees and Random Forests in Constraint Programming.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2015

Deterministic Estimation of the Expected Makespan of a POS Under Duration Uncertainty.
Proceedings of the Principles and Practice of Constraint Programming, 2015

Power Capping in High Performance Computing Systems.
Proceedings of the Principles and Practice of Constraint Programming, 2015

Agent Based Simulation of Incentive Mechanisms on Photovoltaic Adoption.
Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015

Swarm-Based Controller for Traffic Lights Management.
Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015

A CP Scheduler for High-Performance Computers.
Proceedings of the Doctoral Consortium (DC) co-located with the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015

Emerging Architectures for Global System Science.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Guest Editors' Introduction: Special Section on Computational Sustainability: Where Computer Science meets Sustainable Development.
IEEE Trans. Computers, 2014

Strategic decision making on complex systems.
Constraints An Int. J., 2014

Looking into the crystal-ball: a bright future for CP.
Constraints An Int. J., 2014

Sustainable Policy Making: A Strategic Challenge for Artificial Intelligence.
AI Mag., 2014

CROSS cyclic resource-constrained scheduling solver.
Artif. Intell., 2014

Swarm-based traffic lights policy selection.
Proceedings of the fourth ACM international symposium on Development and analysis of intelligent vehicular networks and applications, 2014

Evaluating CP Techniques to Plan Dynamic Resource Provisioning in Distributed Stream Processing.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

Disregarding Duration Uncertainty in Partial Order Schedules? Yes, We Can!
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

Proactive Workload Dispatching on the EURORA Supercomputer.
Proceedings of the Principles and Practice of Constraint Programming, 2014

Multi-Criteria Optimal Planning for Energy Policies in CLP.
Proceedings of the 29th Italian Conference on Computational Logic, 2014

2013
Robust Scheduling of Task Graphs under Execution Time Uncertainty.
IEEE Trans. Computers, 2013

Maximum-throughput mapping of SDFGs on multi-core SoC platforms.
J. Parallel Distributed Comput., 2013

Simulation Of Incentive Mechanisms For Renewable Energy Policies.
Proceedings of the 27th European Conference on Modelling and Simulation, 2013

Sustainable energy policies: research challenges and opportunities.
Proceedings of the Design, Automation and Test in Europe, 2013

Optimization for Policy Making: The Cornerstone for an Integrated Approach.
Proceedings of the Principles and Practice of Constraint Programming, 2013

Constraint and Optimization techniques for supporting Policy Making.
Proceedings of the 28th Italian Conference on Computational Logic, 2013

De-Cycling Cyclic Scheduling Problems.
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

2012
Bounding, filtering and diversification in CP-based local branching.
J. Heuristics, 2012

Sliced Neighborhood Search.
Expert Syst. Appl., 2012

Optimal methods for resource allocation and scheduling: a cross-disciplinary survey.
Constraints An Int. J., 2012

A min-flow algorithm for Minimal Critical Set detection in Resource Constrained Project Scheduling.
Artif. Intell., 2012

What-If Analysis Through Simulation-Optimization Hybrids.
Proceedings of the 26th European Conference on Modelling and Simulation, 2012

Global Cyclic Cumulative Constraint.
Proceedings of the Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, 2012

A Constraint-based Approach to Cyclic Resource-Constrained Scheduling Problem.
Proceedings of the Doctoral Consortium of the 12th Symposium of the Italian Association for Artificial Intelligence, 2012

Optimization and Controlled Systems: A Case Study on Thermal Aware Workload Dispatching.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011
Sustainable biomass power plant location in the Italian Emilia-Romagna region.
ACM Trans. Intell. Syst. Technol., 2011

Deriving Information from Sampling and Diving.
Fundam. Informaticae, 2011

Optimal resource allocation and scheduling for the CELL BE platform.
Ann. Oper. Res., 2011

Improving CP-based local branching via sliced neighborhood search.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Precedence Constraint Posting for Cyclic Scheduling Problems.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2011

A Constraint Based Approach to Cyclic RCPSP.
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

Neuron Constraints to Model Complex Real-World Problems.
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

MPOpt-Cell: a high-performance data-flow programming environment for the CELL BE processor.
Proceedings of the 8th Conference on Computing Frontiers, 2011

An Application of Fuzzy Logic to Strategic Environmental Assessment.
Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011

2010
Logic-based decision support for strategic environmental assessment.
Theory Pract. Log. Program., 2010

Stochastic allocation and scheduling for conditional task graphs in multi-processor systems-on-chip.
J. Sched., 2010

Integrating Operations Research in Constraint Programming.
Ann. Oper. Res., 2010

Allocation and scheduling of Conditional Task Graphs.
Artif. Intell., 2010

Urban Traffic Control system using self-organization.
Proceedings of the 13th International IEEE Conference on Intelligent Transportation Systems, 2010

An efficient and complete approach for throughput-maximal SDF allocation and scheduling on multi-core platforms.
Proceedings of the Design, Automation and Test in Europe, 2010

Constraint Based Scheduling to Deal with Uncertain Durations and Self-Timed Execution.
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

Discrepancy-Based Sliced Neighborhood Search.
Proceedings of the Artificial Intelligence: Methodology, 2010

2009
An Overview of AI Research in Italy.
Proceedings of the Artificial Intelligence: An International Perspective, 2009

Reducing the Abstraction and Optimality Gaps in the Allocation and Scheduling for Variable Voltage/Frequency MPSoC Platforms.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009

Bid evaluation in combinatorial auctions: optimization and learning.
Softw. Pract. Exp., 2009

Robust non-preemptive hard real-time scheduling for clustered multicore platforms.
Proceedings of the Design, Automation and Test in Europe, 2009

Throughput Constraint for Synchronous Data Flow Graphs.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009

A Precedence Constraint Posting Approach for the RCPSP with Time Lags and Variable Durations.
Proceedings of the Principles and Practice of Constraint Programming, 2009

2008
Greedy and Exact Algorithms for Invitation Planning in Cancer Screening.
Proceedings of the New Challenges in Applied Intelligence Technologies, 2008

A Fast and Accurate Technique for Mapping Parallel Applications on Stream-Oriented MPSoC Platforms with Communication Awareness.
Int. J. Parallel Program., 2008

Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming.
Proceedings of the Logic Programming, 24th International Conference, 2008

Cellflow: A Parallel Application Development Environment with Run-Time Support for the Cell BE Processor.
Proceedings of the 11th Euromicro Conference on Digital System Design: Architectures, 2008

Multi-stage Benders Decomposition for Optimizing Multicore Architectures.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

A Constraint Programming Approach for Allocation and Scheduling on the CELL Broadband Engine.
Proceedings of the Principles and Practice of Constraint Programming, 2008

2007
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, 2007

Scheduling Conditional Task Graphs.
Proceedings of the Principles and Practice of Constraint Programming, 2007

CP-Based Local Branching.
Proceedings of the Principles and Practice of Constraint Programming, 2007

2006
Discrepancy-Based Additive Bounding Procedures.
INFORMS J. Comput., 2006

Constraint Programming.
Intelligenza Artificiale, 2006

Introduction to the Special Issue on the Integration of AI and OR Techniques in CP for Combinatorial Optimization (CPAIOR 2005).
Constraints An Int. J., 2006

A Cooperative, Accurate Solving Framework for Optimal Allocation, Scheduling and Frequency Selection on Energy-Efficient MPSoCs.
Proceedings of the International Symposium on System-on-Chip, 2006

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, 2006

Improved Algorithm for the Soft Global Cardinality Constraint.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2006

Allocation, Scheduling and Voltage Scaling on Energy Aware MPSoCs.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2006

Stochastic Allocation and Scheduling for Conditional Task Graphs in MPSoCs.
Proceedings of the Principles and Practice of Constraint Programming, 2006

2005
A CHR-based implementation of known arc-consistency.
Theory Pract. Log. Program., 2005

Dealing with incomplete knowledge on CLP(<i>FD</i>) variable domains.
ACM Trans. Program. Lang. Syst., 2005

Measuring Efficiency and Executability of Allocation and Scheduling in Multi-Processor Systems-on-Chip.
Intelligenza Artificiale, 2005

Expressing Interaction in Combinatorial Auction through Social Integrity Constraints.
Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005

Allocation and Scheduling for MPSoCs via Decomposition and No-Good Generation.
Proceedings of the Principles and Practice of Constraint Programming, 2005

2004
MAGMA: a multiagent architecture for metaheuristics.
IEEE Trans. Syst. Man Cybern. Part B, 2004

Instance Structure-based Portfolio Selection.
Intelligenza Artificiale, 2004

Decomposition Based Search - A theoretical and experimental evaluation
CoRR, 2004

Postponing Branching Decisions.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Learning Techniques for Automatic Algorithm Portfolio Selection.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Making Choices Using Structure at the Instance Level within a Case Based Reasoning Framework.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2004

2003
Discrepancy-Based Additive Bounding for the AllDifferent Constraint.
Proceedings of the Principles and Practice of Constraint Programming, 2003

CP-IP Techniques for the Bid Evaluation in Combinatorial Auctions.
Proceedings of the Principles and Practice of Constraint Programming, 2003

Interpreting Abduction in CLP.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002
The Role of Integer Programming Techniques in Constraint Programming's Global Constraints.
INFORMS J. Comput., 2002

A Hybrid Exact Algorithm for the TSPTW.
INFORMS J. Comput., 2002

Mathematical Programming Techniques in Constraint Programming: A Short Overview.
J. Heuristics, 2002

Optimization-Oriented Global Constraints.
Constraints An Int. J., 2002

Embedding Relaxations in Global Constraints for Solving TSP and TSPTW.
Ann. Math. Artif. Intell., 2002

Exploiting Constraints for Domain Managing in CLP(FD).
Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

Reduced Cost-Based Ranking for Generating Promising Subproblems.
Proceedings of the Principles and Practice of Constraint Programming, 2002

2001
Enhancing CLP branch and bound techniques for scheduling problems.
Softw. Pract. Exp., 2001

From Eager to Lazy Constrained Data Acquisition: A General Framework.
New Gener. Comput., 2001

Planning for Security Management.
IEEE Intell. Syst., 2001

Global Cut Framework for Removing Symmetries.
Proceedings of the Principles and Practice of Constraint Programming, 2001

Planning and Execution in Dynamic Environments.
Proceedings of the AI*IA 2001: Advances in Artificial Intelligence, 2001

2000
Planning while Executing: A Constraint-Based Approach.
Proceedings of the Foundations of Intelligent Systems, 12th International Symposium, 2000

Cutting Planes in Constraint Programming: A Hybrid Approach.
Proceedings of the Principles and Practice of Constraint Programming, 2000

1999
On the Need for a Different Backtracking Rule when Dealing with Late Evaluation.
Electron. Notes Theor. Comput. Sci., 1999

Reasoning on Constraints in CLP(FD).
J. Log. Program., 1999

Integrating Induction and Abduction in Logic Programming.
Inf. Sci., 1999

Solving TSP through the Integration of OR and CP Techniques.
Electron. Notes Discret. Math., 1999

Constraint Propagation and Value Acquisition: Why we should do it Interactively.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Soving TSP with Time Windows with Constraints.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

3D Object Recognition by VC-Graphs and Interactive Constraint Satisfaction.
Proceedings of the 1oth International Conference on Image Analysis and Processing (ICIAP 1999), 1999

Adopting an Object-Oriented Data Model in Inductive Logic Programming.
Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, 1999

Least Commitment on Variable Binding in Presence of Incomplete Knowledge.
Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999

Cost-Based Domain Filtering.
Proceedings of the Principles and Practice of Constraint Programming, 1999

Solving the Satisfiability Problem through Boolean Networks.
Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 1999

Domains as First Class Objects in CLP(FD).
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998
Integrating Constraint Logic Programming and Operations Research Techniques for the Crew Rostering Problem.
Softw. Pract. Exp., 1998

Extending Constraint Logic Programming for Temporal Reasoning.
Ann. Math. Artif. Intell., 1998

Interactive Constraint Satisfaction techniques for Information Gathering in Planning.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998

Interactive Constraint Satisfaction and its Application to Visual Object Recognition.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997
A distributed constraint-based scheduler.
Artif. Intell. Eng., 1997

A System for Abductive Learning of Logic Programs.
Proceedings of the Logic Programming and Knowledge Representation, 1997

An Interactive Constraint-Based System for Selective Attention in Visual Search.
Proceedings of the Foundations of Intelligent Systems, 10th International Symposium, 1997

Reasoning on Constraints in Constraint Logic Programming.
Proceedings of the Logic Programming, 1997

Introducing Abduction into (Extensional) Inductive Logic Programming Systems.
Proceedings of the AI*IA 97: Advances in Artificial Intelligence, 1997

An Algorithm for Learning Abductive Rules.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996
Temporal Reasoning in a Meta Constraint Logic Programming Architecture.
Proceedings of the Third International Workshop on Temporal Representation and Reasoning, 1996

Resource-Based vs. Task-Based Approaches for Scheduling Problems.
Proceedings of the Foundations of Intelligent Systems, 9th International Symposium, 1996

Combining Solvers in a Meta Constraint Logic Programming Architecture.
Proceedings of the Frontiers of Combining Systems, 1996

A Meta Constraint Logic Programming Architecture (Extended Abstract).
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

Enhancing Constraint Logic Programming through Meta Programming.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996


  Loading...