Igor Cappello

Publication Activity (10 Years)

Years Active: 2009-2012
Publications (10 Years): 0

Top Topics

Global Information

Feature Descriptors

Template Matching

Top Venues

Publications

Igor Cappello, Paola Quaglia
Expressing global priorities by best-matching. SAC (2012)
Igor Cappello, Paola Quaglia
A Tool for Checking Probabilistic Properties of COWS Services. TGC (2010)
Igor Cappello, Paola Quaglia
A Translation of Beta-binders in a Prioritized Pi-calculus. Electron. Notes Theor. Comput. Sci. 229 (1) (2009)