Skip to main content


Export 15 results:
Sort by: [ Author  (Desc)] Title Type Year
Filters: First Letter Of Last Name is R  [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]
Russo, A., R. Miller, B. Nuseibeh, and J. Kramer, "An Abductive Approach for Analysing Event-Based Requirements Specifications", Proceedings of the 18th International Conference on Logic Programming (ICLP 2002), vol. 2401: Springer, pp. 22–37, 2002.
Ruggiero, M., M. Lombardi, M. Milano, and L. Benini, "Cellflow: A Parallel Application Development Environment with Run-Time Support for the Cell BE Processor", 11th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, DSD 2008, Parma, Italy, pp. 645-650, 2008.
Rozinat, A., and W. Aalst, "Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models", {Proceedings of the BPM 2005 Workshops}, vol. 3812: Springer, pp. 163-176, 2006.
Rozier, K. Y., and M. Y. Vardi, "LTL Satisfiability Checking", Model Checking Software. Proceedings of the 14th International {SPIN} Workshop: Springer, pp. 149–167, 2007.
Rouached, M., W. Fdhila, and C. Godart, "A Semantical Framework to Engineering WSBPEL Processes", Information Systems and E-Business Management, vol. 7, no. 2, pp. 223-250, 2008.
Roman, D., and M. Kifer, "Semantic Web Service Choreography: Contracting and Enactment", Proceedings of the 7th International Semantic Web Conference (ISWC 2008), vol. 5318: Springer, pp. 550-566, 2008.
Roli, A., and M. Milano, "An Overview of AI Research in Italy", Artificial Intelligence: An International Perspective, pp. 174-192, 2009.
Reiter, R., "On Closed-Word Data Bases", Logic and Data Bases: Plenum Press, pp. 55-76, 1978.
Reichert, M., S. Rinderle, U. Kreher, and P. Dadam, "Adaptive Process Management with ADEPT2", {Proceedings of the 21st International Conference on Data Engineering (ICDE 2005)}: IEEE Computer Society, pp. 1113-1114, 2005.