Filters: First Letter Of Last Name is L [Clear All Filters]
"When are Two Web Services Compatible?",
Proceedings of the 5th International Workshop on Technologies for E-Services (TES 2004), pp. 15-28, 2004.
"Inducing Declarative Logic-Based Models from Labeled Traces",
Proceedings of the 5th International Conference on Business Process Management (BPM 2007), vol. 4714: Springer, pp. 344-359, 2007.
"Applying Inductive Logic Programming to Process Mining",
Proceedings of the 17th International Conference on Inductive Logic Programming (ILP2008), vol. 4894: Springer, pp. 132-146, 2008.
Abstract
"Learning DecSerFlow Models from Labeled Traces",
First International Workshop on the Induction of Process Models, 2007.
"UPPAAL in a Nutshell",
International Journal on Software Tools for Technology Transfer, vol. 1, no. 1-2, pp. 134-152, 1997.
Production Workflow - Concepts and Techniques,
: Prentice Hall, 2000.
"A Static Compliance-Checking Framework for Business Process Models - References",
IBM Systems Journal, vol. 46, pp. 335-362, 2007.
Foundations of Logic Programming,
, 2nd: Springer, 1987.
"Discrepancy-Based Additive Bounding Procedures",
INFORMS Journal on Computing, vol. 18, no. 4, pp. 480-493, 2006.
"Allocation and scheduling of Conditional Task Graphs",
Artificial Intelligence, vol. 174, no. 7-8, pp. 500-529, 2010.
"Deriving Information from Sampling and Diving",
AI*IA 2009: Emergent Perspectives in Artificial Intelligence, XIth International Conference of the Italian Association for Artificial Intelligence, Reggio Emilia, Italy, pp. 82-91, 2009.
"A Precedence Constraint Posting Approach for the RCPSP with Time Lags and Variable Durations",
Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, pp. 569-583, 2009.
"Robust non-preemptive hard real-time scheduling for clustered multicore platforms",
Design, Automation and Test in Europe, DATE 2009, Nice, France, pp. 803-808, 2009.
"Scheduling Conditional Task Graphs",
Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, pp. 468-482, 2007.
"Stochastic Allocation and Scheduling for Conditional Task Graphs in Multi-Processor Systems-on- Chip",
Journal on Scheduling, vol. 13(4), no. 4, pp. 315-345, 2010.
"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.
"Stochastic Allocation and Scheduling for Conditional Task Graphs in MPSoCs",
Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, pp. 299-313, 2006.
"Optimal Resource Allocation and Scheduling for the CELL BE Platform",
Annals of OR, vol. 184, issue 1, pp. 51-77, 2011.
"Deriving Information from Sampling and Diving",
Fundamenta Informaticae, vol. 107, issue 2-3, pp. 267-287, 2011.
"Precedence Constraint Posting for Cyclic Scheduling Problems",
CPAIOR, pp. 137-153, 2011.
"Methods for Designing Reliable Probe Arrays",
BIBE, pp. 306-307, 2010.
"Optimal Methods for Resource Allocation and Scheduling: a Cross-Disciplinary Survey",
Constraints, vol. 17, issue 1, pp. 51-85, 2012.
Download: SurveyConstraintAS.pdf (624.06 KB)
"Robust Scheduling of Task Graphs under Execution Time Uncertainty",
IEEE Transactions on Computers, vol. 62, issue 1, no. 99: IEEE, pp. 90--111, 2013.
"A min-flow algorithm for Minimal Critical Set detection in Resource Constrained Project Scheduling",
Artificial Intelligence, 2012.

]