Search the dblp DataBase
Michela Milano :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Marco Gavanelli , Evelina Lamma , Michela Milano , Paola Mello Domains as First Class Objects in CLP(FD). [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1999, pp:411-424 [Conf ] Marco Gavanelli , Evelina Lamma , Paola Mello , Michela Milano , Paolo Torroni Interpreting Abduction in CLP. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 2003, pp:25-35 [Conf ] Evelina Lamma , Michela Milano , Rita Cucchiara , Paola Mello , Massimo Piccardi Interactive Constraint Satisfaction and its Application to Visual Object Recognition. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1998, pp:57-70 [Conf ] Evelina Lamma , Paola Mello , Michela Milano Enhancing Constraint Logic Programming through Meta Programming. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1996, pp:523-534 [Conf ] Evelina Lamma , Paola Mello , Michela Milano , Fabrizio Riguzzi An Algorithm for Learning Abductive Rules. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1997, pp:295-306 [Conf ] Rosy Barruffi , Michela Milano Planning and Execution in Dynamic Environments. [Citation Graph (0, 0)][DBLP ] AI*IA, 2001, pp:382-387 [Conf ] Evelina Lamma , Paola Mello , Michela Milano , Fabrizio Riguzzi Introducing Abduction into (Extensional) Inductive Logic Programming Systems. [Citation Graph (0, 0)][DBLP ] AI*IA, 1997, pp:183-194 [Conf ] Michela Milano , Andrea Roli Solving the Satisfiability Problem through Boolean Networks. [Citation Graph (0, 0)][DBLP ] AI*IA, 1999, pp:72-83 [Conf ] Luca Benini , Davide Bertozzi , Alessio Guerri , Michela Milano Allocation and Scheduling for MPSoCs via Decomposition and No-Good Generation. [Citation Graph (0, 0)][DBLP ] CP, 2005, pp:107-121 [Conf ] Filippo Focacci , Andrea Lodi , Michela Milano Cutting Planes in Constraint Programming: A Hybrid Approach. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:187-201 [Conf ] Filippo Focacci , Andrea Lodi , Michela Milano Cost-Based Domain Filtering. [Citation Graph (0, 0)][DBLP ] CP, 1999, pp:189-203 [Conf ] Filippo Focacci , Michela Milano Global Cut Framework for Removing Symmetries. [Citation Graph (0, 0)][DBLP ] CP, 2001, pp:77-92 [Conf ] Alessio Guerri , Michela Milano CP-IP Techniques for the Bid Evaluation in Combinatorial Auctions. [Citation Graph (0, 0)][DBLP ] CP, 2003, pp:863-867 [Conf ] Evelina Lamma , Paola Mello , Michela Milano A Meta Constraint Logic Programming Architecture (Extended Abstract). [Citation Graph (0, 0)][DBLP ] CP, 1996, pp:549-550 [Conf ] Andrea Lodi , Michela Milano , Louis-Martin Rousseau Discrepancy-Based Additive Bounding for the AllDifferent Constraint. [Citation Graph (0, 0)][DBLP ] CP, 2003, pp:510-524 [Conf ] Michele Lombardi , Michela Milano Stochastic Allocation and Scheduling for Conditional Task Graphs in MPSoCs. [Citation Graph (0, 0)][DBLP ] CP, 2006, pp:299-313 [Conf ] Michela Milano , Willem Jan van Hoeve Reduced Cost-Based Ranking for Generating Promising Subproblems. [Citation Graph (0, 0)][DBLP ] CP, 2002, pp:1-16 [Conf ] Alessandro Zanarini , Michela Milano , Gilles Pesant Improved Algorithm for the Soft Global Cardinality Constraint. [Citation Graph (0, 0)][DBLP ] CPAIOR, 2006, pp:288-299 [Conf ] Luca Benini , Davide Bertozzi , Alessio Guerri , Michela Milano Allocation, Scheduling and Voltage Scaling on Energy Aware MPSoCs. [Citation Graph (0, 0)][DBLP ] CPAIOR, 2006, pp:44-58 [Conf ] Cormac Gebruers , Alessio Guerri , Brahim Hnich , Michela Milano Making Choices Using Structure at the Instance Level within a Case Based Reasoning Framework. [Citation Graph (0, 0)][DBLP ] CPAIOR, 2004, pp:380-386 [Conf ] Martino Ruggiero , Alessio Guerri , Davide Bertozzi , Francesco Poletti , Michela Milano Communication-aware allocation and scheduling framework for stream-oriented multi-processor systems-on-chip. [Citation Graph (0, 0)][DBLP ] DATE, 2006, pp:3-8 [Conf ] Rosy Barruffi , Michela Milano Interactive Constraint Satisfaction techniques for Information Gathering in Planning. [Citation Graph (0, 0)][DBLP ] ECAI, 1998, pp:514-515 [Conf ] Alessio Guerri , Michela Milano Learning Techniques for Automatic Algorithm Portfolio Selection. [Citation Graph (0, 0)][DBLP ] ECAI, 2004, pp:475-479 [Conf ] Willem Jan van Hoeve , Michela Milano Postponing Branching Decisions. [Citation Graph (0, 0)][DBLP ] ECAI, 2004, pp:1105-1106 [Conf ] Rosy Barruffi , Evelina Lamma , Paola Mello , Michela Milano Least Commitment on Variable Binding in Presence of Incomplete Knowledge. [Citation Graph (0, 0)][DBLP ] ECP, 1999, pp:159-171 [Conf ] Michela Milano , Andrea Omicini , Fabrizio Riguzzi Adopting an Object-Oriented Data Model in Inductive Logic Programming. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:273-279 [Conf ] Marco Gavanelli , Evelina Lamma , Paola Mello , Michela Milano Exploiting Constraints for Domain Managing in CLP(FD). [Citation Graph (0, 0)][DBLP ] FroCos, 2002, pp:177-191 [Conf ] Evelina Lamma , Michela Milano , Paola Mello Combining Solvers in a Meta Constraint Logic Programming Architecture. [Citation Graph (0, 0)][DBLP ] Frontiers of Combining Systems (FroCos), 1996, pp:267-283 [Conf ] Rita Cucchiara , Evelina Lamma , Paola Mello , Michela Milano , Massimo Piccardi 3D Object Recognition by VC-Graphs and Interactive Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] ICIAP, 1999, pp:508-513 [Conf ] Filippo Focacci , Michela Milano , Andrea Lodi Soving TSP with Time Windows with Constraints. [Citation Graph (0, 0)][DBLP ] ICLP, 1999, pp:515-529 [Conf ] Marco Gavanelli , Evelina Lamma , Paola Mello , Michela Milano Domains as First Class Objects in CLP(FD). [Citation Graph (0, 0)][DBLP ] ICLP, 1999, pp:608- [Conf ] Evelina Lamma , Michela Milano , Paola Mello Reasoning on Constraints in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] ICLP, 1997, pp:413- [Conf ] Luca Benini , Davide Bertozzi , Alessio Guerri , Michela Milano Allocation and Scheduling for MPSoCs via decomposition and no-good generation. [Citation Graph (0, 0)][DBLP ] IJCAI, 2005, pp:1517-1518 [Conf ] Evelina Lamma , Paola Mello , Michela Milano , Rita Cucchiara , Marco Gavanelli , Massimo Piccardi Constraint Propagation and Value Acquisition: Why we should do it Interactively. [Citation Graph (0, 0)][DBLP ] IJCAI, 1999, pp:468-477 [Conf ] Vittorio Brusoni , Luca Console , Evelina Lamma , Paola Mello , Michela Milano , Paolo Terenziani Resource-Based vs. Task-Based Approaches for Scheduling Problems. [Citation Graph (0, 0)][DBLP ] ISMIS, 1996, pp:325-334 [Conf ] Rosy Barruffi , Michela Milano , Paolo Torroni Planning while Executing: A Constraint-Based Approach. [Citation Graph (0, 0)][DBLP ] ISMIS, 2000, pp:228-236 [Conf ] Rita Cucchiara , Evelina Lamma , Paola Mello , Michela Milano An Interactive Constraint-Based System for Selective Attention in Visual Search. [Citation Graph (0, 0)][DBLP ] ISMIS, 1997, pp:431-440 [Conf ] Evelina Lamma , Paola Mello , Michela Milano , Fabrizio Riguzzi A System for Abductive Learning of Logic Programs. [Citation Graph (0, 0)][DBLP ] LPKR, 1997, pp:102-122 [Conf ] Evelina Lamma , Paola Mello , Michela Milano Temporal Reasoning in a Meta Constraint Logic Programming Architecture. [Citation Graph (0, 0)][DBLP ] TIME, 1996, pp:- [Conf ] 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. [Citation Graph (0, 0)][DBLP ] W(C)LP, 2005, pp:53-64 [Conf ] Michela Milano , Mark Wallace Integrating operations research in constraint programming. [Citation Graph (0, 0)][DBLP ] 4OR, 2006, v:4, n:3, pp:175-219 [Journal ] Evelina Lamma , Paola Mello , Michela Milano A distributed constraint-based scheduler. [Citation Graph (0, 0)][DBLP ] AI in Engineering, 1997, v:11, n:2, pp:91-105 [Journal ] Filippo Focacci , Andrea Lodi , Michela Milano Embedding Relaxations in Global Constraints for Solving TSP and TSPTW. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2002, v:34, n:4, pp:291-311 [Journal ] Evelina Lamma , Michela Milano , Paola Mello Extending Constraint Logic Programming for Temporal Reasoning. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 1998, v:22, n:1-2, pp:139-158 [Journal ] Filippo Focacci , Andrea Lodi , Michela Milano Optimization-Oriented Global Constraints. [Citation Graph (0, 0)][DBLP ] Constraints, 2002, v:7, n:3-4, pp:351-365 [Journal ] 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). [Citation Graph (0, 0)][DBLP ] Constraints, 2006, v:11, n:4, pp:269-270 [Journal ] Willem Jan van Hoeve , Michela Milano Decomposition Based Search - A theoretical and experimental evaluation [Citation Graph (0, 0)][DBLP ] CoRR, 2004, v:0, n:, pp:- [Journal ] Willem Jan van Hoeve , Michela Milano Postponing Branching Decisions [Citation Graph (0, 0)][DBLP ] CoRR, 2004, v:0, n:, pp:- [Journal ] Michela Milano , Willem Jan van Hoeve Reduced cost-based ranking for generating promising subproblems [Citation Graph (0, 0)][DBLP ] CoRR, 2004, v:0, n:, pp:- [Journal ] Marco Alberti , Marco Gavanelli , Evelina Lamma , Paola Mello , Michela Milano A CHR-based Implementation of Known Arc-Consistency [Citation Graph (0, 0)][DBLP ] CoRR, 2004, v:0, n:, pp:- [Journal ] Rosy Barruffi , Michela Milano , Rebecca Montanari Planning for Security Management. [Citation Graph (0, 0)][DBLP ] IEEE Intelligent Systems, 2001, v:16, n:1, pp:74-80 [Journal ] Filippo Focacci , Andrea Lodi , Michela Milano Mathematical Programming Techniques in Constraint Programming: A Short Overview. [Citation Graph (0, 0)][DBLP ] J. Heuristics, 2002, v:8, n:1, pp:7-17 [Journal ] Alessio Guerri , Michela Milano Instance Structure-based Portfolio Selection. [Citation Graph (0, 0)][DBLP ] Intelligenza Artificiale, 2004, v:1, n:2, pp:37-45 [Journal ] Luca Benini , Davide Bertozzi , Alessio Guerri , Michela Milano , Francesco Poletti Measuring Efficiency and Executability of Allocation and Scheduling in Multi-Processor Systems-on-Chip. [Citation Graph (0, 0)][DBLP ] Intelligenza Artificiale, 2005, v:2, n:3, pp:13-20 [Journal ] Michela Milano , Francesca Rossi Constraint Programming. [Citation Graph (0, 0)][DBLP ] Intelligenza Artificiale, 2006, v:3, n:1-2, pp:28-34 [Journal ] Filippo Focacci , Andrea Lodi , Michela Milano A Hybrid Exact Algorithm for the TSPTW. [Citation Graph (0, 0)][DBLP ] INFORMS Journal on Computing, 2002, v:14, n:4, pp:403-417 [Journal ] Michela Milano , Greger Ottosson , Philippe Refalo , Erlendur S. Thorsteinsson The Role of Integer Programming Techniques in Constraint Programming's Global Constraints. [Citation Graph (0, 0)][DBLP ] INFORMS Journal on Computing, 2002, v:14, n:4, pp:387-402 [Journal ] Evelina Lamma , Paola Mello , Michela Milano , Fabrizio Riguzzi Integrating Induction and Abduction in Logic Programming. [Citation Graph (0, 0)][DBLP ] Inf. Sci., 1999, v:116, n:1, pp:25-54 [Journal ] Evelina Lamma , Michela Milano , Paola Mello Reasoning on Constraints in CLP(FD). [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1999, v:38, n:1, pp:93-110 [Journal ] Paola Mello , Michela Milano , Marco Gavanelli , Evelina Lamma , Massimo Piccardi , Rita Cucchiara From Eager to Lazy Constrained Data Acquisition: A General Framework. [Citation Graph (0, 0)][DBLP ] New Generation Comput., 2001, v:19, n:4, pp:339-368 [Journal ] F. Bosi , Michela Milano Enhancing CLP branch and bound techniques for scheduling problems. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 2001, v:31, n:1, pp:17-42 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1998, v:28, n:1, pp:49-76 [Journal ] Marco Gavanelli , Michela Milano On the Need for a Different Backtracking Rule when Dealing with Late Evaluation. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1999, v:30, n:2, pp:- [Journal ] Marco Gavanelli , Evelina Lamma , Paola Mello , Michela Milano Dealing with incomplete knowledge on CLP(FD ) variable domains. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2005, v:27, n:2, pp:236-263 [Journal ] Marco Alberti , Marco Gavanelli , Evelina Lamma , Paola Mello , Michela Milano A CHR-based implementation of known arc-consistency. [Citation Graph (0, 0)][DBLP ] TPLP, 2005, v:5, n:4-5, pp:419-440 [Journal ] Michela Milano , Andrea Roli MAGMA: a multiagent architecture for metaheuristics. [Citation Graph (0, 0)][DBLP ] IEEE Transactions on Systems, Man, and Cybernetics, Part B, 2004, v:34, n:2, pp:925-941 [Journal ] Zeynep Kiziltan , Andrea Lodi , Michela Milano , Fabio Parisini CP-Based Local Branching. [Citation Graph (0, 0)][DBLP ] CP, 2007, pp:847-855 [Conf ] Michele Lombardi , Michela Milano Scheduling Conditional Task Graphs. [Citation Graph (0, 0)][DBLP ] CP, 2007, pp:468-482 [Conf ] Deriving Information from Sampling and Diving. [Citation Graph (, )][DBLP ] Discrepancy-Based Sliced Neighborhood Search. [Citation Graph (, )][DBLP ] A Constraint Programming Approach for Allocation and Scheduling on the CELL Broadband Engine. [Citation Graph (, )][DBLP ] A Precedence Constraint Posting Approach for the RCPSP with Time Lags and Variable Durations. [Citation Graph (, )][DBLP ] Multi-stage Benders Decomposition for Optimizing Multicore Architectures. [Citation Graph (, )][DBLP ] Throughput Constraint for Synchronous Data Flow Graphs. [Citation Graph (, )][DBLP ] Robust non-preemptive hard real-time scheduling for clustered multicore platforms. [Citation Graph (, )][DBLP ] An efficient and complete approach for throughput-maximal SDF allocation and scheduling on multi-core platforms. [Citation Graph (, )][DBLP ] Cellflow: A Parallel Application Development Environment with Run-Time Support for the Cell BE Processor. [Citation Graph (, )][DBLP ] Communication-aware stochastic allocation and scheduling framework for conditional task graphs in multi-processor systems-on-chip. [Citation Graph (, )][DBLP ] Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming. [Citation Graph (, )][DBLP ] Allocation and scheduling of Conditional Task Graphs. [Citation Graph (, )][DBLP ] Logic-Based Decision Support for Strategic Environmental Assessment [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.457secs