] Filters: First Letter Of Last Name is J [Clear All Filters]
"The CLP(R) Language and System}",
ACM Transactions on Programming Languages and Systems, vol. 14, no. 3, pp. 339-395, 1992.
"Constraint Logic Programming: a Survey",
Logic Programming, vol. 19-20, pp. 503-582, 1994.
"Asbru: a Task-Specific, Intention-Based, and Time-Oriented Language for Representing Skeletal Plans",
Proceedings of the 7th Workshop on Knowledge Engeneering Methods and Languages, pp. 9-20, 1997.
"The Semantics of Constraint Logic Programs",
Logic Programming, vol. 37, no. 1-3, pp. 1–46, 1998.
"Dealing with Workflow Change: Identification of Issues and Solutions",
Computer Systems, Science, and Engineering, vol. 15, no. 5, pp. 267-276, 2000.
"Decentralized and Flexible Workflow Enactment Based on Task Coordination Agents",
Proceedings of the 12th International Conference on Advanced Information Systems Engineering (CAiSE00), vol. 1789: Springer, pp. 41–62, 2000.
"Progress on the State Explosion Problem in Model Checking",
Informatics - 10 Years Back, 10 Years Ahead, vol. 2000: Springer, pp. 176-194, 2001.
"UPPAAL: Now, Next, and Future",
Modeling and Verification of Parallel Processes: Springer, pp. 99-124, 2001.
"Automated SLA Monitoring for Web Services",
Proceedings of the 13th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM 2002), vol. 2506: Springer, pp. 28-41, 2002.
"Specification, Implementation, and Deployment of Components",
Communications of the ACM, vol. 45, no. 10, pp. 35-40, 2002.
"Comparing Computer-Interpretable Guideline Models: A Case-Study Approach",
Journal of the American Medical Informatics Association, vol. 10, no. 1, pp. 52-68, 2003.
"Conversation Specification: A New Approach to Design and Analysis of E-Service Composition",
Proceedings of the 12th International World Wide Web Conference (WWW2003): ACM Press, pp. 403-410, 2003.
"Run-Time Verification",
Model-Based Testing of Reactive Systems, Advanced Lectures, vol. 3472: Springer, pp. 525-555, 2005.
"AI Techniques for Waste Water Treatment Plant Control Case Study: Denitrification in a Pilot-Scale SBR",
{Proceedings of the 17th Italian Workshop on Neural Networks, part of the 11th International Conference on Knowledge-Based Intelligent Information and Engineering Systems(KES2007)}, vol. 4692: Springer, pp. 639-646, 2007.
"ProM 4.0: Comprehensive Support for Real Process Analysis",
{Proceedings of the 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2007)}, vol. 4546: Springer, pp. 484–494, 2007.
"A Dynamic and Reactive Approach to the Supervision of BPEL Processes",
Proceedings of the 1st Annual India Software Engineering Conference (ISEC 2008): ACM, pp. 39-48, 2008.
"ATL: A Model Transformation Tool",
Science of Computer Programming, vol. 72, no. 1-2, pp. 31-39, 2008.
"Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part I",
KES-AMSTA (1), vol. 6070: Springer, 2010.
"What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior",
Computational Logic in Multi-Agent Systems, vol. 6245: Springer Berlin / Heidelberg, pp. 82-98, 2010.
Abstract
"Declarative Technologies for Open Agent Systems and Beyond",
Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, vol. LNCS 6070, Gdynia, Poland, Springer, pp. 1-5, 06/2010.
"Role Monitoring in Open Agent Societies",
Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, vol. LNCS 6070, Gdynia, Poland, Springer, 06/2010.