| Semantic-Based Process Analysis. | 3 | 0.46 | 2014 |
| Complex question answering: unsupervised learning approaches and experiments | 7 | 0.51 | 2014 |
| Modeling and Monitoring Processes exploiting Semantic Reasoning. | 0 | 0.34 | 2014 |
| Message-based web service composition, integrity constraints, and planning under uncertainty: a new connection | 25 | 0.82 | 2014 |
| Domain Objects for Continuous Context-Aware Adaptation of Service-Based Systems | 6 | 0.44 | 2013 |
| Modeling and Monitoring Business Process Execution. | 3 | 0.47 | 2013 |
| Reasoning-Based Techniques for Dealing with Incomplete Business Process Execution Traces. | 7 | 0.63 | 2013 |
| A Constraint-Driven Business Object Model for Service-Based Business Processes | 2 | 0.40 | 2012 |
| SMART: Modeling and Monitoring Support for Business Process Coordination in Dynamic Environments. | 3 | 0.84 | 2012 |
| SMART: supporting the design and execution of user-centric service-based applications | 0 | 0.34 | 2012 |
| Automated composition of Web services via planning in asynchronous domains | 119 | 2.93 | 2010 |
| Message Filtering Based On Mobile User Context. | 0 | 0.34 | 2010 |
| Continuous Orchestration of Web Services via Planning | 14 | 0.61 | 2009 |
| Control Flow Requirements for Automated Service Composition | 19 | 0.91 | 2009 |
| Bounded-Resource Reasoning as (Strong or Classical) Planning | 0 | 0.34 | 2008 |
| Having Services "YourWay!": Towards User-Centric Composition of Mobile Services | 11 | 0.88 | 2008 |
| “YourWay!”: a Platform for Composing and Executing Services Driven by User Resources | 0 | 0.34 | 2008 |
| A hybridized planner for stochastic domains | 7 | 0.98 | 2007 |
| Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code | 9 | 0.59 | 2007 |
| Web service composition as planning, revisited: in between background theories and initial state uncertainty | 38 | 1.31 | 2007 |
| Design and Analysis of the Composed Telecom Services | 0 | 0.34 | 2007 |
| Verifying space and time requirements for resource-bounded agents | 5 | 0.46 | 2006 |
| Safe LTL Assumption-Based Planning | 4 | 0.46 | 2006 |
| A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis | 5 | 0.61 | 2006 |
| Strong Cyclic Planning under Partial Observability | 0 | 0.34 | 2006 |
| Strong planning under partial observability | 41 | 1.43 | 2006 |
| Automated Web Service Composition by On-the-Fly Belief Space Search | 8 | 0.49 | 2006 |
| ASTRO: supporting composition and execution of web services | 32 | 1.20 | 2005 |
| Automated Composition of Web Services by Planning in Asynchronous Domains | 86 | 3.84 | 2005 |
| Generating safe assumption-based plans for partially observable, nondeterministic domains | 9 | 0.56 | 2004 |
| Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains | 5 | 0.41 | 2004 |
| Planning with Extended Goals and Partial Observability | 14 | 1.15 | 2004 |
| A Framework for Planning with Extended Goals under Partial Observability | 12 | 1.62 | 2003 |
| Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking | 26 | 1.44 | 2002 |
| Improving Heuristics for Planning as Search in Belief Space | 20 | 1.49 | 2002 |
| A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions | 92 | 6.73 | 2002 |
| Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements | 6 | 0.86 | 2002 |
| Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking | 11 | 0.68 | 2001 |
| Heuristic search + symbolic model checking = efficient conformant planning | 31 | 2.26 | 2001 |
| Planning in nondeterministic domains under partial observability via symbolic model checking | 89 | 4.84 | 2001 |
| Mechanized result verification: an industrial application | 3 | 0.45 | 2000 |
| The OMRS Project: State of the Art | 2 | 0.39 | 1999 |
| A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools | 1 | 0.37 | 1998 |
