Skip to main content


Export 21 results:
Sort by: Author Title Type [ Year  (Asc)]
Filters: First Letter Of Last Name is J  [Clear All Filters]
Jaffar, J., S. Michaylov, P. J. Stuckey, and R. H. C. Yap, "The CLP(R) Language and System}", ACM Transactions on Programming Languages and Systems, vol. 14, no. 3, pp. 339-395, 1992.
Jaffar, J., and M. J. Maher, "Constraint Logic Programming: a Survey", Logic Programming, vol. 19-20, pp. 503-582, 1994.
Miksch, S., Y. Shahar, and P. Johnson, "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.
Aalst, W., and S. Jablonski, "Dealing with Workflow Change: Identification of Issues and Solutions", Computer Systems, Science, and Engineering, vol. 15, no. 5, pp. 267-276, 2000.
Joeris, G., "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.
Clarke, E. M., O. Grumberg, S. Jha, Y. Lu, and H. Veith, "Progress on the State Explosion Problem in Model Checking", Informatics - 10 Years Back, 10 Years Ahead, vol. 2000: Springer, pp. 176-194, 2001.
Amnell, T., G. Behrmann, J. Bengtsson, P. R. D'argenio, A. David, A. Fehnker, T. Hune, B. Jeannet, K. G. Larsen, M. O. Möller, et al., "UPPAAL: Now, Next, and Future", Modeling and Verification of Parallel Processes: Springer, pp. 99-124, 2001.
Sahai, A., V. Machiraju, M. Sayal, L. J. Jin, and F. Casati, "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.
Peleg, M., S. Tu, J. Bury, P. Ciccarese, N. Jones, J. Fox, R. A. Greenes, R. Hall, P. D. Johnson, N. Jones, et al., "Comparing Computer-Interpretable Guideline Models: A Case-Study Approach", Journal of the American Medical Informatics Association, vol. 10, no. 1, pp. 52-68, 2003.
T., X., R., and J., "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.
Colin, S., and L. Mariani, "Run-Time Verification", Model-Based Testing of Reactive Systems, Advanced Lectures, vol. 3472: Springer, pp. 525-555, 2005.
Sottara, D., L. Luccarini, and P. Mello, "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.
Aalst, W., B. F., C. W., R. S., A. K. Alves de Medeiros, A. Rozinat, V., M., H. M. W., and A. J. M. M. Weijters, "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.
Baresi, L., and S. Guinea, "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.
Jouault, F., F. Allilaire, J. Bézivin, and I. Kurtev, "ATL: A Model Transformation Tool", Science of Computer Programming, vol. 72, no. 1-2, pp. 31-39, 2008.
Kafalı, Ö., F. Chesani, and P. Torroni, "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
Chesani, F., P. Mello, M. Montali, and P. Torroni, "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.
Chesani, F., P. Mello, M. Montali, and P. Torroni, "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.