Home

Biblio

Export 43 results:
Sort by: [ Author (Desc)] Title Type Year
Filters: First Letter Of Last Name is C  [Clear All Filters]
A B [C] D E F G H I J K L M N O P Q R S T U V W X Y Z   [Show ALL]
C
Crnkovic, I., B. Hnich, T. Jonsson, and Z. Kiziltan, "Specification, Implementation, and Deployment of Components", Communications of the ACM, vol. 45, no. 10, pp. 35-40, 2002.
Colombetti, M., N. Fornara, and M. Verdicchio, "A Social Approach to Communication in Multiagent Systems", Proceedings of the First International Workshop on {D}eclarative {A}gent {L}anguages and {T}echnologies (DALT2004), vol. 2990: Springer, pp. 191-220, 2004.
Colin, S., and L. Mariani, "Run-Time Verification", Model-Based Testing of Reactive Systems, Advanced Lectures, vol. 3472: Springer, pp. 525-555, 2005.
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.
Clarke, E. M., O. Grumberg, and D. A. Peled, Model Checking, : The MIT Press, 1999.
Clark, K. L., Predicate Logic as a Computational Formalism, : Imperial College, Department of Computing, 1979.
Cimatti, A., E. M. Clarke, F. Giunchiglia, and M. Roveri, "NuSMV: a New Symbolic Model Checker}", {Software Tools for Technology Transfer}, vol. 2, no. 4, pp. 410-425, 2000.
Ciampolini, A., P. Mello, M. Montali, and S. Storari, "Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols", Proceedings of the 18th IEEE Symposium on Computer Based Medical Systems (CBMS'05): IEEE Computer Society, pp. 503-505, 2005.
Christensen, S., and N. D. Hansen, "Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs", Proceedings of the 14th International Conference on Application and Theory of Petri Nets, vol. 691: Springer, pp. 186-205, 1993.
Chopra, A. K., and M. P. Singh, "Constitutive Interoperability", Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), vol. 2: IFAAMAS, pp. 797-804, 2008.
Chopra, A. K., and C. P. Singh, "Producing Compliant Interactions: Conformance, Coverage, and Interoperability", 4th International Workshop on Declarative Agent Languages and Technologies IV (DALT 2006), Selected, Revised and Invited Papers, vol. 4327: Springer, pp. 1-15, 2006.
Chopra, A. K., and M. P. Singh, "Commitments for Flexible Business Processes", Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004): IEEE Computer Society, pp. 1362-1363, 2004.
Chittaro, L., and A. Montanari, "Efficient Handling of Context Dependency in the Cached Event Calculus", {Proceedings of the TIME-94 International Workshop on Temporal Reasoning}, pp. 103-112, 1994.
Chittaro, L., and A. Montanari, "Temporal Representation and Reasoning in Artificial Intelligence: Issues and Approaches", {Annals of Mathematics and Artificial Intelligence}, vol. 28, no. 1-4: Kluwer Academic Publishers, pp. 47-106, 2000.
Chittaro, L., and A. Montanari, "Efficient Temporal Reasoning in the Cached Event Calculus", Computational Intelligence, vol. 12, pp. 359-382, 1996.  Download: fulltext.pdf (1.48 MB)
Chinnici, R., J. - J. Moreau, A. Ryman, and S. Weerawarana, Web Services Description Language (WSDL) Version 2.0, : World Wide Web Consortium (W3C) Recommendation, 2007.
Chesani, F., P. Mello, M. Montali, and P. Torroni, "Commitment Tracking via the Reactive Event Calculus", Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 91-96, 2009.
Chesani, F., M. Montali, P. Mello, and P. Torroni, "Monitoring Time-Aware Social Commitments with Reactive Event Calculus", Proceedings of the 7th International Symposium ``From Agent Theory to Agent Implementation'' (AT2AI-7), 2010.
Chesani, F., E. Lamma, P. Mello, M. Montali, F. Riguzzi, and S. Storari, "Exploiting Inductive Logic Programming Techniques for Declarative Process Mining", Transactions on Petri Nets and Other Models of Concurrency (ToPNoC), Special Issue on Concurrency in Process-Aware Information Systems, vol. 5460, pp. 278-295, 2009.
Chesani, F., E. Lamma, P. Mello, M. Montali, S. Storari, P. Baldazzi, and M. Manfredi, "Compliance Checking of Cancer-Screening Careflows: an Approach Based on Computational Logic", {Book Chapter of Computer-Based Medical Guidelines and Protocols: a Primer and Current Trends}: IOS Press, 2008.
Chesani, F., P. Mello, M. Montali, F. Riguzzi, M. Sebastianis, and S. Storari, "Checking Compliance of Execution Traces to Business Rules", {Proceedings of BPM 2008 Workshops. Revised Papers}, vol. 17: Springer, pp. 134-145, 2009.
Chesani, F., P. Mello, M. Montali, and P. Torroni, "Verification of Choreographies During Execution Using the Reactive Event Calculus", Proceedings of the 5th International Workshop on Web Service and Formal Methods (WS-FM2008), vol. 5387: Springer, pp. 55-72, 2009.
Chesani, F., P. Mello, M. Montali, and P. Torroni, "A Logic-Based, Reactive Calculus of Events", {24th Convegno Italiano di Logica Computazionale (CILC09)}, 2009.
Chesani, F., P. Mello, M. Montali, and P. Torroni, "A Logic-Based, Reactive Calculus of Events", Fundamenta Informaticae, vol. 105, issue 1-2, pp. 161, 02/2010. Abstract
Chesani, F., P. Mello, M. Montali, and S. Storari, "Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic", Proceedings of the 11th International Conference on Artificial Intelligence in Medicine (AIME'07), vol. 4594: Springer, pp. 479-488, 2007.